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	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
scientific article; zbMATH DE number 7651175 (Why is no real title available?) (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