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)
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)
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)
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.
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)
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. 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, 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)
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)