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.
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.
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. 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)
É. Goubault, M. Lazic, J. Ledent, and S. Rajsbaum. DISC, volume 146 of LIPIcs, page 21:1-21:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)#conference.
M. Blondin, J. Esparza, and A. Kucera. 29th International Conference on Concurrency Theory (CONCUR 2018), volume 118 of Leibniz International Proceedings in Informatics (LIPIcs), page 33:1-33:16. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2018)https://arxiv.org/abs/1807.00331.