Andrey Mokhov
Newcastle University
H-index: 19
Europe-United Kingdom
Top articles of Andrey Mokhov
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
United Monoids: Finding Simplicial Sets and Labelled Algebraic Graphs in Trees | The Art, Science, and Engineering of Programming | Andrey Mokhov | 2022/2/18 |
Stroll: a build system that doesn’t require a plan | IFL 21: Implementation and Application of Functional Languages | Andrey Mokhov | 2021 |
Termination detection for fine-grained message-passing architectures | Matthew Naylor Simon W Moore Andrey Mokhov David Thomas Jonathan R Beaumont | 2020/7/6 | |
Design and Implementation of Reconfigurable Asynchronous Pipelines | IEEE Transactions on Very Large Scale Integration (VLSI) Systems | Alessandro de Gennaro Danil Sokolov Andrey Mokhov | 2020/3/24 |
Formal Verification of Spacecraft Control Programs | ACM Transactions on Embedded Computing Systems (TECS) | Georgy Lukyanov Andrey Mokhov Jakob Lechner | 2020/10/15 |
Build systems à la carte: Theory and practice | Journal of Functional Programming | Andrey Mokhov Neil Mitchell Simon Peyton Jones | 2020 |