Newcastle University
Toggle Main Menu
Toggle Search
Home
Browse
Latest
Stats
Policies
About
Home
Browse
Latest
Policies
About
ePrints
Browsing publications by
Dr Andrey Mokhov
Newcastle Authors
Title
Year
Full text
Dr Walid Al-Atabany
Dr Quoc Vuong
Dr Andrey Mokhov
Professor Patrick Degenaar
A scalable data transmission scheme for implantable optogenetic visual prostheses
2020
Dr Andrey Mokhov
Build Systems à la Carte: Theory and Practice
2020
Alessandro de Gennaro
Dr Danil Sokolov
Dr Andrey Mokhov
Design and Implementation of Reconfigurable Asynchronous Pipelines
2020
Georgy Lukyanov
Dr Andrey Mokhov
Jakob Lechner
Formal Verification of Spacecraft Control Programs
2020
Matthew Naylor
Dr Andrey Mokhov
Termination detection for fine-grained message-passing architectures
2020
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 Electronics
2019
Dr Andrey Mokhov
Complexity of Linear Operators
2019
Alessandro De Gennaro
Paulius Stankaitis
Dr Andrey Mokhov
Efficient Composition of Scenario-based Hardware Specifications
2019
Dr Andrey Mokhov
Georgy Lukyanov
Formal Verification of Spacecraft Control Programs (Experience Report)
2019
Dr Stanislavs Golubcovs
Dr Andrey Mokhov
Dr Alex Bystrov
Dr Danil Sokolov
Professor Alex Yakovlev
et al.
Generalised Asynchronous Arbiter
2019
1
2
3
4
5
6
7
8
9
10
