Published in: LIPIcs, Volume 34, 31st International Symposium on Computational Geometry (SoCG 2015)
Ulrich Bauer, Elizabeth Munch, and Yusu Wang. Strong Equivalence of the Interleaving and Functional Distortion Metrics for Reeb Graphs. In 31st International Symposium on Computational Geometry (SoCG 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 34, pp. 461-475, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{bauer_et_al:LIPIcs.SOCG.2015.461, author = {Bauer, Ulrich and Munch, Elizabeth and Wang, Yusu}, title = {{Strong Equivalence of the Interleaving and Functional Distortion Metrics for Reeb Graphs}}, booktitle = {31st International Symposium on Computational Geometry (SoCG 2015)}, pages = {461--475}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-83-5}, ISSN = {1868-8969}, year = {2015}, volume = {34}, editor = {Arge, Lars and Pach, J\'{a}nos}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SOCG.2015.461}, URN = {urn:nbn:de:0030-drops-51467}, doi = {10.4230/LIPIcs.SOCG.2015.461}, annote = {Keywords: Reeb graph, interleaving distance, functional distortion distance} }
Published in: OASIcs, Volume 11, 6th International Conference on Computability and Complexity in Analysis (CCA'09) (2009)
Jöran Mielke and Ludwig Staiger. On Oscillation-free epsilon-random Sequences II. In 6th International Conference on Computability and Complexity in Analysis (CCA'09). Open Access Series in Informatics (OASIcs), Volume 11, pp. 173-184, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{mielke_et_al:OASIcs.CCA.2009.2269, author = {Mielke, J\"{o}ran and Staiger, Ludwig}, title = {{On Oscillation-free epsilon-random Sequences II}}, booktitle = {6th International Conference on Computability and Complexity in Analysis (CCA'09)}, pages = {173--184}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-12-5}, ISSN = {2190-6807}, year = {2009}, volume = {11}, editor = {Bauer, Andrej and Hertling, Peter and Ko, Ker-I}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.CCA.2009.2269}, URN = {urn:nbn:de:0030-drops-22698}, doi = {10.4230/OASIcs.CCA.2009.2269}, annote = {Keywords: Omega-words, partial randomness, a priori complexity, monotone complexity} }
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