Automated Synthesis of Instruction Codes in the Context of Micro-architecture Design. - Andrey Mokhov; Arseniy Alekseyev; Alexandre Yakovlev (ACSD, 2010)

Improved Parallel Composition of Labelled Petri Nets. - Arseniy Alekseyev; Victor Khomenko; Andrey Mokhov; Dominic Wist; Alex Yakovlev (ACSD, 2011)

Encoding of processor instruction sets with explicit concurrency control. - Andrey Mokhov; Arseniy Alekseyev; Alex Yakovlev (IET Comput. Digit. Tech., 2011)

Algebra of Parameterised Graphs. - Andrey Mokhov; Victor Khomenko; Arseniy Alekseyev; Alex Yakovlev (ACSD, 2012)

Design of safety critical systems by refinement. - Alex Iliasov; Arseniy Alekseyev; Danil Sokolov; Andrey Mokhov (DATE, 2014)