Concepedia

Luca Aceto

LA

Statistics

Publications

71

Citations

2.2K

H-Index

25

Active since

1987

Affiliations

Aalborg University(Current)

Reykjavík University

University of Sussex

Danish National Research Foundation

Centrum Wiskunde & Informatica

Luca Aceto is an author at Aalborg University specializing in computer science, formal methods, and computing.

ORCID

Publications per year

1987–2023

71

Publications

71

Structural Operational Semantics

Luca Aceto, C. Verhoef · BRICS Report Series · 1999 · 227 citations · Full text

, , +6

Turning SOS Rules into Equations

Luca Aceto, Bard Bloom, Frits Vaandrager · Information and Computation · 1994 · 132 citations · Full text

, , +17

Termination, deadlock, and divergence

Luca Aceto, Matthew Hennessy · Journal of the ACM · 1992 · 104 citations · Full text

, , +17

Timing and causality in process algebra

Luca Aceto, David Murphy · Acta Informatica · 1996 · 96 citations

, , +9

The power of reachability testing for timed automata

Luca Aceto, Patricia Bouyer, Augusto Burgueño et al. · Theoretical Computer Science · 2003 · 94 citations

, , +13

1–5 of 71