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 100 of 175  
    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
    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
    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.
    Letter from the President.
    Bulletin of the EATCS 2014, Volume 114 (0) 2014
    Journal article
    Luca Aceto.
    Letter from the President.
    Bulletin of the EATCS 2014, Volume 113 (0) 2014
    Journal article
    Luca Aceto.
    Foreword to the contributions by two EATCS award-recipients.
    Bulletin of the EATCS 2014, Volume 114 (0) 2014
    Journal article
    Luca Aceto, Magnús M. Halldórsson, Anna Ingólfsdóttir.
    Report on Two events at ICE-TCS, Reykjavik University.
    Bulletin of the EATCS 2014, Volume 114 (0) 2014
    Journal article
    Luca Aceto.
    Report on ICALP 2014.
    Bulletin of the EATCS 2014, Volume 114 (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, Christian Johansen, 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
    Journal article
    Luca Aceto.
    Report on ICALP 2013.
    Bulletin of the EATCS 2013, Volume 111 (0) 2013
    Journal article
    Luca Aceto.
    Report on the General Assembly 2013.
    Bulletin of the EATCS 2013, Volume 111 (0) 2013
    Journal article
    Luca Aceto.
    Letter from the President.
    Bulletin of the EATCS 2013, Volume 111 (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
    Conference paper
    Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir.
    PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates.
    Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings 2011 (0) 2011
    Journal article
    Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Arni Hermann Reynisson, Steinar Hugi Sigurdarson, Marjan Sirjani.
    Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca
    Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2011, Aachen, Germany, 10th September, 2011. 2011, Volume 58 (0) 2011
    Journal article
    Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir.
    Axiomatizing GSOS with Predicates
    Proceedings Eight Workshop on Structural Operational Semantics 2011, SOS 2011, Aachen, Germany, 5th September 2011. 2011, Volume 62 (0) 2011
    Journal article
    Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino.
    Graphical representation of covariant-contravariant modal formulae
    Proceedings 18th International Workshop on Expressiveness in Concurrency, EXPRESS 2011, Aachen, Germany, 5th September 2011. 2011, Volume 64 (0) 2011
    Journal article
    Luca Aceto.
    The Concurrency Column.
    Bulletin of the EATCS 2011, Volume 105 (0) 2011
    Conference paper
    Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi.
    Decompositional Reasoning about the History of Parallel Processes.
    Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers 2012 (0) 2011
    Conference paper
    Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino.
    Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations.
    Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers 2012 (0) 2011
    Journal article
    Luca Aceto, Pawel Sobocinski.
    Proceedings Seventh Workshop on Structural Operational Semantics
    CoRR 2010, Volume 0 (0) 2010
    Journal article
    Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers.
    On Rule Formats for Zero and Unit Elements.
    Electr. Notes Theor. Comput. Sci. 2010, Volume 265 (0) 2010
    Conference paper
    Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi.
    Lifting non-finite axiomatizability results to extensions of process algebras.
    Acta Inf. 2010, Volume 47 (0) 2010
    Journal article
    Luca Aceto, Anna Ingólfsdóttir, Joshua Sack.
    Resource bisimilarity and graded bisimilarity coincide.
    Inf. Process. Lett. 2010, Volume 111 (0) 2010
    Conference paper
    Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers.
    A Rule Format for Unit Elements.
    SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings 2010 (0) 2010
    Journal article
    Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir.
    A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages
    CoRR 2010, Volume 0 (0) 2010
    Journal article
    Luca Aceto, Cecilia Magherini.
    On the relations between B
    J. Computational Applied Mathematics 2009, Volume 231 (0) 2009
    Journal article
    Luca Aceto, Anna Ingólfsdóttir.
    Algebraic Properties for Free!
    Bulletin of the EATCS 2009, Volume 99 (0) 2009
    Conference paper
    Luca Aceto, Anna Ingólfsdóttir, Kim G. Larsen, Jirí Srba.
    Teaching Concurrency: Theory in Practice.
    Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Luca Aceto, Anna Ingólfsdóttir, Joshua Sack.
    Characteristic Formulae for Fixed-Point Semantics: A General Framework
    CoRR 2009, Volume 0 (0) 2009
    Conference paper
    Luca Aceto, Jos C. M. Baeten, Wan Fokkink, Anna Ingólfsdóttir, Uwe Nestmann.
    Preface.
    J. Log. Algebr. Program. 2009, Volume 78 (0) 2009
    Conference paper
    Luca Aceto, Anna Ingólfsdóttir.
    Foreword: special issue in memory of Nadia Busi.
    Mathematical Structures in Computer Science 2009, Volume 19 (0) 2009
    Conference paper
    Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik.
    A finite equational base for CCS with left merge and communication merge.
    ACM Trans. Comput. Log. 2009, Volume 10 (0) 2009
    Conference paper
    Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers.
    Rule Formats for Determinism and Idempotence.
    Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers 2010 (0) 2009
    Journal article
    Luca Aceto, Silvio Capobianco.
    On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt.
    Bulletin of the EATCS 2008, Volume 95 (0) 2008
    Journal article
    Luca Aceto, Jos C. M. Baeten, Wan Fokkink, Anna Ingólfsdóttir, Uwe Nestmann.
    Applying Concurrency Research in Industry Report on a Strategic Workshop.
    Bulletin of the EATCS 2008, Volume 94 (0) 2008
    Conference paper
    Luca Aceto, Anna Ingólfsdóttir, Bas Luttik, Paul van Tilburg.
    Finite Equational Bases for Fragments of CCS with Restriction and Relabelling.
    Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy 2008 (0) 2008
    Conference paper
    Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi.
    Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras.
    Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy 2008 (0) 2008
    Conference paper
    Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir.
    A Cancellation Theorem for BCCSP.
    Fundam. Inform. 2008, Volume 88 (0) 2008
    Conference paper
    Luca Aceto, Silvio Capobianco, Anna Ingólfsdóttir, Bas Luttik.
    The equational theory of prebisimilarity over basic CCS with divergence.
    Inf. Process. Lett. 2008, Volume 108 (0) 2008
    Conference paper
    Luca Aceto, Anna Ingólfsdóttir.
    On the expressibility of priority.
    Inf. Process. Lett. 2009, Volume 109 (0) 2008
    Conference paper
    Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon.
    Guest Editors' Foreword.
    J. Log. Algebr. Program. 2008, Volume 75 (0) 2008
    Conference paper
    Luca Aceto, Anna Ingólfsdóttir.
    Guest Editors' Foreword.
    J. Log. Algebr. Program. 2008, Volume 77 (0) 2008
    Conference paper
    Luca Aceto, Taolue Chen, Wan Fokkink, Anna Ingólfsdóttir.
    On the axiomatisability of priority.
    Mathematical Structures in Computer Science 2008, Volume 18 (0) 2008
    Journal article
    Luca Aceto, Anna Ingólfsdóttir.
    Characteristic Formulae: From Automata to Logic.
    Bulletin of the EATCS 2007, Volume 91 (0) 2007
    Conference paper
    Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir.
    Ready to Preorder: Get Your BCCSP Axiomatization for Free!
    Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi.
    Impossibility Results for the Equational Theory of Timed CCS.
    Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Luca Aceto, Anna Ingólfsdóttir.
    The Saga of the Axiomatization of Parallel Composition.
    CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings 2007 (0) 2007
    Conference paper
    Luca Aceto.
    Impossibility Results in the Equational Logic of Processes.
    Electr. Notes Theor. Comput. Sci. 2007, Volume 169 (0) 2007
    Conference paper
    Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon.
    Guest Editors' Foreword.
    J. Log. Algebr. Program. 2007, Volume 70 (0) 2007
    Conference paper
    Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon.
    Guest Editors' Foreword.
    J. Log. Algebr. Program. 2007, Volume 72 (0) 2007
    Conference paper
    Luca Aceto, Anna Ingólfsdóttir.
    Guest Editors' Foreword.
    J. Log. Algebr. Program. 2007, Volume 73 (0) 2007
    Show item 1 to 100 of 175  

    Your query returned 175 matches in the database.