A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks
Banks, R., Khomenko, V. and Steggles, L.J.
Electronic Notes in Theoretical Computer Science Vol. 227, pp 3-19
Elsevier B.V., 2009
Notes : Paper presented at Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2008), Iasi, Romania, 3-4 September 2008.

[Abstract]

STG Decomposition Strategies in Combination with Unfolding
Khomenko, V., Schaefer, M., Vogler, W. and Wollowski, R.
Acta Informatica Vol. 46, Issue 6, pp 433-474
Springer-Verlag, 2009 ISSN 0001-5903

Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings
Khomenko, V.
IEEE Transactions on Very Large Scale Integration (VLSI) Systems Vol. 17, Issue 7, pp 855-868
A Joint Publication of IEEE Circuits and Systems Society, IEEE Computer Society and IEEE Solid-State Circuits Society , 2009
Notes : Special Section on Asynchronous Circuits and Systems

[Abstract]

A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
Meyer, R., Khomenko, V. and Strazny, T.
Fundamenta Informaticae Vol. 94, Issue 3-4, pp 439-471
IOS Press, 2009 ISSN 0169-2968
Notes : Special Issue on Best Papers from ATPN'08.

Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings
Khomenko, V., Madalinski, A. and Yakovlev, A.
Fundamenta Informaticae Vol. 86, Issue 3, pp 299-323
IOS Press, 2008
Notes : Special Issue on Best Papers from ACSD'06 held in Turku, Finland.

[Abstract]

Output-Determinacy and Asynchronous Circuit Synthesis
Khomenko, V., Schaefer, M. and Vogler W.
Fundamenta Informaticae Vol. 88, Issue 4, pp 541-579
IOS Press, 2008
Notes : Special Issue on Best Papers from ACSD'07

On the Well-Foundedness of Adequate Orders Used for Construction of Complete Unfolding Prefixes
Chatain, T. and Khomenko, V.
Information Processing Letters Vol. 104, Issue 4, pp 129-136
Elsevier B.V., 2007

[Abstract]

Verification of Bounded Petri Nets Using Integer Programming
Khomenko, V. and Koutny, M.
Formal Methods in System Design Vol. 30, Issue 2, pp 143-176
Springer, 2007
Notes : Published online 31 August 2006.

Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT
Khomenko, V., Koutny, M. and Yakovlev, A.
Fundamenta Informaticae Vol. 70, Issue 1-2, pp 49-73
IOS Press, 2006

Merged Processes: a New Condensed Representation of Petri Net Behaviour
Khomenko, V., Kondratyev, A., Koutny, M. and Vogler, W.
Acta Informatica Vol. 43, Issue 5, pp 307-330
Springer , 2006

Weasel Words, Genetic Algorithms and Coarse Acknowledgements
Khomenko, V.
Technical Journal Vol. 18, Issue 1, pp 78-85
Answers in Genesis Ltd., 2004

Detecting State Encoding Conflicts in STG Unfoldings Using SAT
Khomenko, V., Koutny, M. and Yakovlev, A.
Fundamenta Informaticae Vol. 62, Issue 2, pp 221-241
IOS Press, 2004
Notes : Special Issue on Best Papers from ACSD 2003.

Canonical Prefixes of Petri Net Unfoldings
Khomenko, V., Koutny M. and Vogler W.
Acta Informatica Vol. 40, pp 95-118
Springer-Verlag, 2003

Visualization and Resolution of Encoding Conflicts in Asynchronous Circuit Design
Madalinski, A., Bystrov, A., Khomenko, V. and Yakovlev, A.
IEE Proceedings: Computers & Digital Techniques Vol. 150, Issue 5, pp 285-293
IEE, 2003
Notes : Special Issue on Best Papers from DATE'2003

A Rewriting Machine and Optimization of Strategies of Term Rewriting
Letichevskii, A. and Khomenko, V.
Cybernetics and Systems Analysis Vol. 38, Issue 5, pp 637-649
Kluwer Academic Publishers, 2002

