Duncan Paul Attard
Scholar

Duncan Paul Attard

Google Scholar ID: K5vX5KQAAAAJ
University of Glasgow and Reykjavik University
runtime monitoringconcurrent systemssoftware engineeringprogramming languagesformal modelling and verification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
317
 
H-index
9
 
i10-index
9
 
Publications
20
 
Co-authors
14
list available
Contact
No contact links provided.
Publications
2 items
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory
2025
Cited
0
Special Delivery: Programming with Mailbox Types
Proc. ACM Program. Lang. · 2023
Cited
3
Resume (English only)
Co-authors
14 total
Adrian Francalanza
Adrian Francalanza
University of Malta
Luca Aceto
Luca Aceto
Department of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'Aquila
Anna Ingolfsdottir
Anna Ingolfsdottir
Professor of Computer Science, Reykjavík University
Antonis Achilleos
Antonis Achilleos
Reykjavik University
Co-author 5
Co-author 5
Dario Della Monica
Dario Della Monica
University of Udine (Italy)
Léo Exibard
Léo Exibard
Assistant professor at LIGM, Université Gustave Eiffel
Phil Trinder
Phil Trinder
Professor of Computing Science, University of Glasgow