Toggle Main Menu Toggle Search

ePrints

Browsing publications by Dr Andrey Mokhov

Newcastle AuthorsTitleYearFull text
Dr Andrey Mokhov
Compact and efficiently verifiable models for concurrent systems2018
Dr Ghaith Tarawneh
Alessandro De Gennaro
Dr Andrey Mokhov
Distributed Event-Based Computing2018
Dr Ghaith Tarawneh
Dr Andrey Mokhov
Formal Verification of Mixed Synchronous Asynchronous Systems using Industrial Tools2018
Jonny Beaumont
Dr Andrey Mokhov
Dr Danil Sokolov
Professor Alex Yakovlev
High-level asynchronous concepts at the interface between analogue and digital worlds2018
Sam Alrudainy
Dr Rishad Shafik
Dr Andrey Mokhov
Professor Alex Yakovlev
Lifetime Reliability Characterization of N/MEMS Used in Power Gating of Digital Integrated Circuits2018
Dr Andrey Mokhov
On the complexity of hazard-free circuits2018
Dr Danil Sokolov
Alessandro De Gennaro
Dr Andrey Mokhov
Reconfigurable Asynchronous Pipelines: from Formal Models to Silicon2018
Dr Andrey Mokhov
Algebraic Graphs with Class (functional pearl)2017
Dr Anirban Bhattacharyya
Dr Andrey Mokhov
Dr Ken Pierce
An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems2017
Dr Andrey Mokhov
Dr Danil Sokolov
Dr Victor Khomenko
Professor Alex Yakovlev
Asynchronous Arbitration Primitives for New Generation of Circuits and Systems2017
12345678