| 2024 | ASPDAC | Bridging the Design Methodologies of Burst-Mode Specifications and Signal Transition Graphs. | Alex Chan, Danil Sokolov, Victor Khomenko, Alex Yakovlev |
| 2022 | CONCUR | Slimming down Petri Boxes: Compact Petri Net Models of Control Flows. | Victor Khomenko, Maciej Koutny, Alex Yakovlev |
| 2022 | FDL | Formal Modelling of Burst-Mode Specifications in a Distributed Environment. | Alex Chan, Danil Sokolov, Victor Khomenko, Alex Yakovlev |
| 2021 | DATE | Synthesis of SI Circuits from Burst-Mode Specifications. | Alex Chan, Danil Sokolov, Victor Khomenko, David Lloyd, Alex Yakovlev |
| 2017 | DATE | Benefits of asynchronous control for analog electronics: Multiphase buck case study. | Danil Sokolov, Vladimir Dubikhin, Victor Khomenko, David Lloyd, Andrey Mokhov, Alex Yakovlev |
| 2012 | CONCUR | A Polynomial Translation of π-Calculus (FCP) to Safe Petri Nets. | Roland Meyer, Victor Khomenko, Reiner Hchting |
| 2005 | CONCUR | Merged Processes - A New Condensed Representation of Petri Net Behaviour. | Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler |
| 2004 | CAV | Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings. | Claus Schrter, Victor Khomenko |
| 2003 | DATE | Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design. | Agnes Madalinski, Alexandre V. Bystrov, Victor Khomenko, Alexandre Yakovlev |
| 2003 | TACAS | Branching Processes of High-Level Petri Nets. | Victor Khomenko, Maciej Koutny |
| 2002 | CAV | Canonical Prefixes of Petri Net Unfoldings. | Victor Khomenko, Maciej Koutny, Walter Vogler |
| 2002 | DATE | Detecting State Coding Conflicts in STGs Using Integer Programming. | Victor Khomenko, Maciej Koutny, Alexandre Yakovlev |
| 2002 | TACAS | Parallelisation of the Petri Net Unfolding Algorithm. | Keijo Heljanko, Victor Khomenko, Maciej Koutny |
| 2001 | CONCUR | Towards an Efficient Algorithm for Unfolding Petri Nets. | Victor Khomenko, Maciej Koutny |
| 2000 | CONCUR | LP Deadlock Checking Using Partial Order Dependencies. | Victor Khomenko, Maciej Koutny |