Christoph Matheja

发表

Peter Müller, Alexander J. Summers, Vytautas Astrauskas, 2020, Proc. ACM Program. Lang..

Joost-Pieter Katoen, Christoph Matheja, Benjamin Lucien Kaminski, 2018, ESOP.

Thomas Noll, Christoph Matheja, Christina Jansen, 2017, SEFM.

Nils Jansen, Joost-Pieter Katoen, Federico Olmedo, 2015 .

Sebastian Junges, Joost-Pieter Katoen, Christoph Matheja, 2020, CAV.

Joost-Pieter Katoen, Justin Hsu, Christoph Matheja, 2021, Proc. ACM Program. Lang..

Florian Zuleger, Thomas Noll, Jens Katelaan, 2018, LPAR.

Joost-Pieter Katoen, Federico Olmedo, Christoph Matheja, 2016, 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

Joost-Pieter Katoen, Thomas Noll, Christoph Matheja, 2018, CAV.

Florian Zuleger, Jens Katelaan, Christoph Matheja, 2019, TACAS.

Joost-Pieter Katoen, Christoph Matheja, Benjamin Lucien Kaminski, 2020, ArXiv.

Joost-Pieter Katoen, Christoph Matheja, Benjamin Lucien Kaminski, 2018, Acta Informatica.

Joost-Pieter Katoen, Maurice van Keulen, Christoph Matheja, 2018, SUM.

Thomas Noll, Christoph Matheja, Christina Jansen, 2017, ArXiv.

Cristina Serban, Wei-Ngan Chin, Siau-Cheng Khoo, 2019, TACAS.

Joost-Pieter Katoen, Thomas Noll, Christoph Matheja, 2018, ArXiv.

Thomas Noll, Christoph Matheja, Christina Jansen, 2015, APLAS.

Joost-Pieter Katoen, Federico Olmedo, Christoph Matheja, 2016, ESOP.

Florian Zuleger, Christoph Matheja, Jens Pagel, 2020, ArXiv.

Joost-Pieter Katoen, Christoph Matheja, Benjamin Lucien Kaminski, 2021, Proc. ACM Program. Lang..

Joost-Pieter Katoen, Thomas Noll, Christoph Matheja, 2018, Proc. ACM Program. Lang..

Christoph Matheja, C. Matheja, Christoph Matheja, 2020 .

Joost-Pieter Katoen, Christoph Matheja, Benjamin Lucien Kaminski, 2016, QEST.

Joost-Pieter Katoen, Federico Olmedo, Christoph Matheja, 2018, J. ACM.

Joost-Pieter Katoen, Gilles Barthe, Justin Hsu, 2019, ArXiv.

Joost-Pieter Katoen, Thomas Noll, Christoph Matheja, 2022, ESOP.

Joost-Pieter Katoen, Christoph Matheja, Benjamin Lucien Kaminski, 2021, CAV.

Peter Müller, Christoph Matheja, Aurel Bílý, 2021, ArXiv.

Peter Müller, Alexander J. Summers, Christoph Matheja, 2021, Proc. ACM Program. Lang..

Joost-Pieter Katoen, Christoph Matheja, Benjamin Lucien Kaminski, 2020, Proc. ACM Program. Lang..