Luca Aceto
Scholar

Luca Aceto

Google Scholar ID: UVWAdjsAAAAJ
Department of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'Aquila
Concurrency theoryruntime verificationstructural operational semanticslogic in computer science
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,423
 
H-index
19
 
i10-index
37
 
Publications
20
 
Co-authors
31
list available
Contact
Emailru@ru.is
Publications
5 items
Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
2025
Cited
0
The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
2025
Cited
0
Monitorability for the Modal mu-Calculus over Systems with Data: From Practice to Theory
2025
Cited
0
Centralized vs Decentralized Monitors for Hyperproperties
International Conference on Concurrency Theory · 2024
Cited
0
A Sound Type System for Secure Currency Flow
European Conference on Object-Oriented Programming · 2024
Cited
0
Co-authors
14 total
Anna Ingolfsdottir
Anna Ingolfsdottir
Professor of Computer Science, Reykjavík University
Adrian Francalanza
Adrian Francalanza
University of Malta
Wan Fokkink
Wan Fokkink
Professor of Computer Science, Vrije Universiteit Amsterdam
Antonis Achilleos
Antonis Achilleos
Reykjavik University
Kim G. Larsen
Kim G. Larsen
Director, Professor Aalborg University
Bas Luttik
Bas Luttik
Associate Professor of Computer Science, Eindhoven University of Technology
Duncan Paul Attard
Duncan Paul Attard
University of Glasgow and Reykjavik University
Jiri Srba
Jiri Srba
Professor of Computer Science, Aalborg University