Roland Guttenberg

According to our database, Roland Guttenberg authored at least 11 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Fast and succinct population protocols for Presburger arithmetic.

Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza

J. Comput. Syst. Sci., March, 2024

The Black Ninjas and the Sniper: On Robustness of Population Protocols.

Benno Lossin, Philipp Czerner, Javier Esparza, Roland Guttenberg, Tobias Prehn

CoRR, 2024

The Expressive Power of Uniform Population Protocols with Logarithmic Space.

Philipp Czerner, Vincent Fischer, Roland Guttenberg

CoRR, 2024

Brief Announcement: The Expressive Power of Uniform Population Protocols with Logarithmic Space.

Philipp Czerner, Vincent Fischer, Roland Guttenberg

Proceedings of the 38th International Symposium on Distributed Computing, 2024

Flattability of Priority Vector Addition Systems.

Roland Guttenberg

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

Verification of Population Protocols with Unordered Data.

Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

The Black Ninjas and the Sniper: On Robust Population Protocols.

Benno Lossin, Philipp Czerner, Javier Esparza, Roland Guttenberg, Tobias Prehn

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2023

Verification of Population Protocols with Unordered Data is undecidable.

Roland Guttenberg

CoRR, 2023

Geometry of Reachability Sets of Vector Addition Systems.

Roland Guttenberg, Mikhail A. Raskin, Javier Esparza

Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022

Geometry of VAS reachability sets.

Roland Guttenberg, Mikhail A. Raskin

CoRR, 2022

2021

Decision Power of Weak Asynchronous Models of Distributed Computing.

Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza

Proceedings of the PODC '21: ACM Symposium on Principles of Distributed Computing, 2021