Browsing publications by Dr Victor Khomenko

Newcastle AuthorsTitleYear
Dr Victor Khomenko
A Polynomial Translation of pi-Calculus (FCP) to Safe Petri Nets2012
Dr Victor Khomenko
A Polynomial Translation of Pi-calculus (FCP) to Safe Petri Nets2012
Dr Andrey Mokhov
Dr Victor Khomenko
Arseniy Alekseyev
Professor Alex Yakovlev
Algebra of Parametrised Graphs2012
Dr Andrey Mokhov
Dr Victor Khomenko
Dr Danil Sokolov
Professor Alex Yakovlev
On Dual-Rail Control Logic for Enhanced Circuit Robustness2012
Dr Victor Khomenko
Poster Session at The Newcastle Connection 20122012
Dr Andrey Mokhov
Dr Victor Khomenko
Arseniy Alekseyev
Professor Alex Yakovlev
Algebra of Parametrised Graphs2011
Dr Victor Khomenko
Dr Andrey Mokhov
An Algorithm for Direct Construction of Complete Merged Processes2011
Dr Andrey Mokhov
Dr Victor Khomenko
Professor Alex Yakovlev
Flat Arbiters2011
Arseniy Alekseyev
Dr Victor Khomenko
Dr Andrey Mokhov
Dominic Wist
Professor Alex Yakovlev
et al.		Improved parallel composition of labelled Petri nets2011
Dr Victor Khomenko
Logic Decomposition of Asynchronous Circuits Using STG Unfoldings2011
123456789