2026 Luca Aceto: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	31	13509	13099	4	4	346	5184

Discipline name

D-Index

World Ranking

Current World Ranking

National Ranking

Current National Ranking

Publications

Citations

Computer Science

13509

13099

346

5184

Research.com Recognitions

2014 - Member of Academia Europaea

Best Publications

Structural Operational Semantics.

Luca Aceto;Wan J. Fokkink;Chris Verhoef

411
Citations
Reactive Systems: Modelling, Specification and Verification

Luca Aceto;Anna Ingólfsdóttir;Kim Guldstrand Larsen;Jiri Srba

378
Citations
Turning SOS rules into equations

Luca Aceto;Bard Bloom;Frits Vaandrager

224
Citations
Towards action-refinement in process algebras

L. Aceto;M. Hennessy

199
Citations
Model Checking via Reachability Testing for Timed Automata

Luca Aceto;Augusto Burgueño;Kim Guldstrand Larsen

155
Citations
Adding action refinement to a finite process algebra

L. Aceto;M. Hennessy

148
Citations
Termination, deadlock, and divergence

L. Aceto;M. Hennessy

140
Citations
Timing and causality in process algebra

Luca Aceto;Luca Aceto;David Murphy

139
Citations
Reactive Systems

Unknown

128
Citations
The power of reachability testing for timed automata

Luca Aceto;Patricia Bouyer;Augusto Burgueño;Kim G. Larsen

114
Citations
Structural Operational Semantics

Unknown

110
Citations
Testing equivalences for event structures

Luca Aceto;Rocco De Nicola;Alessandro Fantechi

86
Citations
Action Refinement in Process Algebras

Luca Aceto

81
Citations
Is your Model Checker on Time?: On the Complexity of Model Checking for Timed Modal Logics

Luca Aceto;François Laroussinie

75
Citations
Adding Action Refinement to a Finite Process Algebra

Luca Aceto;Matthew Hennessy

71
Citations
Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca

Arni Hermann Reynisson;Marjan Sirjani;Luca Aceto;Matteo Cimini

71
Citations
Monitorability for the Hennessy–Milner logic with recursion

Adrian Francalanza;Luca Aceto;Anna Ingolfsdottir

67
Citations
A static view of localities

Luca Aceto

66
Citations
The Power of Reachability Testing for Timed Automata

Luca Aceto;Patricia Bouyer;Augusto Burgueño;Kim Guldstrand Larsen

64
Citations
Axiomatizing Prefix Iteration with Silent Steps

Luca Aceto;Rob van Glabbeek;Wan Fokkink;Anna Ingólfsdóttir

61
Citations