Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool. - Ivan Poliakov; Danil Sokolov; Andrey Mokhov (ICATPN, 2007)

Delay/Phase Regeneration Circuits. - Crescenzo D'Alessandro; Andrey Mokhov; Alexandre V. Bystrov; Alexandre Yakovlev (ASYNC, 2007)

Verification of conditional partial order graphs. - Andrey Mokhov; Alexandre Yakovlev (ACSD, 2008)

Automated Verification of Asynchronous Circuits Using Circuit Petri Nets. - Ivan Poliakov; Andrey Mokhov; Ashur Rafiev; Danil Sokolov; Alex Yakovlev (ASYNC, 2008)

Conditional Partial Order Graphs and Dynamically Reconfigurable Control Synthesis. - Andrey Mokhov; Alexandre Yakovlev (DATE, 2008)

Modular Approach to Multi-resource Arbiter Design. - Stanislavs Golubcovs; Delong Shang; Fei Xia 001; Andrey Mokhov; Alex Yakovlev (ASYNC, 2009)

Synthesis of Multiple Rail Phase Encoding Circuits. - Andrey Mokhov; Crescenzo D'Alessandro; Alex Yakovlev (ASYNC, 2009)

Conditional Partial Order Graphs. - Andrey Mokhov (2009)

Automated Synthesis of Instruction Codes in the Context of Micro-architecture Design. - Andrey Mokhov; Arseniy Alekseyev; Alexandre Yakovlev (ACSD, 2010)

Conditional Partial Order Graphs: Model, Synthesis, and Application. - Andrey Mokhov; Alexandre Yakovlev (IEEE Trans. Computers, 2010)

Improved Parallel Composition of Labelled Petri Nets. - Arseniy Alekseyev; Victor Khomenko; Andrey Mokhov; Dominic Wist; Alex Yakovlev (ACSD, 2011)

An Algorithm for Direct Construction of Complete Merged Processes. - Victor Khomenko; Andrey Mokhov (Petri Nets, 2011)

Formal modelling and transformations of processor instruction sets. - Andrey Mokhov; Danil Sokolov; Maxim Rykunov; Alex Yakovlev (MEMOCODE, 2011)

Flat Arbiters. - Andrey Mokhov; Victor Khomenko; Alexandre Yakovlev (Fundam. Informaticae, 2011)

Encoding of processor instruction sets with explicit concurrency control. - Andrey Mokhov; Arseniy Alekseyev; Alex Yakovlev (IET Comput. Digit. Tech., 2011)

Algebra of Parameterised Graphs. - Andrey Mokhov; Victor Khomenko; Arseniy Alekseyev; Alex Yakovlev (ACSD, 2012)

On Dual-Rail Control Logic for Enhanced Circuit Robustness. - Andrey Mokhov; Victor Khomenko; Danil Sokolov; Alex Yakovlev (ACSD, 2012)

Adapting Asynchronous Circuits to Operating Conditions by Logic Parametrisation. - Andrey Mokhov; Danil Sokolov; Alex Yakovlev (ASYNC, 2012)

Towards power-elastic systems through concurrency management. - Fei Xia 001; Andrey Mokhov; Yu Zhou 006; Yifan Chen; Isi Mitrani; Delong Shang; Danil Sokolov; Alexandre Yakovlev (IET Comput. Digit. Tech., 2012)

Mixed Radix Reed-Muller Expansions. - Ashur Rafiev; Andrey Mokhov; Frank P. Burns; Julian P. Murphy; Albert Koelmans; Alex Yakovlev (IEEE Trans. Computers, 2012)

Design-for-adaptivity of microarchitectures. - Maxim Rykunov; Andrey Mokhov; Danil Sokolov; Alex Yakovlev; Albert Koelmans (ASAP, 2013)

Concurrent Multiresource Arbiter: Design and Applications. - Stanislavs Golubcovs; Delong Shang; Fei Xia 001; Andrey Mokhov; Alex Yakovlev (IEEE Trans. Computers, 2013)

Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn - An Architecture-Open Resource-Driven Cross-Layer Modelling Framework. - Ashur Rafiev; Alexei Iliasov; Alexander B. Romanovsky; Andrey Mokhov; Fei Xia 001; Alexandre Yakovlev (ACSD, 2014)

Design of safety critical systems by refinement. - Alex Iliasov; Arseniy Alekseyev; Danil Sokolov; Andrey Mokhov (DATE, 2014)

ArchOn: Architecture-open Resource-driven Cross-layer Modelling Framework. - Ashur Rafiev; Alexei Iliasov; Alexander B. Romanovsky; Andrey Mokhov; Fei Xia 001; Alexandre Yakovlev (ES4CPS@DATE, 2014)

A scalable physical model for Nano-Electro-Mechanical relays. - Haider Alrudainy; Andrey Mokhov; Alex Yakovlev (PATMOS, 2014)

Direct Construction of Complete Merged Processes. - Victor Khomenko; Andrey Mokhov (Comput. J., 2014)

