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 195  
    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
    Journal article
    Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir.
    A Survey of Runtime Monitoring Instrumentation Techniques.
    Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@iFM 2017, Torino, Italy, 19 September 2017. 2017, Volume 254 (0) 2017
    Conference paper
    Adrian Francalanza, Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Ian Cassar, Dario Della Monica, Anna Ingólfsdóttir.
    A Foundation for Runtime Monitoring.
    Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings 2017 (0) 2017
    Conference paper
    Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir.
    eAOP: an aspect oriented programming framework for Erlang.
    Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang, Oxford, United Kingdom, September 3-9, 2017 2017 (0) 2017
    Journal article
    Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir.
    A unified rule format for bounded nondeterminism in SOS with terms as labels.
    J. Log. Algebr. Meth. Program. 2017, Volume 92 (0) 2017
    Conference paper
    Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez, Anna Ingólfsdóttir, Yolanda Ortega-Mallén.
    Rule Formats for Nominal Process Calculi.
    28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany 2017 (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
    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
    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
    Conference paper
    Luca Aceto, Arnaud Carayol, Zoltán Ésik, Anna Ingólfsdóttir.
    Algebraic Synchronization Trees and Processes.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    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
    Journal article
    Luca Aceto.
    Interview with Stephen Brookes and Peter W. O'Hearn Recipients of the 2016 Godel Prize.
    Bulletin of the EATCS 2016, Volume 119 (0) 2016
    Journal article
    Luca Aceto.
    Interview with Rajeev Alur and David Dill 2016 Alonzo Church Award Recipients.
    Bulletin of the EATCS 2016, Volume 119 (0) 2016
    Journal article
    Luca Aceto, Mariangiola Dezani-Ciancaglini, Yuri Gurevich, David Harel, Monika Henzinger, Giuseppe F. Italiano, Scott A. Smolka, Paul G. Spirakis, Wolfgang Thomas.
    EATCS Fellows' Advice to the Young Theoretical Computer Scientist.
    Bulletin of the EATCS 2016, Volume 119 (0) 2016
    Journal article
    Luca Aceto.
    Report on The EATCS General Assembly.
    Bulletin of the EATCS 2016, Volume 120 (0) 2016
    Show item 1 to 25 of 195  

    Your query returned 195 matches in the database.