The development of interactive algorithms for the Mathematical Environment. - Alexander A. Letichevsky; Julia V. Kapitonova; Vladislav A. Volkov; A. Chugayenko; Victor Khomenko; David R. Gilbert (Calculemus, 1999)

LP Deadlock Checking Using Partial Order Dependencies. - Victor Khomenko; Maciej Koutny (CONCUR, 2000)

Towards an Efficient Algorithm for Unfolding Petri Nets. - Victor Khomenko; Maciej Koutny (CONCUR, 2001)

Detecting State Coding Conflicts in STGs Using Integer Programming. - Victor Khomenko; Maciej Koutny; Alexandre Yakovlev (DATE, 2002)

Parallelisation of the Petri Net Unfolding Algorithm. - Keijo Heljanko; Victor Khomenko; Maciej Koutny (TACAS, 2002)

Synthesis of Asynchronous Hardware from Petri Nets. - Josep Carmona 001; Jordi Cortadella; Victor Khomenko; Alexandre Yakovlev (Lectures on Concurrency and Petri Nets, 2003)

Detecting State Coding Conflicts in STG Unfoldings Using SAT. - Victor Khomenko; Maciej Koutny; Alexandre Yakovlev (ACSD, 2003)

Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design. - Agnes Madalinski; Alexandre V. Bystrov; Victor Khomenko; Alexandre Yakovlev (DATE, 2003)

Branching Processes of High-Level Petri Nets. - Victor Khomenko; Maciej Koutny (TACAS, 2003)

Canonical prefixes of Petri net unfoldings. - Victor Khomenko; Maciej Koutny; Walter Vogler (Acta Informatica, 2003)

Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT. - Victor Khomenko; Maciej Koutny; Alexandre Yakovlev (ACSD, 2004)

Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings. - Claus Schröter; Victor Khomenko (CAV, 2004)

Detecting State Encoding Conflicts in STG Unfoldings Using SAT. - Victor Khomenko; Maciej Koutny; Alexandre Yakovlev (Fundam. Informaticae, 2004)

Strategies for Optimised STG Decomposition. - Mark Schäfer; Walter Vogler; Ralf Wollowski; Victor Khomenko (ACSD, 2006)

On Specification and Verification of Location-Based Fault Tolerant Mobile Systems. - Alexei Iliasov; Victor Khomenko; Maciej Koutny; Alexander B. Romanovsky (RODIN Book, 2006)

Merged processes: a new condensed representation of Petri net behaviour. - Victor Khomenko; Alex Kondratyev; Maciej Koutny; Walter Vogler (Acta Informatica, 2006)

Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT. - Victor Khomenko; Maciej Koutny; Alexandre Yakovlev (Fundam. Informaticae, 2006)

Behaviour-Preserving Transition Insertions in Unfolding Prefixes. - Victor Khomenko (ICATPN, 2007)

Combining Decomposition and Unfolding for STG Synthesis. - Victor Khomenko; Mark Schäfer (ICATPN, 2007)

Verification of bounded Petri nets using integer programming. - Victor Khomenko; Maciej Koutny (Formal Methods Syst. Des., 2007)

On the well-foundedness of adequate orders used for construction of complete unfolding prefixes. - Thomas Chatain; Victor Khomenko (Inf. Process. Lett., 2007)

Derivation of Monotonic Covers for Standard-C Implementation Using STG Unfoldings. - Victor Khomenko (ASYNC, 2008)

A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks. - Richard Banks; Victor Khomenko; L. Jason Steggles (MeCBIC, 2008)

Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings. - Victor Khomenko; Agnes Madalinski; Alexandre Yakovlev (Fundam. Informaticae, 2008)

Output-Determinacy and Asynchronous Circuit Synthesis. - Victor Khomenko; Mark Schäfer; Walter Vogler (Fundam. Informaticae, 2008)

Checking pi-Calculus Structural Congruence is Graph Isomorphism Complete. - Victor Khomenko; Roland Meyer 001 (ACSD, 2009)

Workcraft - A Framework for Interpreted Graph Models. - Ivan Poliakov; Victor Khomenko; Alexandre Yakovlev (Petri Nets, 2009)

STG decomposition strategies in combination with unfolding. - Victor Khomenko; Mark Schäfer; Walter Vogler; Ralf Wollowski (Acta Informatica, 2009)

A Practical Approach to Verification of Mobile Systems Using Net Unfoldings. - Roland Meyer 001; Victor Khomenko; Tim Strazny (Fundam. Informaticae, 2009)

Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings. - Victor Khomenko (IEEE Trans. Very Large Scale Integr. Syst., 2009)

A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes. - Victor Khomenko (ICGT, 2010)

Improved Parallel Composition of Labelled Petri Nets. - Arseniy Alekseyev; Victor Khomenko; Andrey Mokhov; Dominic Wist; Alex Yakovlev (ACSD, 2011)

Unfolding Models of Asynchronous Systems: Applications to Analysis and Synthesis. - Victor Khomenko (PNSE, 2011)

An Algorithm for Direct Construction of Complete Merged Processes. - Victor Khomenko; Andrey Mokhov (Petri Nets, 2011)

Logic Decomposition of Asynchronous Circuits Using STG Unfoldings. - Victor Khomenko (ASYNC, 2011)

Flat Arbiters. - Andrey Mokhov; Victor Khomenko; Alexandre Yakovlev (Fundam. Informaticae, 2011)