On Formalisms for Dynamic Reconfiguration of Dependable Systems. - Anirban Bhattacharyya; Andrey Mokhov; Ken G. Pierce; Manuel Mazzara (CoRR, 2014)

Synthesis of Processor Instruction Sets from High-Level ISA Specifications. - Andrey Mokhov; Alexei Iliasov; Danil Sokolov; Maxim Rykunov; Alex Yakovlev; Alexander B. Romanovsky (IEEE Trans. Computers, 2014)

Algebra of Parameterised Graphs. - Andrey Mokhov; Victor Khomenko (ACM Trans. Embed. Comput. Syst., 2014)

A Heuristic Algorithm for Deriving Compact Models of Processor Instruction Sets. - Alessandro de Gennaro; Paulius Stankaitis; Andrey Mokhov (ACSD, 2015)

Event Log Visualisation with Conditional Partial Order Graphs: from Control Flow to Data. - Andrey Mokhov; Josep Carmona 001 (ATAED@Petri Nets/ACSD, 2015)

Opportunistic Merge Element. - Andrey Mokhov; Victor Khomenko; Danil Sokolov; Alex Yakovlev (ASYNC, 2015)

Design and Verification of Speed-Independent Multiphase Buck Controller. - Danil Sokolov; Victor Khomenko; Andrey Mokhov; Alex Yakovlev; David Lloyd (ASYNC, 2015)

Building Bridges Between Sets of Partial Orders. - Hernán Ponce de León; Andrey Mokhov (LATA, 2015)

Compositional design of asynchronous circuits from behavioural concepts. - Jonathan Beaumont; Andrey Mokhov; Danil Sokolov; Alex Yakovlev (MEMOCODE, 2015)

Algebra of switching networks. - Andrey Mokhov (IET Comput. Digit. Tech., 2015)

On hyperbolic laws of capacitor discharge through self-timed digital loads. - Alexandre Yakovlev; Alexander Kushnerov; Andrey Mokhov; Reza Ramezani (Int. J. Circuit Theory Appl., 2015)

Guest Editorial for Special Issue Application of Concurrency to System Design. - Kamel Barkaoui; Luca Bernardinello; Andrey Mokhov (ACM Trans. Embed. Comput. Syst., 2015)

Formal verification of clock domain crossing using gate-level models of metastable flip-flops. - Ghaith Tarawneh; Andrey Mokhov; Alex Yakovlev (DATE, 2016)

Desugaring Haskell's do-notation into applicative operations. - Simon Marlow; Simon Peyton Jones; Edward Kmett; Andrey Mokhov (Haskell, 2016)

Non-recursive make considered harmful: build systems at scale. - Andrey Mokhov; Neil Mitchell; Simon Peyton Jones; Simon Marlow (Haskell, 2016)

MEMS-based power delivery control for bursty applications. - Haider Alrudainy; Andrey Mokhov; Nizar S. Dahir; Alex Yakovlev (ISCAS, 2016)

Mining Conditional Partial Order Graphs from Event Logs. - Andrey Mokhov; Josep Carmona 001; Jonathan Beaumont (Trans. Petri Nets Other Model. Concurr., 2016)

Formal Design and Verification of an Asynchronous SRAM Controller. - Victor Khomenko; Andrey Mokhov; Danil Sokolov; Alex Yakovlev (ACSD, 2017)

Reduction of Order Structures. - Lukasz Mikulski; Andrey Mokhov; Marcin Piatkowski (ACSD, 2017)

Process Windows. - Andrey Mokhov; Jordi Cortadella; Alessandro de Gennaro (ACSD, 2017)

Xprova: Formal Verification Tool with Built-in Metastability Modeling. - Ghaith Tarawneh; Andrey Mokhov (ACSD, 2017)

WAITX: An Arbiter for Non-persistent Signals. - Victor Khomenko; Danil Sokolov; Andrey Mokhov; Alex Yakovlev (ASYNC, 2017)

Benefits of asynchronous control for analog electronics: Multiphase buck case study. - Danil Sokolov; Vladimir Dubikhin; Victor Khomenko; David Lloyd; Andrey Mokhov; Alex Yakovlev (DATE, 2017)

Lifetime reliability characterization of N/MEMS used in power gating of digital integrated circuits. - Haider Alrudainy; Rishad A. Shafik; Andrey Mokhov; Alex Yakovlev (DFT, 2017)

Language and hardware acceleration backend for graph processing. - Andrey Mokhov; Alessandro de Gennaro; Ghaith Tarawneh; Jonny Wray; Georgy Lukyanov; Sergey Mileiko; Joe Scott; Alex Yakovlev; Andrew D. Brown (FDL, 2017)

Algebraic graphs with class (functional pearl). - Andrey Mokhov (Haskell, 2017)

Programming Model to Develop Supercomputer Combinatorial Solvers. - Ghaith Tarawneh; Andrey Mokhov; Matthew Naylor; Alex Rast; Simon W. Moore; David B. Thomas; Alex Yakovlev; Andrew D. Brown (ICPP Workshops, 2017)

