Anton Stefanek
发表
Jeremy T. Bradley,
Anton Stefanek,
Richard A. Hayden,
2011
.
Jeremy T. Bradley,
Anton Stefanek,
Richard A. Hayden,
2011,
PERV.
Jeremy T. Bradley,
Anton Stefanek,
Richard A. Hayden,
2012,
ASMTA.
Stephen Gilmore,
Samuel Kounev,
Philipp Reinecke,
2012,
Resilience Assessment and Evaluation of Computing Systems.
Jeremy T. Bradley,
Anton Stefanek,
Richard A. Hayden,
2012,
2012 Ninth International Conference on Quantitative Evaluation of Systems.
Jeremy T. Bradley,
Anton Stefanek,
Richard A. Hayden,
2010,
QAPL.
Jeremy T. Bradley,
Anton Stefanek,
Richard A. Hayden,
2011,
2011 Eighth International Conference on Quantitative Evaluation of SysTems.
Jeremy T. Bradley,
Nigel Thomas,
Anton Stefanek,
2015,
Electron. Notes Theor. Comput. Sci..
Jeremy T. Bradley,
Anton Stefanek,
Richard A. Hayden,
2016,
Ann. Oper. Res..
Jeremy T. Bradley,
Anton Stefanek,
Richard A. Hayden,
2011,
PERV.
Jeremy T. Bradley,
Nigel Thomas,
Anton Stefanek,
2012,
Comput. J..
GPA: A Multiformalism, Multisolution Approach to Efficient Analysis of Large-Scale Population Models
Jeremy T. Bradley,
Marcel C. Guenther,
Anton Stefanek,
2014
.
Jeremy T. Bradley,
Anton Stefanek,
Richard A. Hayden,
2012,
Theor. Comput. Sci..
Anton Stefanek,
2013
.
Jeremy T. Bradley,
Marcel C. Guenther,
Anton Stefanek,
2012,
EPEW/UKPEW.
Jeremy T. Bradley,
Anton Stefanek,
Richard A. Hayden,
2011,
ICPE '11.
Jeremy T. Bradley,
Anton Stefanek,
Uli Harder,
2012,
EPEW/UKPEW.
Jeremy T. Bradley,
Anton Stefanek,
Richard A. Hayden,
2010
.
Jeremy T. Bradley,
Anton Stefanek,
M Vigliotti,
2009
.
Jeremy T. Bradley,
Marcel C. Guenther,
Anton Stefanek,
2011
.
Jeremy T. Bradley,
Anton Stefanek,
Richard A. Hayden,
2010
.
Jeremy T. Bradley,
Anton Stefanek,
M. Vigliotti,
2009
.
Jeremy T. Bradley,
Anton Stefanek,
Richard A. Hayden,
2012
.