Luca Aceto - Selected publications#
L. Aceto, D. Della Monica, A, Ingólfsdóttir, A. Montanari and G. Sciavicco. A complete classification of the expressiveness of interval logics of Allen's relations over dense linear orders. Proceedings of TIME 2013, IEEE Press, 2013.
L. Aceto, A. Carayol, Z. Ésik and A. Ingólfsdóttir. Algebraic synchronization trees. Proceedings of ICALP 2012, LNCS 7392, pp. 30-41, Springer, 2012
L. Aceto, M. Cimini, A. Ingólfsdóttir, M.R. Mousavi and M.A. Reniers. Rule formats for distributivity. Theoretical Computer Science 458:1-28, 2012
L. Aceto, M. Cimini, A. Ingólfsdóttir, M.R. Mousavi and M.A. Reniers. SOS rule formats for zero and unit elements. Theoretical Computer Science 412(28):3045-3071, 2011
L. Aceto, A. Ingólfsdóttir, K.G. Larsen and J. Srba. Reactive Systems: Modelling, Specification and Verification. Cambridge University Press, 2007. (This is textbook used for courses in concurrency theory at about 20 universities throughout the world; 130 citations in scientific papers according to Google Scholar.)
L. Aceto, P. Bouyer, A. Burgueno and K.G. Larsen. The power of reachability testing for timed automata. Theoretical Computer Science 300:411-475, 2003. (Together with its conference version, this work has received about 180 citations according to Google Scholar.)
L. Aceto, W. Fokkink and C. Verhoef. Structural Operational Semantics. Chapter 3 of the Handbook of Process Algebra, pp. 197-292, Elsevier, 2001. (273 citations according to Google Scholar.)
L. Aceto, B. Bloom and F. Vaandrager. Turning SOS Rules into Equations. Information and Computation 111(1):1-52, 1994. (This work and its conference version have received nearly 200 citations according to Google Scholar.)
L. Aceto. Action Refinement in Process Algebras. Distinguished Dissertations in Computer Science vol. 3, Cambridge University Press, 1992.
L. Aceto and M. Hennessy. Termination, Deadlock and Divergence, Journal of the ACM 39(1): 147-187, 1992. (95 citations according to Google Scholar.)
According to Google Scholar, L. Aceto's h-index is 26, his i10-index is 60 and there have been 2772 citations to his work so far. He is on the list of DBLP most prolific authors with 143 entries as of January 29, 2014, and has over 100 entries in MathSciNet.
