Philipp Czerner
Scholar

Philipp Czerner

Google Scholar ID: _i6pjWkAAAAJ
Doctoral Candidate, TU Munich
oblivious routingpopulation protocols
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
59
 
H-index
4
 
i10-index
2
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
4 items
Undecidability of the Emptiness Problem for Weak Models of Distributed Computing
2025
Cited
0
Weakly acyclic diagrams: A data structure for infinite-state symbolic verification
arXiv.org · 2024
Cited
0
The Expressive Power of Uniform Population Protocols with Logarithmic Space
arXiv.org · 2024
Cited
0
A Resolution-Based Interactive Proof System for UNSAT
Foundations of Software Science and Computation Structure · 2024
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)