P. Czerner, and S. Jaax. Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, volume 12650 of Lecture Notes in Computer Science, page 164--183. Springer, (2021)#conference.
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)
N. Bertrand, M. Lazić, and J. Widder. Verification, Model Checking, and Abstract Interpretation, page 219--239. Springer International Publishing, (2021)
L. D'Antoni, M. Helfrich, J. Kret\'ınský, E. Ramneantu, and M. Weininger. 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 3-14. Springer, (October 2020)
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. Wituski, and G. Dietl. Proceedings of the 5th IEEE International Symposium on Smart and Wireless Systems within the International Conferences on Intelligent Data Acquisition and Advanced Computing Systems, IDAACS-SWS 2020, Dortmund, Germany, (September 2020)
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)
S. Sickert, and J. Esparza. Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, page 831–844. New York, NY, USA, Association for Computing Machinery, (2020)Preprint: <a href="https://arxiv.org/abs/2005.00472">Link</a><br>#conference.
M. Blondin, J. Esparza, B. Genest, M. Helfrich, and S. Jaax. STACS, volume 154 of LIPIcs, page 40:1-40:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Preprint: <a href="https://arxiv.org/abs/1910.04600">Link</a><br>#conference.
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.
M. Bozga, J. Esparza, R. Iosif, J. Sifakis, and C. Welzel. Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I, volume 12078 of Lecture Notes in Computer Science, page 228--246. Springer, (2020)Preprint: <a href="https://arxiv.org/abs/2002.07672">Link</a><br>#conference.
H. Seidl, C. Müller, and B. Finkbeiner. VMCAI, volume 11990 of Lecture Notes in Computer Science, page 426-448. Springer, (2020)https://arxiv.org/abs/1908.05964.
L. D'Antoni, M. Helfrich, J. Kretinsky, E. Ramneantu, and M. Weininger. CAV (2), volume 12225 of Lecture Notes in Computer Science, page 3-14. Springer, (2020)Preprint: <a href="https://arxiv.org/abs/2005.01419">Link</a><br>#conference.
M. Raskin, C. Weil-Kennedy, and J. Esparza. 31st International Conference on Concurrency Theory (CONCUR 2020), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Preprint: <a href="https://arxiv.org/abs/2001.09966">Link</a><br>#conference.
M. Blondin, J. Esparza, M. Helfrich, A. Kucera, and P. Meyer. CAV (2), volume 12225 of Lecture Notes in Computer Science, page 372-397. Springer, (2020)Preprint: <a href="https://arxiv.org/abs/2005.03555">Link</a><br>#conference.
S. Jaax, and S. Kiefer. MFCS, volume 170 of LIPIcs, page 48:1--48:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Preprint: <a href="https://arxiv.org/abs/1905.05114">Link</a><br>#conference.
J. Esparza, and F. Reiter. 31st International Conference on Concurrency Theory (CONCUR 2020), volume 171 of Leibniz International Proceedings in Informatics (LIPIcs), page 10:1--10:16. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum für Informatik, (2020)Preprint: <a href="https://arxiv.org/abs/2007.03291">Link</a><br>#conference.
A. Balasubramanian, and I. Walukiewicz. 31st International Conference on Concurrency Theory (CONCUR 2020), volume 171 of Leibniz International Proceedings in Informatics (LIPIcs), page 9:1--9:18. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum für Informatik, (2020)https://arxiv.org/abs/2004.09621.
A. Balasubramanian. 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020), volume 182 of Leibniz International Proceedings in Informatics (LIPIcs), page 37:1--37:15. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum für Informatik, (2020)#conference.
A. Marquardt, M. Schmidhuber, and G. Dietl. Proceedings of the 2019 IEEE International Conference on Microwaves, Communications, Antennas & Electronic Systems, COMCAS 2019, Tel Aviv, Israel, (November 2019)
M. Blondin, J. Esparza, and S. Jaax. 30th International Conference on Concurrency Theory (CONCUR 2019), volume 140 of Leibniz International Proceedings in Informatics (LIPIcs), page 31:1--31:16. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, (2019)Preprint: <a href="https://arxiv.org/abs/1902.01668">Link</a><br>#conference.
I. Berkovits, M. Lazic, G. Losa, O. Padon, and S. Shoham. Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II, volume 11562 of Lecture Notes in Computer Science, page 245--266. Springer, (2019)#conference.
A. Islam, J. Ma, Z. Hossain, T. Gedeon, and Y. Liu. Proceedings of the 2nd International Conference on Artificial Intelligence & Virtual Reality (AIVR 2019), (2019)
N. Bertrand, I. Konnov, M. Lazic, and J. Widder. CONCUR, volume 140 of LIPIcs, page 33:1-33:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Preprint: <a href="https://hal.inria.fr/hal-01925533/">Link</a><br>#conference.
É. Goubault, M. Lazic, J. Ledent, and S. Rajsbaum. DaLí, volume 12005 of Lecture Notes in Computer Science, page 53-70. Springer, (2019)https://arxiv.org/abs/1909.03263.
P. Angelini, S. Chaplick, S. Cornelsen, G. Lozzo, and V. Roselli. 35th International Symposium on Computational Geometry (SoCG 2019), volume 129 of Leibniz International Proceedings in Informatics (LIPIcs), page 10:1--10:16. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, (2019)