M. Kokorsch, und G. Dietl. Proceedings of the International ITG 26th Workshop on Smart Antennas and 13th Conference on Systems, Communications, and Coding, WSA & SCC 2023, Braunschweig, Germany, (Februar 2023)
A. Balasubramanian, J. Esparza, und M. Raskin. Foundations of Software Science and Computation Structures - 24th International Conference, Volume 12650 von Lecture Notes in Computer Science, Seite 42--61. Springer, (2021)
A. Balasubramanian. 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), Volume 213 von Leibniz International Proceedings in Informatics (LIPIcs), Seite 35:1--35:16. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2021)
A. Balasubramanian, und K. Thejaswini. 32nd International Conference on Concurrency Theory (CONCUR 2021), Volume 203 von Leibniz International Proceedings in Informatics (LIPIcs), Seite 17:1--17:15. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2021)
A. Balasubramanian. 33rd International Conference on Concurrency Theory (CONCUR 2022), Volume 243 von Leibniz International Proceedings in Informatics (LIPIcs), Seite 17:1--17:19. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2022)
R. Becker, A. Casteigts, P. Crescenzi, B. Kodric, M. Renken, M. Raskin, und V. Zamaraev. Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2023, September 11-13, 2023, Atlanta, Georgia, USA, Volume 275 von LIPIcs, Seite 29:1--29:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)https://arxiv.org/abs/2205.14888.
R. Guttenberg, M. Raskin, und J. Esparza. 34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium, Volume 279 von LIPIcs, Seite 6:1--6:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)
E. Couillard, P. Czerner, J. Esparza, und R. Majumdar. Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III, Volume 13966 von Lecture Notes in Computer Science, Seite 437--458. Springer, (2023)
A. Balasubramanian, L. Guillou, und C. Weil-Kennedy. Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Volume 13242 von Lecture Notes in Computer Science, Seite 61--80. Springer, (2022)
A. Balasubramanian. Reachability Problems - 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings, Volume 13608 von Lecture Notes in Computer Science, Seite 125--139. Springer, (2022)
P. Czerner, R. Guttenberg, M. Helfrich, und J. Esparza. 1st Symposium on Algorithmic Foundations of Dynamic Networks, SAND 2022, March 28-30, 2022, Virtual Conference, Volume 221 von LIPIcs, Seite 11:1--11:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (April 2022)
P. Czerner, R. Guttenberg, M. Helfrich, und J. Esparza. PODC '21: ACM Symposium on Principles of Distributed Computing, Virtual Event, Italy, July 26-30, 2021, Seite 115--125. ACM, (Juli 2021)
L. D'Antoni, M. Helfrich, J. Kret\'ınský, E. Ramneantu, und M. Weininger. Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, Volume 12225 von Lecture Notes in Computer Science, Seite 3-14. Springer, (Oktober 2020)
M. Blondin, J. Esparza, M. Helfrich, A. Kucera, und P. Meyer. Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, Volume 12225 von Lecture Notes in Computer Science, Seite 372-397. Springer, (Oktober 2020)
P. Czerner, und J. Esparza. PODC '21: ACM Symposium on Principles of Distributed Computing, Virtual Event, Italy, July 26-30, 2021, Seite 45--54. ACM, (Juli 2021)
M. Blondin, J. Esparza, B. Genest, M. Helfrich, und S. Jaax. 37th International Symposium on Theoretical Aspects of Computer Science, STACS 2020, March 10-13, 2020, Montpellier, France, Volume 154 von LIPIcs, Seite 40:1-40:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (März 2020)