Publications by Georgy Lukyanov - ePrints

Newcastle Authors	Title	Year
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