[Abstract]

On Specification and Verification of Location-Based Fault Tolerant Mobile Systems
Iliasov, A., Khomenko, V., Koutny, M. and Romanovsky, A.
In Rigorous Development of Complex Fault-Tolerant Systems,
Butler, M., Jones, C., Romanovsky, A. and Troubitsyna, E. (eds.), pp 168-188
Lecture Notes in Computer Science, 4157
Springer, 2006, ISBN 978-3-540-48265-9

Synthesis of Asynchronous Hardware from Petri Nets
Carmona, J., Cortadella, J., Khomenko, V. and Yakovlev, A.
In Lectures on Concurrency and Petri Nets: Advances in Petri Nets,
Desel, J., Reisig, W. and Rozenberg, G. (Eds.), pp 345-401
Lecture Notes in Computer Science, 3098
Springer-Verlag, 2004, ISBN 3-540-22261-8

WORKCRAFT - A Framework for Interpreted Graph Models
Poliakov, I., Khomenko V. and Yakovlev A.
In Applications and Theory of Petri Nets. 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009
Franceschinis, G. and Wolf, K. (eds.)
Lecture Notes in Computer Science, 5606 , pp 333-342
Springer-Verlag, 2009
Notes : Tool paper

Checking pi-Calculus Structural Congruence is Graph Isomorphism Complete
Khomenko, V. and Meyer, R.
In Proceedings. Ninth International Conference on Application of Concurrency to System Design, 1-3 July, 2009, Augsburg, Germany
Edwards, S., Lorenz, R. and Vogler, W. (eds.)
pp 70-79
IEEE Computer Society , 2009
Notes : ACSD 2009.

Flat Arbiters
Mokhov, A., Khomenko, V. and Yakovlev, A.
In Proceedings. Ninth International Conference on Application of Concurrency to System Design, 1-3 July, 2009, Augsburg, Germany
Edwards, S., Lorenz, R. and Vogler, W. (eds.)
pp 99-108
IEEE Computer Society , 2009
Notes : Selected as one of best papers of ACSD 2009.

Derivation of Monotonic Covers for Standard-C Implementation Using STG Unfoldings
Khomenko, V.
In Proceedings. 14th IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2008, 7-10 April 2008, Newcastle upon Tyne, United Kingdom
pp 141-150
IEEE Computer Society , 2008

[Abstract]

A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
Meyer, R., Khomenko, V. and Strazny, T.
In Applications and Theory of Petri Nets. 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008
van Hee, K.M. and Valk, R. (eds.)
Lecture Notes in Computer Science, 5062, pp 327-347
Springer-Verlag, 2008
Notes : Selected as one of best papers of ATPN 2008.

A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks
Banks, R., Khomenko, V. and Steggles, L.J.
In 2nd International Meeting on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2008, Iaşi, Romania, September 3-4, 2008
Ciobanu, G. (ed.)
pp 38-52
Alexandru Ioan Cuza University, Iaşi, Romania, 2008

Behaviour-Preserving Transition Insertions in Unfolding Prefixes
Khomenko, V.
In Petri Nets and Other Models of Concurrency - ICATPN 2007. 28th International Conference ... Siedlce, Poland, June 25-29, 2007
Kleijn, J. and Yakovlev, A. (eds.)
Lecture Notes in Computer Science, 4546, pp 204-222
Springer, 2007

Combining Decomposition and Unfolding for STG Synthesis
Khomenko, V. and Schaefer, M.
In Petri Nets and Other Models of Concurrency - ICATPN 2007. 28th International Conference ... Siedlce, Poland, June 25-29, 2007
Kleijn, J. and Yakovlev, A. (eds.)
Lecture Notes in Computer Science, 4546, pp 223-243
Springer, 2007

Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings
Khomenko, V.
In Seventh International Conference on Application of Concurrency to System Design, ACSD 2007, 10-13 July 2007, Bratislava, Slovak Republic
Basten, T., Juhas, G. and Shukla, S. (eds.)
pp 137-146
IEEE Computer Society , 2007

