Search results for "Victor Khomenko"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Andrey Mokhov, Victor Khomenko, Alexandre Yakovlev	Flat Arbiters.	Fundam. Inform.	2011	DBLP DOI BibTeX RDF
1	Victor Khomenko, Andrey Mokhov	An Algorithm for Direct Construction of Complete Merged Processes.	Petri Nets	2011	DBLP DOI BibTeX RDF
1	Arseniy Alekseyev, Victor Khomenko, Andrey Mokhov, Dominic Wist, Alex Yakovlev	Improved Parallel Composition of Labelled Petri Nets.	ACSD	2011	DBLP DOI BibTeX RDF
1	Victor Khomenko	Logic Decomposition of Asynchronous Circuits Using STG Unfoldings.	ASYNC	2011	DBLP DOI BibTeX RDF
1	Victor Khomenko	A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes.	ICGT	2010	DBLP DOI BibTeX RDF
1	Luís Gomes, Victor Khomenko, João M. Fernandes (eds.)	10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010	ACSD	2010	DBLP BibTeX RDF
1	Victor Khomenko, Mark Schäfer, Walter Vogler, Ralf Wollowski	STG decomposition strategies in combination with unfolding.	Acta Inf.	2009	DBLP DOI BibTeX RDF
1	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.	2009	DBLP DOI BibTeX RDF
1	Roland Meyer, Victor Khomenko, Tim Strazny	A Practical Approach to Verification of Mobile Systems Using Net Unfoldings.	Fundam. Inform.	2009	DBLP DOI BibTeX RDF
1	Victor Khomenko	Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings.	IEEE Trans. VLSI Syst.	2009	DBLP DOI BibTeX RDF
1	Ivan Poliakov, Victor Khomenko, Alexandre Yakovlev	Workcraft - A Framework for Interpreted Graph Models.	Petri Nets	2009	DBLP DOI BibTeX RDF
1	Victor Khomenko, Roland Meyer	Checking pi-Calculus Structural Congruence is Graph Isomorphism Complete.	ACSD	2009	DBLP DOI BibTeX RDF	Structural Congruence, Computational Complexity, Graph Isomorphism, pi-Calculus
1	Andrey Mokhov, Victor Khomenko, Alexandre Yakovlev	Flat Arbiters.	ACSD	2009	DBLP DOI BibTeX RDF	Asynchronous circuits, Signal Transition Graph (STG), Arbiters, Speed-independent circuits
1	Victor Khomenko, Mark Schäfer, Walter Vogler	Output-Determinacy and Asynchronous Circuit Synthesis.	Fundam. Inform.	2008	DBLP BibTeX RDF
1	Victor Khomenko, Agnes Madalinski, Alexandre Yakovlev	Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings.	Fundam. Inform.	2008	DBLP BibTeX RDF
1	Roland Meyer, Victor Khomenko, Tim Strazny	A Practical Approach to Verification of Mobile Systems Using Net Unfoldings.	Petri Nets	2008	DBLP DOI BibTeX RDF	finite control processes, safe processes, Petri net unfoldings, model checking, mobile systems, ?-Calculus
1	Thomas Chatain, Victor Khomenko	On the well-foundedness of adequate orders used for construction of complete unfolding prefixes.	Inf. Process. Lett.	2007	DBLP DOI BibTeX RDF
1	Victor Khomenko, Maciej Koutny	Verification of bounded Petri nets using integer programming.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	Net unfoldings, Partial order techniques, Verification, Petri nets, Integer programming
1	Victor Khomenko	Behaviour-Preserving Transition Insertions in Unfolding Prefixes.	ICATPN	2007	DBLP DOI BibTeX RDF	Petri net unfoldings, transition insertions, encoding conflicts, Petri nets, transformations, asynchronous circuits, STGs
1	Victor Khomenko, Mark Schäfer	Combining Decomposition and Unfolding for STG Synthesis.	ICATPN	2007	DBLP DOI BibTeX RDF	Petri net, decomposition, Asynchronous circuit, unfolding, STG, state space explosion
1	Victor Khomenko	Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings.	ACSD	2007	DBLP DOI BibTeX RDF
1	Victor Khomenko, Mark Schäfer, Walter Vogler	Output-Determinacy and Asynchronous Circuit Synthesis.	ACSD	2007	DBLP DOI BibTeX RDF	output-determinacy, OR-causality, decomposition, asynchronous circuits, STG
1	Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler	Merged processes: a new condensed representation of Petri net behaviour.	Acta Inf.	2006	DBLP DOI BibTeX RDF
1	Victor Khomenko, Maciej Koutny, Alexandre Yakovlev	Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT.	Fundam. Inform.	2006	DBLP BibTeX RDF
1	Mark Schäfer, Walter Vogler, Ralf Wollowski, Victor Khomenko	Strategies for Optimised STG Decomposition.	ACSD	2006	DBLP DOI BibTeX RDF	Petri net, decomposition, Asynchronous circuit, STG, speed-independent
1	Victor Khomenko, Agnes Madalinski, Alexandre Yakovlev	Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings.	ACSD	2006	DBLP DOI BibTeX RDF
1	Alexei Iliasov, Victor Khomenko, Maciej Koutny, Alexander Romanovsky	On Specification and Verification of Location-Based Fault Tolerant Mobile Systems.	RODIN Book	2006	DBLP DOI BibTeX RDF	Klaim, fault tolerance, model checking, Petri nets, process algebra, locations, mobile systems, Linda
1	Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler	Merged Processes - A New Condensed Representation of Petri Net Behaviour.	CONCUR	2005	DBLP DOI BibTeX RDF
1	Victor Khomenko, Maciej Koutny, Alexandre Yakovlev	Detecting State Encoding Conflicts in STG Unfoldings Using SAT.	Fundam. Inform.	2004	DBLP BibTeX RDF
1	Victor Khomenko, Maciej Koutny, Alexandre Yakovlev	Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT.	ACSD	2004	DBLP DOI BibTeX RDF	net unfoldings, partial order techniques, Petri nets, logic synthesis, asynchronous circuits, SAT, signal transition graphs, STG, self-timed circuits
1	Claus Schröter, Victor Khomenko	Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings.	CAV	2004	DBLP DOI BibTeX RDF
1	Victor Khomenko, Maciej Koutny, Walter Vogler	Canonical prefixes of Petri net unfoldings.	Acta Inf.	2003	DBLP DOI BibTeX RDF
1	Victor Khomenko, Maciej Koutny	Branching Processes of High-Level Petri Nets.	TACAS	2003	DBLP DOI BibTeX RDF	model checking, Verification, high-level Petri nets, unfolding
1	Victor Khomenko, Maciej Koutny, Alexandre Yakovlev	Detecting State Coding Conflicts in STG Unfoldings Using SAT.	ACSD	2003	DBLP DOI BibTeX RDF	complete state coding, CSC, net unfoldings, Petri nets, asynchronous circuits, SAT, signal transition graphs, STG, automated synthesis
1	Agnes Madalinski, Alexandre V. Bystrov, Victor Khomenko, Alexandre Yakovlev	Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design.	DATE	2003	DBLP DOI BibTeX RDF
1	Josep Carmona, Jordi Cortadella, Victor Khomenko, Alexandre Yakovlev	Synthesis of Asynchronous Hardware from Petri Nets.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
1	Keijo Heljanko, Victor Khomenko, Maciej Koutny	Parallelisation of the Petri Net Unfolding Algorithm.	TACAS	2002	DBLP DOI BibTeX RDF	parallel algorithms, Model checking, Petri nets, concurrency, causality, unfolding
1	Victor Khomenko, Maciej Koutny, Alexandre Yakovlev	Detecting State Coding Conflicts in STGs Using Integer Programming.	DATE	2002	DBLP DOI BibTeX RDF
1	Victor Khomenko, Maciej Koutny, Walter Vogler	Canonical Prefixes of Petri Net Unfoldings.	CAV	2002	DBLP DOI BibTeX RDF	canonical prefix, Model checking, Petri nets, unfolding
1	Victor Khomenko, Maciej Koutny	Towards an Efficient Algorithm for Unfolding Petri Nets.	CONCUR	2001	DBLP DOI BibTeX RDF	Model checking, Petri nets, concurrency, unfolding
1	Victor Khomenko, Maciej Koutny	LP Deadlock Checking Using Partial Order Dependencies.	CONCUR	2000	DBLP DOI BibTeX RDF
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.	1999	DBLP DOI BibTeX RDF

Publications of "Victor Khomenko" ( http://dblp.L3S.de/Authors/Victor_Khomenko )