Andrey Mokhov

ORCID

Publication Activity (10 Years)

Years Active: 2007-2022
Publications (10 Years): 56

Top Venues

University of Newcastle Upon Tyne, UK (PHD)

Education History

University of Newcastle Upon Tyne, UK

PHD

Publications

Andrey Mokhov
United Monoids: Finding Simplicial Sets and Labelled Algebraic Graphs in Trees. CoRR (2022)
Andrey Mokhov
United Monoids - Finding Simplicial Sets and Labelled Algebraic Graphs in Trees. Art Sci. Eng. Program. 6 (3) (2022)
Andrey Mokhov, Neil Mitchell, Simon Peyton Jones
Build systems à la carte: Theory and practice. J. Funct. Program. 30 (2020)
Matthew Naylor, Simon W. Moore, Andrey Mokhov, David B. Thomas, Jonathan R. Beaumont, Shane T. Fleming, A. Theodore Markettos, Thomas Bytheway, Andrew Brown
Termination detection for fine-grained message-passing architectures. ASAP (2020)
Georgy Lukyanov, Andrey Mokhov, Jakob Lechner
Formal Verification of Spacecraft Control Programs. ACM Trans. Embed. Comput. Syst. 19 (5) (2020)
Alessandro de Gennaro, Danil Sokolov, Andrey Mokhov
Design and Implementation of Reconfigurable Asynchronous Pipelines. IEEE Trans. Very Large Scale Integr. Syst. 28 (6) (2020)
Danil Sokolov, Victor Khomenko, Andrey Mokhov, Vladimir Dubikhin, David Lloyd, Alex Yakovlev
Automating the Design of Asynchronous Logic Control for AMS Electronics. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (5) (2020)
Alessandro de Gennaro, Paulius Stankaitis, Andrey Mokhov
Efficient composition of scenario-based hardware specifications. IET Comput. Digit. Tech. 13 (2) (2019)
Alexander S. Kulikov, Ivan Mikhailin, Andrey Mokhov, Vladimir V. Podolskii
Complexity of Linear Operators. ISAAC (2019)
Christian Ikenmeyer, Balagopal Komarath, Christoph Lenzen, Vladimir Lysikov, Andrey Mokhov, Karteek Sreenivasaiah
On the Complexity of Hazard-free Circuits. J. ACM 66 (4) (2019)
Andrey Mokhov, Georgy Lukyanov, Jakob Lechner
Formal verification of spacecraft control programs (experience report). Haskell@ICFP (2019)
Andrey Mokhov, Georgy Lukyanov, Simon Marlow, Jerémie Dimino
Selective applicative functors. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Andrew Brown, Mark Vousden, Alex Rast, Graeme M. Bragg, David B. Thomas, Jonny Beaumont, Matthew Naylor, Andrey Mokhov
POETS: Distributed Event-Based Computing - Scaling Behaviour. PARCO (2019)
Alexander S. Kulikov, Ivan Mikhailin, Andrey Mokhov, Vladimir V. Podolskii
Complexity of Linear Operators. Electron. Colloquium Comput. Complex. 26 (2019)
Stanislavs Golubcovs, Andrey Mokhov, Alex Bystrov, Danil Sokolov, Alex Yakovlev
Generalised Asynchronous Arbiter. ACSD (2019)
Andrey Mokhov, Georgy Lukyanov, Jakob Lechner
Formal Verification of Spacecraft Control Programs Using a Metalanguage for State Transformers. CoRR (2018)
Georgy Lukyanov, Andrey Mokhov
Concurrency Oracles for Free. ATAED@Petri Nets/ACSD (2018)
Hernán Ponce de León, Andrey Mokhov
Compact and efficiently verifiable models for concurrent systems. Formal Methods Syst. Des. 53 (3) (2018)
Jonathan Beaumont, Andrey Mokhov, Danil Sokolov, Alex Yakovlev
High-Level Asynchronous Concepts at the Interface Between Analog and Digital Worlds. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (1) (2018)
Andrey Mokhov, Neil Mitchell, Simon Peyton Jones
Build systems à la carte. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Alexander S. Kulikov, Ivan Mikhailin, Andrey Mokhov, Vladimir V. Podolskii
Complexity of Linear Operators. CoRR (2018)
Ghaith Tarawneh, Andrey Mokhov
Formal Verification of Mixed Synchronous Asynchronous Systems Using Industrial Tools. ASYNC (2018)
Danil Sokolov, Alessandro de Gennaro, Andrey Mokhov
Reconfigurable asynchronous pipelines: From formal models to silicon. DATE (2018)
Christian Ikenmeyer, Balagopal Komarath, Christoph Lenzen, Vladimir Lysikov, Andrey Mokhov, Karteek Sreenivasaiah
On the complexity of hazard-free circuits. STOC (2018)
Andrey Mokhov, Danil Sokolov, Victor Khomenko, Alex Yakovlev
Asynchronous Arbitration Primitives for New Generation of Circuits and Systems. NGCAS (2017)
Victor Khomenko, Danil Sokolov, Andrey Mokhov, Alex Yakovlev
WAITX: An Arbiter for Non-persistent Signals. ASYNC (2017)
Christian Ikenmeyer, Balagopal Komarath, Christoph Lenzen, Vladimir Lysikov, Andrey Mokhov, Karteek Sreenivasaiah
On the complexity of hazard-free circuits. CoRR (2017)
Andrey Mokhov, Alessandro de Gennaro, Ghaith Tarawneh, Jonny Wray, Georgy Lukyanov, Sergey Mileiko, Joe Scott, Alex Yakovlev, Andrew Brown
Language and hardware acceleration backend for graph processing. FDL (2017)
Danil Sokolov, Vladimir Dubikhin, Victor Khomenko, David Lloyd, Andrey Mokhov, Alex Yakovlev
Benefits of asynchronous control for analog electronics: Multiphase buck case study. DATE (2017)
Victor Khomenko, Andrey Mokhov, Danil Sokolov, Alex Yakovlev
Formal Design and Verification of an Asynchronous SRAM Controller. ACSD (2017)
Haider Alrudainy, Rishad A. Shafik, Andrey Mokhov, Alex Yakovlev
Lifetime reliability characterization of N/MEMS used in power gating of digital integrated circuits. DFT (2017)
Andrey Mokhov, Jordi Cortadella, Alessandro de Gennaro
Process Windows. ACSD (2017)
Fei Xia, Ashur Rafiev, Ali Aalsaud, Mohammed A. Noaman Al-Hayanni, James J. Davis, Joshua M. Levine, Andrey Mokhov, Alexander B. Romanovsky, Rishad A. Shafik, Alex Yakovlev, Sheng Yang
Voltage, Throughput, Power, Reliability, and Multicore Scaling. Computer 50 (8) (2017)
Lukasz Mikulski, Andrey Mokhov, Marcin Piatkowski
Reduction of Order Structures. ACSD (2017)
Haider Alrudainy, Andrey Mokhov, Fei Xia, Alex Yakovlev
Ultra-Low Energy Data Driven Computing Using Asynchronous Micropipelines and Nano-Electro-Mechanical Relays. ISVLSI (2017)
Ghaith Tarawneh, Andrey Mokhov
Xprova: Formal Verification Tool with Built-in Metastability Modeling. ACSD (2017)
Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce
An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems. Formal Aspects Comput. 29 (2) (2017)
Andrey Mokhov, Alessandro de Gennaro, Ghaith Tarawneh, Jonny Wray, Georgy Lukyanov, Sergey Mileiko, Joe Scott, Alex Yakovlev, Andrew Brown
Language and Hardware Acceleration Backend for Graph Processing. FDL (Selected Papers) (2017)
Ghaith Tarawneh, Andrey Mokhov, Matthew Naylor, Alex Rast, Simon W. Moore, David B. Thomas, Alex Yakovlev, Andrew Brown
Programming Model to Develop Supercomputer Combinatorial Solvers. ICPP Workshops (2017)
Andrew Brown, David B. Thomas, Jeff Reeve, Ghaith Tarawneh, Alessandro de Gennaro, Andrey Mokhov, Matthew Naylor, Tom Kazmierski
Distributed Event-Based Computing. PARCO (2017)
Andrey Mokhov
Algebraic graphs with class (functional pearl). Haskell (2017)
Simon Marlow, Simon Peyton Jones, Edward Kmett, Andrey Mokhov
Desugaring Haskell's do-notation into applicative operations. Haskell (2016)
Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, Simon Marlow
Non-recursive make considered harmful: build systems at scale. Haskell (2016)
Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce
An Empirical Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems. CoRR (2016)
Andrey Mokhov, Josep Carmona, Jonathan Beaumont
Mining Conditional Partial Order Graphs from Event Logs. Trans. Petri Nets Other Model. Concurr. 11 (2016)
Ghaith Tarawneh, Andrey Mokhov, Alex Yakovlev
Formal verification of clock domain crossing using gate-level models of metastable flip-flops. DATE (2016)
Haider Alrudainy, Andrey Mokhov, Nizar S. Dahir, Alex Yakovlev
MEMS-based power delivery control for bursty applications. ISCAS (2016)
Andrey Mokhov, Josep Carmona
Event Log Visualisation with Conditional Partial Order Graphs: from Control Flow to Data. ATAED@Petri Nets/ACSD (2015)
Andrey Mokhov, Victor Khomenko, Danil Sokolov, Alex Yakovlev
Opportunistic Merge Element. ASYNC (2015)
Jonathan Beaumont, Andrey Mokhov, Danil Sokolov, Alex Yakovlev
Compositional design of asynchronous circuits from behavioural concepts. MEMOCODE (2015)
Alexandre Yakovlev, Alexander Kushnerov, Andrey Mokhov, Reza Ramezani
On hyperbolic laws of capacitor discharge through self-timed digital loads. Int. J. Circuit Theory Appl. 43 (10) (2015)
Andrey Mokhov
Algebra of switching networks. IET Comput. Digit. Tech. 9 (4) (2015)
Hernán Ponce de León, Andrey Mokhov
Building Bridges Between Sets of Partial Orders. LATA (2015)
Alessandro de Gennaro, Paulius Stankaitis, Andrey Mokhov
A Heuristic Algorithm for Deriving Compact Models of Processor Instruction Sets. ACSD (2015)
Danil Sokolov, Victor Khomenko, Andrey Mokhov, Alex Yakovlev, David Lloyd
Design and Verification of Speed-Independent Multiphase Buck Controller. ASYNC (2015)
Kamel Barkaoui, Luca Bernardinello, Andrey Mokhov
Guest Editorial for Special Issue Application of Concurrency to System Design. ACM Trans. Embed. Comput. Syst. 14 (4) (2015)
Alex Iliasov, Arseniy Alekseyev, Danil Sokolov, Andrey Mokhov
Design of safety critical systems by refinement. DATE (2014)
Victor Khomenko, Andrey Mokhov
Direct Construction of Complete Merged Processes. Comput. J. 57 (5) (2014)
Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce, Manuel Mazzara
On Formalisms for Dynamic Reconfiguration of Dependable Systems. CoRR (2014)
Ashur Rafiev, Alexei Iliasov, Alexander B. Romanovsky, Andrey Mokhov, Fei Xia, Alexandre Yakovlev
Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn - An Architecture-Open Resource-Driven Cross-Layer Modelling Framework. ACSD (2014)
Andrey Mokhov, Alexei Iliasov, Danil Sokolov, Maxim Rykunov, Alex Yakovlev, Alexander B. Romanovsky
Synthesis of Processor Instruction Sets from High-Level ISA Specifications. IEEE Trans. Computers 63 (6) (2014)
Ashur Rafiev, Alexei Iliasov, Alexander B. Romanovsky, Andrey Mokhov, Fei Xia, Alexandre Yakovlev
ArchOn: Architecture-open Resource-driven Cross-layer Modelling Framework. ES4CPS@DATE (2014)
Haider Alrudainy, Andrey Mokhov, Alex Yakovlev
A scalable physical model for Nano-Electro-Mechanical relays. PATMOS (2014)
Andrey Mokhov, Victor Khomenko
Algebra of Parameterised Graphs. ACM Trans. Embed. Comput. Syst. 13 (4s) (2014)
Stanislavs Golubcovs, Delong Shang, Fei Xia, Andrey Mokhov, Alex Yakovlev
Concurrent Multiresource Arbiter: Design and Applications. IEEE Trans. Computers 62 (1) (2013)
Maxim Rykunov, Andrey Mokhov, Danil Sokolov, Alex Yakovlev, Albert Koelmans
Design-for-adaptivity of microarchitectures. ASAP (2013)
Andrey Mokhov, Victor Khomenko, Danil Sokolov, Alex Yakovlev
On Dual-Rail Control Logic for Enhanced Circuit Robustness. ACSD (2012)
Ashur Rafiev, Andrey Mokhov, Frank P. Burns, Julian P. Murphy, Albert Koelmans, Alex Yakovlev
Mixed Radix Reed-Muller Expansions. IEEE Trans. Computers 61 (8) (2012)
Andrey Mokhov, Victor Khomenko, Arseniy Alekseyev, Alex Yakovlev
Algebra of Parameterised Graphs. ACSD (2012)
Fei Xia, Andrey Mokhov, Yu Zhou, Yifan Chen, Isi Mitrani, Delong Shang, Danil Sokolov, Alexandre Yakovlev
Towards power-elastic systems through concurrency management. IET Comput. Digit. Tech. 6 (1) (2012)
Andrey Mokhov, Danil Sokolov, Alex Yakovlev
Adapting Asynchronous Circuits to Operating Conditions by Logic Parametrisation. ASYNC (2012)
Andrey Mokhov, Arseniy Alekseyev, Alex Yakovlev
Encoding of processor instruction sets with explicit concurrency control. IET Comput. Digit. Tech. 5 (6) (2011)
Victor Khomenko, Andrey Mokhov
An Algorithm for Direct Construction of Complete Merged Processes. Petri Nets (2011)
Andrey Mokhov, Victor Khomenko, Alexandre Yakovlev
Flat Arbiters. Fundam. Informaticae 108 (1-2) (2011)
Arseniy Alekseyev, Victor Khomenko, Andrey Mokhov, Dominic Wist, Alex Yakovlev
Improved Parallel Composition of Labelled Petri Nets. ACSD (2011)
Andrey Mokhov, Danil Sokolov, Maxim Rykunov, Alex Yakovlev
Formal modelling and transformations of processor instruction sets. MEMOCODE (2011)
Andrey Mokhov, Alexandre Yakovlev
Conditional Partial Order Graphs: Model, Synthesis, and Application. IEEE Trans. Computers 59 (11) (2010)
Andrey Mokhov, Arseniy Alekseyev, Alexandre Yakovlev
Automated Synthesis of Instruction Codes in the Context of Micro-architecture Design. ACSD (2010)
Andrey Mokhov, Victor Khomenko, Alexandre Yakovlev
Flat Arbiters. ACSD (2009)
Andrey Mokhov, Crescenzo D'Alessandro, Alex Yakovlev
Synthesis of Multiple Rail Phase Encoding Circuits. ASYNC (2009)
Stanislavs Golubcovs, Delong Shang, Fei Xia, Andrey Mokhov, Alex Yakovlev
Modular Approach to Multi-resource Arbiter Design. ASYNC (2009)
Andrey Mokhov, Alexandre Yakovlev
Conditional Partial Order Graphs and Dynamically Reconfigurable Control Synthesis. DATE (2008)
Ivan Poliakov, Andrey Mokhov, Ashur Rafiev, Danil Sokolov, Alex Yakovlev
Automated Verification of Asynchronous Circuits Using Circuit Petri Nets. ASYNC (2008)
Andrey Mokhov, Alexandre Yakovlev
Verification of conditional partial order graphs. ACSD (2008)
Crescenzo D'Alessandro, Andrey Mokhov, Alexandre V. Bystrov, Alexandre Yakovlev
Delay/Phase Regeneration Circuits. ASYNC (2007)
Ivan Poliakov, Danil Sokolov, Andrey Mokhov
Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool. ICATPN (2007)

Andrey Mokhov.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andrey Mokhov