Philipp Czerner

Identifiers

• name variant Philipp Czerner 0.60 · backfill

Papers (3)

1. iSMC: A BDD-based Symbolic Model Checker with Interactive Certification cs.LO · 2026 · author #1
2. Monadic Presburger Predicates have Robust Population Protocols cs.DC · 2026 · author #1
3. A Resolution-Based Interactive Proof System for UNSAT cs.LO · 2024 · author #1

Mentions

• 2401.14996 #1 · arxiv_oai · confidence 0.70 Philipp Czerner

Frequent Coauthors

• Javier Esparza 3 shared papers
• Adrian Krauss 1 shared papers
• Julian Pins 1 shared papers
• Konrad Winslow 1 shared papers
• Roland Guttenberg 1 shared papers
• Simon Reilich 1 shared papers
• Valentin Krasotin 1 shared papers
• Vincent Fischer 1 shared papers