Publications by Dr Andrey Mokhov - ePrints

Browsing publications by Dr Andrey Mokhov.

Newcastle Authors	Title	Year
Dr Andrey Mokhov	United Monoids: Finding Simplicial Sets and Labelled Algebraic Graphs in Trees	2022
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
Dr 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 Dr Paulius Stankaitis Dr Andrey Mokhov	Efficient Composition of Scenario-based Hardware Specifications	2019
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 et al.	Generalised Asynchronous Arbiter	2019
Dr Andrey Mokhov Alessandro De Gennaro Dr Ghaith Tarawneh Dr Georgy Lukyanov Dr Sergey Mileiko et al.	Language and Hardware Acceleration Backend for Graph Processing	2019
Dr Andrey Mokhov	On the complexity of hazard-free circuits	2019
Dr Andrey Mokhov Dr Georgy Lukyanov	Selective Applicative Functors	2019
Dr Andrey Mokhov	Build Systems à la Carte	2018
Dr Andrey Mokhov	Compact and efficiently verifiable models for concurrent systems	2018
Dr Georgy Lukyanov Dr Andrey Mokhov	Concurrency oracles for free	2018
Dr Ghaith Tarawneh Alessandro De Gennaro Dr Andrey Mokhov	Distributed Event-Based Computing	2018
Dr Ghaith Tarawneh Dr Andrey Mokhov	Formal Verification of Mixed Synchronous Asynchronous Systems using Industrial Tools	2018
Jonny Beaumont Dr Andrey Mokhov Dr Danil Sokolov Professor Alex Yakovlev	High-level asynchronous concepts at the interface between analogue and digital worlds	2018
Dr Andrey Mokhov Alessandro de Gennaro Dr Ghaith Tarawneh Dr Georgy Lukyanov Dr Sergey Mileiko et al.	Language and hardware acceleration backend for graph processing	2018
Sam Alrudainy Professor Rishad Shafik Dr Andrey Mokhov Professor Alex Yakovlev	Lifetime Reliability Characterization of N/MEMS Used in Power Gating of Digital Integrated Circuits	2018
Dr Andrey Mokhov	On the complexity of hazard-free circuits	2018
Dr Danil Sokolov Alessandro De Gennaro Dr Andrey Mokhov	Reconfigurable asynchronous pipelines: From formal models to silicon	2018
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 systems	2017
Dr Andrey Mokhov Dr Danil Sokolov Dr Victor Khomenko Professor Alex Yakovlev	Asynchronous Arbitration Primitives for New Generation of Circuits and Systems	2017
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 Study	2017
Dr Victor Khomenko Dr Andrey Mokhov Dr Danil Sokolov Professor Alex Yakovlev	Formal Design and Verification of an Asynchronous SRAM Controller	2017
Dr Andrey Mokhov Alessandro De Gennaro Dr Ghaith Tarawneh Dr Sergey Mileiko Professor Alex Yakovlev et al.	Language and Hardware Acceleration Backend for Graph Processing	2017
Dr Andrey Mokhov Alessandro De Gennaro	Process Windows	2017
Dr Ghaith Tarawneh Dr Andrey Mokhov Professor Alex Yakovlev	Programming Model to Develop Supercomputer Combinatorial Solvers	2017
Alessandro De Gennaro Dr Andrey Mokhov Paulius Stankaitis Maxim Rykunov	Prototyping Resilient Processing Cores in Workcraft	2017
Dr Lukasz Mikulski Dr Andrey Mokhov	Reduction of Order Structures	2017
Dr Ashur Rafiev Dr Andrey Mokhov Dr Fei Xia Dr Alexei Iliasov Rem Gensh et al.	Resource-Driven Modelling for Managing Model Fidelity	2017
Haider Alrudainy Dr Andrey Mokhov Dr Fei Xia Professor Alex Yakovlev	Ultra-Low Energy Data Driven Computing Using Asynchronous Micropipelines and Nano-Electro-Mechanical Relays	2017
Dr Fei Xia Dr Ashur Rafiev Ali Aalsaud Mohammed Al-Hayanni Dr Andrey Mokhov et al.	Voltage, Throughput, Power, Reliability and Multicore Scaling	2017
Dr Victor Khomenko Dr Danil Sokolov Dr Andrey Mokhov Professor Alex Yakovlev	WAITX: An Arbiter for Non-Persistent Signals	2017
Dr Ghaith Tarawneh Dr Andrey Mokhov	Xprova: Formal Verification Tool with Built-in Metastability Modeling	2017
Dr Ghaith Tarawneh Dr Andrey Mokhov	Xprova: Formal verification tool with built-in metastability modeling	2017
Dr Andrey Mokhov	Desugaring Haskell's do-notation into applicative operations	2016
Dr Ghaith Tarawneh Dr Andrey Mokhov Professor Alex Yakovlev	Formal verification of clock domain crossing using gate-level models of metastable flip-flops	2016
Haider Alrudainy Dr Andrey Mokhov Nizar Dahir Professor Alex Yakovlev	MEMS-Based Power Delivery Control for Bursty Applications	2016
Dr Andrey Mokhov Jonny Beaumont	Mining Conditional Partial Order Graphs from Event Logs	2016
Dr Andrey Mokhov	Non-recursive Make Considered Harmful: Build Systems at Scale	2016
Dr Anirban Bhattacharyya Dr Andrey Mokhov Dr Ken Pierce	A Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems	2015
Alessandro De Gennaro Gladys - Dr Andrey Mokhov	A Heuristic Algorithm for Deriving Compact Models of Processor Instruction Sets	2015
Dr Andrey Mokhov	Algebra of switching networks	2015
Dr Andrey Mokhov	Building bridges between sets of partial orders	2015
Jonny Beaumont Dr Andrey Mokhov Dr Danil Sokolov Professor Alex Yakovlev	Compositional design of asynchronous circuits from behavioural concepts	2015
Dr Danil Sokolov Dr Victor Khomenko Dr Andrey Mokhov Professor Alex Yakovlev	Design and Verification of Speed-Independent Multiphase Buck Controller	2015
Dr Andrey Mokhov	Event Log Visualisation with Conditional Partial Order Graphs: from Control Flow to Data	2015
Dr Andrey Mokhov	Guest Editorial for Special Issue Application of Concurrency to System Design	2015
Professor Alex Yakovlev Dr Alexander Kushnerov Dr Andrey Mokhov Dr Reza Ramezani	On hyperbolic laws of capacitor discharge through self-timed digital loads	2015
Dr Andrey Mokhov Dr Victor Khomenko Dr Danil Sokolov Professor Alex Yakovlev	Opportunistic Merge Element	2015
Dr Andrey Mokhov Dr Victor Khomenko Dr Danil Sokolov Professor Alex Yakovlev	Opportunistic Merge Element	2015
Dr Ashur Rafiev Dr Alexei Iliasov Emeritus 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 Framework	2015
Sam Alrudainy Dr Andrey Mokhov Professor Alex Yakovlev	A scalable physical model for Nano-Electro-Mechanical relays	2014
Dr Andrey Mokhov Dr Victor Khomenko	Algebra of Parameterised Graphs	2014
Dr Ashur Rafiev Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Andrey Mokhov Dr Fei Xia et al.	ArchOn: Architecture-open Resource-driven Cross-layer Modelling Framework	2014
Dr Andrey Mokhov Dr Danil Sokolov Professor Alex Yakovlev	Design of Processors with Reconfigurable Microarchitecture	2014
Dr Alexei Iliasov Arseniy Alekseyev Dr Danil Sokolov Dr Andrey Mokhov	Design of safety critical systems by refinement	2014
Dr Alexei Iliasov Arseniy Alekseyev Dr Danil Sokolov Dr Andrey Mokhov	Design of safety critical systems by refinement	2014
Dr Victor Khomenko Dr Andrey Mokhov	Direct Construction of Complete Merged Processes	2014
Dr Ashur Rafiev Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Andrey Mokhov Dr Fei Xia et al.	Resource-driven Modelling of Complex Digital Systems with Uncertainty	2014
Dr Ashur Rafiev Dr Alexei Iliasov Emeritus 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 Framework	2014
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 Specifications	2014
Dr Danil Sokolov Dr Andrey Mokhov Professor Alex Yakovlev	Towards asynchronous power management	2014
Dr Stanislavs Golubcovs Dr Delong Shang Dr Fei Xia Dr Andrey Mokhov Professor Alex Yakovlev et al.	Concurrent Multiresource Arbiter: Design and Applications	2013
Maxim Rykunov Dr Andrey Mokhov Dr Danil Sokolov Professor Alex Yakovlev	Design-for-Adaptivity of Microarchitectures	2013
Dr Andrey Mokhov Dr Danil Sokolov Professor Alex Yakovlev	Towards reconfigurable processors for power-proportional computing	2013
Dr Andrey Mokhov Dr Danil Sokolov Professor Alex Yakovlev	Adapting Asynchronous Circuits to Operating Conditions by Logic Parametrisation	2012
Dr Andrey Mokhov Dr Victor Khomenko Arseniy Alekseyev Professor Alex Yakovlev	Algebra of Parametrised Graphs	2012
Dr Ashur Rafiev Dr Andrey Mokhov Dr Frank Burns Dr Julian Murphy Professor Alex Yakovlev et al.	Mixed Radix Reed-Muller Expansions	2012
Dr Andrey Mokhov Dr Victor Khomenko Dr Danil Sokolov Professor Alex Yakovlev	On Dual-Rail Control Logic for Enhanced Circuit Robustness	2012
Dr Fei Xia Dr Andrey Mokhov Dr Yu Zhou Dr Yifan Chen Emeritus Professor Isi Mitrani et al.	Towards power-elastic systems through concurrency management	2012
Dr Andrey Mokhov Dr Victor Khomenko Arseniy Alekseyev Professor Alex Yakovlev	Algebra of Parametrised Graphs	2011
Dr Victor Khomenko Dr Andrey Mokhov	An Algorithm for Direct Construction of Complete Merged Processes	2011
Dr Andrey Mokhov Arseniy Alekseyev Professor Alex Yakovlev	Encoding of processor instruction sets with explicit concurrency control	2011
Dr Andrey Mokhov Dr Victor Khomenko Professor Alex Yakovlev	Flat Arbiters	2011
Arseniy Alekseyev Dr Victor Khomenko Dr Andrey Mokhov Dominic Wist Professor Alex Yakovlev et al.	Improved parallel composition of labelled Petri nets	2011
Dr Victor Khomenko Dr Andrey Mokhov	An Algorithm for Direct Construction of Complete Merged Processes	2010
Dr Andrey Mokhov Arseniy Alekseyev Professor Alex Yakovlev	Automated Synthesis of Instruction Codes in the Context of Micro-architecture Design	2010
Dr Andrey Mokhov Professor Alex Yakovlev	Conditional Partial Order Graphs: Model, Synthesis, and Application	2010
Dr Andrey Mokhov Dr Victor Khomenko Dr Danil Sokolov Professor Alex Yakovlev	On Dual-Rail Control Logic for Enhanced Circuit Robustness	2010
Dr Andrey Mokhov Dr Victor Khomenko Professor Alex Yakovlev	Flat Arbiters	2009
Stanislavs Golubcovs Dr Delong Shang Dr Fei Xia Dr Andrey Mokhov Professor Alex Yakovlev et al.	Modular Approach to Multi-Resource Arbiter Design	2009
Dr Andrey Mokhov Crescenco D'Alessandro Professor Alex Yakovlev	Synthesis of multiple rail phase encoding circuits	2009
Ivan Poliakov Dr Andrey Mokhov Ashur Rafiev Dr Danil Sokolov Professor Alex Yakovlev et al.	Automated Verification of Asynchronous Circuits Using Circuit Petri Nets	2008
Dr Andrey Mokhov Professor Alex Yakovlev	Conditional Partial Order Graphs and Dynamically Reconfigurable Control Synthesis	2008
Dr Andrey Mokhov Professor Alex Yakovlev	Verification of Conditional Partial Order Graphs	2008
Dr Andrey Mokhov Professor Alex Yakovlev	Verification of Conditional Partial Order Graphs	2008
Crescenco D'Alessandro Dr Andrey Mokhov Dr Alex Bystrov Professor Alex Yakovlev	Delay/Phase Regeneration Circuit	2007
Crescenco D'Alessandro Dr Andrey Mokhov Dr Alex Bystrov Professor Alex Yakovlev	Delay/Phase regeneration circuits	2007
Ivan Poliakov Dr Danil Sokolov Dr Andrey Mokhov	Workcraft: A static data flow structure editing, visualisation and analysis tool	2007