Collection of books in library

Publications

Our projects have an impact in many different industries. Browse our publications to find out more
Generating SPARK from Event-B, providing fundamental safety and security
Asieh Salehi Fathabadi, Dana Dghaym, Son Hoang, Michael Butler & Colin Snook, 2022
Type: conference
Open licensed AAC in a collaborative ecosystem
2022
DOI: 10.1007/978-3-031-08648-9_56
Type: conference
Coupling bulk phase separation of disordered proteins to membrane domain formation in molecular simulations on a bespoke compute fabric
Andrew Brown, Mark Vousden, Graeme McLachlan Bragg, Julian Shillcock, Jonathan Beaumont & David Barrie Thomas, 2021, Membranes, 12(1)
DOI: 10.3390/membranes12010017
Type: article
Similarity-aware CNN for efficient video recognition at the Edge
Mohammadamin Sabetsarvestani, Jonathon Hare, Bashir Al-Hashimi & Geoff Merrett, 2021, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 41(11)
DOI: 10.1109/TCAD.2021.3136815
Type: article
GhostShiftAddNet: More Features from Energy-Efficient Operations
Jia Bi, Jonathon Hare & Geoff Merrett, 2021
Type: conference
A high-level approach for energy efficiency improvement of FPGAs by voltage trimming
Mehdi Safarpour, Lei Xun, Geoff Merrett & Olli Silven, 2021, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
DOI: 10.1109/TCAD.2021.3127153
Type: article
Route lifetime analysis for vehicular networks
Teodor Ivanescu, Mohammed El-Hajjar, Geoff Merrett & Halil Yetgin, 2021
Type: conference