Agents, Interaction and Complexity About us Our people Research projects Publications Join us Industry experts Agents, Interaction and Complexity Publications Search our publications to read more about our work in more depth. 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 Solving the fair electric load shedding problem in developing countries Olabambo Ifeoluwa Oluwasuji, Obaid Malik, Jie Zhang & Sarvapali Ramchurn, 2020, Autonomous Agents and Multi-Agent Systems, 34(1) DOI: 10.1007/s10458-019-09428-8 Type: article Repository for reusing artifacts of artificial neural networks Javad Ghofrani, Ehsan Kozegar, Mohammad Divband Soorati, Arezoo Bozorgmehr, Hongfei Chen & Maximilian Naake, 2020 DOI: 10.48550/arXiv.2003.13619 Type: other Real-time trigger-response properties for Event-B applied to the pacemaker Chenyang Zhu, Michael Butler & Corina Cirstea, 2020 Type: conference Catching cheats: detecting strategic manipulation in distributed optimisation of electric vehicle aggregators Alvaro Perez-Diaz, Enrico Gerding & Frank McGroarty, 2020, Journal of Artificial Intelligence Research, 67, 437-470 DOI: 10.1613/jair.1.11573 Type: article Pagination Previous page ‹ Previous … Page 45 Page 46 Page 47 Page 48 Current page 49 Page 50 Page 51 Page 52 Page 53 … Next page Next ›