Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Luca
    Last name: Aceto
    DBLP: a/LucaAceto
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 25 of 173  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Luca Aceto, Álvaro García-Pérez, Anna Ingólfsdóttir.
    Rule Formats for Bounded Nondeterminism in Structural Operational Semantics.
    Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays 2016 (0) 2016
    Journal article
    Luca Aceto, Anna Ingólfsdóttir.
    Report on NWPT 2015.
    Bulletin of the EATCS 2016, Volume 118 (0) 2016
    Journal article
    Luca Aceto, Thomas A. Henzinger, Joost-Pieter Katoen, Wolfgang Thomas, Moshe Y. Vardi.
    Viewpoints on "Logic activities in Europe", twenty years later.
    Bulletin of the EATCS 2016, Volume 118 (0) 2016
    Journal article
    Luca Aceto.
    Letter from the President.
    Bulletin of the EATCS 2016, Volume 118 (0) 2016
    Conference paper
    Luca Aceto, Dario Della Monica, Valentin Goranko, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco.
    A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases.
    Acta Inf. 2016, Volume 53 (0) 2016
    Journal article
    Luca Aceto, Adrian Francalanza, Anna Ingólfsdóttir.
    Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques.
    CoRR 2016, Volume 0 (0) 2016
    Journal article
    Vignir Gudmundsson, Mikael Lindvall, Luca Aceto, Johann Bergthorsson, Dharmalingam Ganesan.
    Model-based Testing of Mobile Systems - An Empirical Study on QuizUp Android App.
    Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@IFM 2016, Reykjavík, Iceland, 4th June 2016. 2016, Volume 208 (0) 2016
    Journal article
    Luca Aceto, Arnaud Carayol, Zoltán Ésik, Anna Ingólfsdóttir.
    Algebraic Synchronization Trees and Processes.
    CoRR 2016, Volume 0 (0) 2016
    Journal article
    Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson.
    Determinizing Monitors for HML with Recursion.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir.
    A ground-complete axiomatization of stateless bisimilarity over Linda.
    Inf. Process. Lett. 2015, Volume 115 (0) 2015
    Conference paper
    Luca Aceto, Andrea Morichetta, Francesco Tiezzi.
    Decision Support for Mobile Cloud Computing Applications via Model Checking.
    3rd IEEE International Conference on Mobile Cloud Computing, Services, and Engineering, MobileCloud 2015, San Francisco, CA, USA, March 30 - April 3, 2015 2015 (0) 2015
    Conference paper
    Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir.
    When Are Prime Formulae Characteristic?
    Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I 2015 (0) 2015
    Conference paper
    Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir.
    On Verifying Hennessy-Milner Logic with Recursion at Runtime.
    Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings 2015 (0) 2015
    Conference paper
    Luca Aceto, Kim G. Larsen, Andrea Morichetta, Francesco Tiezzi.
    A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing.
    Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers 2016 (0) 2015
    Journal article
    Luca Aceto.
    Report on ICALP 2015.
    Bulletin of the EATCS 2015, Volume 117 (0) 2015
    Journal article
    Luca Aceto.
    Letter from the President.
    Bulletin of the EATCS 2015, Volume 117 (0) 2015
    Journal article
    Luca Aceto.
    Letter from the President.
    Bulletin of the EATCS 2015, Volume 115 (0) 2015
    Journal article
    Luca Aceto.
    Report on The EATCS General Assembly.
    Bulletin of the EATCS 2015, Volume 117 (0) 2015
    Journal article
    Luca Aceto.
    Report on ICE-TCS tenth anniversary.
    Bulletin of the EATCS 2015, Volume 117 (0) 2015
    Journal article
    Luca Aceto.
    Letter from the President.
    Bulletin of the EATCS 2015, Volume 116 (0) 2015
    Journal article
    Luca Aceto.
    Report on ICTCS 2015.
    Bulletin of the EATCS 2015, Volume 117 (0) 2015
    Journal article
    Luca Aceto.
    Report on The EATCS Council Meeting.
    Bulletin of the EATCS 2015, Volume 117 (0) 2015
    Journal article
    Luca Aceto, Anna Ingólfsdóttir, Eugen-Ioan Goriac.
    SOS rule formats for idempotent terms and idempotent unary operators.
    J. Log. Algebr. Program. 2014, Volume 83 (0) 2014
    Journal article
    Luca Aceto.
    Letter from the President.
    Bulletin of the EATCS 2014, Volume 112 (0) 2014
    Journal article
    Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir.
    Axiomatizing weak simulation semantics over BCCSP.
    Theor. Comput. Sci. 2014, Volume 537 (0) 2014
    Show item 1 to 25 of 173  

    Your query returned 173 matches in the database.