bibliographer - Philipp Czerner

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Undecidability of the Emptiness Problem for Weak Models of Distributed Computing Flavio T. Principato Javier Esparza Philipp Czerner [github]

The Black Ninjas and the Sniper: On Robustness of Population Protocols Benno Lossin Philipp Czerner Javier Esparza Roland Guttenberg Tobias Prehn [github]

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification Michael Blondin Michaël Cadilhac Xin-Yi Cui Philipp Czerner Javier Esparza Jakob Schulz [github]

The Black Ninjas and the Sniper: On Robust Population Protocols Benno Lossin Philipp Czerner Javier Esparza Roland Guttenberg Tobias Prehn [github]

A Resolution-Based Interactive Proof System for UNSAT Philipp Czerner Javier Esparza Valentin Krasotin [github]

Making textsfIP=textsfPSPACE Practical: Efficient Interactive Protocols for BDD Algorithms Eszter Couillard Philipp Czerner Javier Esparza Rupak Majumdar [github]

Decision Power of Weak Asynchronous Models of Distributed Computing Philipp Czerner Roland Guttenberg Martin Helfrich Javier Esparza [github]

Lower Bounds on the State Complexity of Population Protocols Philipp Czerner Javier Esparza [github]

Lower Bounds on the State Complexity of Population Protocols Philipp Czerner Javier Esparza [github]

Library Size: 13G (9 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]