Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Georgy Lukyanov.

Newcastle AuthorsTitleYearFull text
Dr Georgy Lukyanov
Dr Andrey Mokhov
Jakob Lechner
Formal Verification of Spacecraft Control Programs2020
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 Processing2019
Dr Andrey Mokhov
Dr Georgy Lukyanov
Selective Applicative Functors2019
Dr Georgy Lukyanov
Dr Andrey Mokhov
Concurrency oracles for free2018
Dr Andrey Mokhov
Alessandro de Gennaro
Dr Ghaith Tarawneh
Dr Georgy Lukyanov
Dr Sergey Mileiko
et al.		Language and hardware acceleration backend for graph processing2018