Algebra of Parameterised Graphs. - Andrey Mokhov; Victor Khomenko; Arseniy Alekseyev; Alex Yakovlev (ACSD, 2012)

On Dual-Rail Control Logic for Enhanced Circuit Robustness. - Andrey Mokhov; Victor Khomenko; Danil Sokolov; Alex Yakovlev (ACSD, 2012)

A Polynomial Translation of π-Calculus (FCP) to Safe Petri Nets. - Roland Meyer 001; Victor Khomenko; Reiner Hüchting (CONCUR, 2012)

Contextual Merged Processes. - César Rodríguez; Stefan Schwoon; Victor Khomenko (Petri Nets, 2013)

A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets. - Victor Khomenko; Roland Meyer 001; Reiner Hüchting (Log. Methods Comput. Sci., 2013)

Direct Construction of Complete Merged Processes. - Victor Khomenko; Andrey Mokhov (Comput. J., 2014)

Recent advances in unfolding technique. - Blai Bonet; Patrik Haslum; Victor Khomenko; Sylvie Thiébaux; Walter Vogler (Theor. Comput. Sci., 2014)

Algebra of Parameterised Graphs. - Andrey Mokhov; Victor Khomenko (ACM Trans. Embed. Comput. Syst., 2014)

Opportunistic Merge Element. - Andrey Mokhov; Victor Khomenko; Danil Sokolov; Alex Yakovlev (ASYNC, 2015)

Design and Verification of Speed-Independent Multiphase Buck Controller. - Danil Sokolov; Victor Khomenko; Andrey Mokhov; Alex Yakovlev; David Lloyd (ASYNC, 2015)

Diagnosability under Weak Fairness. - Vasileios Germanos; Stefan Haar; Victor Khomenko; Stefan Schwoon (ACM Trans. Embed. Comput. Syst., 2015)

Factored Planning: From Automata to Petri Nets. - Loïg Jezequel; Eric Fabre; Victor Khomenko (ACM Trans. Embed. Comput. Syst., 2015)

Modelling and Analysis Mobile Systems Using pi -calculus (EFCP). - Victor Khomenko; Vasileios Germanos (Trans. Petri Nets Other Model. Concurr., 2015)

A fixed window Level Crossing ADC with activity dependent power dissipation. - Austin Ogweno; Patrick Degenaar; Victor Khomenko; Alex Yakovlev (NEWCAS, 2016)

Modeling Genetic Regulatory Networks. - Richard Banks; Victor Khomenko; L. Jason Steggles (Modeling in Systems Biology, The Petri Net Approach, 2016)

Formal Design and Verification of an Asynchronous SRAM Controller. - Victor Khomenko; Andrey Mokhov; Danil Sokolov; Alex Yakovlev (ACSD, 2017)

WAITX: An Arbiter for Non-persistent Signals. - Victor Khomenko; Danil Sokolov; Andrey Mokhov; Alex Yakovlev (ASYNC, 2017)

Benefits of asynchronous control for analog electronics: Multiphase buck case study. - Danil Sokolov; Vladimir Dubikhin; Victor Khomenko; David Lloyd; Andrey Mokhov; Alex Yakovlev (DATE, 2017)

Asynchronous Arbitration Primitives for New Generation of Circuits and Systems. - Andrey Mokhov; Danil Sokolov; Victor Khomenko; Alex Yakovlev (NGCAS, 2017)

Design and Verification of Speed-Independent Circuits with Arbitration in Workcraft. - Danil Sokolov; Victor Khomenko; Alex Yakovlev; David Lloyd (ASYNC, 2018)

Preface. - Victor Khomenko; Jetty Kleijn; Wojciech Penczek; Olivier H. Roux (Fundam. Informaticae, 2019)

Handshake Verification in WORKCRAFT. - Victor Khomenko; Danil Sokolov; Alex Yakovlev; David Lloyd (ASYNC, 2020)

Automating the Design of Asynchronous Logic Control for AMS Electronics. - Danil Sokolov; Victor Khomenko; Andrey Mokhov; Vladimir Dubikhin; David Lloyd; Alex Yakovlev (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Synthesis of SI Circuits from Burst-Mode Specifications. - Alex Chan; Danil Sokolov; Victor Khomenko; David Lloyd; Alex Yakovlev (DATE, 2021)

Avoiding Exponential Explosion in Petri Net Models of Control Flows. - Victor Khomenko; Maciej Koutny; Alex Yakovlev (Petri Nets, 2022)

Slimming down Petri Boxes: Compact Petri Net Models of Control Flows. - Victor Khomenko; Maciej Koutny; Alex Yakovlev (CONCUR, 2022)

Formal Modelling of Burst-Mode Specifications in a Distributed Environment. - Alex Chan; Danil Sokolov; Victor Khomenko; Alex Yakovlev (FDL, 2022)

Burst Automaton: Framework for Speed-Independent Synthesis Using Burst-Mode Specifications. - Alex Chan; Danil Sokolov; Victor Khomenko; David Lloyd; Alex Yakovlev (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Bridging the Design Methodologies of Burst-Mode Specifications and Signal Transition Graphs. - Alex Chan; Danil Sokolov; Victor Khomenko; Alex Yakovlev (ASPDAC, 2024)

Distributed Places and Safe Net Reduction. - Victor Khomenko; Maciej Koutny; Alex Yakovlev (Petri Nets, 2025)

Easy async for busy engineers: AFSM-based design of low-latency robust controllers in Workcraft*. - Danil Sokolov; Victor Khomenko; Marco Sautto (ASYNC, 2025)