Luca Aceto Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Anna Ingólfsdóttir: Characteristic Formulae for Relations with Nested Fixed Points FICS 2012: 15-22
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca 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: 141-152
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: Rule formats for determinism and idempotence. Sci. Comput. Program. 77(7-8): 889-907 (2012)
2011
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Mohammad Reza Mousavi: Proceedings First International Workshop on Process Algebra and Coordination PACO 2011
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Monika Henzinger, Jiri Sgall: Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I Springer 2011
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Monika Henzinger, Jiri Sgall: Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II Springer 2011
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir: PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates. CALCO 2011: 378-385
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino: Graphical representation of covariant-contravariant modal formulae EXPRESS 2011: 1-15
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca 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 FOCLASA 2011: 1-19
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino: Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations. FSEN 2011: 268-283
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi: Decompositional Reasoning about the History of Parallel Processes. FSEN 2011: 32-47
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir: Axiomatizing Weak Ready Simulation Semantics over BCCSP. ICTAC 2011: 7-24
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: Rule Formats for Distributivity. LATA 2011: 80-91
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir: Axiomatizing GSOS with Predicates SOS 2011: 1-15
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Wiebe van der Hoek, Anna Ingólfsdóttir, Joshua Sack: Sigma algebras in probabilistic epistemic dynamics. TARK 2011: 191-199
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto: The Concurrency Column. Bulletin of the EATCS 105: 72 (2011)
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca 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. 111(9): 408-413 (2011)
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Taolue Chen, Anna Ingólfsdóttir, Bas Luttik, Jaco van de Pol: On the axiomatizability of priority II. Theor. Comput. Sci. 412(28): 3035-3044 (2011)
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: SOS rule formats for zero and unit elements. Theor. Comput. Sci. 412(28): 3045-3071 (2011)
2010
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Pawel Sobocinski: Proceedings Seventh Workshop on Structural Operational Semantics SOS 2010
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: A Rule Format for Unit Elements. SOFSEM 2010: 141-152
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi: Lifting non-finite axiomatizability results to extensions of process algebras. Acta Inf. 47(3): 147-177 (2010)
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca 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. 265: 145-160 (2010)
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Anna Ingólfsdóttir, Joshua Sack: Resource bisimilarity and graded bisimilarity coincide. Inf. Process. Lett. 111(2): 68-76 (2010)
2009
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Anna Ingólfsdóttir, Joshua Sack: Characteristic Formulae for Fixed-Point Semantics: A General Framework EXPRESS 2009: 1-15
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: Rule Formats for Determinism and Idempotence. FSEN 2009: 146-161
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Matteo Cimini, Anna Ingólfsdóttir: A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages SOS 2009: 1-16
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jirí Srba: Teaching Concurrency: Theory in Practice. TFM 2009: 158-175
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca 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. 10(1): (2009)
99no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Anna Ingólfsdóttir: Algebraic Properties for Free! Bulletin of the EATCS 99: 82-103 (2009)
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Cecilia Magherini: On the relations between B2V Ms and Runge-Kutta collocation methods. J. Computational Applied Mathematics 231(1): 11-23 (2009)
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Jos C. M. Baeten, Wan Fokkink, Anna Ingólfsdóttir, Uwe Nestmann: Preface. J. Log. Algebr. Program. 78(4): (2009)
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Anna Ingólfsdóttir: Foreword: special issue in memory of Nadia Busi. Mathematical Structures in Computer Science 19(6): 1061-1063 (2009)
2008
95no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz: Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I: Tack A: Algorithms, Automata, Complexity, and Games Springer 2008
94no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz: Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations Springer 2008
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi: Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras. IFIP TCS 2008: 301-316
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Anna Ingólfsdóttir, Bas Luttik, Paul van Tilburg: Finite Equational Bases for Fragments of CCS with Restriction and Relabelling. IFIP TCS 2008: 317-332
91no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca 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 94: 113-129 (2008)
90no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Silvio Capobianco: On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt. Bulletin of the EATCS 95: 220-240 (2008)
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir: A Cancellation Theorem for BCCSP. Fundam. Inform. 88(1-2): 1-21 (2008)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Silvio Capobianco, Anna Ingólfsdóttir, Bas Luttik: The equational theory of prebisimilarity over basic CCS with divergence. Inf. Process. Lett. 108(5): 284-289 (2008)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Anna Ingólfsdóttir: On the expressibility of priority. Inf. Process. Lett. 109(1): 83-85 (2008)
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon: Guest Editors' Foreword. J. Log. Algebr. Program. 75(1): 1-2 (2008)
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Anna Ingólfsdóttir: Guest Editors' Foreword. J. Log. Algebr. Program. 77(1-2): (2008)
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Taolue Chen, Wan Fokkink, Anna Ingólfsdóttir: On the axiomatisability of priority. Mathematical Structures in Computer Science 18(1): 5-28 (2008)
2007
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir: Ready to Preorder: Get Your BCCSP Axiomatization for Free! CALCO 2007: 65-79
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi: Impossibility Results for the Equational Theory of Timed CCS. CALCO 2007: 80-95
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Anna Ingólfsdóttir: The Saga of the Axiomatization of Parallel Composition. CONCUR 2007: 2-16
80no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Anna Ingólfsdóttir: Characteristic Formulae: From Automata to Logic. Bulletin of the EATCS 91: 58-75 (2007)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto: Impossibility Results in the Equational Logic of Processes. Electr. Notes Theor. Comput. Sci. 169: 3-6 (2007)
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon: Guest Editors' Foreword. J. Log. Algebr. Program. 70(2): 119-120 (2007)
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon: Guest Editors' Foreword. J. Log. Algebr. Program. 72(1): 1-2 (2007)
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Anna Ingólfsdóttir: Guest Editors' Foreword. J. Log. Algebr. Program. 73(1-2): 1 (2007)
2006
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Anna Ingólfsdóttir: Foundations of Software Science and Computation Structures, 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings Springer 2006
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Taolue Chen, Wan Fokkink, Anna Ingólfsdóttir: On the Axiomatizability of Priority. ICALP (2) 2006: 480-491
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik: A Finite Equational Base for CCS with Left Merge and Communication Merge. ICALP (2) 2006: 492-503
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik: A Finite Equational Base for CCS with Left Merge and Communication Merge CoRR abs/cs/0608001: (2006)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Andrew D. Gordon: Preface. Electr. Notes Theor. Comput. Sci. 162: 1-2 (2006)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Wan Fokkink: The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems. Electr. Notes Theor. Comput. Sci. 162: 43-48 (2006)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Sumit Nain: Bisimilarity is not finitely based over BPA with interrupt. Theor. Comput. Sci. 366(1-2): 60-81 (2006)
2005
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Sumit Nain: Bisimilarity Is Not Finitely Based over BPA with Interrupt. CALCO 2005: 52-66
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik: Finite Equational Bases in Process Algebra: Results and Open Questions. Processes, Terms and Cycles 2005: 338-367
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik: Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge CoRR abs/cs/0501040: (2005)
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Wan Fokkink, Irek Ulidowski: Preface. Electr. Notes Theor. Comput. Sci. 128(1): 1- (2005)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik: Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge. Logical Methods in Computer Science 1(1): (2005)
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik: CCS with Hennessy's merge has no finite-equational axiomatization. Theor. Comput. Sci. 330(3): 377-405 (2005)
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Zoltán Ésik: Guest editors' foreword: Process Algebra. Theor. Comput. Sci. 335(2-3): 127-129 (2005)
2004
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto: Nested Semantics over Finite Trees are Equationally Hard: Invited Talk. Electr. Notes Theor. Comput. Sci. 96: 5-6 (2004)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Wan Fokkink, Rob J. van Glabbeek, Anna Ingólfsdóttir: Nested semantics over finite trees are equationally hard. Inf. Comput. 191(2): 203-232 (2004)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen: The Complexity of Checking Consistency of Pedigree Information and Related Problems. J. Comput. Sci. Technol. 19(1): 42-59 (2004)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Wan Fokkink: Guesteditors'introduction: Special issue on Structural Operational Semantics. J. Log. Algebr. Program. 60-61: 1-2 (2004)
2003
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen: The Complexity of Checking Consistency of Pedigree Information and Related Problems. ICTCS 2003: 174-187
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto: Some of My Favourite Results in Classic Process Algebra. Bulletin of the EATCS 81: 90-108 (2003)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir: A note on an expressiveness hierarchy for multi-exit iteration. Inf. Process. Lett. 87(1): 17-23 (2003)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Giuseppe Longo, Björn Victor: Foreword To Special Issue: The Difference Between Concurrent And Sequential Computation. Mathematical Structures in Computer Science 13(4): 481-484 (2003)
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Zoltán Ésik, Anna Ingólfsdóttir: Equational theories of tropical semirings. Theor. Comput. Sci. 3(298): 417-469 (2003)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Patricia Bouyer, Augusto Burgueño, Kim Guldstrand Larsen: The power of reachability testing for timed automata. Theor. Comput. Sci. 300(1-3): 411-475 (2003)
2002
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Zoltán Ésik, Anna Ingólfsdóttir: Equational Axioms for Probabilistic Bisimilarity. AMAST 2002: 239-253
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto: Kleene through the process algebraic glass. FICS 2002: 20-21
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Zoltán Ésik, Anna Ingólfsdóttir: A Fully Equational Proof of Parikh's Theorem. ITA 36(2): 129-153 (2002)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, François Laroussinie: Is your model checker on time? On the complexity of model checking for timed modal logics. J. Log. Algebr. Program. 52-53: 7-51 (2002)
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Prakash Panangaden: Guest Editors' Foreword. Nord. J. Comput. 9(1): 69 (2002)
2001
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Zoltán Ésik, Anna Ingólfsdóttir: Axiomatizing Tropical Semirings. FoSSaCS 2001: 42-56
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir: 2-Nested Simulation Is Not Finitely Equationally Axiomatizable. STACS 2001: 39-50
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Wan Fokkink, Chris Verhoef: Conservative Extension in Structural Operational Semantics. Current Trends in Theoretical Computer Science 2001: 504-524
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Prakash Panangaden: Preface. Electr. Notes Theor. Comput. Sci. 52(1): 137-138 (2001)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Luca Aceto, Anna Ingólfsdóttir: Corrigendum: A Domain Equation for Bisimulation: Volume 92 Number 2 (1991), pages 161-218. Inf. Comput. 165(2): 119-122 (2001)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Wan Fokkink: Preface: Process Algebra. Inf. Process. Lett. 80(1): 1 (2001)
2000
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Zoltán Ésik, Anna Ingólfsdóttir: On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers. STACS 2000: 267-278
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Anna Ingólfsdóttir, Mikkel Lykke Pedersen, Jan Poulsen: Characteristic formulae for timed automata. ITA 34(6): 565-584 (2000)
1999
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Anna Ingólfsdóttir: Testing Hennessy-Milner Logic with Recursion. FoSSaCS 1999: 41-55
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, François Laroussinie: Is Your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics. MFCS 1999: 125-136
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Wan Fokkink, Chris Verhoef: Conservative Extension in Structural Operational Semantics. Bulletin of the EATCS 69: 110-132 (1999)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Jan Friso Groote: A Complete Equational Axiomatization for MPA with String Iteration. Theor. Comput. Sci. 211(1-2): 339-374 (1999)
1998
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Patricia Bouyer, Augusto Burgueño, Kim Guldstrand Larsen: The Power of Reachability Testing for Timed Automata. FSTTCS 1998: 245-256
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir: A Cook's Tour of Equational Axiomatizations for Prefix Iteration. FoSSaCS 1998: 20-34
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Augusto Burgueño, Kim Guldstrand Larsen: Model Checking via Reachability Testing for Timed Automata. TACAS 1998: 263-280
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir: A Menagerie of NonFfinitely Based Process Semantics over BPA* - From Ready Simulation to Completed Traces. Mathematical Structures in Computer Science 8(3): 193-230 (1998)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir: On a Question of A. Salomaa: The Equational Theory of Regular Expressions Over a Singleton Alphabet is not Finitely Based. Theor. Comput. Sci. 209(1-2): 163-178 (1998)
1997
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Hans Hüttel, Anna Ingólfsdóttir, Josva Kleist: Relating semantic models for the object calculus. Electr. Notes Theor. Comput. Sci. 7: 3-18 (1997)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Wan Fokkink: An Equational Axiomatization for Multi-Exit Iteration. Inf. Comput. 137(2): 121-158 (1997)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Anna Ingólfsdóttir: A Characterization of Finitary Bisimulation. Inf. Process. Lett. 64(3): 127-134 (1997)
1996
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Anna Ingólfsdóttir: An Equational Axiomatization of Observation Congruence for Prefix Iteration. AMAST 1996: 195-209
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, David Murphy: Timing and Causality in Process Algebra. Acta Inf. 33(4): 317-350 (1996)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Rob J. van Glabbeek, Wan Fokkink, Anna Ingólfsdóttir: Axiomatizing Prefix Iteration with Silent Steps. Inf. Comput. 127(1): 26-40 (1996)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Anna Ingólfsdóttir: CPO Models for Compact GSOS Languages. Inf. Comput. 129(2): 107-141 (1996)
1995
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Anna Ingólfsdóttir: CPO Models for a Class of GSOS Languages. TAPSOFT 1995: 439-453
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Alan Jeffrey: A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours. Theor. Comput. Sci. 152(2): 251-268 (1995)
1994
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto: Deriving Complete Inference Systems for a Class of GSOS Languages Generation Regular Behaviours. CONCUR 1994: 449-464
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto: A Static View of Localities. Formal Asp. Comput. 6(2): 201-222 (1994)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Bard Bloom, Frits W. Vaandrager: Turning SOS Rules into Equations Inf. Comput. 111(1): 1-52 (1994)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Matthew Hennessy: Adding Action Refinement to a Finite Process Algebra Inf. Comput. 115(2): 179-247 (1994)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto: On "Axiomatising Finite Concurrent Processes". SIAM J. Comput. 23(4): 852-863 (1994)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto: GSOS and Finite Labelled Transition Systems. Theor. Comput. Sci. 131(1): 181-195 (1994)
1993
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, David Murphy: On the Ill-Timed but Well-Caused. CONCUR 1993: 97-111
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Matthew Hennessy: Towards Action-Refinement in Process Algebras Inf. Comput. 103(2): 204-269 (1993)
1992
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Bard Bloom, Frits W. Vaandrager: Turning SOS Rules into Equations LICS 1992: 113-124
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto: History preserving, causal and mixed-ordering equivalence over stable event structures. Fundam. Inform. 17(4): 319-331 (1992)
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto: Relating distributed, temporal and causal observations of simple processes. Fundam. Inform. 17(4): 369-397 (1992)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Matthew Hennessy: Termination, Deadlock, and Divergence. J. ACM 39(1): 147-187 (1992)
1991
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Anna Ingólfsdóttir: A Theory of Testing for ACP. CONCUR 1991: 78-95
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Uffe Engberg: Failures Semantics for a Simple Process Language with Refinement. FSTTCS 1991: 89-108
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Matthew Hennessy: Adding Action Refinement to a Finite Process Algebra. ICALP 1991: 506-519
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto: On Relating Concurency and Nondeterminism. MFPS 1991: 376-402
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto: Full Abstraction for Series-Parallel Pomsets. TAPSOFT, Vol.1 1991: 1-25
1989
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Matthew Hennessy: Towards Action-Refinement in Process Algebras LICS 1989: 138-145
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Matthew Hennessy: Termination, Deadlock and Divergence. Mathematical Foundations of Programming Semantics 1989: 301-318
1986
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Aceto, Rocco De Nicola, Alessandro Fantechi: Testing Equivalences for Event Structures. Mathematical Models for the Semantics of Parallelism 1986: 1-20

