Luca Aceto

Cited by

	All	Since 2016
Citations	4091	946
h-index	30	15
i10-index	89	25

240

120

180

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202128 39 43 56 99 109 80 79 85 70 129 108 121 105 179 156 165 172 182 148 186 173 221 147 153 116 166 183 225 190 66

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, University of LeicesterVerified email at le.ac.uk
Jiri SrbaProfessor of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
matthew hennessyProfessor of Computer ScienceVerified email at cs.tcd.ie
Michel Reniersassociate professor, Mechanical Engineering, TU/eVerified email at tue.nl
Ian CassarUniversity of MaltaVerified email at um.edu.mt
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
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyVerified email at tue.nl
Dario Della MonicaUniversity of Udine (Italy)Verified email at uniud.it
Karoliina LehtinenUniversity of LiverpoolVerified email at liverpool.ac.uk
Patricia BouyerLSV, 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	366	2001
Reactive systems: modelling, specification and verification L Aceto, A Ingólfsdóttir, KG Larsen, J Srba cambridge university press, 2007	347	2007
Turning SOS rules into equations L Aceto, B Bloom, F Vaandrager Information and Computation 111 (1), 1-52, 1994	190	1994
Towards action-refinement in process algebras L Aceto, M Hennessy Information and Computation 103 (2), 204-269, 1993	170	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	145	1998
Timing and causality in process algebra L Aceto, D Murphy Acta Informatica 33 (4), 317-350, 1996	130	1996
Termination, deadlock, and divergence L Aceto, M Hennessy Journal of the ACM (JACM) 39 (1), 147-187, 1992	127	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	100	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
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	60	2002
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	60	1998
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
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	50	2014
Finite equational bases in process algebra: Results and open questions L Aceto, W Fokkink, A Ingolfsdottir, B Luttik Processes, terms and cycles: steps on the road to infinity, 338-367, 2005	50	2005
Monitorability for the Hennessy–Milner logic with recursion A Francalanza, L Aceto, A Ingolfsdottir Formal Methods in System Design 51 (1), 87-116, 2017	44	2017

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

Upload PDF

Follow this author

Cited by

Co-authors