Publications

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

Adaptive and hierarchical run-time manager for energy-aware thermal management of embedded systems

Anup Das, Bashir Al-Hashimi & Geoff Merrett, 2016, ACM Transactions on Embedded Computing Systems, 15(2)

DOI: 10.1145/2834120

Type: article

A method for invariant generation for polynomial continuous systems

2016

Type: conference

Gamifying self-management of chronic illnesses

Alaa Almarshedi, Gary Wills & Ashok Ranchhod, 2016, JMIR Serious Games, 4(2), 1-11

DOI: 10.2196/games.5943

Type: article

MindCollect: An information needs management system for coalition situational awareness, sensemaking, decision making, and mission integration

David Kamien, Michael Kelly, Temitope Omitola & Gary Wills, 2016

Type: conference

Glucagon increases energy expenditure independently of brown adipose tissue activation in humans

V. Salem, C. Izzi-Engbeaya, C. Coello, D. B. Thomas, E. S. Chambers, A. N. Comninos, A. Buckley, Z. Win, A. Al-Nahhas, E. A. Rabiner, R. N. Gunn, H. Budge, M. E. Symonds, S. R. Bloom, T. M. Tan & W. S. Dhillo, 2015, Diabetes, Obesity and Metabolism, 18(1), 72-81

DOI: 10.1111/dom.12585

Type: article

Zames-Falb multipliers for absolute stability

J. Carrasco, M. C. Turner & W. P. Heath, 2015

DOI: 10.1109/ECC.2015.7330714

Type: conference

A method of refinement in UML-B

Mar Yah Said, Michael Butler & Colin Snook, 2015, Software and Systems Modeling, 14(4), 1557–1580

DOI: 10.1007/s10270-013-0391-z

Type: article