Newcastle Authors	Title	Year
Georgy Lukyanov Dr Andrey Mokhov Jakob Lechner	Formal Verification of Spacecraft Control Programs	2020
Dr Andrey Mokhov Georgy Lukyanov	Formal Verification of Spacecraft Control Programs (Experience Report)	2019
Dr Andrey Mokhov Alessandro De Gennaro Dr Ghaith Tarawneh Georgy Lukyanov Serhii Mileiko et al.	Language and Hardware Acceleration Backend for Graph Processing	2019
Dr Andrey Mokhov Georgy Lukyanov	Selective Applicative Functors	2019
Georgy Lukyanov Dr Andrey Mokhov	Concurrency oracles for free	2018
Dr Andrey Mokhov Alessandro de Gennaro Dr Ghaith Tarawneh Georgy Lukyanov Serhii Mileiko et al.	Language and hardware acceleration backend for graph processing	2018

Newcastle University Library, NE2 4HQ, United Kingdom. Tel: 0044 (191) 208 2920
Contact ePrints admin | Accessibility