BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Germany
1 × Poland
1 × The Netherlands
1 × USA
2 × France
Collaborated with:
M.Koutny A.Yakovlev C.Schröter W.Vogler K.Heljanko A.Madalinski A.V.Bystrov
Talks about:
unfold (4) petri (4) net (4) conflict (2) prefix (2) level (2) high (2) code (2) parallelis (1) behaviour (1)

Person: Victor Khomenko

DBLP DBLP: Khomenko:Victor

Contributed to:

ICGT 20102010
CAV 20042004
DATE 20032003
TACAS 20032003
CAV 20022002
DATE 20022002
TACAS 20022002

Wrote 7 papers:

ICGT-2010-Khomenko #behaviour
A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes (VK), pp. 75–90.
CAV-2004-SchroterK #model checking #parallel #petri net
Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings (CS, VK), pp. 109–121.
DATE-2003-MadalinskiBKY #design #visualisation
Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design (AM, AVB, VK, AY), pp. 10926–10931.
TACAS-2003-KhomenkoK #branch #petri net #process
Branching Processes of High-Level Petri Nets (VK, MK), pp. 458–472.
CAV-2002-KhomenkoKV #canonical #petri net
Canonical Prefixes of Petri Net Unfoldings (VK, MK, WV), pp. 582–595.
DATE-2002-KhomenkoKY #detection #integer #programming #using
Detecting State Coding Conflicts in STGs Using Integer Programming (VK, MK, AY), pp. 338–345.
TACAS-2002-HeljankoKK #algorithm #parallel #petri net
Parallelisation of the Petri Net Unfolding Algorithm (KH, VK, MK), pp. 371–385.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.