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 138  
    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, 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
    Conference paper
    Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino.
    On the specification of modal systems: A comparison of three frameworks.
    Sci. Comput. Program. 2012, Volume 78 (0) 2013
    Journal article
    Luca Aceto.
    Letter from the President.
    Bulletin of the EATCS 2013, Volume 109 (0) 2013
    Journal article
    Luca Aceto.
    Letter from the President.
    Bulletin of the EATCS 2013, Volume 110 (0) 2013
    Conference paper
    Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco.
    An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics.
    Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco.
    A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders.
    2013 20th International Symposium on Temporal Representation and Reasoning, Pensacola, FL, USA, September 26-28, 2013 2013 (0) 2013
    Conference paper
    Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir.
    The Equational Theory of Weak Complete Simulation Semantics over BCCSP.
    SOFSEM 2012: Theory and Practice of Computer Science - 38th Conference on Current Trends in Theory and Practice of Computer Science, ?pindler?v Mlýn, Czech Republic, January 21-27, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers.
    Rule formats for determinism and idempotence.
    Sci. Comput. Program. 2012, Volume 77 (0) 2012
    Conference paper
    Luca Aceto, Arnaud Carayol, Zoltán Ésik, Anna Ingólfsdóttir.
    Algebraic Synchronization Trees and Processes.
    Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II 2012 (0) 2012
    Journal article
    Luca Aceto, Anna Ingólfsdóttir.
    Characteristic Formulae for Relations with Nested Fixed Points
    Proceedings 8th Workshop on Fixed Points in Computer Science, FICS 2012, Tallinn, Estonia, 24th March 2012. 2012, Volume 77 (0) 2012
    Journal article
    Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir.
    Proving the validity of equations in GSOS languages using rule-matching bisimilarity.
    Mathematical Structures in Computer Science 2012, Volume 22 (0) 2012
    Journal article
    Luca Aceto, Anna Ingólfsdóttir, Paul Blain Levy, Joshua Sack.
    Characteristic formulae for fixed-point semantics: a general framework.
    Mathematical Structures in Computer Science 2012, Volume 22 (0) 2012
    Journal article
    Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers.
    Rule formats for distributivity.
    Theor. Comput. Sci. 2012, Volume 458 (0) 2012
    Journal article
    Luca Aceto.
    Letter from the President.
    Bulletin of the EATCS 2012, Volume 108 (0) 2012
    Conference paper
    Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir.
    Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet.
    Inf. Process. Lett. 2010, Volume 111 (0) 2011
    Conference paper
    Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers.
    Rule Formats for Distributivity.
    Language and Automata Theory and Applications - 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers.
    SOS rule formats for zero and unit elements.
    Theor. Comput. Sci. 2011, Volume 412 (0) 2011
    Conference paper
    Luca Aceto, Taolue Chen, Anna Ingólfsdóttir, Bas Luttik, Jaco van de Pol.
    On the axiomatizability of priority II.
    Theor. Comput. Sci. 2011, Volume 412 (0) 2011
    Conference paper
    Luca Aceto, Wiebe van der Hoek, Anna Ingólfsdóttir, Joshua Sack.
    Sigma algebras in probabilistic epistemic dynamics.
    Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), Groningen, The Netherlands, July 12-14, 2011 2011 (0) 2011
    Conference paper
    Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir.
    Axiomatizing Weak Ready Simulation Semantics over BCCSP.
    Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011. Proceedings 2011 (0) 2011
    Show item 1 to 25 of 138  

    Your query returned 138 matches in the database.