V. Khomenko
发表
Maciej Koutny,
Victor Khomenko,
V. Khomenko,
2003,
TACAS.
Maciej Koutny,
Alexandre Yakovlev,
Victor Khomenko,
2002,
Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition.
Maciej Koutny,
Victor Khomenko,
Keijo Heljanko,
2002,
TACAS.
A. A. Letichevskii,
V. Khomenko,
2002
.
V. Khomenko,
P. Jančar,
2018
.
D. Sokolov,
A. Yakovlev,
V. Khomenko,
2022,
2022 Forum on Specification & Design Languages (FDL).
A. Benveniste,
B. Caillaud,
R. Passerone,
2014,
2014 IEEE Conference on e-Learning, e-Management and e-Services (IC3e).
Maciej Koutny,
Alexander Romanovsky,
Alexei Iliasov,
2006,
RODIN Book.
Maciej Koutny,
Victor Khomenko,
V. Khomenko,
2007,
Formal Methods Syst. Des..
Maciej Koutny,
Walter Vogler,
Victor Khomenko,
2002,
Acta Informatica.
Maciej Koutny,
Victor Khomenko,
V. Khomenko,
2001,
CONCUR.
Victor Khomenko,
Andrey Mokhov,
V. Khomenko,
2014,
Comput. J..
Victor Khomenko,
César Rodríguez,
Stefan Schwoon,
2013,
Petri Nets.
Roland Meyer,
Victor Khomenko,
Reiner Hüchting,
2012,
CONCUR.
Victor Khomenko,
Andrey Mokhov,
V. Khomenko,
2011,
Petri Nets.
Victor Khomenko,
V. Khomenko,
2011,
2011 17th IEEE International Symposium on Asynchronous Circuits and Systems.
Roland Meyer,
Victor Khomenko,
Tim Strazny,
2008,
Fundam. Informaticae.
Victor Khomenko,
V. Khomenko,
2007,
IEEE Transactions on Very Large Scale Integration (VLSI) Systems.
Mark Schäfer,
Victor Khomenko,
V. Khomenko,
2007,
ICATPN.
Victor Khomenko,
V. Khomenko,
2007,
ICATPN.
Maciej Koutny,
Walter Vogler,
Alex Kondratyev,
2006,
Acta Informatica.
Josep Carmona,
Alexandre Yakovlev,
Jordi Cortadella,
2003,
Lectures on Concurrency and Petri Nets.
Victor Khomenko,
V. Khomenko,
2004
.
Victor Khomenko,
V. Khomenko,
Victor Khomenko,
2003
.
Victor Khomenko,
Agnes Madalinski,
V. Khomenko,
2010,
2010 Conference on Control and Fault-Tolerant Systems (SysTol).
Victor Khomenko,
Claus Schröter,
V. Khomenko,
2004,
CAV.
Victor Khomenko,
Agnes Madalinski,
V. Khomenko,
2011
.
Walter Vogler,
Mark Schäfer,
Ralf Wollowski,
2009,
Acta Informatica.
Walter Vogler,
Mark Schäfer,
Victor Khomenko,
2007,
Seventh International Conference on Application of Concurrency to System Design (ACSD 2007).
Alexandre Yakovlev,
Victor Khomenko,
Ivan Poliakov,
2009,
Petri Nets.
Victor Khomenko,
Andrey Mokhov,
A. Yakovlev,
2012,
2012 12th International Conference on Application of Concurrency to System Design.
A. Yakovlev,
V. Khomenko,
M. Koutny,
2022,
CONCUR.
Thomas Chatain,
Victor Khomenko,
T. Chatain,
2007,
Inf. Process. Lett..
Victor Khomenko,
T. Chatain,
T. Chatain,
2007
.