Philipp Czerner

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 22

Top Topics

Presburger Arithmetic

Computationally Complex

Quantifier Elimination

Top Venues

Publications

Philipp Czerner, Javier Esparza, Valentin Krasotin
A Resolution-Based Interactive Proof System for UNSAT. CoRR (2024)
Philipp Czerner, Javier Esparza, Valentin Krasotin, Christoph Welzel-Mohr
Computing Inductive Invariants of Regular Abstraction Frameworks. CONCUR (2024)
Philipp Czerner, Javier Esparza, Valentin Krasotin
A Resolution-Based Interactive Proof System for UNSAT. FoSSaCS (2) (2024)
Philipp Czerner, Javier Esparza, Valentin Krasotin, Christoph Welzel-Mohr
Computing Inductive Invariants of Regular Abstraction Frameworks. CoRR (2024)
Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
Fast and succinct population protocols for Presburger arithmetic. J. Comput. Syst. Sci. 140 (2024)
Eszter Couillard, Philipp Czerner, Javier Esparza, Rupak Majumdar
Making sf IP=sf PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms. CAV (3) (2023)
Philipp Czerner, Javier Esparza, Jérôme Leroux
Lower bounds on the state complexity of population protocols. Distributed Comput. 36 (3) (2023)
Eszter Couillard, Philipp Czerner, Javier Esparza, Rupak Majumdar
Making IP=PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms. CoRR (2023)
Philipp Czerner
Brief Announcement: Population Protocols Decide Double-exponential Thresholds. PODC (2023)
Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
Fast and Succinct Population Protocols for Presburger Arithmetic. SAND (2022)
Philipp Czerner
Leaderless Population Protocols Decide Double-exponential Thresholds. CoRR (2022)
Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
Fast and Succinct Population Protocols for Presburger Arithmetic. CoRR (2022)
Philipp Czerner, Javier Esparza
Lower Bounds on the State Complexity of Population Protocols. CoRR (2021)
Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
Decision Power of Weak Asynchronous Models of Distributed Computing. CoRR (2021)
Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
Decision Power of Weak Asynchronous Models of Distributed Computing. PODC (2021)
Philipp Czerner, Stefan Jaax
Running Time Analysis of Broadcast Consensus Protocols. FoSSaCS (2021)
Philipp Czerner, Javier Esparza
Lower Bounds on the State Complexity of Population Protocols. PODC (2021)
Philipp Czerner, Stefan Jaax
Running Time Analysis of Broadcast Consensus Protocols. CoRR (2021)
Philipp Czerner, Harald Räcke
Compact Oblivious Routing in Weighted Graphs. CoRR (2020)
Philipp Czerner, Harald Räcke
Compact Oblivious Routing in Weighted Graphs. ESA (2020)
Philipp Czerner, Jonathan Pieper
Multi-agent programming contest 2017: lampe team description. Ann. Math. Artif. Intell. 84 (1-2) (2018)
Philipp Czerner, Jonathan Pieper
Multi-agent programming contest 2016: lampe team description. Int. J. Agent Oriented Softw. Eng. 6 (1) (2018)