Up a level |
Fu, Chen, Hahn, Ernst-Moritz, Li, Yong ORCID: 0000-0002-7301-9234, Schewe, Sven ORCID: 0000-0002-9093-9518, Sun, Meng, Turrini, Andreas and Zhang, Lijun
(2022)
EPMC Gets Knowledge in Multi-Agent Systems.
In: International Conference on Verification, Model Checking, and Abstract Interpretation.
Chen, Ji, Sun, Meng, Adeyemo, Adebowale, Pirie, Fraser, Carstensen, Tommy, Pomilla, Cristina, Doumatey, Ayo P, Chen, Guanjie, Young, Elizabeth H, Sandhu, Manjinder et al (show 7 more authors)
(2019)
Genome-wide association study of type 2 diabetes in Africa.
DIABETOLOGIA, 62 (7).
pp. 1204-1211.
Gainer, Paul, Linker, Sven ORCID: 0000-0003-2913-7943, Dixon, Clare, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Fisher, Michael
(2018)
The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators.
In: 20th International Conference on Formal Engineering Methods, 2018-11-12 - 2018-11-16, Griffith University, Gold Coast, Australia.