Cyber Physical Systems About us Our people Research projects Publications Seminars and events Join us Cyber Physical Systems Publications Our projects have an impact in many different industries. Browse our publications to find out more Energy-driven computing Sivert T. Sliper, Oktay Cetinkaya, Alexander Weddell, Bashir Al-Hashimi & Geoff Merrett, 2020, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 378(2164), 1-4 DOI: 10.1098/rsta.2019.0158 Type: article Collaborative adaptation for energy-efficient heterogeneous mobile SoCs Amit Kumar Singh, Karunakar Reddy Basireddy, Alok Prakash, Geoff Merrett & Bashir Al-Hashimi, 2020, IEEE Transactions on Computers, 69(2), 185-197 DOI: 10.1109/TC.2019.2943855 Type: article 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 Pagination Previous page ‹ Previous … Page 21 Page 22 Page 23 Page 24 Current page 25 Page 26 Page 27 Page 28 Page 29 … Next page Next ›