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)
A. Balasubramanian. 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), volume 213 of Leibniz International Proceedings in Informatics (LIPIcs), page 35:1--35:16. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2021)
A. Balasubramanian, and K. Thejaswini. 32nd International Conference on Concurrency Theory (CONCUR 2021), volume 203 of Leibniz International Proceedings in Informatics (LIPIcs), page 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 of Leibniz International Proceedings in Informatics (LIPIcs), page 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, and V. Zamaraev. Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2023, September 11-13, 2023, Atlanta, Georgia, USA, volume 275 of LIPIcs, page 29:1--29:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)https://arxiv.org/abs/2205.14888.
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)
N. Bertrand, V. Gramoli, I. Konnov, M. Lazic, P. Tholoniat, and J. Widder. 36th International Symposium on Distributed Computing (DISC 2022), volume 246 of LIPIcs, page 10:1--10:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)
A. Balasubramanian, L. Guillou, and 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 of Lecture Notes in Computer Science, page 61--80. Springer, (2022)
A. Balasubramanian. Reachability Problems - 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings, volume 13608 of Lecture Notes in Computer Science, page 125--139. Springer, (2022)