Open menu
Three cars parked in a car park, two are grey and one is white

Publications

Search our publications to read more about our work in more depth.
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
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