Author

Victor Khomenko

Observed names: Khomenko, Victor, V Khomenko, V. Khomenko, V. V. Khomenko

Institutions: Renesas Electronics (United Kingdom), Renesas Electronics (Japan), Newcastle University

Observed institutions: Taras Shevchenko National University of Kyiv, Victoria University of Wellington, Renesas Electronics (United Kingdom), Renesas Electronics (Japan), University of Newcastle Australia, Newcastle University

ORCID: 0000-0001-6422-2006

Observed ORCID: 0000-0001-6422-2006

OpenAlex ID: A5008744860

Canonical prefixes of Petri net unfoldings

2003 · Victor Khomenko, Maciej Koutny, et al. · Acta Informatica · 98

Model checking based on prefixes of petri net unfoldings

2003 · Victor Khomenko · 81

Towards an Efficient Algorithm for Unfolding Petri Nets

2001 · Victor Khomenko, Maciej Koutny · Lecture notes in computer science · 49

Merged processes: a new condensed representation of Petri net behaviour

2006 · Victor Khomenko, Alex Kondratyev, et al. · Acta Informatica · 47

Canonical Prefixes of Petri Net Unfoldings

2002 · Victor Khomenko, Maciej Koutny, et al. · Lecture notes in computer science · 45

PDF

Branching Processes of High-Level Petri Nets

2003 · Victor Khomenko, Maciej Koutny · Lecture notes in computer science · 43

Application and Theory of Petri Nets and Concurrency: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

2018 · Khomenko, Victor, Roux, Olivier, H. · Lecture notes in computer science · 40

Logic synthesis for asynchronous circuits based on Petri net unfoldings and incremental SAT

2004 · V. Khomenko, M. Koutny, et al. · International Conference on Application of Concurrency to System Design (ACSD) · 38

Parallelisation of the Petri Net Unfolding Algorithm

2002 · Keijo Heljanko, Victor Khomenko, et al. · Lecture notes in computer science · 38

Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT

2006 · V Khomenko, Maciej Koutny, et al. · Newcastle University ePrints (Newcastle Univesity) · 36

Detecting State Encoding Conflicts in STG Unfoldings Using SAT

2004 · V Khomenko, Maciej Koutny, et al. · Newcastle University ePrints (Newcastle Univesity) · 33

LP Deadlock Checking Using Partial Order Dependencies

2000 · Victor Khomenko, Maciej Koutny · Lecture notes in computer science · 32

Workcraft – A Framework for Interpreted Graph Models

2009 · Ivan Poliakov, Victor Khomenko, et al. · Lecture notes in computer science · 29

Algebra of Parameterised Graphs

2014 · Andrey Mokhov, Victor Khomenko · ACM Transactions on Embedded Computing Systems · 26

Detecting state coding conflicts in STG unfoldings using SAT

2004 · V. Khomenko, M. Koutny, et al. · International Conference on Application of Concurrency to System Design (ACSD) · 25

A Practical Approach to Verification of Mobile Systems Using Net Unfoldings

2009 · Roland Meyer, Victor Khomenko, et al. · Fundamenta Informaticae · 23

Recent advances in unfolding technique

2014 · Blai Bonet, Patrik Haslum, et al. · Theoretical Computer Science · 21

Detecting State Coding Conflicts in STGs Using Integer Programming

2001 · V Khomenko, Maciej Koutny, et al. · 20

Diagnosability verification with parallel LTL-X model checking based on Petri net unfoldings

2010 · Agnes Madalinski, Victor Khomenko · Conference on Control and Fault-Tolerant Systems · 18

Automating the Design of Asynchronous Logic Control for AMS Electronics

2019 · Danil Sokolov, Victor Khomenko, et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 17

Improved Parallel Composition of Labelled Petri Nets

2011 · Arseniy Alekseyev, Victor Khomenko, et al. · International Conference on Application of Concurrency to System Design (ACSD) · 16

Benefits of asynchronous control for analog electronics: Multiphase buck case study

2017 · Danil Sokolov, Vladimir Dubikhin, et al. · Design, Automation, and Test in Europe · 15

Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design

2003 · A Madalinski, Alexandre Bystrov, et al. · 15

Diagnosability under Weak Fairness

2015 · Vasileios Germanos, Stefan Haar, et al. · ACM Transactions on Embedded Computing Systems · 14

Predictability Verification with Parallel LTL-X Model Checking Based on Petri Net Unfoldings

2012 · Agnes Madalinski, Victor Khomenko · IFAC Proceedings Volumes · 14

Works count: 112

Citation count: 1,187

H-index: 18

I10-index: 39