Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Victor Khomenko

Newcastle AuthorsTitleYearFull text
Dr Victor Khomenko
Emeritus Professor Maciej Koutny
Professor Alex Yakovlev
Avoiding Exponential Explosion in Petri Net Models of Control Flows2022
Dr Alex Chan
Dr Danil Sokolov
Dr Victor Khomenko
Professor David Lloyd
Professor Alex Yakovlev
Burst Automaton: Framework for Speed-Independent Synthesis using Burst-Mode Specifications2022
Dr Victor Khomenko
Emeritus Professor Maciej Koutny
Professor Alex Yakovlev
Slimming Down Petri Boxes: Compact Petri Net Models of Control Flows2022
Dr Alex Chan
Dr Danil Sokolov
Dr Victor Khomenko
Professor David Lloyd
Professor Alex Yakovlev
Synthesis of SI Circuits from Burst-Mode Specifications2021
Dr Danil Sokolov
Dr Victor Khomenko
Professor Alex Yakovlev
Asynchronous Circuit2020
Dr Victor Khomenko
Dr Danil Sokolov
Professor Alex Yakovlev
Professor David Lloyd
Handshake Verification in Workcraft2020
Dr Victor Khomenko
Dr Danil Sokolov
Professor Alex Yakovlev
Tools and Methods for Selection of Relative Timing Constraints in Asynchronous Circuits, and Asynchronous Circuits Made Thereby2020
Dr Danil Sokolov
Dr Victor Khomenko
Dr Andrey Mokhov
Vladimir Dubikhin
Professor Alex Yakovlev
Automating the Design of Asynchronous Logic Control for AMS Electronics2019
Dr Victor Khomenko
Complexity of Checking Output-Determinacy in General Petri Nets2018
Dr Danil Sokolov
Dr Victor Khomenko
Professor Alex Yakovlev
Design and Verification of Speed-Independent Circuits with Arbitration in Workcraft2018
Dr Victor Khomenko
Harnessed Causality: Essays dedicated to Maciej Koutny on the occasion of his 60th birthday2018
Dr Victor Khomenko
Preface2018
Dr Andrey Mokhov
Dr Danil Sokolov
Dr Victor Khomenko
Professor Alex Yakovlev
Asynchronous Arbitration Primitives for New Generation of Circuits and Systems2017
Dr Danil Sokolov
Vladimir Dubikhin
Dr Victor Khomenko
Dr Andrey Mokhov
Professor Alex Yakovlev
Benefits of Asynchronous Control for Analog Electronics: Multiphase Buck Case Study2017
Dr Victor Khomenko
Dr Andrey Mokhov
Dr Danil Sokolov
Professor Alex Yakovlev
Formal Design and Verification of an Asynchronous SRAM Controller2017
12345678