Roland Guttenberg

Orcid: 0000-0001-6140-6707

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

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Fast and succinct population protocols for Presburger arithmetic.

[BibT_eX]

[DOI]

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

Flattability of Priority Vector Addition Systems.

[BibT_eX]

[DOI]

Roland Guttenberg

CoRR, 2024

2023

Verification of Population Protocols with Unordered Data is undecidable.

[BibT_eX]

[DOI]

Roland Guttenberg

CoRR, 2023

Geometry of Reachability Sets of Vector Addition Systems.

[BibT_eX]

[DOI]

Roland Guttenberg

Mikhail A. Raskin

Javier Esparza

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

2022

Geometry of VAS reachability sets.

[BibT_eX]

[DOI]

Roland Guttenberg

Mikhail A. Raskin

CoRR, 2022

2021

Decision Power of Weak Asynchronous Models of Distributed Computing.

[BibT_eX]

[DOI]

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

Roland Guttenberg

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...