default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAndrey Mokhov
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j26]Andrey Mokhov:
United Monoids - Finding Simplicial Sets and Labelled Algebraic Graphs in Trees. Art Sci. Eng. Program. 6(3): 12 (2022)- [i7]Andrey Mokhov:
United Monoids: Finding Simplicial Sets and Labelled Algebraic Graphs in Trees. CoRR abs/2202.09230 (2022) - 2020
- [j25]Andrey Mokhov
, Neil Mitchell, Simon Peyton Jones:
Build systems à la carte: Theory and practice. J. Funct. Program. 30: e11 (2020) - [j24]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): 952-965 (2020) - [j23]Georgy Lukyanov, Andrey Mokhov, Jakob Lechner:
Formal Verification of Spacecraft Control Programs. ACM Trans. Embed. Comput. Syst. 19(5): 37:1-37:18 (2020) - [j22]Alessandro de Gennaro, Danil Sokolov, Andrey Mokhov:
Design and Implementation of Reconfigurable Asynchronous Pipelines. IEEE Trans. Very Large Scale Integr. Syst. 28(6): 1527-1539 (2020) - [c53]Matthew Naylor, Simon W. Moore, Andrey Mokhov, David B. Thomas, Jonathan R. Beaumont, Shane T. Fleming, A. Theodore Markettos, Thomas Bytheway, Andrew D. Brown:
Termination detection for fine-grained message-passing architectures. ASAP 2020: 17-24
2010 – 2019
- 2019
- [j21]Alessandro de Gennaro, Paulius Stankaitis, Andrey Mokhov:
Efficient composition of scenario-based hardware specifications. IET Comput. Digit. Tech. 13(2): 57-69 (2019) - [j20]Christian Ikenmeyer, Balagopal Komarath, Christoph Lenzen, Vladimir Lysikov, Andrey Mokhov, Karteek Sreenivasaiah:
On the Complexity of Hazard-free Circuits. J. ACM 66(4): 25:1-25:20 (2019) - [j19]Andrey Mokhov, Georgy Lukyanov, Simon Marlow, Jerémie Dimino:
Selective applicative functors. Proc. ACM Program. Lang. 3(ICFP): 90:1-90:29 (2019) - [c52]Stanislavs Golubcovs, Andrey Mokhov, Alex Bystrov, Danil Sokolov, Alex Yakovlev:
Generalised Asynchronous Arbiter. ACSD 2019: 3-12 - [c51]Andrey Mokhov, Georgy Lukyanov, Jakob Lechner:
Formal verification of spacecraft control programs (experience report). Haskell@ICFP 2019: 139-145 - [c50]Alexander S. Kulikov, Ivan Mikhailin, Andrey Mokhov, Vladimir V. Podolskii:
Complexity of Linear Operators. ISAAC 2019: 17:1-17:12 - [c49]Andrew D. 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: 487-496 - [i6]Alexander S. Kulikov, Ivan Mikhailin, Andrey Mokhov, Vladimir V. Podolskii:
Complexity of Linear Operators. Electron. Colloquium Comput. Complex. TR19 (2019) - 2018
- [j18]Hernán Ponce de León, Andrey Mokhov:
Compact and efficiently verifiable models for concurrent systems. Formal Methods Syst. Des. 53(3): 407-431 (2018) - [j17]Andrey Mokhov, Neil Mitchell, Simon Peyton Jones:
Build systems à la carte. Proc. ACM Program. Lang. 2(ICFP): 79:1-79:29 (2018) - [j16]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): 61-74 (2018) - [c48]Georgy Lukyanov, Andrey Mokhov:
Concurrency Oracles for Free. ATAED@Petri Nets/ACSD 2018: 112-127 - [c47]Ghaith Tarawneh, Andrey Mokhov:
Formal Verification of Mixed Synchronous Asynchronous Systems Using Industrial Tools. ASYNC 2018: 43-50 - [c46]Danil Sokolov, Alessandro de Gennaro, Andrey Mokhov:
Reconfigurable asynchronous pipelines: From formal models to silicon. DATE 2018: 1562-1567 - [c45]Christian Ikenmeyer, Balagopal Komarath, Christoph Lenzen, Vladimir Lysikov, Andrey Mokhov, Karteek Sreenivasaiah:
On the complexity of hazard-free circuits. STOC 2018: 878-889 - [i5]Andrey Mokhov, Georgy Lukyanov, Jakob Lechner:
Formal Verification of Spacecraft Control Programs Using a Metalanguage for State Transformers. CoRR abs/1802.01738 (2018) - [i4]Alexander S. Kulikov, Ivan Mikhailin, Andrey Mokhov, Vladimir V. Podolskii:
Complexity of Linear Operators. CoRR abs/1812.11772 (2018) - 2017
- [j15]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): 34-45 (2017) - [j14]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): 251-307 (2017) - [c44]Victor Khomenko, Andrey Mokhov, Danil Sokolov, Alex Yakovlev:
Formal Design and Verification of an Asynchronous SRAM Controller. ACSD 2017: 59-67 - [c43]Ghaith Tarawneh, Andrey Mokhov:
Xprova: Formal Verification Tool with Built-in Metastability Modeling. ACSD 2017: 74-79 - [c42]Andrey Mokhov, Jordi Cortadella, Alessandro de Gennaro:
Process Windows. ACSD 2017: 86-95 - [c41]Lukasz Mikulski, Andrey Mokhov, Marcin Piatkowski:
Reduction of Order Structures. ACSD 2017: 96-105 - [c40]Victor Khomenko, Danil Sokolov, Andrey Mokhov, Alex Yakovlev:
WAITX: An Arbiter for Non-persistent Signals. ASYNC 2017: 33-40 - [c39]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: 1751-1756 - [c38]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: 1-6 - [c37]Andrey Mokhov, Alessandro de Gennaro, Ghaith Tarawneh, Jonny Wray, Georgy Lukyanov, Sergey Mileiko, Joe Scott, Alex Yakovlev, Andrew D. Brown:
Language and hardware acceleration backend for graph processing. FDL 2017: 1-7 - [c36]Andrey Mokhov, Alessandro de Gennaro, Ghaith Tarawneh, Jonny Wray, Georgy Lukyanov, Sergey Mileiko, Joe Scott, Alex Yakovlev, Andrew D. Brown:
Language and Hardware Acceleration Backend for Graph Processing. FDL (Selected Papers) 2017: 71-88 - [c35]Andrey Mokhov:
Algebraic graphs with class (functional pearl). Haskell 2017: 2-13 - [c34]Ghaith Tarawneh, Andrey Mokhov, Matthew Naylor, Alex Rast, Simon W. Moore, David B. Thomas, Alex Yakovlev, Andrew D. Brown:
Programming Model to Develop Supercomputer Combinatorial Solvers. ICPP Workshops 2017: 171-179 - [c33]Haider Alrudainy, Andrey Mokhov, Fei Xia, Alex Yakovlev:
Ultra-Low Energy Data Driven Computing Using Asynchronous Micropipelines and Nano-Electro-Mechanical Relays. ISVLSI 2017: 158-163 - [c32]Andrey Mokhov, Danil Sokolov, Victor Khomenko, Alex Yakovlev:
Asynchronous Arbitration Primitives for New Generation of Circuits and Systems. NGCAS 2017: 81-84 - [c31]Andrew D. Brown, David B. Thomas, Jeff Reeve, Ghaith Tarawneh, Alessandro de Gennaro, Andrey Mokhov, Matthew Naylor, Tom Kazmierski:
Distributed Event-Based Computing. PARCO 2017: 583-592 - [i3]Christian Ikenmeyer, Balagopal Komarath, Christoph Lenzen, Vladimir Lysikov, Andrey Mokhov, Karteek Sreenivasaiah:
On the complexity of hazard-free circuits. CoRR abs/1711.01904 (2017) - 2016
- [j13]Andrey Mokhov, Josep Carmona, Jonathan Beaumont:
Mining Conditional Partial Order Graphs from Event Logs. Trans. Petri Nets Other Model. Concurr. 11: 114-136 (2016) - [c30]Ghaith Tarawneh, Andrey Mokhov, Alex Yakovlev:
Formal verification of clock domain crossing using gate-level models of metastable flip-flops. DATE 2016: 1060-1065 - [c29]Simon Marlow, Simon Peyton Jones, Edward Kmett, Andrey Mokhov:
Desugaring Haskell's do-notation into applicative operations. Haskell 2016: 92-104 - [c28]Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, Simon Marlow:
Non-recursive make considered harmful: build systems at scale. Haskell 2016: 170-181 - [c27]Haider Alrudainy, Andrey Mokhov, Nizar S. Dahir, Alex Yakovlev:
MEMS-based power delivery control for bursty applications. ISCAS 2016: 790-793 - [i2]Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce:
An Empirical Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems. CoRR abs/1609.08531 (2016) - 2015
- [j12]Andrey Mokhov:
Algebra of switching networks. IET Comput. Digit. Tech. 9(4): 197-205 (2015) - [j11]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): 1243-1262 (2015) - [j10]Kamel Barkaoui, Luca Bernardinello, Andrey Mokhov:
Guest Editorial for Special Issue Application of Concurrency to System Design. ACM Trans. Embed. Comput. Syst. 14(4): 62:1-62:2 (2015) - [c26]Alessandro de Gennaro, Paulius Stankaitis, Andrey Mokhov:
A Heuristic Algorithm for Deriving Compact Models of Processor Instruction Sets. ACSD 2015: 100-109 - [c25]Andrey Mokhov, Josep Carmona:
Event Log Visualisation with Conditional Partial Order Graphs: from Control Flow to Data. ATAED@Petri Nets/ACSD 2015: 16-30 - [c24]Danil Sokolov, Victor Khomenko, Andrey Mokhov, Alex Yakovlev, David Lloyd:
Design and Verification of Speed-Independent Multiphase Buck Controller. ASYNC 2015: 29-36 - [c23]Andrey Mokhov, Victor Khomenko, Danil Sokolov, Alex Yakovlev:
Opportunistic Merge Element. ASYNC 2015: 116-123 - [c22]Hernán Ponce de León, Andrey Mokhov:
Building Bridges Between Sets of Partial Orders. LATA 2015: 145-160 - [c21]Jonathan Beaumont, Andrey Mokhov, Danil Sokolov, Alex Yakovlev:
Compositional design of asynchronous circuits from behavioural concepts. MEMOCODE 2015: 118-127 - 2014
- [j9]Victor Khomenko, Andrey Mokhov:
Direct Construction of Complete Merged Processes. Comput. J. 57(5): 693-707 (2014) - [j8]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): 1552-1566 (2014) - [j7]Andrey Mokhov, Victor Khomenko:
Algebra of Parameterised Graphs. ACM Trans. Embed. Comput. Syst. 13(4s): 143:1-143:22 (2014) - [c20]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: 122-131 - [c19]Alex Iliasov, Arseniy Alekseyev, Danil Sokolov, Andrey Mokhov:
Design of safety critical systems by refinement. DATE 2014: 1-4 - [c18]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: 21 - [c17]Haider Alrudainy, Andrey Mokhov, Alex Yakovlev:
A scalable physical model for Nano-Electro-Mechanical relays. PATMOS 2014: 1-7 - [i1]Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce, Manuel Mazzara:
On Formalisms for Dynamic Reconfiguration of Dependable Systems. CoRR abs/1405.0319 (2014) - 2013
- [j6]Stanislavs Golubcovs, Delong Shang, Fei Xia, Andrey Mokhov, Alex Yakovlev:
Concurrent Multiresource Arbiter: Design and Applications. IEEE Trans. Computers 62(1): 31-44 (2013) - [c16]Maxim Rykunov, Andrey Mokhov, Danil Sokolov, Alex Yakovlev, Albert Koelmans:
Design-for-adaptivity of microarchitectures. ASAP 2013: 314-320 - 2012
- [j5]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): 33-42 (2012) - [j4]Ashur Rafiev, Andrey Mokhov, Frank P. Burns, Julian P. Murphy, Albert Koelmans, Alex Yakovlev:
Mixed Radix Reed-Muller Expansions. IEEE Trans. Computers 61(8): 1189-1202 (2012) - [c15]Andrey Mokhov, Victor Khomenko, Arseniy Alekseyev, Alex Yakovlev:
Algebra of Parameterised Graphs. ACSD 2012: 22-31 - [c14]Andrey Mokhov, Victor Khomenko, Danil Sokolov, Alex Yakovlev:
On Dual-Rail Control Logic for Enhanced Circuit Robustness. ACSD 2012: 112-121 - [c13]Andrey Mokhov, Danil Sokolov, Alex Yakovlev:
Adapting Asynchronous Circuits to Operating Conditions by Logic Parametrisation. ASYNC 2012: 17-24 - 2011
- [j3]Andrey Mokhov, Victor Khomenko, Alexandre Yakovlev:
Flat Arbiters. Fundam. Informaticae 108(1-2): 63-90 (2011) - [j2]Andrey Mokhov, Arseniy Alekseyev, Alex Yakovlev:
Encoding of processor instruction sets with explicit concurrency control. IET Comput. Digit. Tech. 5(6): 427-439 (2011) - [c12]Arseniy Alekseyev, Victor Khomenko, Andrey Mokhov, Dominic Wist, Alex Yakovlev:
Improved Parallel Composition of Labelled Petri Nets. ACSD 2011: 131-140 - [c11]Victor Khomenko, Andrey Mokhov:
An Algorithm for Direct Construction of Complete Merged Processes. Petri Nets 2011: 89-108 - [c10]Andrey Mokhov, Danil Sokolov, Maxim Rykunov, Alex Yakovlev:
Formal modelling and transformations of processor instruction sets. MEMOCODE 2011: 51-60 - 2010
- [j1]Andrey Mokhov, Alexandre Yakovlev:
Conditional Partial Order Graphs: Model, Synthesis, and Application. IEEE Trans. Computers 59(11): 1480-1493 (2010) - [c9]Andrey Mokhov, Arseniy Alekseyev, Alexandre Yakovlev:
Automated Synthesis of Instruction Codes in the Context of Micro-architecture Design. ACSD 2010: 3-12
2000 – 2009
- 2009
- [b1]Andrey Mokhov:
Conditional Partial Order Graphs. University of Newcastle Upon Tyne, UK, 2009 - [c8]Andrey Mokhov, Victor Khomenko, Alexandre Yakovlev:
Flat Arbiters. ACSD 2009: 99-108 - [c7]Andrey Mokhov, Crescenzo D'Alessandro, Alex Yakovlev:
Synthesis of Multiple Rail Phase Encoding Circuits. ASYNC 2009: 95-104 - [c6]Stanislavs Golubcovs, Delong Shang, Fei Xia, Andrey Mokhov, Alex Yakovlev:
Modular Approach to Multi-resource Arbiter Design. ASYNC 2009: 107-116 - 2008
- [c5]Andrey Mokhov, Alexandre Yakovlev:
Verification of conditional partial order graphs. ACSD 2008: 128-137 - [c4]Ivan Poliakov, Andrey Mokhov, Ashur Rafiev, Danil Sokolov, Alex Yakovlev:
Automated Verification of Asynchronous Circuits Using Circuit Petri Nets. ASYNC 2008: 161-170 - [c3]Andrey Mokhov, Alexandre Yakovlev:
Conditional Partial Order Graphs and Dynamically Reconfigurable Control Synthesis. DATE 2008: 1142-1147 - 2007
- [c2]Ivan Poliakov, Danil Sokolov, Andrey Mokhov:
Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool. ICATPN 2007: 505-514 - [c1]Crescenzo D'Alessandro, Andrey Mokhov, Alexandre V. Bystrov, Alexandre Yakovlev:
Delay/Phase Regeneration Circuits. ASYNC 2007: 105-116
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-14 00:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
