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
8 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
7 2024 Compact oblivious routing in weighted graphs P Czerner, H Räcke
arXiv preprint arXiv:2007.02427, 2020
6 2020 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 Leaderless population protocols decide double-exponential thresholds P Czerner
arXiv preprint arXiv:2204.02115, 2022
2 2022 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 Brief Announcement: Population Protocols Decide Double-exponential Thresholds P Czerner
Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing …, 2023
1 2023 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 Semi-oblivious Routing Strategies in Directed Graphs P Czerner
2020 How realistic is a change coupling graph? Estimations with convolutional networks. P Czerner
2018