Andrey Mokhov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
8
Active years
2008–2019
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | HASKELL | Formal verification of spacecraft control programs (experience report). | Andrey Mokhov, Georgy Lukyanov, Jakob Lechner |
| 2019 | ISAAC | Complexity of Linear Operators. | Alexander S. Kulikov, Ivan Mikhailin, Andrey Mokhov, Vladimir V. Podolskii |
| 2018 | DATE | Reconfigurable asynchronous pipelines: From formal models to silicon. | Danil Sokolov, Alessandro de Gennaro, Andrey Mokhov |
| 2018 | STOC | On the complexity of hazard-free circuits. | Christian Ikenmeyer, Balagopal Komarath, Christoph Lenzen, Vladimir Lysikov, Andrey Mokhov, Karteek Sreenivasaiah |
| 2017 | DATE | Benefits of asynchronous control for analog electronics: Multiphase buck case study. | Danil Sokolov, Vladimir Dubikhin, Victor Khomenko, David Lloyd, Andrey Mokhov, Alex Yakovlev |
| 2017 | FDL | 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 |
| 2017 | FDL | 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 |
| 2017 | HASKELL | Algebraic graphs with class (functional pearl). | Andrey Mokhov |
| 2016 | DATE | Formal verification of clock domain crossing using gate-level models of metastable flip-flops. | Ghaith Tarawneh, Andrey Mokhov, Alex Yakovlev |
| 2016 | HASKELL | Desugaring Haskell's do-notation into applicative operations. | Simon Marlow, Simon Peyton Jones, Edward Kmett, Andrey Mokhov |
| 2016 | HASKELL | Non-recursive make considered harmful: build systems at scale. | Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, Simon Marlow |
| 2016 | ISCAS | MEMS-based power delivery control for bursty applications. | Haider Alrudainy, Andrey Mokhov, Nizar S. Dahir, Alex Yakovlev |
| 2015 | LATA | Building Bridges Between Sets of Partial Orders. | Hernn Ponce de Len, Andrey Mokhov |
| 2015 | MEMOCODE | Compositional design of asynchronous circuits from behavioural concepts. | Jonathan Beaumont, Andrey Mokhov, Danil Sokolov, Alex Yakovlev |
| 2014 | DATE | Design of safety critical systems by refinement. | Alex Iliasov, Arseniy Alekseyev, Danil Sokolov, Andrey Mokhov |
| 2014 | DATE | ArchOn: Architecture-open Resource-driven Cross-layer Modelling Framework. | Ashur Rafiev, Alexei Iliasov, Alexander B. Romanovsky, Andrey Mokhov, Fei Xia, Alexandre Yakovlev |
| 2011 | MEMOCODE | Formal modelling and transformations of processor instruction sets. | Andrey Mokhov, Danil Sokolov, Maxim Rykunov, Alex Yakovlev |
| 2008 | DATE | Conditional Partial Order Graphs and Dynamically Reconfigurable Control Synthesis. | Andrey Mokhov, Alexandre Yakovlev |