Concepedia

Luca Aceto

LA

69

Publications

2.2K

Citations

25

H-Index

1987

Active since

Affiliations

Aalborg University(Current)

Reykjavík University

Danish National Research Foundation

University of Sussex

University of Malta

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

ORCID

Top concepts

Publications per year

1987–2023

69

Publications

69

Structural Operational Semantics

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

, , +19

Turning SOS Rules into Equations

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

Termination, deadlock, and divergence

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

, , +14

Timing and causality in process algebra

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

, , +4

The power of reachability testing for timed automata

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

, , +9

Rows per page

1–5 of 69