Toggle Main Menu Toggle Search

ePrints

Browsing publications by Dr Andrey Mokhov

Newcastle AuthorsTitleYearFull text
Dr Andrey Mokhov
Alessandro de Gennaro
Dr Ghaith Tarawneh
Georgy Lukyanov
Serhii Mileiko
et al.		Language and hardware acceleration backend for graph processing2019
Dr Andrey Mokhov
Build Systems à la Carte2018
Dr Andrey Mokhov
Compact and efficiently verifiable models for concurrent systems2018
Georgy Lukyanov
Dr Andrey Mokhov
Concurrency oracles for free2018
Dr Ghaith Tarawneh
Alessandro De Gennaro
Dr Andrey Mokhov
Distributed Event-Based Computing2018
Alessandro De Gennaro
Paulius Stankaitis
Dr Andrey Mokhov
Efficient Composition of Scenario-based Hardware Specifications2018
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
Dr Andrey Mokhov
Alessandro De Gennaro
Dr Ghaith Tarawneh
Georgy Lukyanov
Serhii Mileiko
et al.		Language and Hardware Acceleration Backend for Graph Processing2018
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
123456789