Andrey Mokhov - RankMe

87 papers A* 1A 5B 2C 8Journal 33Unranked 37

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