[Abstract]

Output-Determinacy and Asynchronous Circuit Synthesis
Khomenko, V., Schaefer, M. and Vogler, W.
In Seventh International Conference on Application of Concurrency to System Design, ACSD 2007, 10-13 July 2007, Bratislava, Slovak Republic
Basten, T., Juhas, G. and Shukla, S. (eds.)
pp 147-156
IEEE Computer Society, 2007
Notes : Selected as one of best papers of ACSD 2007.

[Abstract]

Applying Petri Net Unfoldings for Verification of Mobile Systems
Khomenko, V., Koutny, M. and Niaouris, A.
In Fourth International Workshop on Modelling of Objects, Components and Agents. MOCA'06
Moldt, D. (ed.)
pp 161-178
Universität Hamburg, Department Informatik, 2006
Notes : MOCA'06 held 26th June 2006, Turku, Finland. Proceedings published as Universität Hamburg, Department Informatik, Bericht FBI-HH-B-272/06

Strategies for Optimised STG Decomposition
Schaefer, M., Vogler, W., Wollowski, R. and Khomenko, V.
In Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 28-30 June 2006, Turku, Finland
Goossens, K. and Petrucci, L. (eds)
pp 123-132
IEEE Computer Society , 2006

[Abstract]

Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings
Khomenko, V., Madalinski, A. and Yakovlev, A.
In Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 28-30 June 2006, Turku, Finland
Goossens, K. and Petrucci, L. (eds)
pp 57-66
IEEE Computer Society, 2006
Notes : Selected as one of best papers of ACSD'06.

[Abstract]

Merged Processes - a New Condensed Representation of Petri Net Behaviour
Khomenko, V. , Kondratyev, A., Koutny, M., and Vogler, W.
In CONCUR 2005 - Concurrency Theory. 16th International Conference, San Francisco, CA, August 23-26, 2005
Abadi, M. and de Alfaro, L. (eds.)
Lecture Notes in Computer Science, 3653, pp 338-352
Springer-Verlag, 2005

Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT
Khomenko, V., Koutny, M. and Yakovlev, A.
In Fourth International Conference on Application of Concurrency to System Design, ACSD 2004 ,16-18 June 2004, Hamilton, Ontario, Canada
Kishinevsky M. and Darondeau, Ph. (eds)
pp 16-25
IEEE Computer Society, 2004
Notes : Best paper award at ACSD 2004.

[Abstract]

Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings
Schröter, C. and Khomenko, V.
In Computer Aided Verification. 16th International Conference, CAV 2004, Boston, MA, July 13-17 2004
Alur, R. and Peled, D.A. (eds)
Lecture Notes in Computer Science, 3114, pp 109-121
Springer Verlag, 2004

Branching Processes of High-Level Petri Nets
Khomenko, V. and Koutny, M.
In 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2003), held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2003), Warsaw, Poland, 7-11 April 2003
Garavel, H. and Hatcliff, J. (eds.)
Lecture Notes in Computer Science, 2619, pp 458-472
Springer-Verlag, 2003ISBN 3-540-00898-5

[Abstract]

Detecting State Coding Conflicts in STG Unfoldings Using SAT
Khomenko, V., Koutny, M. and Yakovlev, A.
In Third International Conference on Application of Concurrency to System Design, ACSD 2003 , 18-20 June 2003, Guimaraes, Portugal
Lilius, J., Balarin, F. and Machado, R.J. (eds.)
pp 51-60
IEEE Computer Society , 2003ISBN 0-7695-1887-7
Notes : Selected as one of best papers of ACSD 2003.

