Följ
Victor Khomenko
Victor Khomenko
School of Computing, Newcastle University
Verifierad e-postadress på ncl.ac.uk - Startsida
Titel
Citeras av
Citeras av
År
Model checking based on prefixes of Petri net unfoldings
V Khomenko
Newcastle University, 2003
1162003
Canonical prefixes of Petri net unfoldings
V Khomenko, M Koutny, W Vogler
Acta Informatica 40 (2), 95-118, 2003
1032003
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
852006
Detecting State Coding Conflicts in STG Unfoldings Using SAT
V Khomenko, M Koutny, A Yakovlev
ACSD'03, 51-60, 2003
732003
Towards an efficient algorithm for unfolding Petri nets
V Khomenko, M Koutny
International Conference on Concurrency Theory, 366-380, 2001
722001
Parallelisation of the Petri net unfolding algorithm
K Heljanko, V Khomenko, M Koutny
International Conference on Tools and Algorithms for the Construction and …, 2002
602002
Branching processes of high-level Petri nets
V Khomenko, M Koutny
International Conference on Tools and Algorithms for the Construction and …, 2003
542003
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
532006
Workcraft – A Framework for Interpreted Graph Models
I Poliakov, V Khomenko, A Yakovlev
International Conference on Applications and Theory of Petri Nets, 333-342, 2009
492009
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
382000
Canonical prefixes of Petri net unfoldings
V Khomenko, M Koutny, W Vogler
International Conference on Computer Aided Verification, 582-595, 2002
322002
Diagnosability under Weak Fairness
V Germanos, S Haar, V Khomenko, S Schwoon
ACSD'14, 132-141, 2014
312014
Recent advances in unfolding technique
B Bonet, P Haslum, V Khomenko, S Thiébaux, W Vogler
Theoretical Computer Science 551, 84-101, 2014
292014
Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design
A Madalinski, A Bystrov, K V., A Yakovlev
DATE'03, 926-931, 2003
292003
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
STG decomposition strategies in combination with unfolding
V Khomenko, M Schaefer, W Vogler, R Wollowski
Acta Informatica 46 (6), 433-474, 2009
222009
Output-Determinacy and Asynchronous Circuit Synthesis
V Khomenko, M Schaefer, W Vogler
ACSD'07, 147-156, 2007
212007
Resolution of encoding conflicts by signal insertion and concurrency reduction based on STG unfoldings
V Khomenko, A Madalinski, A Yakovlev
Fundamenta Informaticae 86 (3), 299-323, 2008
202008
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20