Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Victor Khomenko

Newcastle AuthorsTitleYearFull text
Dr Victor Khomenko
Dr Danil Sokolov
Professor Alex Yakovlev
Professor David Lloyd
Handshake Verification in Workcraft2020
Dr Danil Sokolov
Dr Victor Khomenko
Dr Andrey Mokhov
Vladimir Dubikhin
Professor Alex Yakovlev
et al.		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
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
et al.		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
Dr Victor Khomenko
Dr Danil Sokolov
Dr Andrey Mokhov
Professor Alex Yakovlev
WAITX: An Arbiter for Non-Persistent Signals2017
Austin Ogweno
Professor Patrick Degenaar
Dr Victor Khomenko
Professor Alex Yakovlev
A Fixed Window Level Crossing ADC with Activity Dependent Power Dissipation2016
123456789101112