dblp.uni-trier.dewww.uni-trier.de

Victor Khomenko

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
30EERichard 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
29EERoland Meyer, Victor Khomenko, Tim Strazny: A Practical Approach to Verification of Mobile Systems Using Net Unfoldings. Petri Nets 2008: 327-347
28EEVictor 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)
27EEVictor Khomenko, Mark Schäfer, Walter Vogler: Output-Determinacy and Asynchronous Circuit Synthesis. Fundam. Inform. 88(4): 541-579 (2008)
2007
26EEVictor Khomenko: Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings. ACSD 2007: 137-146
25EEVictor Khomenko, Mark Schäfer, Walter Vogler: Output-Determinacy and Asynchronous Circuit Synthesis. ACSD 2007: 147-156
24EEVictor Khomenko: Behaviour-Preserving Transition Insertions in Unfolding Prefixes. ICATPN 2007: 204-222
23EEVictor Khomenko, Mark Schäfer: Combining Decomposition and Unfolding for STG Synthesis. ICATPN 2007: 223-243
22EEVictor Khomenko, Maciej Koutny: Verification of bounded Petri nets using integer programming. Formal Methods in System Design 30(2): 143-176 (2007)
21EEThomas 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
20EEMark Schäfer, Walter Vogler, Ralf Wollowski, Victor Khomenko: Strategies for Optimised STG Decomposition. ACSD 2006: 123-132
19EEVictor Khomenko, Agnes Madalinski, Alexandre Yakovlev: Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings. ACSD 2006: 57-68
18EEAlexei Iliasov, Victor Khomenko, Maciej Koutny, Alexander Romanovsky: On Specification and Verification of Location-Based Fault Tolerant Mobile Systems. RODIN Book 2006: 168-188
17EEVictor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler: Merged processes: a new condensed representation of Petri net behaviour. Acta Inf. 43(5): 307-330 (2006)
16EEVictor 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
15EEVictor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler: Merged Processes - A New Condensed Representation of Petri Net Behaviour. CONCUR 2005: 338-352
2004
14EEVictor Khomenko, Maciej Koutny, Alexandre Yakovlev: Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT. ACSD 2004: 16-25
13EEClaus Schröter, Victor Khomenko: Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings. CAV 2004: 109-121
12EEVictor Khomenko, Maciej Koutny, Alexandre Yakovlev: Detecting State Encoding Conflicts in STG Unfoldings Using SAT. Fundam. Inform. 62(2): 221-241 (2004)
2003
11EEVictor Khomenko, Maciej Koutny, Alexandre Yakovlev: Detecting State Coding Conflicts in STG Unfoldings Using SAT. ACSD 2003: 51-60
10EEAgnes Madalinski, Alexandre V. Bystrov, Victor Khomenko, Alexandre Yakovlev: Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design. DATE 2003: 10926-10931
9EEJosep Carmona, Jordi Cortadella, Victor Khomenko, Alexandre Yakovlev: Synthesis of Asynchronous Hardware from Petri Nets. Lectures on Concurrency and Petri Nets 2003: 345-401
8EEVictor Khomenko, Maciej Koutny: Branching Processes of High-Level Petri Nets. TACAS 2003: 458-472
7EEVictor Khomenko, Maciej Koutny, Walter Vogler: Canonical prefixes of Petri net unfoldings. Acta Inf. 40(2): 95-118 (2003)
2002
6EEVictor Khomenko, Maciej Koutny, Walter Vogler: Canonical Prefixes of Petri Net Unfoldings. CAV 2002: 582-595
5EEVictor Khomenko, Maciej Koutny, Alexandre Yakovlev: Detecting State Coding Conflicts in STGs Using Integer Programming. DATE 2002: 338-345
4EEKeijo Heljanko, Victor Khomenko, Maciej Koutny: Parallelisation of the Petri Net Unfolding Algorithm. TACAS 2002: 371-385
2001
3EEVictor Khomenko, Maciej Koutny: Towards an Efficient Algorithm for Unfolding Petri Nets. CONCUR 2001: 366-380
2000
2EEVictor Khomenko, Maciej Koutny: LP Deadlock Checking Using Partial Order Dependencies. CONCUR 2000: 410-425
1999
1EEAlexander 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)