Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Andrey Mokhov.

Newcastle AuthorsTitleYearFull text
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
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
et al.
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
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 Arbiter2019
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
On the complexity of hazard-free circuits2019
Dr Andrey Mokhov
Georgy Lukyanov
Selective Applicative Functors2019
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
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
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
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 Andrey Mokhov
Alessandro De Gennaro
Dr Ghaith Tarawneh
Serhii Mileiko
Professor Alex Yakovlev
et al.
Language and Hardware Acceleration Backend for Graph Processing2017
Dr Andrey Mokhov
Alessandro De Gennaro
Process Windows2017
Dr Ghaith Tarawneh
Dr Andrey Mokhov
Professor Alex Yakovlev
Programming Model to Develop Supercomputer Combinatorial Solvers2017
Alessandro De Gennaro
Dr Andrey Mokhov
Paulius Stankaitis
Maxim Rykunov
Prototyping Resilient Processing Cores in Workcraft2017
Dr Lukasz Mikulski
Dr Andrey Mokhov
Reduction of Order Structures2017
Dr Ashur Rafiev
Dr Andrey Mokhov
Dr Fei Xia
Dr Alexei Iliasov
Rem Gensh
et al.
Resource-Driven Modelling for Managing Model Fidelity2017
Haider Alrudainy
Dr Andrey Mokhov
Dr Fei Xia
Professor Alex Yakovlev
Ultra-Low Energy Data Driven Computing Using Asynchronous Micropipelines and Nano-Electro-Mechanical Relays2017
Dr Fei Xia
Dr Ashur Rafiev
Ali Aalsaud
Mohammed Al-Hayanni
Dr Andrey Mokhov
et al.
Voltage, Throughput, Power, Reliability and Multicore Scaling2017
Dr Victor Khomenko
Dr Danil Sokolov
Dr Andrey Mokhov
Professor Alex Yakovlev
WAITX: An Arbiter for Non-Persistent Signals2017
Dr Ghaith Tarawneh
Dr Andrey Mokhov
Xprova: Formal Verification Tool with Built-in Metastability Modeling2017
Dr Ghaith Tarawneh
Dr Andrey Mokhov
Xprova: Formal verification tool with built-in metastability modeling2017
Dr Andrey Mokhov
Desugaring Haskell's do-notation into applicative operations2016
Dr Ghaith Tarawneh
Dr Andrey Mokhov
Professor Alex Yakovlev
Formal verification of clock domain crossing using gate-level models of metastable flip-flops2016
Haider Alrudainy
Dr Andrey Mokhov
Nizar Dahir
Professor Alex Yakovlev
MEMS-Based Power Delivery Control for Bursty Applications2016
Dr Andrey Mokhov
Jonny Beaumont
Mining Conditional Partial Order Graphs from Event Logs2016
Dr Andrey Mokhov
Non-recursive Make Considered Harmful: Build Systems at Scale2016
Dr Anirban Bhattacharyya
Dr Andrey Mokhov
Dr Ken Pierce
A Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems2015
Alessandro De Gennaro
Gladys -
Dr Andrey Mokhov
A Heuristic Algorithm for Deriving Compact Models of Processor Instruction Sets2015
Dr Andrey Mokhov
Algebra of switching networks2015
Dr Andrey Mokhov
Building bridges between sets of partial orders2015
Jonny Beaumont
Dr Andrey Mokhov
Dr Danil Sokolov
Professor Alex Yakovlev
Compositional design of asynchronous circuits from behavioural concepts2015
Dr Danil Sokolov
Dr Victor Khomenko
Dr Andrey Mokhov
Professor Alex Yakovlev
Design and Verification of Speed-Independent Multiphase Buck Controller2015
Dr Andrey Mokhov
Event Log Visualisation with Conditional Partial Order Graphs: from Control Flow to Data2015
Dr Andrey Mokhov
Guest Editorial for Special Issue Application of Concurrency to System Design2015
Professor Alex Yakovlev
Dr Alexander Kushnerov
Dr Andrey Mokhov
Dr Reza Ramezani
On hyperbolic laws of capacitor discharge through self-timed digital loads2015
Dr Andrey Mokhov
Dr Victor Khomenko
Dr Danil Sokolov
Professor Alex Yakovlev
Opportunistic Merge Element2015
Dr Andrey Mokhov
Dr Victor Khomenko
Dr Danil Sokolov
Professor Alex Yakovlev
Opportunistic Merge Element2015
Dr Ashur Rafiev
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Andrey Mokhov
Dr Fei Xia
et al.
Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn - An Architecture-Open Resource-Driven Cross-Layer Modelling Framework2015
Sam Alrudainy
Dr Andrey Mokhov
Professor Alex Yakovlev
A scalable physical model for Nano-Electro-Mechanical relays2014
Dr Andrey Mokhov
Dr Victor Khomenko
Algebra of Parameterised Graphs2014
Dr Ashur Rafiev
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Andrey Mokhov
Dr Fei Xia
et al.
ArchOn: Architecture-open Resource-driven Cross-layer Modelling Framework2014
Dr Andrey Mokhov
Dr Danil Sokolov
Professor Alex Yakovlev
Design of Processors with Reconfigurable Microarchitecture2014
Dr Alexei Iliasov
Arseniy Alekseyev
Dr Danil Sokolov
Dr Andrey Mokhov
Design of safety critical systems by refinement2014
Dr Alexei Iliasov
Arseniy Alekseyev
Dr Danil Sokolov
Dr Andrey Mokhov
Design of safety critical systems by refinement2014
Dr Victor Khomenko
Dr Andrey Mokhov
Direct Construction of Complete Merged Processes2014
Dr Ashur Rafiev
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Andrey Mokhov
Dr Fei Xia
et al.
Resource-driven Modelling of Complex Digital Systems with Uncertainty2014
Dr Ashur Rafiev
Dr Alexei Iliasov
Professor Alexander Romanovsky
Dr Andrey Mokhov
Dr Fei Xia
et al.
Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn – an Architecture-open Resource-driven Cross-layer Modelling Framework2014
Dr Andrey Mokhov
Dr Alexei Iliasov
Dr Danil Sokolov
Maxim Rykunov
Professor Alex Yakovlev
et al.
Synthesis of Processor Instruction Sets from High-Level ISA Specifications2014
Dr Danil Sokolov
Dr Andrey Mokhov
Professor Alex Yakovlev
Towards asynchronous power management2014
Dr Stanislavs Golubcovs
Dr Delong Shang
Dr Fei Xia
Dr Andrey Mokhov
Professor Alex Yakovlev
et al.
Concurrent Multiresource Arbiter: Design and Applications2013
Maxim Rykunov
Dr Andrey Mokhov
Dr Danil Sokolov
Professor Alex Yakovlev
Design-for-Adaptivity of Microarchitectures2013
Dr Andrey Mokhov
Dr Danil Sokolov
Professor Alex Yakovlev
Towards reconfigurable processors for power-proportional computing2013
Dr Andrey Mokhov
Dr Danil Sokolov
Professor Alex Yakovlev
Adapting Asynchronous Circuits to Operating Conditions by Logic Parametrisation2012
Dr Andrey Mokhov
Dr Victor Khomenko
Arseniy Alekseyev
Professor Alex Yakovlev
Algebra of Parametrised Graphs2012
Dr Ashur Rafiev
Dr Andrey Mokhov
Dr Frank Burns
Dr Julian Murphy
Professor Alex Yakovlev
et al.
Mixed Radix Reed-Muller Expansions2012
Dr Andrey Mokhov
Dr Victor Khomenko
Dr Danil Sokolov
Professor Alex Yakovlev
On Dual-Rail Control Logic for Enhanced Circuit Robustness2012
Dr Fei Xia
Dr Andrey Mokhov
Dr Yu Zhou
Dr Yifan Chen
Emeritus Professor Isi Mitrani
et al.
Towards power-elastic systems through concurrency management2012
Dr Andrey Mokhov
Dr Victor Khomenko
Arseniy Alekseyev
Professor Alex Yakovlev
Algebra of Parametrised Graphs2011
Dr Victor Khomenko
Dr Andrey Mokhov
An Algorithm for Direct Construction of Complete Merged Processes2011
Dr Andrey Mokhov
Arseniy Alekseyev
Professor Alex Yakovlev
Encoding of processor instruction sets with explicit concurrency control2011
Dr Andrey Mokhov
Dr Victor Khomenko
Professor Alex Yakovlev
Flat Arbiters2011
Arseniy Alekseyev
Dr Victor Khomenko
Dr Andrey Mokhov
Dominic Wist
Professor Alex Yakovlev
et al.
Improved parallel composition of labelled Petri nets2011
Dr Victor Khomenko
Dr Andrey Mokhov
An Algorithm for Direct Construction of Complete Merged Processes2010
Dr Andrey Mokhov
Arseniy Alekseyev
Professor Alex Yakovlev
Automated Synthesis of Instruction Codes in the Context of Micro-architecture Design2010
Dr Andrey Mokhov
Professor Alex Yakovlev
Conditional Partial Order Graphs: Model, Synthesis, and Application2010
Dr Andrey Mokhov
Dr Victor Khomenko
Dr Danil Sokolov
Professor Alex Yakovlev
On Dual-Rail Control Logic for Enhanced Circuit Robustness2010
Dr Andrey Mokhov
Dr Victor Khomenko
Professor Alex Yakovlev
Flat Arbiters2009
Stanislavs Golubcovs
Dr Delong Shang
Dr Fei Xia
Dr Andrey Mokhov
Professor Alex Yakovlev
et al.
Modular Approach to Multi-Resource Arbiter Design2009
Dr Andrey Mokhov
Crescenco D'Alessandro
Professor Alex Yakovlev
Synthesis of multiple rail phase encoding circuits2009
Ivan Poliakov
Dr Andrey Mokhov
Ashur Rafiev
Dr Danil Sokolov
Professor Alex Yakovlev
et al.
Automated Verification of Asynchronous Circuits Using Circuit Petri Nets2008
Dr Andrey Mokhov
Professor Alex Yakovlev
Conditional Partial Order Graphs and Dynamically Reconfigurable Control Synthesis2008
Dr Andrey Mokhov
Professor Alex Yakovlev
Verification of Conditional Partial Order Graphs2008
Dr Andrey Mokhov
Professor Alex Yakovlev
Verification of Conditional Partial Order Graphs2008
Crescenco D'Alessandro
Dr Andrey Mokhov
Dr Alex Bystrov
Professor Alex Yakovlev
Delay/Phase Regeneration Circuit2007
Crescenco D'Alessandro
Dr Andrey Mokhov
Dr Alex Bystrov
Professor Alex Yakovlev
Delay/Phase regeneration circuits2007
Ivan Poliakov
Dr Danil Sokolov
Dr Andrey Mokhov
Workcraft: A static data flow structure editing, visualisation and analysis tool2007