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.

Research outputs

How to fit in: the learning principles of cell differentiation
Miguel A. Brun Usan, Christoph Thies & Richard Watson, 2020, PLoS Computational Biology, 16(4)
DOI: 10.1371/journal.pcbi.1006811
Type: article
Feedback in highly automated vehicles: what do drivers rely on?
Joy Richardson, Kirsten Revell, Neville Stanton, Jediah Clark, Nermin Caber, Mike Bradley, Theocharis Amanatidis, Patrick Langdon, Simon Thompson & Lee Skrypchuk, 2020
Type: conference
Bounded incentives in manipulating the Probabilistic Serial rule
2020
DOI: 10.1609/aaai.v34i02.5605
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
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