Philipp Czerner

From MaRDI portal
Person:2233401

Available identifiers

zbMath Open czerner.philippMaRDI QIDQ2233401

List of research outcomes





PublicationDate of PublicationType
A resolution-based interactive proof system for UNSAT2024-10-30Paper
Lower bounds on the state complexity of population protocols2024-03-26Paper
Decision Power of Weak Asynchronous Models of Distributed Computing2024-03-26Paper
Brief Announcement: Population Protocols Decide Double-exponential Thresholds2024-03-26Paper
Making \(\mathsf{IP}=\mathsf{PSPACE}\) practical: efficient interactive protocols for BDD algorithms2024-02-01Paper
Fast and succinct population protocols for Presburger arithmetic2024-01-04Paper
Lower bounds on the state complexity of population protocols2023-09-11Paper
https://portal.mardi4nfdi.de/entity/Q58745052023-02-07Paper
Running time analysis of broadcast consensus protocols2021-10-18Paper

Research outcomes over time

This page was built for person: Philipp Czerner

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2233401&oldid=6818751"
Powered by MediaWiki