Published in: OASIcs, Volume 85, 20th Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2020)
Rebecca Haehn, Erika Ábrahám, and Nils Nießen. Probabilistic Simulation of a Railway Timetable. In 20th Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2020). Open Access Series in Informatics (OASIcs), Volume 85, pp. 16:1-16:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{haehn_et_al:OASIcs.ATMOS.2020.16, author = {Haehn, Rebecca and \'{A}brah\'{a}m, Erika and Nie{\ss}en, Nils}, title = {{Probabilistic Simulation of a Railway Timetable}}, booktitle = {20th Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2020)}, pages = {16:1--16:14}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-170-2}, ISSN = {2190-6807}, year = {2020}, volume = {85}, editor = {Huisman, Dennis and Zaroliagis, Christos D.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2020.16}, URN = {urn:nbn:de:0030-drops-131527}, doi = {10.4230/OASIcs.ATMOS.2020.16}, annote = {Keywords: Railway, Modeling, Scheduling, Probabilistic systems, Optimization} }
Published in: Dagstuhl Reports, Volume 5, Issue 11 (2016)
Erika Ábrahám, Pascal Fontaine, Thomas Sturm, and Dongming Wang. Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471). In Dagstuhl Reports, Volume 5, Issue 11, pp. 71-89, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@Article{abraham_et_al:DagRep.5.11.71, author = {\'{A}brah\'{a}m, Erika and Fontaine, Pascal and Sturm, Thomas and Wang, Dongming}, title = {{Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471)}}, pages = {71--89}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2016}, volume = {5}, number = {11}, editor = {\'{A}brah\'{a}m, Erika and Fontaine, Pascal and Sturm, Thomas and Wang, Dongming}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.11.71}, URN = {urn:nbn:de:0030-drops-57657}, doi = {10.4230/DagRep.5.11.71}, annote = {Keywords: algorithmic algebra, arithmetic, automated reasoning, decision procedures, quantifier elimination, satisfiability checking, SMT solving, symbolic comp} }
Published in: Dagstuhl Reports, Volume 4, Issue 1 (2014)
Erika Ábrahám, Alberto Avritzer, Anne Remke, and William H. Sanders. Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031). In Dagstuhl Reports, Volume 4, Issue 1, pp. 36-82, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
@Article{abraham_et_al:DagRep.4.1.36, author = {\'{A}brah\'{a}m, Erika and Avritzer, Alberto and Remke, Anne and Sanders, William H.}, title = {{Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031)}}, pages = {36--82}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {4}, number = {1}, editor = {\'{A}brah\'{a}m, Erika and Avritzer, Alberto and Remke, Anne and Sanders, William H.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.4.1.36}, URN = {urn:nbn:de:0030-drops-45355}, doi = {10.4230/DagRep.4.1.36}, annote = {Keywords: Critical Infrastructures, Smart Grids, Modeling, Randomized Timed and Hybrid Models, Analysis} }
Published in: Dagstuhl Seminar Proceedings, Volume 4401, Algorithms and Complexity for Continuous Problems (2005)
Erika Hausenblas. Numerical Approximation of Parabolic Stochastic Partial Differential Equations. In Algorithms and Complexity for Continuous Problems. Dagstuhl Seminar Proceedings, Volume 4401, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{hausenblas:DagSemProc.04401.8, author = {Hausenblas, Erika}, title = {{Numerical Approximation of Parabolic Stochastic Partial Differential Equations}}, booktitle = {Algorithms and Complexity for Continuous Problems}, pages = {1--2}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4401}, editor = {Thomas M\"{u}ller-Gronbach and Erich Novak and Knut Petras and Joseph F. Traub}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.04401.8}, URN = {urn:nbn:de:0030-drops-1417}, doi = {10.4230/DagSemProc.04401.8}, annote = {Keywords: Stochastic Partial Differential Equations , Stochastic evolution Equations , Numerical Approximation , implicit Euler scheme} }
Feedback for Dagstuhl Publishing