Yaroslav S. Usenko
发表
Yaroslav S. Usenko,
1999
.
Jan Friso Groote,
Jan Martijn E. M. van der Werf,
Ivo Raedts,
2007,
MSVVEIS.
Joost-Pieter Katoen,
Holger Hermanns,
David N. Jansen,
2004,
ISoLA.
Ulrich Ultes-Nitsche,
Michael Leuschel,
Yaroslav S. Usenko,
2002
.
Jan Friso Groote,
Michel A. Reniers,
Yaroslav S. Usenko,
2006,
Electron. Notes Theor. Comput. Sci..
Wan Fokkink,
Paul Klint,
Yaroslav S. Usenko,
2009,
FSEN.
Jan Friso Groote,
Yaroslav S. Usenko,
Bert Lisser,
1999
.
Wan Fokkink,
Paul Klint,
Yaroslav S. Usenko,
2008,
AMAST.
Jan Friso Groote,
Reniers,
Yaroslav S. Usenko,
2008
.
Dragan Bosnacki,
Yaroslav S. Usenko,
Aad Mathijssen,
2009,
FMICS.
Yaroslav S. Usenko,
2002,
Sci. Comput. Program..
Alban Ponse,
Michel A. Reniers,
Yaroslav S. Usenko,
2008
.
Jan Friso Groote,
Yaroslav S. Usenko,
Aad Mathijssen,
2006,
Electron. Notes Theor. Comput. Sci..
V. A. Kostenko,
Jan Friso Groote,
Kirsten Winter,
2000
.
Wan Fokkink,
Jaco van de Pol,
Natalia Ioustinova,
2002,
CONCUR.
Jan Friso Groote,
Michel A. Reniers,
Yaroslav S. Usenko,
2006,
Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.
Jan Friso Groote,
Yaroslav S. Usenko,
Bert Lisser,
1999
.
Ed Brinksma,
Yaroslav S. Usenko,
Tomas Krilavičius,
2005,
SIGMETRICS 2005.
Marko C. J. D. van Eekelen,
Yaroslav S. Usenko,
Stefan ten Hoedt,
2007,
FMICS.
Alban Ponse,
Yaroslav S. Usenko,
2001,
Inf. Process. Lett..
Jan Friso Groote,
Alban Ponse,
Yaroslav S. Usenko,
2000,
J. Log. Algebraic Methods Program..
H. Hermanns,
Yaroslav S. Usenko,
Biniam Gebremichael,
2003
.
Jan Friso Groote,
Michel A. Reniers,
Yaroslav S. Usenko,
2006
.
Holger Hermanns,
David N. Jansen,
Angelika Mader,
2006,
International Journal on Software Tools for Technology Transfer.
Holger Hermanns,
Angelika Mader,
Henrik Bohnenkamp,
2004
.
Michel A. Reniers,
Yaroslav S. Usenko,
M. Reniers,
2005,
12th International Symposium on Temporal Representation and Reasoning (TIME'05).
Holger Hermanns,
Angelika Mader,
Yaroslav S. Usenko,
2004,
First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..
Yaroslav S. Usenko,
Biniam Gebremichael,
T. Krilavicius,
2004
.
Jan Friso Groote,
Michel A. Reniers,
Yaroslav S. Usenko,
2006,
MMOSS.
Jan Friso Groote,
Michel A. Reniers,
Yaroslav S. Usenko,
2006
.
Jan Friso Groote,
Tim A. C. Willemse,
J. van der Wulp,
2008
.
Holger Hermanns,
David N. Jansen,
Yaroslav S. Usenko,
2005,
WOSP '05.
Jan Friso Groote,
Michel A. Reniers,
Yaroslav S. Usenko,
2008,
2008 IEEE International Symposium on Parallel and Distributed Processing.
Dragan Bošnački,
Yaroslav S. Usenko,
Aad Mathijssen,
2009
.