Luca Aceto

Luca Aceto publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Luca Aceto sits on this spectrum.

Luca Aceto D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Luca Aceto sits on this spectrum.

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