Follow
Victor Khomenko
Victor Khomenko
School of Computing, Newcastle University
Verified email at ncl.ac.uk - Homepage
Title
Cited by
Cited by
Year
Model checking based on prefixes of Petri net unfoldings
V Khomenko
Newcastle University, 2003
1192003
Canonical prefixes of Petri net unfoldings
V Khomenko, M Koutny, W Vogler
Acta Informatica 40, 95-118, 2003
1112003
Logic synthesis for asynchronous circuits based on STG unfoldings and incremental SAT
V Khomenko, M Koutny, A Yakovlev
Fundamenta Informaticae 70 (1-2), 49-73, 2006
882006
Detecting State Coding Conflicts in STG Unfoldings Using SAT
V Khomenko, M Koutny, A Yakovlev
ACSD'03, 51-60, 2003
762003
Towards an efficient algorithm for unfolding Petri nets
V Khomenko, M Koutny
CONCUR 2001—Concurrency Theory: 12th International Conference Aalborg …, 2001
742001
Branching processes of high-level Petri nets
V Khomenko, M Koutny
Tools and Algorithms for the Construction and Analysis of Systems: 9th …, 2003
622003
Parallelisation of the Petri net unfolding algorithm
K Heljanko, V Khomenko, M Koutny
Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002
612002
Workcraft – A Framework for Interpreted Graph Models
I Poliakov, V Khomenko, A Yakovlev
Applications and Theory of Petri Nets: 30th International Conference, PETRI …, 2009
562009
Merged processes: a new condensed representation of Petri net behaviour
V Khomenko, A Kondratyev, M Koutny, W Vogler
Acta Informatica 43 (5), 307-330, 2006
542006
Algebra of Parameterised Graphs
A Mokhov, V Khomenko
ACM Transactions on Embedded Computing Systems 13 (4s), 2014
412014
LP deadlock checking using partial order dependencies
V Khomenko, M Koutny
International Conference on Concurrency Theory, 410-425, 2000
412000
Recent advances in unfolding technique
B Bonet, P Haslum, V Khomenko, S Thiébaux, W Vogler
Theoretical Computer Science 551, 84-101, 2014
322014
Canonical prefixes of Petri net unfoldings
V Khomenko, M Koutny, W Vogler
Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002
322002
Diagnosability under Weak Fairness
V Germanos, S Haar, V Khomenko, S Schwoon
ACSD'14, 132-141, 2014
312014
Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design
A Madalinski, A Bystrov, K V., A Yakovlev
DATE'03, 926-931, 2003
302003
Detecting state coding conflicts in STGs using integer programming
V Khomenko, M Koutny, A Yakovlev
Proceedings of the conference on Design, Automation and Test in Europe, 338, 2002
282002
Improved parallel composition of labelled Petri nets
A Alekseyev, V Khomenko, A Mokhov, D Wist, A Yakovlev
2011 Eleventh International Conference on Application of Concurrency to …, 2011
242011
Output-Determinacy and Asynchronous Circuit Synthesis
V Khomenko, M Schaefer, W Vogler
ACSD'07, 147-156, 2007
232007
STG decomposition strategies in combination with unfolding
V Khomenko, M Schaefer, W Vogler, R Wollowski
Acta Informatica 46, 433-474, 2009
222009
Checking pi-calculus structural congruence is graph isomorphism complete
V Khomenko, R Meyer
2009 Ninth International Conference on Application of Concurrency to System …, 2009
212009
The system can't perform the operation now. Try again later.
Articles 1–20