Coauthor Index

1Samson Abramsky [42]
2Jos C. M. Baeten [91] [97]
3Arnar Birgisson [103] [118] [126]
4Bard Bloom [12] [18]
5Patricia Bouyer (Patricia Bouyer-Decitre) [34] [52]
6Mario Bravetti [77] [78] [86]
7Augusto Burgueño [32] [34] [52]
8Georgiana Caltais [115] [122]
9Silvio Capobianco [88] [90]
10Taolue Chen [74] [84] [111]
11Matteo Cimini [102] [106] [110] [116] [120]
12Ivan Damgård (Ivan Bjerre Damgård) [94] [95]
13Uffe Engberg [7]
14Zoltán Ésik [40] [46] [49] [51] [53] [62]
15Ignacio Fábregas [119] [121]
16Alessandro Fantechi [1]
17Wan Fokkink [24] [28] [30] [31] [33] [36] [41] [44] [45] [55] [58] [60] [62] [63] [64] [65] [66] [67] [68] [69] [70] [72] [73] [74] [77] [78] [83] [84] [86] [89] [91] [93] [97] [100] [107]
18David de Frutos-Escrig [112] [117] [119] [121] [127]
19Rob J. van Glabbeek [24] [60]
20Leslie Ann Goldberg [94] [95]
21Andrew D. Gordon (Andy Gordon) [71] [77] [78] [86]
22Eugen-Ioan Goriac [115] [122]
23Carlos Gregorio-Rodríguez [112] [117] [127]
24Jan Friso Groote [35]
25Magnús M. Halldórsson [94] [95]
26Jens A. Hansen [57] [59]
27Matthew Hennessy [2] [3] [6] [9] [13] [17]
28Monika Rauch Henzinger (Monika Henzinger, Monika Rauch) [123] [124]
29Wiebe van der Hoek [114]
30Hans Hüttel [29]
31Anna Ingólfsdóttir [8] [22] [23] [24] [26] [27] [29] [30] [31] [33] [38] [39] [40] [42] [45] [46] [49] [51] [53] [55] [57] [59] [60] [62] [63] [64] [66] [67] [68] [69] [72] [73] [74] [75] [76] [80] [81] [82] [83] [84] [85] [87] [88] [89] [91] [92] [93] [94] [95] [96] [97] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [110] [111] [112] [114] [115] [116] [117] [118] [119] [120] [121] [122] [126] [127] [128]
32Alan Jeffrey [21]
33Jacob Johnsen [57] [59]
34Josva Kleist [29]
35John Knudsen [57] [59]
36François Laroussinie [37] [48]
37Kim Guldstrand Larsen (Kim G. Larsen) [32] [34] [52] [101]
38Giuseppe Longo [54]
39Bas Luttik (S. P. Luttik) [63] [64] [66] [67] [72] [73] [88] [92] [100] [111]
40Cecilia Magherini [98]
41Mohammad Reza Mousavi [82] [93] [103] [106] [107] [108] [110] [116] [118] [125] [126]
42David Murphy [14] [25]
43Sumit Nain [68] [69]
44Uwe Nestmann [91] [97]
45Rocco De Nicola [1]
46Miguel Palomino [119] [121]
47Prakash Panangaden [43] [47]
48Mikkel Lykke Pedersen [39]
49Jaco van de Pol [111]
50Jan Poulsen [39]
51Michel A. Reniers [103] [106] [108] [110] [116] [126]
52Arni Hermann Reynisson [120]
53Joshua Sack [104] [105] [114]
54Jiri Sgall [123] [124]
55Steinar Hugi Sigurdarson [120]
56Marjan Sirjani [120]
57Pawel Sobocinski [109]
58Jirí Srba [101]
59P. J. A. van Tilburg (Paul van Tilburg) [92]
60Irek Ulidowski [65]
61Frits W. Vaandrager [12] [18]
62Chris Verhoef [36] [44]
63Björn Victor [54]
64Igor Walukiewicz [94] [95]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Thu May 24 01:13:30 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page