Concepedia

Victor Khomenko

VK

25

Publications

466

Citations

14

H-Index

2002

Active since

Affiliations

Newcastle University(Current)

University of Newcastle Australia

University of Augsburg

École Normale Supérieure Paris-Saclay

Austral University of Chile

Victor Khomenko is an author at Newcastle University specializing in engineering, computer engineering, and systems engineering.

Top concepts

EngineeringSystems EngineeringFormal MethodsComputer ScienceComputer EngineeringFormal VerificationVerificationProgram AnalysisAutomated ReasoningComputer Architecture

Publications per year

2002–2019

25

Publications

25

Merged processes: a new condensed representation of Petri net behaviour

Victor Khomenko, A. Kondratyev, Maciej Koutny et al. · Acta Informatica · 2006 · 45 citations

Petri Net, New Condensed Representation, Engineering +8

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

Victor Khomenko, Maciej Koutny, Alex Yakovlev · 2004 · 36 citations

Petri Net, Engineering, Reachability Problem +23

Logic synthesis for asynchronous circuits based on STG unfoldings and incremental SAT

Victor Khomenko, Maciej Koutny, Alex Yakovlev · Fundamenta Informaticae · 2006 · 35 citations

Engineering, Reachability Problem, Verification +23

Detecting State Encoding Conflicts in STG Unfoldings Using SAT

Victor Khomenko, Maciej Koutny, Alex Yakovlev · Fundamenta Informaticae · 2004 · 32 citations

Csc Conflicts, Engineering, Reachability Problem +21

Detecting state coding conflicts in STG unfoldings using SAT

Victor Khomenko, Maciej Koutny, Alex Yakovlev · 2004 · 25 citations

Engineering, Reachability Problem, Verification +20

Rows per page

1–5 of 25