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
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
Co-authors
10 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
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
Karoliina Lehtinen
Karoliina Lehtinen
CNRS, Aix-Marseille Université, LIS