[Abstract]

Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design
Madalinski, A., Bystrov, A., Khomenko, V. and Yakovlev, A.
In Design, Automation and Test in Europe Conference and Exhibition (DATE '03), Munich, Germany, 3–7 March 2003
Wehn, N. and Verkest, D. (eds.)
1, pp 926-931
IEEE Computer Society , 2003ISBN 0-7695-1870-2
Notes : Selected as one of best papers of DATE'03.

[Abstract]

Detecting State Coding Conflicts in STGs Using Integer Programming
Khomenko, V., Koutny, M. and Yakovlev, A.
In Design, Automation and Test in Europe Conference and Exposition (DATE 2002), Paris, France, 4–8 March 2002
Kloos, C.D. and Franca, J. (eds.)
pp 338-345
IEEE Computer Society Press, 2002ISBN 0-7965-1471-5

Parallelisation of the Petri Net Unfolding Algorithm
Heljanko, K., Khomenko, V. and Koutny, M.
In 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2002), held as Part of the Joint European Conference on Theory and Practice of Software (ETAPS 2002), Grenoble, France, 8-12 April 2002
Katoen, J.-P. and Stevens, P. (eds.)
Lecture Notes in Computer Science, 2280, pp 371-385
Springer-Verlag, 2002ISBN 3-540-43419-4

Canonical Prefixes of Petri Net Unfoldings
Khomenko, V., Koutny, M. and Vogler, W.
In 14th International Conference on Computer Aided Verification (CAV 2002),Copenhagen, Denmark, 27-31 July 2002
Brinksma E. and Larsen K.G. (eds.)
Lecture Notes in Computer Science, 2404, pp 582-595
Springer-Verlag, 2002ISBN 3-540-43997-8

[Abstract]

Towards an Efficient Algorithm for Unfolding Petri Nets
Khomenko, V. and Koutny, M.
In 12th International Conference on Concurrency Theory (CONCUR 2001), Aalborg, Denmark, 20-25 August 2001
Larsen, K.G. and Nielsen, M. (eds.)
Lecture Notes in Computer Science, 2154, pp 366-380
Springer-Verlag, 2001ISBN 3-540-42497-0

LP Deadlock Checking Using Partial Order Dependencies
Khomenko, V. and Koutny, M.
In 11th International Conference on Concurrency Theory (CONCUR 2000), University Park, Pennsylvania, USA, August 22-25, 2000
Palamidessi, C. (ed)
Lecture Notes in Computer Science, 1877, pp 410-425
Springer-Verlag, 2000ISBN 3-540-67897-2

CS-TR N^o 1215 Logic Decomposition of Asynchronous Circuits Using STG Unfoldings
Khomenko, V
School of Computing Science, Newcastle University, Aug 2010

[Abstract]

CS-TR N^o 1189 A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes
Khomenko, V
School of Computing Science, Newcastle University, Feb 2010

[Abstract]

CS-TR N^o 1140 A Usable Reachability Analyser
Khomenko, V.
School of Computing Science, Newcastle University, Mar 2009

[Abstract]

CS-TR N^o 1100 Checking pi-Calculus Structural Congruence is Graph Isomorphism Complete
Khomenko, V., Meyer, R.
School of Computing Science, Newcastle University, Jun 2008

[Abstract]

CS-TR N^o 1086 A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks
Banks, R., Khomenko, V., and Steggles, J.,
School of Computing Science, Newcastle University, Apr 2008

[Abstract]

CS-TR N^o 1064 A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
Meyer, R., Khomenko, V., Strazny, T.
School of Computing Science, Newcastle University, Jan 2008

[Abstract]

CS-TR N^o 998 A Note on the Well-Foundedness of Adequate Orders Used for Truncating Unfoldings
Chatain, T., Khomenko, V.
School of Computing Science, Newcastle University, Jan 2007

[Abstract]

CS-TR N^o 995 Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings
Khomenko, V.
School of Computing Science, Newcastle University, Jan 2007

[Abstract]

