Philipp Czerner

33 papers A* 3A 3B 2Journal 17Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — —
Computational Limits of Population Protocols: Space Complexity, Robustness and Expressive Power.
Philipp Czerner
2025 — conf
The Expressive Power of Uniform Population Protocols with Logarithmic Space.
SAND
Philipp Czerner, Vincent Fischer, Roland Guttenberg
2025 — conf
Undecidability of the Emptiness Problem for Weak Models of Distributed Computing.
SAND
Flavio T. Principato, Javier Esparza, Philipp Czerner
2025 J jnl
Undecidability of the Emptiness Problem for Weak Models of Distributed Computing.
CoRR
Flavio T. Principato, Javier Esparza, Philipp Czerner
2025 — conf
Weakly Acyclic Diagrams: A Data Structure for Infinite-State Symbolic Verification.
TACAS (3)
Michael Blondin, Michaël Cadilhac, Xin-Yi Cui, Philipp Czerner, Javier Esparza, Jakob Schulz
2024 — conf
A Resolution-Based Interactive Proof System for UNSAT.
FoSSaCS (2)
Philipp Czerner, Javier Esparza, Valentin Krasotin
2024 J jnl
A Resolution-Based Interactive Proof System for UNSAT.
CoRR
Philipp Czerner, Javier Esparza, Valentin Krasotin
2024 A conf
Breaking Through the Ω(n)-Space Barrier: Population Protocols Decide Double-Exponential Thresholds.
DISC
Philipp Czerner
2024 A conf
Brief Announcement: The Expressive Power of Uniform Population Protocols with Logarithmic Space.
DISC
Philipp Czerner, Vincent Fischer, Roland Guttenberg
2024 B conf
Computing Inductive Invariants of Regular Abstraction Frameworks.
CONCUR
Philipp Czerner, Javier Esparza, Valentin Krasotin, Christoph Welzel-Mohr
2024 J jnl
Computing Inductive Invariants of Regular Abstraction Frameworks.
CoRR
Philipp Czerner, Javier Esparza, Valentin Krasotin, Christoph Welzel-Mohr
2024 J jnl
Fast and succinct population protocols for Presburger arithmetic.
J. Comput. Syst. Sci.
Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
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 J jnl
Weakly acyclic diagrams: A data structure for infinite-state symbolic verification.
CoRR
Michael Blondin, Michaël Cadilhac, Xin-Yi Cui, Philipp Czerner, Javier Esparza, Jakob Schulz
2023 A* conf
Brief Announcement: Population Protocols Decide Double-exponential Thresholds.
PODC
Philipp Czerner
2023 J jnl
Lower bounds on the state complexity of population protocols.
Distributed Comput.
Philipp Czerner, Javier Esparza, Jérôme Leroux
2023 J jnl
Making IP=PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms.
CoRR
Eszter Couillard, Philipp Czerner, Javier Esparza, Rupak Majumdar
2023 — conf
Making sf IP=sf PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms.
CAV (3)
Eszter Couillard, Philipp Czerner, Javier Esparza, Rupak Majumdar
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
Leaderless Population Protocols Decide Double-exponential Thresholds.
CoRR
Philipp Czerner
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
2021 A* conf
Lower Bounds on the State Complexity of Population Protocols.
PODC
Philipp Czerner, Javier Esparza
2021 J jnl
Lower Bounds on the State Complexity of Population Protocols.
CoRR
Philipp Czerner, Javier Esparza
2021 B conf
Running Time Analysis of Broadcast Consensus Protocols.
FoSSaCS
Philipp Czerner, Stefan Jaax
2021 J jnl
Running Time Analysis of Broadcast Consensus Protocols.
CoRR
Philipp Czerner, Stefan Jaax
2020 A conf
Compact Oblivious Routing in Weighted Graphs.
ESA
Philipp Czerner, Harald Räcke
2020 J jnl
Compact Oblivious Routing in Weighted Graphs.
CoRR
Philipp Czerner, Harald Räcke
2018 J jnl
Multi-agent programming contest 2016: lampe team description.
Int. J. Agent Oriented Softw. Eng.
Philipp Czerner, Jonathan Pieper
2018 J jnl
Multi-agent programming contest 2017: lampe team description.
Ann. Math. Artif. Intell.
Philipp Czerner, Jonathan Pieper