| Lower bounds on the state complexity of population protocols P Czerner, J Esparza Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing …, 2021 | 9 | 2021 |
| Fast and succinct population protocols for Presburger arithmetic P Czerner, R Guttenberg, M Helfrich, J Esparza Journal of Computer and System Sciences 140, 103481, 2024 | 8 | 2024 |
| Compact oblivious routing in weighted graphs P Czerner, H Räcke arXiv preprint arXiv:2007.02427, 2020 | 6 | 2020 |
| Leaderless population protocols decide double-exponential thresholds P Czerner arXiv preprint arXiv:2204.02115, 2022 | 4 | 2022 |
| Multi-agent programming contest 2017: lampe team description P Czerner, J Pieper Annals of Mathematics and Artificial Intelligence, 2018 | 3 | 2018 |
| Making Practical: Efficient Interactive Protocols for BDD Algorithms E Couillard, P Czerner, J Esparza, R Majumdar International Conference on Computer Aided Verification, 437-458, 2023 | 2 | 2023 |
| Brief Announcement: Population Protocols Decide Double-exponential Thresholds P Czerner Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing …, 2023 | 2 | 2023 |
| Multi-agent programming contest 2016: lampe team description P Czerner, J Pieper International Journal of Agent-Oriented Software Engineering 6 (1), 101-117, 2018 | 2 | 2018 |
| Semi-oblivious Routing Strategies in Directed Graphs P Czerner | 1 | 2020 |
| Computing Inductive Invariants of Regular Abstraction Frameworks P Czerner, J Esparza, V Krasotin, C Welzel-Mohr arXiv preprint arXiv:2404.10752, 2024 | | 2024 |
| A Resolution-Based Interactive Proof System for UNSAT P Czerner, J Esparza, V Krasotin International Conference on Foundations of Software Science and Computation …, 2024 | | 2024 |
| Making Practical: Efficient Interactive Protocols for BDD Algorithms E Couillard, P Czerner, J Esparza, R Majumdar arXiv preprint arXiv:2305.11813, 2023 | | 2023 |
| Decision Power of Weak Asynchronous Models of Distributed Computing P Czerner, R Guttenberg, M Helfrich, J Esparza Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing …, 2021 | | 2021 |
| Running Time Analysis of Broadcast Consensus Protocols. P Czerner, S Jaax FoSSaCS, 164-183, 2021 | | 2021 |
| How realistic is a change coupling graph? Estimations with convolutional networks. P Czerner | | 2018 |
