Luca Aceto

Cited by

	All	Since 2016
Citations	4233	1090
h-index	31	17
i10-index	91	28

220

110

165

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202129 40 42 58 95 109 80 81 84 72 133 109 120 103 182 155 164 173 181 150 169 189 214 147 153 116 165 181 212 200 212

Public access

View all

42 articles

1 article

available

not available

Based on funding mandates

Co-authors

Anna IngolfsdottirProfessor of Computer Science, Reykjavík UniversityVerified email at ru.is
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamVerified email at vu.nl
Adrian FrancalanzaUniversity of MaltaVerified email at um.edu.mt
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Antonis AchilleosReykjavik UniversityVerified email at ru.is
Bas LuttikAssistant Professor of Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonVerified email at kcl.ac.uk
Jiri SrbaProfessor of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
matthew hennessyProfessor of Computer ScienceVerified email at cs.tcd.ie
Ian CassarUniversity of MaltaVerified email at um.edu.mt
Michel Reniersassociate professor, Mechanical Engineering, TU/eVerified email at tue.nl
Matteo CiminiUniversity of Massachusetts LowellVerified email at uml.edu
DAVID DE FRUTOS ESCRIGUniv.Complutense de Madrid (Spain)Verified email at ucm.es
Ignacio FábregasAssociate Profesor of Computer Science at Universidad Complutense de MadridVerified email at ucm.es
Karoliina LehtinenUniversity of LiverpoolVerified email at liverpool.ac.uk
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyVerified email at tue.nl
Dario Della MonicaUniversity of Udine (Italy)Verified email at uniud.it
Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayVerified email at lsv.fr
Marjan SirjaniMälardalen UniversityVerified email at mdh.se
Angelo MontanariProfessor of Computer Science, Univ. of UdineVerified email at uniud.it

Luca Aceto

Department of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'Aquila

Verified email at ru.is - Homepage

Concurrency theory runtime verification structural operational semantics logic in computer science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Structural operational semantics L Aceto, W Fokkink, C Verhoef Handbook of process algebra, 197-292, 2001	371	2001
Reactive systems: modelling, specification and verification L Aceto, A Ingólfsdóttir, KG Larsen, J Srba cambridge university press, 2007	356	2007
Turning SOS rules into equations L Aceto, B Bloom, F Vaandrager Information and Computation 111 (1), 1-52, 1994	188	1994
Towards action-refinement in process algebras L Aceto, M Hennessy Information and Computation 103 (2), 204-269, 1993	171	1993
Model checking via reachability testing for timed automata L Aceto, A Burgueno, KG Larsen International Conference on Tools and Algorithms for the Construction and …, 1998	149	1998
Timing and causality in process algebra L Aceto, D Murphy Acta Informatica 33 (4), 317-350, 1996	131	1996
Termination, deadlock, and divergence L Aceto, M Hennessy Journal of the ACM (JACM) 39 (1), 147-187, 1992	128	1992
The power of reachability testing for timed automata L Aceto, P Bouyer, A Burgueno, KG Larsen Theoretical Computer Science 300 (1-3), 411-475, 2003	105	2003
Action refinement in process algebras L Aceto Cambridge University Press, 1992	79	1992
Adding action refinement to a finite process algebra L Aceto, M Hennessy Information and Computation 115 (2), 179-247, 1994	71	1994
Adding action refinement to a finite process algebra L Aceto, M Hennessy International Colloquium on Automata, Languages, and Programming, 506-519, 1991	69	1991
Testing equivalences for event structures L Aceto, R De Nicola, A Fantechi Mathematical models for the semantics of parallelism, 1-20, 1987	69	1987
A static view of localities L Aceto Formal Aspects of Computing 6 (2), 201-222, 1994	64	1994
The power of reachability testing for timed automata L Aceto, P Bouyer, A Burgueño, KG Larsen International Conference on Foundations of Software Technology and …, 1998	62	1998
Is your model checker on time? On the complexity of model checking for timed modal logics L Aceto, F Laroussinie The Journal of Logic and Algebraic Programming 52, 7-51, 2002	61	2002
Axiomatizing prefix iteration with silent steps L Aceto, R Van Glabbeek, W Fokkink, A Ingólfsdóttir Information and Computation 127 (1), 26-40, 1996	58	1996
On the ill-timed but well-caused L Aceto, D Murphy International Conference on Concurrency Theory, 97-111, 1993	57	1993
Monitorability for the Hennessy–Milner logic with recursion A Francalanza, L Aceto, A Ingolfsdottir Formal Methods in System Design 51 (1), 87-116, 2017	53	2017
Modelling and simulation of asynchronous real-time systems using Timed Rebeca AH Reynisson, M Sirjani, L Aceto, M Cimini, A Jafari, A Ingólfsdóttir, ... Science of Computer Programming 89, 41-68, 2014	51	2014
Finite equational bases in process algebra: Results and open questions L Aceto, W Fokkink, A Ingólfsdóttir, B Luttik Processes, terms and cycles: steps on the road to infinity, 338-367, 2005	50	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors