Skip to content

Roland Guttenberg

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

10

Venues

4

Active years

2021–2026

Best venue rank

A*

Where they publish

Papers

10 indexed papers, newest first.

YearVenueTitleAuthors
2026CONCURMonadic Presburger Predicates Have Robust Population Protocols.Philipp Czerner, Javier Esparza, Vincent Fischer, Roland Guttenberg, Julian Pins, Simon Reilich
2026ICALPExploring VASS Parameterised by Geometric Dimension.Wojciech Czerwinski, Roland Guttenberg, Lukasz Orlikowski, Henry Sinclair-Banks, Yangluo Zheng
2026ICALPRevisiting Finiteness of Matrix Monoids.Rida Ait El Manssour, Roland Guttenberg, Nathan Lhote, Mahsa Shirmohammadi, James B. Worrell
2026LICSReachability in VASS Extended with Integer Counters.Clotilde Bizire, Wojciech Czerwinski, Roland Guttenberg, Jrme Leroux, Vincent Michielini, Lukasz Orlikowski, Antoni Puch, Henry Sinclair-Banks
2026LICSPVASS Reachability Is Decidable.Roland Guttenberg, Eren Keskin, Roland Meyer
2025LICSReachability and Related Problems in Vector Addition Systems with Nested Zero Tests.Roland Guttenberg, Wojciech Czerwinski, Slawomir Lasota
2024ICALPVerification of Population Protocols with Unordered Data.Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy
2024ICALPFlattability of Priority Vector Addition Systems.Roland Guttenberg
2023CONCURGeometry of Reachability Sets of Vector Addition Systems.Roland Guttenberg, Mikhail A. Raskin, Javier Esparza
2021PODCDecision Power of Weak Asynchronous Models of Distributed Computing.Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza