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 10 of 190  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Luca Aceto, Ignacio Fábregas, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir.
    Logical Characterisations and Compositionality of Input-Output Conformance Simulation.
    SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings 2017 (0) 2017
    Journal article
    Luca Aceto, David de Frutos-Escrig.
    Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015).
    Acta Inf. 2017, Volume 54 (0) 2017
    Journal article
    Luca Aceto.
    Spotlight on Marta Kwiatkowska.
    SIGLOG News 2017, Volume 4 (0) 2017
    Journal article
    Luca Aceto, Anna Ingólfsdóttir.
    Preface for the 27th Nordic Workshop on Programming Theory (NWPT 2015).
    J. Log. Algebr. Meth. Program. 2017, Volume 87 (0) 2017
    Journal article
    Luca Aceto.
    Interview with Thomas Henzinger President of IST Austria.
    Bulletin of the EATCS 2017, Volume 121 (0) 2017
    Conference paper
    Luca Aceto, David de Frutos-Escrig, Anna Ingólfsdóttir.
    Trace Simulation Semantics is not Finitely Based over BCCSP.
    Acta Cybern. 2017, Volume 23 (0) 2017
    Conference paper
    Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Sævar Örn Kjartansson.
    On the Complexity of Determinizing Monitors.
    Implementation and Application of Automata - 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings 2017 (0) 2017
    Journal article
    Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir.
    Monitorability for the Hennessy-Milner logic with recursion.
    Formal Methods in System Design 2017, Volume 51 (0) 2017
    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
    Show item 1 to 10 of 190  

    Your query returned 190 matches in the database.