Philipp Czerner

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A resolution-based interactive proof system for UNSAT Logical Methods in Computer Science	2026-05-29	Paper
Undecidability of the emptiness problem for weak models of distributed computing Theoretical Computer Science	2026-02-27	Paper
Computing inductive invariants of regular abstraction frameworks	2026-02-10	Paper
A resolution-based interactive proof system for UNSAT	2024-10-30	Paper
Decision Power of Weak Asynchronous Models of Distributed Computing Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing	2024-03-26	Paper
Brief Announcement: Population Protocols Decide Double-exponential Thresholds Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing	2024-03-26	Paper
Lower bounds on the state complexity of population protocols Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing	2024-03-26	Paper
Making \(\mathsf{IP}=\mathsf{PSPACE}\) practical: efficient interactive protocols for BDD algorithms	2024-02-01	Paper
Fast and succinct population protocols for Presburger arithmetic Journal of Computer and System Sciences	2024-01-04	Paper
Lower bounds on the state complexity of population protocols Distributed Computing	2023-09-11	Paper
Compact oblivious routing in weighted graphs (available as arXiv preprint)	2023-02-07	Paper
Running time analysis of broadcast consensus protocols (available as arXiv preprint)	2021-10-18	Paper

Research outcomes over time

This page was built for person: Philipp Czerner