Seguir
Andrey Mokhov
Andrey Mokhov
Visiting Fellow at Newcastle University, UK
Email confirmado em ncl.ac.uk - Página inicial
Título
Citado por
Citado por
Ano
Conditional partial order graphs: Model, synthesis, and application
A Mokhov, A Yakovlev
IEEE Transactions on Computers 59 (11), 1480-1493, 2010
682010
Automated verification of asynchronous circuits using circuit Petri nets
I Poliakov, A Mokhov, A Rafiev, D Sokolov, A Yakovlev
IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC …, 2008
482008
Workcraft: a static data flow structure editing, visualisation and analysis tool
I Poliakov, D Sokolov, A Mokhov
International Conference on Application and Theory of Petri Nets, 505-514, 2007
482007
Conditional Partial Order Graphs
A Mokhov
PhD thesis, Newcastle University, 2009
462009
Build Systems à la Carte
A Mokhov, N Mitchell, S Peyton Jones
Proceedings of the ACM on Programming Languages 2 (ICFP), 79, 2018
432018
Algebra of Parameterised Graphs
A Mokhov, V Khomenko
ACM Transactions on Embedded Computing Systems 13 (4s), 2014
412014
Desugaring Haskell’s do-notation Into Applicative Operations
S Marlow, SP Jones, E Kmett, A Mokhov
ACM SIGPLAN Haskell Symposium 2016, 2016
382016
Algebraic graphs with class (functional pearl)
A Mokhov
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2-13, 2017
272017
Improved Parallel Composition of Labelled Petri Nets
A Alekseyev, V Khomenko, A Mokhov, D Wist, A Yakovlev
Eleventh International Conference on Application of Concurrency to System …, 2011
262011
Synthesis of processor instruction sets from high-level ISA specifications
A Mokhov, A Iliasov, D Sokolov, M Rykunov, A Yakovlev, A Romanovsky
IEEE Transactions on Computers 63 (6), 1552-1566, 2014
252014
Design of Processors with Reconfigurable Microarchitecture
A Mokhov, M Rykunov, D Sokolov, A Yakovlev
Journal of Low Power Electronics and Applications 4 (1), 26-43, 2014
242014
Conditional partial order graphs and dynamically reconfigurable control synthesis
A Mokhov, A Yakovlev
Design, Automation and Test in Europe, 2008. DATE'08, 1142-1147, 2008
232008
Automating the Design of Asynchronous Logic Control for AMS Electronics
D Sokolov, V Khomenko, A Mokhov, V Dubikhin, D Lloyd, A Yakovlev
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2019
222019
Towards asynchronous power management
D Sokolov, A Mokhov, A Yakovlev, D Lloyd
2014 IEEE Faible Tension Faible Consommation (FTFC), 1-4, 2014
222014
Encoding of processor instruction sets with explicit concurrency control
A Mokhov, A Alekseyev, A Yakovlev
IET computers & digital techniques 5 (6), 427-439, 2011
222011
Benefits of Asynchronous Control for Analog Electronics: Multiphase Buck Case Study
D Sokolov, V Dubikhin, V Khomenko, D Lloyd, A Mokhov, A Yakovlev
Design, Automation & Test in Europe Conference (DATE), 2017
212017
Workcraft: Ten years later
D Sokolov, V Khomenko, A Mokhov
This asynchronous world. Essays dedicated to Alex Yakovlev on the occasion …, 2016
212016
Mining Conditional Partial Order Graphs from Event Logs
A Mokhov, J Carmona, J Beaumont
Transactions on Petri Nets and Other Models of Concurrency XI, 114-136, 2016
202016
Design and verification of speed-independent multiphase buck controller
D Sokolov, V Khomenko, A Mokhov, A Yakovlev, D Lloyd
Proceedings of the IEEE International Symposium on Asynchronous Circuits and …, 2015
202015
Non-recursive Make Considered Harmful: Build Systems at Scale
A Mokhov, N Mitchell, SP Jones, S Marlow
ACM SIGPLAN Haskell Symposium 2016, 2016
192016
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20