Collection of books in library

Publications

Our projects have an impact in many different industries. Browse our publications to find out more

Research outputs

A stochastic gradient method with biased estimation for faster nonconvex optimization
Jia Bi & Steve R. Gunn, 2019
DOI: 10.1007/978-3-030-29911-8_26
Type: conference
Developing a framework for trustworthy autonomous maritime systems
Dana Dghaym, Stephen Turnock, Michael Butler, Jonathan Downes, Thai Son Hoang & Ben Pritchard, 2019
DOI: 10.2478/9788395669606-007
Type: conference
Emergency response ontology informatics: using ontologies to improve emergency and hazard management
Temitope Omitola & Gary Wills, 2019, International Journal of Intelligent Computing Research (IJICR), 10(3), 1022-1032
DOI: 10.20533/ijicr.2042.4655.2019.0124
Type: article
Intersections between IoT and distributed ledger
Hany F. Atlam & Gary B. Wills, 2019, Advances in Computers, 115, 73-113
DOI: 10.1016/bs.adcom.2018.12.001
Type: article
Pegasus: a framework for sound continuous invariant generation
2019
DOI: 10.1007/978-3-030-30942-8_10
Type: conference
SEB-CG: Code generation tool with algorithmic refinement support for Event-B
Mohammad Sadegh Dalvandi, Michael Butler & Asieh Salehi Fathabadi, 2019
Type: conference
Reusing formal models via lifting
Dana Dghaym, Colin Snook, Thai Son Hoang & Michael Butler, 2018
DOI: 10.1109/ICECCS2018.2018.00029
Type: conference