Roland Guttenberg

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 12

Top Topics

Quantifier Elimination

Distributed Computing

Euclidean Geometry

Data Processing

Top Venues

J. Comput. Syst. Sci.

Publications

Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy
Verification of Population Protocols with Unordered Data. CoRR (2024)
Roland Guttenberg
Flattability of Priority Vector Addition Systems. ICALP (2024)
Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy
Verification of Population Protocols with Unordered Data. ICALP (2024)
Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
Fast and succinct population protocols for Presburger arithmetic. J. Comput. Syst. Sci. 140 (2024)
Roland Guttenberg
Flattability of Priority Vector Addition Systems. CoRR (2024)
Roland Guttenberg, Mikhail A. Raskin, Javier Esparza
Geometry of Reachability Sets of Vector Addition Systems. CONCUR (2023)
Roland Guttenberg
Verification of Population Protocols with Unordered Data is undecidable. CoRR (2023)
Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
Fast and Succinct Population Protocols for Presburger Arithmetic. SAND (2022)
Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
Fast and Succinct Population Protocols for Presburger Arithmetic. CoRR (2022)
Roland Guttenberg, Mikhail A. Raskin
Geometry of VAS reachability sets. CoRR (2022)
Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
Decision Power of Weak Asynchronous Models of Distributed Computing. CoRR (2021)
Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
Decision Power of Weak Asynchronous Models of Distributed Computing. PODC (2021)