Christoph Matheja
发表
Peter Müller,
Alexander J. Summers,
Vytautas Astrauskas,
2020,
Proc. ACM Program. Lang..
How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times
pdf
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.
Florian Zuleger,
Thomas Noll,
Jens Katelaan,
2016,
ESOP.
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.
Thomas Noll,
Christoph Matheja,
Ira Fesefeldt,
2021,
ICGT.
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..