CS-TR N^o 953 Applying Petri Net Unfoldings for Verification of Mobile Systems
Khomenko, V., Koutny, M., Niaouris, A.
School of Computing Science, Newcastle University, Mar 2006

[Abstract]

CS-TR N^o 952 Behaviour-Preserving Transition Insertions in Unfolding Prefixes
Khomenko, V.
School of Computing Science, Newcastle University, Mar 2006

[Abstract]

CS-TR N^o 944 Interactive Resolution of Encoding Conflicts in Asynchronous Circuits Based on STG Unfoldings
Madalinski, A., Khomenko, V., Yakovlev, A.
School of Computing Science, Newcastle University, Feb 2006

[Abstract]

CS-TR N^o 930 Derivation of Set and Reset Covers for gC Elements and Standard C Implementation Using STG Unfoldings
Khomenko, V.
School of Computing Science, Newcastle University, Sep 2005

[Abstract]

CS-TR N^o 884 Merged Processes - a New Condensed Representation of Petri Net Behaviour
Khomenko, V., Kondratyev, A., Koutny, M., Vogler, W.
School of Computing Science, Newcastle University, Jan 2005

[Abstract]

CS-TR N^o 858 Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings
Khomenko, V., Madalinski, A., Yakovlev, A.
School of Computing Science, Newcastle University, Sep 2004

[Abstract]

CS-TR N^o 841 Computing Shortest Violation Traces in Model Checking Based on Petri Net Unfoldings and SAT
Khomenko, V.
School of Computing Science, Newcastle University, Apr 2004

[Abstract]

CS-TR N^o 813 Logic Synthesis Avoiding State Space Explosion
Khomenko, V., Koutny, M. and Yakovlev, A.
School of Computing Science, Newcastle University, Aug 2003

[Abstract]

CS-TR N^o 778 Detecting State Coding Conflicts in STG Unfoldings Using SAT
Khomenko, V., Koutny, M., Yakovlev, A.
School of Computing Science, Newcastle University, Sep 2002

[Abstract]

CS-TR N^o 763 Branching Processes of High-Level Petri Nets
V. Khomenko and M. Koutny
School of Computing Science, Newcastle University, 2002

[Abstract]

CS-TR N^o 741 Canonical Prefixes of Petri-Net Unfoldings
V. Khomenko, M. Koutny and W Vogler
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 736 Detecting State Coding Conflicts in STGs Using Integer Programming
V. Khomenko, M. Koutny and A. Yakovlev
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 733 Parallelisation of the Petri Net Unfolding Algorithm
K. Heljanko, V. Khomenko and M. Koutny
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 726 An Efficient Algorithm for Unfolding Petri Nets
M. Koutny and V. Khomenko
School of Computing Science, Newcastle University, 2001

[Abstract]

CS-TR N^o 711 Verification of Bounded Petri Nets Using Integer Programming
Khomenko, V. and M. Koutny
School of Computing Science, Newcastle University, 2000

[Abstract]

CS-TR N^o 695 Deadlock Checking Using Liner Programming and Partial Order Dependencies
M. Koutny and V. Khomenko
School of Computing Science, Newcastle University, 2000

[Abstract]

Output-Determinacy and Asynchronous Circuit Synthesis
Khomenko, V., Schaefer, M. and Vogler, W.
2007-02, Institute of Computer Science, University of Augsburg, January, 2007
Keywords : output-determinacy, decomposition, STG, asynchronous circuits, OR-causality

[Abstract]

Combining Decomposition and Unfolding for STG Synthesis
Khomenko, V. and Schaefer, M.
2007-01, Institute of Computer Science, University of Augsburg, January, 2007
Keywords : Asynchronous circuit, STG, Petri net, decomposition, unfolding, state space explosion

[Abstract]

Khomenko, V.
Model Checking Based on Prefixes of Petri Net Unfoldings.
School of Computing Science, University of Newcastle upon Tyne, 2003
British Lending Library DSC stock location number: DXN061636