Collection of books in library

Publications

Our projects have an impact in many different industries. Browse our publications to find out more
Conic sector analysis using integral quadratic constraints
Matthew C. Turner & James R. Forbes, 2020, International Journal of Robust and Nonlinear Control, 30(2), 741-755
DOI: 10.1002/rnc.4803
Type: article
Efficient deployment of UAV-powered sensors for optimal coverage and connectivity
Oktay Cetinkaya & Geoff Merrett, 2020
Type: conference
Formal verification of run-to-completion style statecharts using Event-B
Karla Morris, Colin Snook, Thai Son Hoang, G. Hulette, Robert Armstrong & Michael Butler, 2020
DOI: 10.1007/978-3-030-59155-7_24
Type: conference
Incremental training and group convolution pruning for runtime DNN performance scaling on heterogeneous embedded platforms
Lei Xun, Long Tran-Thanh, Bashir Al-Hashimi & Geoff Merrett, 2020
Type: conference
Internet of MIMO things: UAV-assisted wireless-powered networks for Future Smart cities
Oktay Cetinkaya, Domenico Balsamo & Geoff Merrett, 2020, IEEE Internet of Things Magazine, 3(1), 8-13
DOI: 10.1109/IOTM.0001.1900064
Type: article
IoT security, privacy, safety and ethics
Hany, Fathy Atlam & Gary Wills, 2020
DOI: 10.1007/978-3-030-18732-3
Type: bookChapter
Validation of railway control systems
Tomas Fischer, Klaus Reichl, Peter Tummeltshammer, Thai Son Hoang & Michael Butler, 2020
DOI: 10.1007/978-3-030-14628-3_17
Type: bookChapter