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 A 3D-stacked cortex-M0 SoC with 20.3Gbps/mm2 7.1mW/mm2 simultaneous wireless inter-tier data and power transfer 2020 Type: conference Formalizing hierarchical scheduling for refinement of real-time systems Chenyang Zhu, Michael Butler & Corina Cirstea, 2020, Science of Computer Programming, 189 DOI: 10.1016/j.scico.2020.102390 Type: article Dynamic energy and thermal management of multi-core mobile platforms: a survey Amit Kumar Singh, Somdip Dey, Karunakar Reddy Basireddy, Klaus McDonald-Maier, Geoff Merrett & Bashir Al-Hashimi, 2020, IEEE Design and Test, 37(5), 25-33 DOI: 10.1109/MDAT.2020.2982629 Type: article Real-time trigger-response properties for Event-B applied to the pacemaker Chenyang Zhu, Michael Butler & Corina Cirstea, 2020 Type: conference Towards a framework for the successful implementation of a government cloud in Saudi Arabia Amal Alkhlewi, Robert Walters & Gary Wills, 2020, International Journal of Business Process Integration and Management, 9(4), 281-291 DOI: 10.1504/IJBPIM.2019.105678 Type: article Pagination Previous page ‹ Previous … Page 19 Page 20 Page 21 Page 22 Current page 23 Page 24 Page 25 Page 26 Page 27 … Next page Next ›