Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Andrey Mokhov

Newcastle AuthorsTitleYearFull text
Dr Andrey Mokhov
Complexity of Linear Operators2025
Dr Andrey Mokhov
United Monoids: Finding Simplicial Sets and Labelled Algebraic Graphs in Trees2022
Dr Walid Al-Atabany
Dr Quoc Vuong
Dr Andrey Mokhov
Professor Patrick Degenaar
A scalable data transmission scheme for implantable optogenetic visual prostheses2020
Dr Andrey Mokhov
Build Systems à la Carte: Theory and Practice2020
Alessandro de Gennaro
Dr Danil Sokolov
Dr Andrey Mokhov
Design and Implementation of Reconfigurable Asynchronous Pipelines2020
Dr Georgy Lukyanov
Dr Andrey Mokhov
Jakob Lechner
Formal Verification of Spacecraft Control Programs2020
Matthew Naylor
Dr Andrey Mokhov
Termination detection for fine-grained message-passing architectures2020
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 Andrey Mokhov
Complexity of Linear Operators2019
Alessandro De Gennaro
Dr Paulius Stankaitis
Dr Andrey Mokhov
Efficient Composition of Scenario-based Hardware Specifications2019
Dr Andrey Mokhov
Dr 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
Generalised Asynchronous Arbiter2019
Dr Andrey Mokhov
Alessandro De Gennaro
Dr Ghaith Tarawneh
Dr Georgy Lukyanov
Dr Sergey Mileiko
et al.		Language and Hardware Acceleration Backend for Graph Processing2019
Dr Andrey Mokhov
On the complexity of hazard-free circuits2019
Dr Andrey Mokhov
Dr Georgy Lukyanov
Selective Applicative Functors2019
1234567