MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Victor Khomenko" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

17 documents found, showing 1 through 10. Next 10 →

ATOM

Computing Shortest Violation Traces in Model Checking Based on Petri Net . . .
by Victor Khomenko
…-mail: Victor.Khomenko@(email omitted); Abstract. Model checking based on the causal partial order semantics of Petri…
Add To MetaCart

Model Checking Based on Prefixes of Petri Net Unfoldings
by Victor Khomenko — 2003
… of Petri Net Unfoldings by Victor Khomenko PhD Thesis February 2003 Contents Acknowledgements iv Abstract…
Cited by 17 (9 self) – Add To MetaCart

Towards An Efficient Algorithm for Unfolding Petri Nets
by Victor Khomenko, Maciej Koutny — 2001 — CONCUR 2001, LECT. NOTES COMP. SCI. 2154
…Towards An Efficient Algorithm for Unfolding Petri Nets Victor Khomenko and Maciej Koutny…
Cited by 9 (4 self) – Add To MetaCart

Branching processes of high-level petri nets
by Victor Khomenko, Maciej Koutny — 2003
…Branching Processes of High-Level Petri Nets Victor Khomenko and Maciej Koutny School of Computing…
Cited by 9 (0 self) – Add To MetaCart

LP Deadlock Checking Using Partial Order Dependencies
by Victor Khomenko, Maciej Koutny — 2000 — PROC. OF CONCUR'2000, PALAMIDESSI C. (ED.). SPRINGER-VERLAG, LECTURE NOTES IN COMPUTER SCIENCE 1877
…LP Deadlock Checking Using Partial Order Dependencies Victor Khomenko and Maciej Koutny Department…
Cited by 11 (6 self) – Add To MetaCart

Combining decomposition and unfolding for STG synthesis
by Copyright C Victor Khomenko, Universität Augsburg, Victor Khomenko, Victor Khomenko, Mark Schaefer, Mark Schaefer, Mark Schaefer — 2007 — In Proc. ATPN’07
…○ Victor Khomenko and Mark Schaefer Institut für Informatik Universität Augsburg D–86135 Augsburg, Germany…
Cited by 4 (4 self) – Add To MetaCart

Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT
by Victor Khomenko, Maciej Koutny, Alex Yakovlev — 2004
…, Electronic and Computer Engineering University of Newcastle upon Tyne, NE1 7RU, United Kingdom {Victor.Khomenko…
Cited by 12 (6 self) – Add To MetaCart

Synthesis of asynchronous hardware from petri nets
by Josep Carmona, Jordi Cortadella, Victor Khomenko, Alex Yakovlev — 2004 — Advances in Petri Nets, LNCS 3098
…@(email omitted);, jordicf@(email omitted); 2 University of Newcastle, Newcastle upon Tyne NE1 7RU, UK {Victor.Khomenko…
Cited by 1 (1 self) – Add To MetaCart

Logic Synthesis Avoiding State Space Explosion
by Victor Khomenko, Maciej Koutny, Alex Yakovlev
…Logic Synthesis Avoiding State Space Explosion Victor Khomenko 1 , Maciej Koutny 1 , and Alex…
Cited by 1 (1 self) – Add To MetaCart

Strategies for optimised STG decomposition
by Mark Schaefer, Walter Vogler, Ralf Wollowski, Victor Khomenko — 2006 — In Proceedings of ACSD
… upon Tyne, UK. E-mail: Victor.Khomenko@(email omitted); Abstract— When synthesising an asynchronous circuit…
Cited by 4 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB