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 145  
    Select a publication
    Show Title Venue Rating Date
    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
    Journal article
    Arni Hermann Reynisson, Marjan Sirjani, Luca Aceto, Matteo Cimini, Ali Jafari, Anna Ingólfsdóttir, Steinar Hugi Sigurdarson.
    Modelling and simulation of asynchronous real-time systems using Timed Rebeca.
    Sci. Comput. Program. 2014, Volume 89 (0) 2014
    Conference paper
    Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco.
    On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders.
    Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings 2014 (0) 2014
    Journal article
    Luca Aceto, Monika Henzinger, Jirí Sgall.
    38th International Colloquium on Automata, Languages and Programming.
    Inf. Comput. 2013, Volume 222 (0) 2013
    Conference paper
    Luca Aceto, Anna Ingólfsdóttir, Cristian Prisacariu, Joshua Sack.
    Compositional Reasoning for Multi-modal Logics.
    Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir.
    SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators.
    SOFSEM 2013: Theory and Practice of Computer Science, 39th International Conference on Current Trends in Theory and Practice of Computer Science, ┼ápindler┼»v Mlýn, Czech Republic, January 26-31, 2013. Proceedings 2013 (0) 2013
    Journal article
    Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir.
    Meta SOS - A Maude Based SOS Meta-Theory Framework.
    Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, EXPRESS/SOS 2013, Buenos Aires, Argentina, 26th August, 2013. 2013, Volume 120 (0) 2013
    Conference paper
    Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers.
    Exploiting Algebraic Laws to Improve Mechanized Axiomatizations.
    Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings 2013 (0) 2013
    Show item 1 to 10 of 145  

    Your query returned 145 matches in the database.