Published in: OASIcs, Volume 25, 12th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (2012)
Reinhard Bauer, Moritz Baum, Ignaz Rutter, and Dorothea Wagner. On the Complexity of Partitioning Graphs for Arc-Flags. In 12th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems. Open Access Series in Informatics (OASIcs), Volume 25, pp. 71-82, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{bauer_et_al:OASIcs.ATMOS.2012.71, author = {Bauer, Reinhard and Baum, Moritz and Rutter, Ignaz and Wagner, Dorothea}, title = {{On the Complexity of Partitioning Graphs for Arc-Flags}}, booktitle = {12th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems}, pages = {71--82}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-45-3}, ISSN = {2190-6807}, year = {2012}, volume = {25}, editor = {Delling, Daniel and Liberti, Leo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2012.71}, URN = {urn:nbn:de:0030-drops-37048}, doi = {10.4230/OASIcs.ATMOS.2012.71}, annote = {Keywords: shortest paths, arc-flags, search space, preprocessing, complexity} }
Published in: OASIcs, Volume 7, 7th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'07) (2007)
Reinhard Bauer, Daniel Delling, and Dorothea Wagner. 14. Experimental Study on Speed-Up Techniques for Timetable Information Systems. In 7th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'07). Open Access Series in Informatics (OASIcs), Volume 7, pp. 209-225, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{bauer_et_al:OASIcs.ATMOS.2007.1169, author = {Bauer, Reinhard and Delling, Daniel and Wagner, Dorothea}, title = {{14. Experimental Study on Speed-Up Techniques for Timetable Information Systems}}, booktitle = {7th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'07)}, pages = {209--225}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-04-0}, ISSN = {2190-6807}, year = {2007}, volume = {7}, editor = {Ahuja, Ravindra K. and Liebchen, Christian and Mesa, Juan A.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2007.1169}, URN = {urn:nbn:de:0030-drops-11695}, doi = {10.4230/OASIcs.ATMOS.2007.1169}, annote = {Keywords: Speed-up techniques, timetable information, shortest path} }
Published in: Dagstuhl Seminar Proceedings, Volume 6081, Software Verification: Infinite-State Model Checking and Static Program Analysis (2006)
Jörg Bauer and Reinhard Wilhelm. Analysis of Dynamic Communicating Systems by Hierarchical Abstraction. In Software Verification: Infinite-State Model Checking and Static Program Analysis. Dagstuhl Seminar Proceedings, Volume 6081, pp. 1-25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{bauer_et_al:DagSemProc.06081.3, author = {Bauer, J\"{o}rg and Wilhelm, Reinhard}, title = {{Analysis of Dynamic Communicating Systems by Hierarchical Abstraction}}, booktitle = {Software Verification: Infinite-State Model Checking and Static Program Analysis}, pages = {1--25}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {6081}, editor = {Parosh Aziz Abdulla and Ahmed Bouajjani and Markus M\"{u}ller-Olm}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06081.3}, URN = {urn:nbn:de:0030-drops-7271}, doi = {10.4230/DagSemProc.06081.3}, annote = {Keywords: Graph transformation, Abstract Interpretation, Shape Analysis} }
Published in: Dagstuhl Seminar Proceedings, Volume 6161, Simulation and Verification of Dynamic Systems (2006)
Jörg Bauer and Reinhard Wilhelm. Abstract Interpretation of Graph Transformation. In Simulation and Verification of Dynamic Systems. Dagstuhl Seminar Proceedings, Volume 6161, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{bauer_et_al:DagSemProc.06161.5, author = {Bauer, J\"{o}rg and Wilhelm, Reinhard}, title = {{Abstract Interpretation of Graph Transformation}}, booktitle = {Simulation and Verification of Dynamic Systems}, pages = {1--4}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {6161}, editor = {David M. Nicol and Corrado Priami and Hanne Riis Nielson and Adelinde M. Uhrmacher}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06161.5}, URN = {urn:nbn:de:0030-drops-7039}, doi = {10.4230/DagSemProc.06161.5}, annote = {Keywords: Abstract Interpretation, Graph Transformation} }
Feedback for Dagstuhl Publishing