Ultra-Low Energy Data Driven Computing Using Asynchronous Micropipelines and Nano-Electro-Mechanical Relays. - Haider Alrudainy; Andrey Mokhov; Fei Xia 001; Alex Yakovlev (ISVLSI, 2017)

Asynchronous Arbitration Primitives for New Generation of Circuits and Systems. - Andrey Mokhov; Danil Sokolov; Victor Khomenko; Alex Yakovlev (NGCAS, 2017)

Distributed Event-Based Computing. - Andrew D. Brown; David B. Thomas; Jeff Reeve; Ghaith Tarawneh; Alessandro de Gennaro; Andrey Mokhov; Matthew Naylor; Tom Kazmierski (PARCO, 2017)

Voltage, Throughput, Power, Reliability, and Multicore Scaling. - Fei Xia 001; Ashur Rafiev; Ali Aalsaud; Mohammed A. Noaman Al-Hayanni; James J. Davis 001; Joshua M. Levine; Andrey Mokhov; Alexander B. Romanovsky; Rishad A. Shafik; Alex Yakovlev; Sheng Yang 003 (Computer, 2017)

An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems. - Anirban Bhattacharyya; Andrey Mokhov; Ken G. Pierce (Formal Aspects Comput., 2017)

Concurrency Oracles for Free. - Georgy Lukyanov; Andrey Mokhov (ATAED@Petri Nets/ACSD, 2018)

Formal Verification of Mixed Synchronous Asynchronous Systems Using Industrial Tools. - Ghaith Tarawneh; Andrey Mokhov (ASYNC, 2018)

Reconfigurable asynchronous pipelines: From formal models to silicon. - Danil Sokolov; Alessandro de Gennaro; Andrey Mokhov (DATE, 2018)

Formal Verification of Spacecraft Control Programs Using a Metalanguage for State Transformers. - Andrey Mokhov; Georgy Lukyanov; Jakob Lechner (CoRR, 2018)

Compact and efficiently verifiable models for concurrent systems. - Hernán Ponce de León; Andrey Mokhov (Formal Methods Syst. Des., 2018)

Build systems à la carte. - Andrey Mokhov; Neil Mitchell; Simon Peyton Jones (Proc. ACM Program. Lang., 2018)

High-Level Asynchronous Concepts at the Interface Between Analog and Digital Worlds. - Jonathan Beaumont; Andrey Mokhov; Danil Sokolov; Alex Yakovlev (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Generalised Asynchronous Arbiter. - Stanislavs Golubcovs; Andrey Mokhov; Alex Bystrov; Danil Sokolov; Alex Yakovlev (ACSD, 2019)

Formal verification of spacecraft control programs (experience report). - Andrey Mokhov; Georgy Lukyanov; Jakob Lechner (Haskell@ICFP, 2019)

POETS: Distributed Event-Based Computing - Scaling Behaviour. - Andrew D. Brown; Mark Vousden; Alex Rast; Graeme M. Bragg; David B. Thomas; Jonny Beaumont; Matthew Naylor; Andrey Mokhov (PARCO, 2019)

Complexity of Linear Operators. - Alexander S. Kulikov; Ivan Mikhailin; Andrey Mokhov; Vladimir V. Podolskii (Electron. Colloquium Comput. Complex., 2019)

Efficient composition of scenario-based hardware specifications. - Alessandro de Gennaro; Paulius Stankaitis; Andrey Mokhov (IET Comput. Digit. Tech., 2019)

On the Complexity of Hazard-free Circuits. - Christian Ikenmeyer; Balagopal Komarath; Christoph Lenzen 001; Vladimir Lysikov; Andrey Mokhov; Karteek Sreenivasaiah (J. ACM, 2019)

Selective applicative functors. - Andrey Mokhov; Georgy Lukyanov; Simon Marlow; Jerémie Dimino (Proc. ACM Program. Lang., 2019)

Termination detection for fine-grained message-passing architectures. - Matthew Naylor; Simon W. Moore; Andrey Mokhov; David B. Thomas; Jonathan R. Beaumont; Shane T. Fleming; A. Theodore Markettos; Thomas Bytheway; Andrew D. Brown (ASAP, 2020)

Build systems à la carte: Theory and practice. - Andrey Mokhov; Neil Mitchell; Simon Peyton Jones (J. Funct. Program., 2020)

Automating the Design of Asynchronous Logic Control for AMS Electronics. - Danil Sokolov; Victor Khomenko; Andrey Mokhov; Vladimir Dubikhin; David Lloyd; Alex Yakovlev (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Formal Verification of Spacecraft Control Programs. - Georgy Lukyanov; Andrey Mokhov; Jakob Lechner (ACM Trans. Embed. Comput. Syst., 2020)

Design and Implementation of Reconfigurable Asynchronous Pipelines. - Alessandro de Gennaro; Danil Sokolov; Andrey Mokhov (IEEE Trans. Very Large Scale Integr. Syst., 2020)

United Monoids - Finding Simplicial Sets and Labelled Algebraic Graphs in Trees. - Andrey Mokhov (Art Sci. Eng. Program., 2022)