Concepedia

Andrey Mokhov

AM

Statistics

Publications

24

Citations

399

H-Index

14

Active since

2007

Affiliations

Newcastle University(Current)

Meta (United Kingdom)

Microsoft Research (United Kingdom)

Andrey Mokhov is an author at Newcastle University specializing in engineering, computer engineering, and systems engineering.

Top concepts

EngineeringComputer EngineeringSystems EngineeringComputer ScienceFormal MethodsComputer ArchitectureParallel ComputingAutomated ReasoningFormal VerificationElectrical Engineering

Publications per year

2007–2019

24

Publications

24

Conditional Partial Order Graphs: Model, Synthesis, and Application

Andrey Mokhov, Alex Yakovlev · IEEE Transactions on Computers · 2010 · 46 citations

Mathematical Programming, Cpog Synthesis, Petri Net +26

Build systems à la carte

Andrey Mokhov, Neil Mitchell, Simon Peyton Jones · Proceedings of the ACM on Programming Languages · 2018 · 33 citations · Full text

Engineering, New Build Systems, Software Engineering +18

Automated Verification of Asynchronous Circuits Using Circuit Petri Nets

Ivan Poliakov, Andrey Mokhov, Ashur Rafiev et al. · 2008 · 29 citations

Petri Net, Engineering, Verification +18

Algebra of Parameterised Graphs

Andrey Mokhov, Victor Khomenko · ACM Transactions on Embedded Computing Systems · 2014 · 24 citations

Mathematical Programming, Engineering, Verification +23

Algebraic graphs with class (functional pearl)

Andrey Mokhov · 2017 · 18 citations

Functional Pearl, Graph Algorithms, Graph Theory +14

1–5 of 24