Newcastle University
Toggle Main Menu
Toggle Search
Home
Browse
Latest
Stats
Policies
About
Home
Browse
Latest
Policies
About
ePrints
Browsing publications by
Georgy Lukyanov
Newcastle Authors
Title
Year
Full text
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