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: Khomenko:Victor
Contributed to:
2010
2004
2003
2003200220022002Wrote 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.