Ivan S. Zapreev
发表
Joost-Pieter Katoen,
Maneesh Khattri,
Ivan S. Zapreev,
2005,
Second International Conference on the Quantitative Evaluation of Systems (QEST'05).
Pieter Collins,
Ivan S. Zapreev,
2009,
RP.
Joost-Pieter Katoen,
Ivan S. Zapreev,
J. Katoen,
2005,
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
Joost-Pieter Katoen,
Mariëlle Stoelinga,
David N. Jansen,
2007,
Haifa Verification Conference.
Joost-Pieter Katoen,
Holger Hermanns,
David N. Jansen,
2009,
2009 Sixth International Conference on the Quantitative Evaluation of Systems.
Pieter Collins,
Ivan S. Zapreev,
2011,
Int. J. Found. Comput. Sci..
Manuel Mazo,
Ivan S. Zapreev,
Cees Verdier,
2018,
ADHS.
Joost-Pieter Katoen,
David N. Jansen,
Ivan S. Zapreev,
2007,
TACAS.
Ivan S. Zapreev,
2008
.
Joost-Pieter Katoen,
Ivan S. Zapreev,
J. Katoen,
2009,
2009 Sixth International Conference on the Quantitative Evaluation of Systems.
Joost-Pieter Katoen,
Holger Hermanns,
David N. Jansen,
2009,
2009 Sixth International Conference on the Quantitative Evaluation of Systems.
E. M. Hahn,
Ivan S. Zapreev,
J. Katoen,
2019
.
Ivan S. Zapreev,
H. A. Oldenkamp,
H. Oldenkamp,
2007
.