| Conditional partial order graphs: Model, synthesis, and application A Mokhov, A Yakovlev IEEE Transactions on Computers 59 (11), 1480-1493, 2010 | 69 | 2010 |
| 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 | 50 | 2007 |
| 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 | 49 | 2008 |
| Build Systems à la Carte A Mokhov, N Mitchell, S Peyton Jones Proceedings of the ACM on Programming Languages 2 (ICFP), 79, 2018 | 47 | 2018 |
| Conditional Partial Order Graphs A Mokhov PhD thesis, Newcastle University, 2009 | 46 | 2009 |
| Algebra of Parameterised Graphs A Mokhov, V Khomenko ACM Transactions on Embedded Computing Systems 13 (4s), 2014 | 41 | 2014 |
| Desugaring Haskell’s do-notation Into Applicative Operations S Marlow, SP Jones, E Kmett, A Mokhov ACM SIGPLAN Haskell Symposium 2016, 2016 | 40 | 2016 |
| Algebraic graphs with class (functional pearl) A Mokhov Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2-13, 2017 | 29 | 2017 |
| 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 | 27 | 2011 |
| 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 | 25 | 2014 |
| 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 | 24 | 2014 |
| 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 | 23 | 2019 |
| 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 | 23 | 2008 |
| Towards asynchronous power management D Sokolov, A Mokhov, A Yakovlev, D Lloyd 2014 IEEE Faible Tension Faible Consommation (FTFC), 1-4, 2014 | 22 | 2014 |
| Encoding of processor instruction sets with explicit concurrency control A Mokhov, A Alekseyev, A Yakovlev IET computers & digital techniques 5 (6), 427-439, 2011 | 22 | 2011 |
| 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 | 21 | 2017 |
| Workcraft: Ten years later D Sokolov, V Khomenko, A Mokhov This asynchronous world. Essays dedicated to Alex Yakovlev on the occasion …, 2016 | 21 | 2016 |
| 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 | 20 | 2016 |
| 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 | 20 | 2015 |
| An algorithm for direct construction of complete merged processes V Khomenko, A Mokhov Applications and Theory of Petri Nets: 32nd International Conference, PETRI …, 2011 | 20 | 2011 |
a yakovlevNewcastle Universitynewcastle.ac.uk의 이메일 확인됨
