Roland Guttenberg

22 papers A* 4A 1B 1Journal 13Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Exploring VASS Parameterised by Geometric Dimension.
CoRR
Wojciech Czerwinski, Roland Guttenberg, Lukasz Orlikowski, Henry Sinclair-Banks, Yangluo Zheng
2026 J jnl
Reachability in VASS Extended with Integer Counters.
CoRR
Clotilde Bizière, Wojciech Czerwinski, Roland Guttenberg, Jérôme Leroux, Vincent Michielini, Lukasz Orlikowski, Antoni Puch, Henry Sinclair-Banks
2025 J jnl
PVASS Reachability is Decidable.
CoRR
Roland Guttenberg, Eren Keskin, Roland Meyer
2025 A* conf
Reachability and Related Problems in Vector Addition Systems with Nested Zero Tests.
LICS
Roland Guttenberg, Wojciech Czerwinski, Slawomir Lasota
2025 J jnl
Reachability and Related Problems in Vector Addition Systems with Nested Zero Tests.
CoRR
Roland Guttenberg, Wojciech Czerwinski, Slawomir Lasota
2025 — conf
The Expressive Power of Uniform Population Protocols with Logarithmic Space.
SAND
Philipp Czerner, Vincent Fischer, Roland Guttenberg
2024 A conf
Brief Announcement: The Expressive Power of Uniform Population Protocols with Logarithmic Space.
DISC
Philipp Czerner, Vincent Fischer, Roland Guttenberg
2024 J jnl
Fast and succinct population protocols for Presburger arithmetic.
J. Comput. Syst. Sci.
Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
2024 A* conf
Flattability of Priority Vector Addition Systems.
ICALP
Roland Guttenberg
2024 J jnl
Flattability of Priority Vector Addition Systems.
CoRR
Roland Guttenberg
2024 — conf
The Black Ninjas and the Sniper: On Robust Population Protocols.
Principles of Verification (3)
Benno Lossin, Philipp Czerner, Javier Esparza, Roland Guttenberg, Tobias Prehn
2024 J jnl
The Black Ninjas and the Sniper: On Robustness of Population Protocols.
CoRR
Benno Lossin, Philipp Czerner, Javier Esparza, Roland Guttenberg, Tobias Prehn
2024 J jnl
The Expressive Power of Uniform Population Protocols with Logarithmic Space.
CoRR
Philipp Czerner, Vincent Fischer, Roland Guttenberg
2024 A* conf
Verification of Population Protocols with Unordered Data.
ICALP
Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy
2024 J jnl
Verification of Population Protocols with Unordered Data.
CoRR
Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy
2023 B conf
Geometry of Reachability Sets of Vector Addition Systems.
CONCUR
Roland Guttenberg, Mikhail A. Raskin, Javier Esparza
2023 J jnl
Verification of Population Protocols with Unordered Data is undecidable.
CoRR
Roland Guttenberg
2022 — conf
Fast and Succinct Population Protocols for Presburger Arithmetic.
SAND
Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
2022 J jnl
Fast and Succinct Population Protocols for Presburger Arithmetic.
CoRR
Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
2022 J jnl
Geometry of VAS reachability sets.
CoRR
Roland Guttenberg, Mikhail A. Raskin
2021 A* conf
Decision Power of Weak Asynchronous Models of Distributed Computing.
PODC
Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
2021 J jnl
Decision Power of Weak Asynchronous Models of Distributed Computing.
CoRR
Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza