Publications by Arseniy Alekseyev - ePrints

Newcastle Authors	Title	Year
Dr Alexei Iliasov Arseniy Alekseyev Dr Danil Sokolov Dr Andrey Mokhov	Design of safety critical systems by refinement	2014
Dr Alexei Iliasov Arseniy Alekseyev Dr Danil Sokolov Dr Andrey Mokhov	Design of safety critical systems by refinement	2014
Dr Andrey Mokhov Dr Victor Khomenko Arseniy Alekseyev Professor Alex Yakovlev	Algebra of Parametrised Graphs	2012
Dr Andrey Mokhov Dr Victor Khomenko Arseniy Alekseyev Professor Alex Yakovlev	Algebra of Parametrised Graphs	2011
Dr Andrey Mokhov Arseniy Alekseyev Professor Alex Yakovlev	Encoding of processor instruction sets with explicit concurrency control	2011
Arseniy Alekseyev Dr Victor Khomenko Dr Andrey Mokhov Dominic Wist Professor Alex Yakovlev et al.	Improved parallel composition of labelled Petri nets	2011
Arseniy Alekseyev Ivan Poliakov Dr Victor Khomenko Professor Alex Yakovlev	Optimisation of Balsa control path using STG resynthesis	2009