A. Balasubramanian, J. Esparza, and M. Raskin. Foundations of Software Science and Computation Structures - 24th International Conference, volume 12650 of Lecture Notes in Computer Science, page 42--61. Springer, (2021)
R. Guttenberg, M. Raskin, and J. Esparza. 34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium, volume 279 of LIPIcs, page 6:1--6:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)
E. Couillard, P. Czerner, J. Esparza, and R. Majumdar. Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III, volume 13966 of Lecture Notes in Computer Science, page 437--458. Springer, (2023)
P. Czerner, R. Guttenberg, M. Helfrich, and J. Esparza. 1st Symposium on Algorithmic Foundations of Dynamic Networks, SAND 2022, March 28-30, 2022, Virtual Conference, volume 221 of LIPIcs, page 11:1--11:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (April 2022)
P. Czerner, R. Guttenberg, M. Helfrich, and J. Esparza. PODC '21: ACM Symposium on Principles of Distributed Computing, Virtual Event, Italy, July 26-30, 2021, page 115--125. ACM, (July 2021)
M. Blondin, J. Esparza, B. Genest, M. Helfrich, and S. Jaax. 37th International Symposium on Theoretical Aspects of Computer Science, STACS 2020, March 10-13, 2020, Montpellier, France, volume 154 of LIPIcs, page 40:1-40:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (March 2020)
P. Czerner, and J. Esparza. PODC '21: ACM Symposium on Principles of Distributed Computing, Virtual Event, Italy, July 26-30, 2021, page 45--54. ACM, (July 2021)
M. Blondin, J. Esparza, M. Helfrich, A. Kucera, and P. Meyer. Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, volume 12225 of Lecture Notes in Computer Science, page 372-397. Springer, (October 2020)
J. Esparza, M. Helfrich, S. Jaax, and P. Meyer. Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, volume 12302 of Lecture Notes in Computer Science, page 550--556. Springer, (2020)Preprint: <a href="https://arxiv.org/abs/2007.07638">Link</a><br>#conference.