Published in: LIPIcs, Volume 272, 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)
Peter Mayr. On the Complexity Dichotomy for the Satisfiability of Systems of Term Equations over Finite Algebras. In 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 272, pp. 66:1-66:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{mayr:LIPIcs.MFCS.2023.66, author = {Mayr, Peter}, title = {{On the Complexity Dichotomy for the Satisfiability of Systems of Term Equations over Finite Algebras}}, booktitle = {48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)}, pages = {66:1--66:12}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-292-1}, ISSN = {1868-8969}, year = {2023}, volume = {272}, editor = {Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.66}, URN = {urn:nbn:de:0030-drops-186007}, doi = {10.4230/LIPIcs.MFCS.2023.66}, annote = {Keywords: systems of equations, general algebras, constraint satisfaction} }
Published in: Dagstuhl Seminar Proceedings, Volume 8021, Numerical Validation in Current Hardware Architectures (2008)
Markus Grimmer. Extending the Range of C-XSC: Some Tools and Applications for the use in Parallel and other Environments. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{grimmer:DagSemProc.08021.10, author = {Grimmer, Markus}, title = {{Extending the Range of C-XSC: Some Tools and Applications for the use in Parallel and other Environments}}, booktitle = {Numerical Validation in Current Hardware Architectures}, pages = {1--14}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8021}, editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.10}, URN = {urn:nbn:de:0030-drops-14416}, doi = {10.4230/DagSemProc.08021.10}, annote = {Keywords: C-XSC, Integral Equations, Interval Arithmetic, Maple, MPI, Parallel Environment, Taylor Arithmetic, Verified Linear System Solver.} }
Published in: Dagstuhl Seminar Proceedings, Volume 7461, Numerical Methods for Structured Markov Chains (2008)
Dario A. Bini, Beatrice Meini, Vaidyanathan Ramaswami, Marie-Ange Remiche, and Peter Taylor. 07461 Abstracts Collection – Numerical Methods for Structured Markov Chains. In Numerical Methods for Structured Markov Chains. Dagstuhl Seminar Proceedings, Volume 7461, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{bini_et_al:DagSemProc.07461.1, author = {Bini, Dario A. and Meini, Beatrice and Ramaswami, Vaidyanathan and Remiche, Marie-Ange and Taylor, Peter}, title = {{07461 Abstracts Collection – Numerical Methods for Structured Markov Chains}}, booktitle = {Numerical Methods for Structured Markov Chains}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7461}, editor = {Dario Bini and Beatrice Meini and Vaidyanathan Ramaswami and Marie-Ange Remiche and Peter Taylor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07461.1}, URN = {urn:nbn:de:0030-drops-14046}, doi = {10.4230/DagSemProc.07461.1}, annote = {Keywords: Matrix analytic methods, markov processes, queuing theory, numerical methods, structured matrices, telecommunication modeling, performance evaluation} }
Published in: Dagstuhl Seminar Proceedings, Volume 7461, Numerical Methods for Structured Markov Chains (2008)
Dario A. Bini, Beatrice Meini, Vaidyanathan Ramaswami, Marie-Ange Remiche, and Peter Taylor. 07461 Executive Summary – Numerical Methods for Structured Markov Chains. In Numerical Methods for Structured Markov Chains. Dagstuhl Seminar Proceedings, Volume 7461, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{bini_et_al:DagSemProc.07461.2, author = {Bini, Dario A. and Meini, Beatrice and Ramaswami, Vaidyanathan and Remiche, Marie-Ange and Taylor, Peter}, title = {{07461 Executive Summary – Numerical Methods for Structured Markov Chains}}, booktitle = {Numerical Methods for Structured Markov Chains}, pages = {1--2}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7461}, editor = {Dario Bini and Beatrice Meini and Vaidyanathan Ramaswami and Marie-Ange Remiche and Peter Taylor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07461.2}, URN = {urn:nbn:de:0030-drops-14006}, doi = {10.4230/DagSemProc.07461.2}, annote = {Keywords: Matrix analytic methods, Markov processes, queuing theory, numerical methods, structured matrices, telecommunication modeling, performance evaluation.} }
Published in: Dagstuhl Seminar Proceedings, Volume 7461, Numerical Methods for Structured Markov Chains (2008)
Joke Lambert, Benny van Houdt, and Chris Blondia. A policy iteration algorithm for Markov decision processes skip-free in one direction. In Numerical Methods for Structured Markov Chains. Dagstuhl Seminar Proceedings, Volume 7461, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{lambert_et_al:DagSemProc.07461.3, author = {Lambert, Joke and van Houdt, Benny and Blondia, Chris}, title = {{A policy iteration algorithm for Markov decision processes skip-free in one direction}}, booktitle = {Numerical Methods for Structured Markov Chains}, pages = {1--3}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7461}, editor = {Dario Bini and Beatrice Meini and Vaidyanathan Ramaswami and Marie-Ange Remiche and Peter Taylor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07461.3}, URN = {urn:nbn:de:0030-drops-14032}, doi = {10.4230/DagSemProc.07461.3}, annote = {Keywords: Markov Decision Process, Policy Evaluation, Skip-Free, Optical buffers, Fibre Delay Lines} }
Published in: Dagstuhl Seminar Proceedings, Volume 7461, Numerical Methods for Structured Markov Chains (2008)
Mark Fackrell. Characterizing Coxian Distributions of Algebraic Degree q and Triangular Order p. In Numerical Methods for Structured Markov Chains. Dagstuhl Seminar Proceedings, Volume 7461, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{fackrell:DagSemProc.07461.4, author = {Fackrell, Mark}, title = {{Characterizing Coxian Distributions of Algebraic Degree q and Triangular Order p}}, booktitle = {Numerical Methods for Structured Markov Chains}, pages = {1--10}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7461}, editor = {Dario Bini and Beatrice Meini and Vaidyanathan Ramaswami and Marie-Ange Remiche and Peter Taylor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07461.4}, URN = {urn:nbn:de:0030-drops-13916}, doi = {10.4230/DagSemProc.07461.4}, annote = {Keywords: Phase-type distribution, Coxian distribution, algebraic degree, triangular order, rational Laplace-Stieltjes transform} }
Published in: Dagstuhl Seminar Proceedings, Volume 7461, Numerical Methods for Structured Markov Chains (2008)
Levente Bodrog, Armin Heindl, Gábor Horváth, Miklós Telek, and András Horváth. Current results and open questions on PH and MAP characterization. In Numerical Methods for Structured Markov Chains. Dagstuhl Seminar Proceedings, Volume 7461, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{bodrog_et_al:DagSemProc.07461.5, author = {Bodrog, Levente and Heindl, Armin and Horv\'{a}th, G\'{a}bor and Telek, Mikl\'{o}s and Horv\'{a}th, Andr\'{a}s}, title = {{Current results and open questions on PH and MAP characterization}}, booktitle = {Numerical Methods for Structured Markov Chains}, pages = {1--6}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7461}, editor = {Dario Bini and Beatrice Meini and Vaidyanathan Ramaswami and Marie-Ange Remiche and Peter Taylor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07461.5}, URN = {urn:nbn:de:0030-drops-14010}, doi = {10.4230/DagSemProc.07461.5}, annote = {Keywords: PH distribution, ME distribution, MAP, MEP} }
Published in: Dagstuhl Seminar Proceedings, Volume 7461, Numerical Methods for Structured Markov Chains (2008)
Kaiqi Yu, David A. Stanford, and Jiandong Ren. Erlangian Approximation to Finite Time Ruin Probabilities in Perturbed Risk Models. In Numerical Methods for Structured Markov Chains. Dagstuhl Seminar Proceedings, Volume 7461, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{yu_et_al:DagSemProc.07461.6, author = {Yu, Kaiqi and Stanford, David A. and Ren, Jiandong}, title = {{Erlangian Approximation to Finite Time Ruin Probabilities in Perturbed Risk Models}}, booktitle = {Numerical Methods for Structured Markov Chains}, pages = {1--15}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7461}, editor = {Dario Bini and Beatrice Meini and Vaidyanathan Ramaswami and Marie-Ange Remiche and Peter Taylor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07461.6}, URN = {urn:nbn:de:0030-drops-13999}, doi = {10.4230/DagSemProc.07461.6}, annote = {Keywords: Perturbed risk processes, finite-time ruin probability, phase-type distribution, fluid flow models, Erlangization} }
Published in: Dagstuhl Seminar Proceedings, Volume 7461, Numerical Methods for Structured Markov Chains (2008)
Dario A. Bini, Beatrice Meini, and Federico Poloni. From Algebraic Riccati equations to unilateral quadratic matrix equations: old and new algorithms. In Numerical Methods for Structured Markov Chains. Dagstuhl Seminar Proceedings, Volume 7461, pp. 1-28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{bini_et_al:DagSemProc.07461.7, author = {Bini, Dario A. and Meini, Beatrice and Poloni, Federico}, title = {{From Algebraic Riccati equations to unilateral quadratic matrix equations: old and new algorithms}}, booktitle = {Numerical Methods for Structured Markov Chains}, pages = {1--28}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7461}, editor = {Dario Bini and Beatrice Meini and Vaidyanathan Ramaswami and Marie-Ange Remiche and Peter Taylor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07461.7}, URN = {urn:nbn:de:0030-drops-13987}, doi = {10.4230/DagSemProc.07461.7}, annote = {Keywords: Algebraic Riccati Equation, Matrix Equation, Cyclic Reduction, Structured doubling algorithm} }
Published in: Dagstuhl Seminar Proceedings, Volume 7461, Numerical Methods for Structured Markov Chains (2008)
Giuliano Casale, Eddy Z. Zhang, and Evgenia Smirni. Interarrival Times Characterization and Fitting for Markovian Traffic Analysis. In Numerical Methods for Structured Markov Chains. Dagstuhl Seminar Proceedings, Volume 7461, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{casale_et_al:DagSemProc.07461.8, author = {Casale, Giuliano and Zhang, Eddy Z. and Smirni, Evgenia}, title = {{Interarrival Times Characterization and Fitting for Markovian Traffic Analysis}}, booktitle = {Numerical Methods for Structured Markov Chains}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7461}, editor = {Dario Bini and Beatrice Meini and Vaidyanathan Ramaswami and Marie-Ange Remiche and Peter Taylor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07461.8}, URN = {urn:nbn:de:0030-drops-13908}, doi = {10.4230/DagSemProc.07461.8}, annote = {Keywords: MAP fitting, interarrival time process, higher-order moments} }
Published in: Dagstuhl Seminar Proceedings, Volume 7461, Numerical Methods for Structured Markov Chains (2008)
Sophie Hautphenne, Guy Latouche, and Marie-Ange Remiche. Matrix Analytic Methods in Branching processes. In Numerical Methods for Structured Markov Chains. Dagstuhl Seminar Proceedings, Volume 7461, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{hautphenne_et_al:DagSemProc.07461.9, author = {Hautphenne, Sophie and Latouche, Guy and Remiche, Marie-Ange}, title = {{Matrix Analytic Methods in Branching processes}}, booktitle = {Numerical Methods for Structured Markov Chains}, pages = {1--3}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7461}, editor = {Dario Bini and Beatrice Meini and Vaidyanathan Ramaswami and Marie-Ange Remiche and Peter Taylor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07461.9}, URN = {urn:nbn:de:0030-drops-13935}, doi = {10.4230/DagSemProc.07461.9}, annote = {Keywords: Branching Processes, Matrix Analytic Methods, Extinction Probability, Catastrophe Process} }
Published in: Dagstuhl Seminar Proceedings, Volume 7461, Numerical Methods for Structured Markov Chains (2008)
Mogens Bladt and Bo Friis Nielsen. Multivariate matrix-exponential distributions. In Numerical Methods for Structured Markov Chains. Dagstuhl Seminar Proceedings, Volume 7461, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{bladt_et_al:DagSemProc.07461.10, author = {Bladt, Mogens and Nielsen, Bo Friis}, title = {{Multivariate matrix-exponential distributions}}, booktitle = {Numerical Methods for Structured Markov Chains}, pages = {1--13}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7461}, editor = {Dario Bini and Beatrice Meini and Vaidyanathan Ramaswami and Marie-Ange Remiche and Peter Taylor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07461.10}, URN = {urn:nbn:de:0030-drops-13975}, doi = {10.4230/DagSemProc.07461.10}, annote = {Keywords: Multivariate matrix-exponential distributions, multivariate phase-type distributions, rational Laplace transform} }
Published in: Dagstuhl Seminar Proceedings, Volume 7461, Numerical Methods for Structured Markov Chains (2008)
Dario A. Bini, Bruno Iannazzo, Beatrice Meini, and Federico Poloni. Nonsymmetric algebraic Riccati equations associated with an M-matrix: recent advances and algorithms. In Numerical Methods for Structured Markov Chains. Dagstuhl Seminar Proceedings, Volume 7461, pp. 1-31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{bini_et_al:DagSemProc.07461.11, author = {Bini, Dario A. and Iannazzo, Bruno and Meini, Beatrice and Poloni, Federico}, title = {{Nonsymmetric algebraic Riccati equations associated with an M-matrix: recent advances and algorithms}}, booktitle = {Numerical Methods for Structured Markov Chains}, pages = {1--31}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7461}, editor = {Dario Bini and Beatrice Meini and Vaidyanathan Ramaswami and Marie-Ange Remiche and Peter Taylor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07461.11}, URN = {urn:nbn:de:0030-drops-13958}, doi = {10.4230/DagSemProc.07461.11}, annote = {Keywords: Nonsymmetric algebraic Riccati equations, matrix equation, M-matrices, Newton method, quadratically convergent algorithms, cyclic reduction, doubling} }
Published in: Dagstuhl Seminar Proceedings, Volume 7461, Numerical Methods for Structured Markov Chains (2008)
Levente Bodrog, András Horváth, and Miklós Telek. On the Properties of Moments of Matrix Exponential Distributions and Matrix Exponential Processes. In Numerical Methods for Structured Markov Chains. Dagstuhl Seminar Proceedings, Volume 7461, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{bodrog_et_al:DagSemProc.07461.12, author = {Bodrog, Levente and Horv\'{a}th, Andr\'{a}s and Telek, Mikl\'{o}s}, title = {{On the Properties of Moments of Matrix Exponential Distributions and Matrix Exponential Processes}}, booktitle = {Numerical Methods for Structured Markov Chains}, pages = {1--12}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7461}, editor = {Dario Bini and Beatrice Meini and Vaidyanathan Ramaswami and Marie-Ange Remiche and Peter Taylor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07461.12}, URN = {urn:nbn:de:0030-drops-13943}, doi = {10.4230/DagSemProc.07461.12}, annote = {Keywords: Matrix exponential process, Markov arrival process, Matrix exponential distribution, phase type distribution} }
Published in: Dagstuhl Seminar Proceedings, Volume 7461, Numerical Methods for Structured Markov Chains (2008)
Dario A. Bini, Beatrice Meini, and Vaidyanathan Ramaswami. On the tail decay of M/G/1-type Markov renewal processes. In Numerical Methods for Structured Markov Chains. Dagstuhl Seminar Proceedings, Volume 7461, pp. 1-7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{bini_et_al:DagSemProc.07461.13, author = {Bini, Dario A. and Meini, Beatrice and Ramaswami, Vaidyanathan}, title = {{On the tail decay of M/G/1-type Markov renewal processes}}, booktitle = {Numerical Methods for Structured Markov Chains}, pages = {1--7}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7461}, editor = {Dario Bini and Beatrice Meini and Vaidyanathan Ramaswami and Marie-Ange Remiche and Peter Taylor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07461.13}, URN = {urn:nbn:de:0030-drops-13966}, doi = {10.4230/DagSemProc.07461.13}, annote = {Keywords: Renewal processes, tail decay, M/G/1-type Markov chains} }
Feedback for Dagstuhl Publishing