MTG 2006 Mastering the Gap: From Information Extraction to Semantic Representation Proceedings of the Workshop on Mastering the Gap, From Information Extraction to Semantic Representation, held in conjunction with the European Semantic Web Conference 20
M. Kokorsch, and 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, (February 2023)
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.
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)
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)
D. Garbe, G. Dietl, M. Gardill, and K. Schilling. Proceedings of the 73rd International Astronautical Congress, IAC 2022, Paris, France, (September 2022)
P. Czerner, R. Guttenberg, M. Helfrich, and J. Esparza. 1st Symposium on Algorithmic Foundations of Dynamic Networks, SAND 2022, March 28-30, 2022, Virtual Conference, volume 221 of LIPIcs, page 11:1--11:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (April 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)
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)
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)
G. Dietl. Proceedings of the 2nd International Workshop on Ubiquitous Electric Internet of Things, UEIoT, within the 17th International Conference on Mobility, Sensing, and Networking, MSN 2021, Exeter, United Kingdom, (December 2021)
P. Czerner, R. Guttenberg, M. Helfrich, and J. Esparza. PODC '21: ACM Symposium on Principles of Distributed Computing, Virtual Event, Italy, July 26-30, 2021, page 115--125. ACM, (July 2021)
P. Czerner, and J. Esparza. PODC '21: ACM Symposium on Principles of Distributed Computing, Virtual Event, Italy, July 26-30, 2021, page 45--54. ACM, (July 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)
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.
N. Bertrand, M. Lazić, and J. Widder. Verification, Model Checking, and Abstract Interpretation, page 219--239. Springer International Publishing, (2021)
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)
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)
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.
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.
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.