 | 2012 |
| 13 |  | Fei Xia,
Andrey Mokhov,
Yu Zhou,
Yifan Chen,
Isi Mitrani,
Delong Shang,
Danil Sokolov,
Alexandre Yakovlev:
Towards power-elastic systems through concurrency management.
IET Computers & Digital Techniques 6(1): 33-42 (2012) |
| 2011 |
| 12 |  | Arseniy Alekseyev,
Victor Khomenko,
Andrey Mokhov,
Dominic Wist,
Alex Yakovlev:
Improved Parallel Composition of Labelled Petri Nets.
ACSD 2011: 131-140 |
| 11 |  | Andrey Mokhov,
Danil Sokolov,
Maxim Rykunov,
Alex Yakovlev:
Formal modelling and transformations of processor instruction sets.
MEMOCODE 2011: 51-60 |
| 10 |  | Victor Khomenko,
Andrey Mokhov:
An Algorithm for Direct Construction of Complete Merged Processes.
Petri Nets 2011: 89-108 |
| 9 |  | Andrey Mokhov,
Victor Khomenko,
Alexandre Yakovlev:
Flat Arbiters.
Fundam. Inform. 108(1-2): 63-90 (2011) |
| 8 |  | Andrey Mokhov,
Arseniy Alekseyev,
Alex Yakovlev:
Encoding of processor instruction sets with explicit concurrency control.
IET Computers & Digital Techniques 5(6): 427-439 (2011) |
| 2010 |
| 7 |  | Andrey Mokhov,
Arseniy Alekseyev,
Alexandre Yakovlev:
Automated Synthesis of Instruction Codes in the Context of Micro-architecture Design.
ACSD 2010: 3-12 |
| 6 |  | Andrey Mokhov,
Alexandre Yakovlev:
Conditional Partial Order Graphs: Model, Synthesis, and Application.
IEEE Trans. Computers 59(11): 1480-1493 (2010) |
| 2009 |
| 5 |  | Andrey Mokhov,
Victor Khomenko,
Alexandre Yakovlev:
Flat Arbiters.
ACSD 2009: 99-108 |
| 2008 |
| 4 |  | Andrey Mokhov,
Alexandre Yakovlev:
Verification of conditional partial order graphs.
ACSD 2008: 128-137 |
| 3 |  | Andrey Mokhov,
Alexandre Yakovlev:
Conditional Partial Order Graphs and Dynamically Reconfigurable Control Synthesis.
DATE 2008: 1142-1147 |
| 2007 |
| 2 |  | Crescenzo D'Alessandro,
Andrey Mokhov,
Alexandre V. Bystrov,
Alexandre Yakovlev:
Delay/Phase Regeneration Circuits.
ASYNC 2007: 105-116 |
| 1 |  | Ivan Poliakov,
Danil Sokolov,
Andrey Mokhov:
Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool.
ICATPN 2007: 505-514 |