Victor Khomenko

	2011
42		Arseniy Alekseyev, Victor Khomenko, Andrey Mokhov, Dominic Wist, Alex Yakovlev: Improved Parallel Composition of Labelled Petri Nets. ACSD 2011: 131-140
41		Victor Khomenko: Logic Decomposition of Asynchronous Circuits Using STG Unfoldings. ASYNC 2011: 3-12
40		Victor Khomenko, Andrey Mokhov: An Algorithm for Direct Construction of Complete Merged Processes. Petri Nets 2011: 89-108
39		Andrey Mokhov, Victor Khomenko, Alexandre Yakovlev: Flat Arbiters. Fundam. Inform. 108(1-2): 63-90 (2011)
	2010
38		Luís Gomes, Victor Khomenko, João M. Fernandes: 10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010 IEEE Computer Society 2010
37		Victor Khomenko: A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes. ICGT 2010: 75-90
	2009
36		Victor Khomenko, Roland Meyer: Checking pi-Calculus Structural Congruence is Graph Isomorphism Complete. ACSD 2009: 70-79
35		Andrey Mokhov, Victor Khomenko, Alexandre Yakovlev: Flat Arbiters. ACSD 2009: 99-108
34		Ivan Poliakov, Victor Khomenko, Alexandre Yakovlev: Workcraft - A Framework for Interpreted Graph Models. Petri Nets 2009: 333-342
33		Victor Khomenko, Mark Schäfer, Walter Vogler, Ralf Wollowski: STG decomposition strategies in combination with unfolding. Acta Inf. 46(6): 433-474 (2009)
32		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)
31		Roland Meyer, Victor Khomenko, Tim Strazny: A Practical Approach to Verification of Mobile Systems Using Net Unfoldings. Fundam. Inform. 94(3-4): 439-471 (2009)
30		Victor Khomenko: Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings. IEEE Trans. VLSI Syst. 17(7): 855-868 (2009)
	2008
29		Roland Meyer, Victor Khomenko, Tim Strazny: A Practical Approach to Verification of Mobile Systems Using Net Unfoldings. Petri Nets 2008: 327-347
28		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		Victor Khomenko, Mark Schäfer, Walter Vogler: Output-Determinacy and Asynchronous Circuit Synthesis. Fundam. Inform. 88(4): 541-579 (2008)
	2007
26		Victor Khomenko: Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings. ACSD 2007: 137-146
25		Victor Khomenko, Mark Schäfer, Walter Vogler: Output-Determinacy and Asynchronous Circuit Synthesis. ACSD 2007: 147-156
24		Victor Khomenko: Behaviour-Preserving Transition Insertions in Unfolding Prefixes. ICATPN 2007: 204-222
23		Victor Khomenko, Mark Schäfer: Combining Decomposition and Unfolding for STG Synthesis. ICATPN 2007: 223-243
22		Victor Khomenko, Maciej Koutny: Verification of bounded Petri nets using integer programming. Formal Methods in System Design 30(2): 143-176 (2007)
21		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		Mark Schäfer, Walter Vogler, Ralf Wollowski, Victor Khomenko: Strategies for Optimised STG Decomposition. ACSD 2006: 123-132
19		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		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		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		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		Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler: Merged Processes - A New Condensed Representation of Petri Net Behaviour. CONCUR 2005: 338-352
	2004
14		Victor Khomenko, Maciej Koutny, Alexandre Yakovlev: Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT. ACSD 2004: 16-25
13		Claus Schröter, Victor Khomenko: Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings. CAV 2004: 109-121
12		Victor Khomenko, Maciej Koutny, Alexandre Yakovlev: Detecting State Encoding Conflicts in STG Unfoldings Using SAT. Fundam. Inform. 62(2): 221-241 (2004)
	2003
11		Victor Khomenko, Maciej Koutny, Alexandre Yakovlev: Detecting State Coding Conflicts in STG Unfoldings Using SAT. ACSD 2003: 51-60
10		Agnes Madalinski, Alexandre V. Bystrov, Victor Khomenko, Alexandre Yakovlev: Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design. DATE 2003: 10926-10931
9		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		Victor Khomenko, Maciej Koutny: Branching Processes of High-Level Petri Nets. TACAS 2003: 458-472
7		Victor Khomenko, Maciej Koutny, Walter Vogler: Canonical prefixes of Petri net unfoldings. Acta Inf. 40(2): 95-118 (2003)
	2002
6		Victor Khomenko, Maciej Koutny, Walter Vogler: Canonical Prefixes of Petri Net Unfoldings. CAV 2002: 582-595
5		Victor Khomenko, Maciej Koutny, Alexandre Yakovlev: Detecting State Coding Conflicts in STGs Using Integer Programming. DATE 2002: 338-345
4		Keijo Heljanko, Victor Khomenko, Maciej Koutny: Parallelisation of the Petri Net Unfolding Algorithm. TACAS 2002: 371-385
	2001
3		Victor Khomenko, Maciej Koutny: Towards an Efficient Algorithm for Unfolding Petri Nets. CONCUR 2001: 366-380
	2000
2		Victor Khomenko, Maciej Koutny: LP Deadlock Checking Using Partial Order Dependencies. CONCUR 2000: 410-425
	1999
1		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): 352-369 (1999)

Coauthor Index

1	Arseniy Alekseyev	[42]
2	Richard Banks	[32]
3	Alexandre V. Bystrov	[10]
4	Josep Carmona	[9]
5	Thomas Chatain	[21]
6	A. Chugayenko	[1]
7	Jordi Cortadella	[9]
8	João M. Fernandes	[38]
9	David Gilbert (David R. Gilbert)	[1]
10	Luís Gomes	[38]
11	Keijo Heljanko	[4]
12	Alexei Iliasov	[18]
13	Julia V. Kapitonova	[1]
14	Alex Kondratyev	[15] [17]
15	Maciej Koutny	[2] [3] [4] [5] [6] [7] [8] [11] [12] [14] [15] [16] [17] [18] [22]
16	Alexander A. Letichevsky	[1]
17	Agnes Madalinski	[10] [19] [28]
18	Roland Meyer	[29] [31] [36]
19	Andrey Mokhov	[35] [39] [40] [42]
20	Ivan Poliakov	[34]
21	Alexander Romanovsky (Alexander B. Romanovsky)	[18]
22	Mark Schäfer	[20] [23] [25] [27] [33]
23	Claus Schröter	[13]
24	L. Jason Steggles (L. J. Steggles)	[32]
25	Tim Strazny	[29] [31]
26	Walter Vogler	[6] [7] [15] [17] [20] [25] [27] [33]
27	Vladislav A. Volkov	[1]
28	Dominic Wist	[42]
29	Ralf Wollowski	[20] [33]
30	Alexandre Yakovlev (Alex Yakovlev)	[5] [9] [10] [11] [12] [14] [16] [19] [28] [34] [35] [39] [42]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page