Victor Khomenko

2009
30	EE	Richard Banks, Victor Khomenko, L. Jason Steggles: A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks. Electr. Notes Theor. Comput. Sci. 227: 3-19 (2009)
2008
29	EE	Roland Meyer, Victor Khomenko, Tim Strazny: A Practical Approach to Verification of Mobile Systems Using Net Unfoldings. Petri Nets 2008: 327-347
28	EE	Victor Khomenko, Agnes Madalinski, Alexandre Yakovlev: Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings. Fundam. Inform. 86(3): 299-323 (2008)
27	EE	Victor Khomenko, Mark Schäfer, Walter Vogler: Output-Determinacy and Asynchronous Circuit Synthesis. Fundam. Inform. 88(4): 541-579 (2008)
2007
26	EE	Victor Khomenko: Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings. ACSD 2007: 137-146
25	EE	Victor Khomenko, Mark Schäfer, Walter Vogler: Output-Determinacy and Asynchronous Circuit Synthesis. ACSD 2007: 147-156
24	EE	Victor Khomenko: Behaviour-Preserving Transition Insertions in Unfolding Prefixes. ICATPN 2007: 204-222
23	EE	Victor Khomenko, Mark Schäfer: Combining Decomposition and Unfolding for STG Synthesis. ICATPN 2007: 223-243
22	EE	Victor Khomenko, Maciej Koutny: Verification of bounded Petri nets using integer programming. Formal Methods in System Design 30(2): 143-176 (2007)
21	EE	Thomas Chatain, Victor Khomenko: On the well-foundedness of adequate orders used for construction of complete unfolding prefixes. Inf. Process. Lett. 104(4): 129-136 (2007)
2006
20	EE	Mark Schäfer, Walter Vogler, Ralf Wollowski, Victor Khomenko: Strategies for Optimised STG Decomposition. ACSD 2006: 123-132
19	EE	Victor Khomenko, Agnes Madalinski, Alexandre Yakovlev: Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings. ACSD 2006: 57-68
18	EE	Alexei Iliasov, Victor Khomenko, Maciej Koutny, Alexander Romanovsky: On Specification and Verification of Location-Based Fault Tolerant Mobile Systems. RODIN Book 2006: 168-188
17	EE	Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler: Merged processes: a new condensed representation of Petri net behaviour. Acta Inf. 43(5): 307-330 (2006)
16	EE	Victor Khomenko, Maciej Koutny, Alexandre Yakovlev: Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT. Fundam. Inform. 70(1-2): 49-73 (2006)
2005
15	EE	Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler: Merged Processes - A New Condensed Representation of Petri Net Behaviour. CONCUR 2005: 338-352
2004
14	EE	Victor Khomenko, Maciej Koutny, Alexandre Yakovlev: Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT. ACSD 2004: 16-25
13	EE	Claus Schröter, Victor Khomenko: Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings. CAV 2004: 109-121
12	EE	Victor Khomenko, Maciej Koutny, Alexandre Yakovlev: Detecting State Encoding Conflicts in STG Unfoldings Using SAT. Fundam. Inform. 62(2): 221-241 (2004)
2003
11	EE	Victor Khomenko, Maciej Koutny, Alexandre Yakovlev: Detecting State Coding Conflicts in STG Unfoldings Using SAT. ACSD 2003: 51-60
10	EE	Agnes Madalinski, Alexandre V. Bystrov, Victor Khomenko, Alexandre Yakovlev: Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design. DATE 2003: 10926-10931
9	EE	Josep Carmona, Jordi Cortadella, Victor Khomenko, Alexandre Yakovlev: Synthesis of Asynchronous Hardware from Petri Nets. Lectures on Concurrency and Petri Nets 2003: 345-401
8	EE	Victor Khomenko, Maciej Koutny: Branching Processes of High-Level Petri Nets. TACAS 2003: 458-472
7	EE	Victor Khomenko, Maciej Koutny, Walter Vogler: Canonical prefixes of Petri net unfoldings. Acta Inf. 40(2): 95-118 (2003)
2002
6	EE	Victor Khomenko, Maciej Koutny, Walter Vogler: Canonical Prefixes of Petri Net Unfoldings. CAV 2002: 582-595
5	EE	Victor Khomenko, Maciej Koutny, Alexandre Yakovlev: Detecting State Coding Conflicts in STGs Using Integer Programming. DATE 2002: 338-345
4	EE	Keijo Heljanko, Victor Khomenko, Maciej Koutny: Parallelisation of the Petri Net Unfolding Algorithm. TACAS 2002: 371-385
2001
3	EE	Victor Khomenko, Maciej Koutny: Towards an Efficient Algorithm for Unfolding Petri Nets. CONCUR 2001: 366-380
2000
2	EE	Victor Khomenko, Maciej Koutny: LP Deadlock Checking Using Partial Order Dependencies. CONCUR 2000: 410-425
1999
1	EE	Alexander A. Letichevsky, Julia V. Kapitonova, Vladislav A. Volkov, A. Chugayenko, Victor Khomenko, David R. Gilbert: The development of interactive algorithms for the Mathematical Environment. Electr. Notes Theor. Comput. Sci. 23(3): (1999)

Coauthor Index

1	Richard Banks	[30]
2	Alexandre V. Bystrov	[10]
3	Josep Carmona	[9]
4	Thomas Chatain	[21]
5	A. Chugayenko	[1]
6	Jordi Cortadella	[9]
7	David Gilbert (David R. Gilbert)	[1]
8	Keijo Heljanko	[4]
9	Alexei Iliasov	[18]
10	Julia V. Kapitonova	[1]
11	Alex Kondratyev	[15] [17]
12	Maciej Koutny	[2] [3] [4] [5] [6] [7] [8] [11] [12] [14] [15] [16] [17] [18] [22]
13	Alexander A. Letichevsky	[1]
14	Agnes Madalinski	[10] [19] [28]
15	Roland Meyer	[29]
16	Alexander Romanovsky (Alexander B. Romanovsky)	[18]
17	Mark Schäfer	[20] [23] [25] [27]
18	Claus Schröter	[13]
19	L. Jason Steggles (L. J. Steggles)	[30]
20	Tim Strazny	[29]
21	Walter Vogler	[6] [7] [15] [17] [20] [25] [27]
22	Vladislav A. Volkov	[1]
23	Ralf Wollowski	[20]
24	Alexandre Yakovlev	[5] [9] [10] [11] [12] [14] [16] [19] [28]

Colors in the list of coauthors