Philipp Czerner

According to our database, Philipp Czerner authored at least 17 papers between 2018 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 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

Breaking Through the Ω(n)-Space Barrier: Population Protocols Decide Double-Exponential Thresholds.

Philipp Czerner

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

A Resolution-Based Interactive Proof System for UNSAT.

Philipp Czerner, Javier Esparza, Valentin Krasotin

Proceedings of the Foundations of Software Science and Computation Structures, 2024

Computing Inductive Invariants of Regular Abstraction Frameworks.

Philipp Czerner, Javier Esparza, Valentin Krasotin, Christoph Welzel-Mohr

Proceedings of the 35th International Conference on Concurrency Theory, 2024

2023

Lower bounds on the state complexity of population protocols.

Philipp Czerner, Javier Esparza, Jérôme Leroux

Distributed Comput., September, 2023

Making IP=PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms.

Eszter Couillard, Philipp Czerner, Javier Esparza, Rupak Majumdar

CoRR, 2023

Brief Announcement: Population Protocols Decide Double-exponential Thresholds.

Philipp Czerner

Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing, 2023

Making sf IP=sf PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms.

Eszter Couillard, Philipp Czerner, Javier Esparza, Rupak Majumdar

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Leaderless Population Protocols Decide Double-exponential Thresholds.

Philipp Czerner

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

Lower Bounds on the State Complexity of Population Protocols.

Philipp Czerner, Javier Esparza

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

Running Time Analysis of Broadcast Consensus Protocols.

Philipp Czerner, Stefan Jaax

Proceedings of the Foundations of Software Science and Computation Structures, 2021

2020

Compact Oblivious Routing in Weighted Graphs.

Philipp Czerner, Harald Räcke

Proceedings of the 28th Annual European Symposium on Algorithms, 2020

2018

Multi-agent programming contest 2016: lampe team description.

Philipp Czerner, Jonathan Pieper

Int. J. Agent Oriented Softw. Eng., 2018

Multi-agent programming contest 2017: lampe team description.

Philipp Czerner, Jonathan Pieper

Ann. Math. Artif. Intell., 2018