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 Paulius Stankaitis

Newcastle Authors	Title	Year	Full text
Dr Sergiy Bogomolov Emeritus Professor John Fitzgerald Paulius Stankaitis	Data-Driven Reachability Analysis of Digital Twin FMI Models	2022
Paulius Stankaitis Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky	A Railway Simulation Suite For Modelling Advanced Railway Control Systems	2017
Dr Alexei Iliasov Paulius Stankaitis Emeritus Professor Alexander Romanovsky	Proving Event-B models with reusable generic lemmas	2016
Alessandro De Gennaro Paulius Stankaitis	Efficient encoding of instructions of ARM Cortex M0+ processor	2015
Dr Alexei Iliasov David Ebo Adjepon-Yamoah Paulius Stankaitis Emeritus Professor Alexander Romanovsky	Putting Provers on the Cloud	2015