ePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

Browsing publications by Dr Georgy Lukyanov

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