The following pages link to Philipp Czerner (Q2233401):
Displaying 6 items.
- Running time analysis of broadcast consensus protocols (Q2233402) (← links)
- (Q5874505) (← links)
- Lower bounds on the state complexity of population protocols (Q6096031) (← links)
- Fast and succinct population protocols for Presburger arithmetic (Q6142599) (← links)
- Making \(\mathsf{IP}=\mathsf{PSPACE}\) practical: efficient interactive protocols for BDD algorithms (Q6535701) (← links)
- A resolution-based interactive proof system for UNSAT (Q6629521) (← links)
