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. 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 Group conformity in social networks Colby Morrison & Pavel Naumov, 2020, Journal of Logic, Language, and Information, 29(1), 3-19 DOI: 10.1007/s10849-019-09303-5 Type: article Optimising resource management for embedded machine learning Lei Xun, Long Tran-Thanh, Bashir Al-Hashimi & Geoff Merrett, 2020 DOI: 10.23919/DATE48585.2020.9116235 Type: conference Zealotry and influence maximization in the voter model: when to target zealots? Guillermo Romero Moreno, Edoardo Manino, Long Tran-Thanh & Markus Brede, 2020 DOI: 10.1007/978-3-030-40943-2_10 Type: conference Market design and trading strategies for community energy markets with storage and renewable supply Abdullah M. Alabdullatif, Enrico Gerding & Alvaro Perez-Diaz, 2020, Energies, 13(4) DOI: 10.3390/en13040972 Type: article Blameworthiness in Security Games Pavel Naumov & Jia Tao, 2020 Type: conference Pagination Previous page ‹ Previous … Page 32 Page 33 Page 34 Page 35 Page 36 Page 37 Page 38 Page 39 Page 40 … Next page Next ›