Staff - Computing Science - Newcastle University

You are here: Newcastle University
» Computing Science
» Staff

Dr Andrey Mokhov
Research Fellow

Email: andrey.mokhov@ncl.ac.uk
Telephone: +44 191 222 7727

Publications

Xia F, Mokhov A, Zhou Y, Chen Y, Mitrani I, Shang D, Sokolov D, Yakovlev A. Towards power-elastic systems through concurrency management. IET Computers and Digital Techniques 2012, 6(1), 33-42.
Mokhov A, Khomenko V, Alekseyev A, Yakovlev A. Algebra of Parametrised Graphs. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1307.
Khomenko V, Mokhov A. An Algorithm for Direct Construction of Complete Merged Processes. In: Applications and Theory of Petri Nets: 32nd International Conference (PETRI NETS). 2011, Newcastle upon Tyne, UK: Springer Verlag.
Mokhov A, Alekseyev A, Yakovlev A. Encoding of processor instruction sets with explicit concurrency control. IET Computers and Digital Techniques 2011, 5(6), 427-439.
Mokhov A, Khomenko V, Yakovlev A. Flat Arbiters. Fundamenta Informaticae 2011, 108(1-2), 63-90.
Alekseyev A, Khomenko V, Mokhov A, Wist D, Yakovlev A. Improved parallel composition of labelled Petri nets. In: 11th International Conference on Application of Concurrency to System Design (ACSD). 2011, Kanazawa, Japan: IEEE.
Mokhov A, Alekseyev A, Yakovlev A. Automated Synthesis of Instruction Codes in the Context of Micro-architecture Design. In: Tenth International Conference on Application of Concurrency to System Design (ACSD).2010,Braga, Portugal:IEEE Computer Society
Mokhov A, Yakovlev A. Conditional Partial Order Graphs: Model, Synthesis, and Application. IEEE Transactions on Computers 2010,59 11 1480-1493.
Mokhov A, Khomenko V, Sokolov D, Yakovlev A. On Dual-Rail Control Logic for Enhanced Circuit Robustness. Newcastle upon Tyne: School of Electrical, Electronic & Computer Engineering, Newcastle University, 2010. School of Electrical, Electronic & Computer Engineering Technical Report Series NCL-EECE-MSD-TR-2010-162.
Mokhov A, Khomenko V, Yakovlev A. Flat Arbiters. In: 9th International Conference on Application of Concurrency to System Design (ACSD).2009,Augsburg, Germany:IEEE Computer Society
Golubcovs S, Shang D, Xia F, Mokhov A, Yakovlev A. Modular Approach to Multi-Resource Arbiter Design. In: 15th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2009). 2009, Chapel Hill, North Carolina: IEEE Computer Press.
Mokhov A, D'Alessandro C, Yakovlev A. Synthesis of multiple rail phase encoding circuits. In: ASYNC: 15TH IEEE International Symposium on Asynchronous Circuits and Systems.2009,Chapel Hill, NC:IEEE
Poliakov I, Mokhov A, Rafiev A, Sokolov D, Yakovlev A. Automated Verification of Asynchronous Circuits Using Circuit Petri Nets. In: 14th IEEE International Symposium on Asynchronous Circuits and Systems. 2008, Newcastle upon Tyne: IEEE Computer Society Press.
Mokhov A, Yakovlev A. Conditional Partial Order Graphs and Dynamically Reconfigurable Control Synthesis. In: 2008 Design, Automation & Test in Europe Conference & Exhibition (DATE 2008). 2008, Munich Germany: IEEE.
Mokhov A, Yakovlev A. Verification of Conditional Partial Order Graphs. In: 8th International Conference on Application of Concurrency to System Design, ACSD 2008. 2008, Xi'an, China: IEEE.
D'Alessandro C, Mokhov A, Bystrov A, Yakovlev A. Delay/Phase regeneration circuits. In: 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2007). 2007, Berkeley, California: IEEE Computer Society.
Poliakov I, Sokolov D, Mokhov A. Workcraft: A static data flow structure editing, visualisation and analysis tool. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2007, Siedlce, Poland: Springer.

Report a problem with this web page

Newcastle University

Computing Science

Dr Andrey Mokhov Research Fellow

Dr Andrey Mokhov
Research Fellow