Anna Ingólfsdóttir

	2012
92		Luca Aceto, Anna Ingólfsdóttir: Characteristic Formulae for Relations with Nested Fixed Points FICS 2012: 15-22
91		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: 141-152
90		Luca 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
89		Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir: PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates. CALCO 2011: 378-385
88		Luca 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
87		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 FOCLASA 2011: 1-19
86		Luca 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
85		Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi: Decompositional Reasoning about the History of Parallel Processes. FSEN 2011: 32-47
84		Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir: Axiomatizing Weak Ready Simulation Semantics over BCCSP. ICTAC 2011: 7-24
83		Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: Rule Formats for Distributivity. LATA 2011: 80-91
82		Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir: Axiomatizing GSOS with Predicates SOS 2011: 1-15
81		Luca Aceto, Wiebe van der Hoek, Anna Ingólfsdóttir, Joshua Sack: Sigma algebras in probabilistic epistemic dynamics. TARK 2011: 191-199
80		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. 111(9): 408-413 (2011)
79		Luca 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)
78		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. 412(28): 3045-3071 (2011)
	2010
77		Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: A Rule Format for Unit Elements. SOFSEM 2010: 141-152
76		Luca 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)
75		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. 265: 145-160 (2010)
74		Luca Aceto, Anna Ingólfsdóttir, Joshua Sack: Resource bisimilarity and graded bisimilarity coincide. Inf. Process. Lett. 111(2): 68-76 (2010)
	2009
73		Luca Aceto, Anna Ingólfsdóttir, Joshua Sack: Characteristic Formulae for Fixed-Point Semantics: A General Framework EXPRESS 2009: 1-15
72		Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers: Rule Formats for Determinism and Idempotence. FSEN 2009: 146-161
71		Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir: A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages SOS 2009: 1-16
70		Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jirí Srba: Teaching Concurrency: Theory in Practice. TFM 2009: 158-175
69		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. 10(1): (2009)
68		Luca Aceto, Anna Ingólfsdóttir: Algebraic Properties for Free! Bulletin of the EATCS 99: 82-103 (2009)
67		Luca Aceto, Jos C. M. Baeten, Wan Fokkink, Anna Ingólfsdóttir, Uwe Nestmann: Preface. J. Log. Algebr. Program. 78(4): (2009)
66		Luca Aceto, Anna Ingólfsdóttir: Foreword: special issue in memory of Nadia Busi. Mathematical Structures in Computer Science 19(6): 1061-1063 (2009)
	2008
65		Luca 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
64		Luca 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
63		Luca 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
62		Luca 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
61		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 94: 113-129 (2008)
60		Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir: A Cancellation Theorem for BCCSP. Fundam. Inform. 88(1-2): 1-21 (2008)
59		Luca 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)
58		Luca Aceto, Anna Ingólfsdóttir: On the expressibility of priority. Inf. Process. Lett. 109(1): 83-85 (2008)
57		Luca Aceto, Anna Ingólfsdóttir: Guest Editors' Foreword. J. Log. Algebr. Program. 77(1-2): (2008)
56		Luca 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
55		Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir: Ready to Preorder: Get Your BCCSP Axiomatization for Free! CALCO 2007: 65-79
54		Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi: Impossibility Results for the Equational Theory of Timed CCS. CALCO 2007: 80-95
53		Luca Aceto, Anna Ingólfsdóttir: The Saga of the Axiomatization of Parallel Composition. CONCUR 2007: 2-16
52		Luca Aceto, Anna Ingólfsdóttir: Characteristic Formulae: From Automata to Logic. Bulletin of the EATCS 91: 58-75 (2007)
51		Luca Aceto, Anna Ingólfsdóttir: Guest Editors' Foreword. J. Log. Algebr. Program. 73(1-2): 1 (2007)
	2006
50		Luca 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
49		Corrado Priami, Anna Ingólfsdóttir, Bud Mishra, Hanne Riis Nielson: Transactions on Computational Systems Biology VII Springer 2006
48		Luca Aceto, Taolue Chen, Wan Fokkink, Anna Ingólfsdóttir: On the Axiomatizability of Priority. ICALP (2) 2006: 480-491
47		Luca 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
46		Luca 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)
45		Luca 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
44		Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Sumit Nain: Bisimilarity Is Not Finitely Based over BPA with Interrupt. CALCO 2005: 52-66
43		Luca 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
42		Luca 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)
41		Luca 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)
40		Anna Ingólfsdóttir, Daniel Gudbjartsson: Genetic Linkage Analysis Algorithms and Their Implementation. T. Comp. Sys. Biology: 123-144 (2005)
39		Luca 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)
38		Luca 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
37		Luca 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)
36		Luca 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)
	2003
35		Daniel Gudbjartsson, Jens A. Hansen, Anna Ingólfsdóttir, Jacob Johnsen, John Knudsen: Single Point Algorithms in Genetic Linkage Analysis. EUROCAST 2003: 372-383
34		Luca 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
33		Zoltán Ésik, Anna Ingólfsdóttir: Foreword. ITA 37(4): 272 (2003)
32		Anna Ingólfsdóttir: A semantic theory for value-passing processes based on the late approach. Inf. Comput. 184(1): 1-44 (2003)
31		Luca 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)
30		Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir: Equational theories of tropical semirings. Theor. Comput. Sci. 3(298): 417-469 (2003)
	2002
29		Zoltán Ésik, Anna Ingólfsdóttir: Fixed Points in Computer Science, FICS 2002, Copenhagen, Denmark, 20-21 July 2002, Preliminary Proceedings University of Aarhus 2002
28		Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir: Equational Axioms for Probabilistic Bisimilarity. AMAST 2002: 239-253
27		Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir: A Fully Equational Proof of Parikh's Theorem. ITA 36(2): 129-153 (2002)
	2001
26		Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir: Axiomatizing Tropical Semirings. FoSSaCS 2001: 42-56
25		Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir: 2-Nested Simulation Is Not Finitely Equationally Axiomatizable. STACS 2001: 39-50
24		Samson 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)
23		Anna Ingólfsdóttir, Andrea Schalk: A fully abstract denotational model for observational precongruence. Theor. Comput. Sci. 254(1-2): 35-61 (2001)
	2000
22		Luca 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
21		Lone Halkjaer, Karen Haervig, Anna Ingólfsdóttir: Verification of the legOS Scheduler using Uppaal. Electr. Notes Theor. Comput. Sci. 39(3): 273-292 (2000)
20		Luca Aceto, Anna Ingólfsdóttir, Mikkel Lykke Pedersen, Jan Poulsen: Characteristic formulae for timed automata. ITA 34(6): 565-584 (2000)
	1999
19		Luca Aceto, Anna Ingólfsdóttir: Testing Hennessy-Milner Logic with Recursion. FoSSaCS 1999: 41-55
18		Anna Ingólfsdóttir, Rosario Pugliese: Towards Verified Lazy Implementation of Concurrent Value-Passing Languages. Electr. Notes Theor. Comput. Sci. 27: 18-24 (1999)
	1998
17		Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir: A Cook's Tour of Equational Axiomatizations for Prefix Iteration. FoSSaCS 1998: 20-34
16		Luca 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)
15		Luca 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
14		Luca 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)
13		Luca Aceto, Anna Ingólfsdóttir: A Characterization of Finitary Bisimulation. Inf. Process. Lett. 64(3): 127-134 (1997)
	1996
12		Luca Aceto, Anna Ingólfsdóttir: An Equational Axiomatization of Observation Congruence for Prefix Iteration. AMAST 1996: 195-209
11		Anna Ingólfsdóttir: Weak Semantics Based on Lighted Button Pressing Experiments. CSL 1996: 226-243
10		Luca Aceto, Rob J. van Glabbeek, Wan Fokkink, Anna Ingólfsdóttir: Axiomatizing Prefix Iteration with Silent Steps. Inf. Comput. 127(1): 26-40 (1996)
9		Luca Aceto, Anna Ingólfsdóttir: CPO Models for Compact GSOS Languages. Inf. Comput. 129(2): 107-141 (1996)
	1995
8		Anna Ingólfsdóttir, Andrea Schalk: A Fully Abstract Denotational Model for Observational Precongruence. CSL 1995: 335-361
7		Luca Aceto, Anna Ingólfsdóttir: CPO Models for a Class of GSOS Languages. TAPSOFT 1995: 439-453
6		Anna Ingólfsdóttir: Late and Early Semantics Coincide for Testing. Theor. Comput. Sci. 146(1&2): 341-349 (1995)
	1994
5		Bernhard Steffen, Anna Ingólfsdóttir: Characteristic Formulae for Processes with Divergence Inf. Comput. 110(1): 149-163 (1994)
	1993
4		Matthew Hennessy, Anna Ingólfsdóttir: Communicating Processes with Value-passing and Assignments. Formal Asp. Comput. 5(5): 432-466 (1993)
3		Matthew Hennessy, Anna Ingólfsdóttir: A Theory of Communicating Processes with Value Passing Inf. Comput. 107(2): 202-236 (1993)
	1991
2		Luca Aceto, Anna Ingólfsdóttir: A Theory of Testing for ACP. CONCUR 1991: 78-95
	1990
1		Matthew Hennessy, Anna Ingólfsdóttir: A Theory of Communicating Processes with Value-Passing. ICALP 1990: 209-219

Coauthor Index

1	Samson Abramsky	[24]
2	Luca Aceto	[2] [7] [9] [10] [12] [13] [14] [15] [16] [17] [19] [20] [22] [24] [25] [26] [27] [28] [30] [31] [34] [36] [37] [38] [39] [41] [42] [43] [44] [45] [46] [47] [48] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90] [91] [92]
3	Jos C. M. Baeten	[61] [67]
4	Arnar Birgisson	[72] [85] [90]
5	Georgiana Caltais	[82] [89]
6	Silvio Capobianco	[59]
7	Taolue Chen	[48] [56] [79]
8	Matteo Cimini	[71] [75] [78] [83] [87]
9	Ivan Damgård (Ivan Bjerre Damgård)	[64] [65]
10	Zoltán Ésik	[22] [26] [27] [28] [29] [30] [33] [38]
11	Ignacio Fábregas	[86] [88]
12	Wan Fokkink	[10] [15] [16] [17] [25] [31] [37] [38] [39] [41] [42] [43] [44] [45] [46] [47] [48] [55] [56] [60] [61] [63] [67] [69] [76]
13	David de Frutos-Escrig	[80] [84] [86] [88] [91]
14	Rob J. van Glabbeek	[10] [37]
15	Leslie Ann Goldberg (Leslie A. Henderson)	[64] [65]
16	Eugen-Ioan Goriac	[82] [89]
17	Carlos Gregorio-Rodríguez	[80] [84] [91]
18	Daniel Gudbjartsson	[35] [40]
19	Karen Haervig	[21]
20	Lone Halkjaer	[21]
21	Magnús M. Halldórsson	[64] [65]
22	Jens A. Hansen	[34] [35] [36]
23	Matthew Hennessy	[1] [3] [4]
24	Wiebe van der Hoek	[81]
25	Hans Hüttel	[14]
26	Jacob Johnsen	[34] [35] [36]
27	Josva Kleist	[14]
28	John Knudsen	[34] [35] [36]
29	Kim Guldstrand Larsen (Kim G. Larsen)	[70]
30	Bas Luttik (S. P. Luttik)	[39] [41] [42] [43] [46] [47] [59] [62] [69] [79]
31	Bud Mishra (Bhubaneswar Mishra)	[49]
32	Mohammad Reza Mousavi	[54] [63] [72] [75] [76] [77] [78] [83] [85] [90]
33	Sumit Nain	[44] [45]
34	Uwe Nestmann	[61] [67]
35	Hanne Riis Nielson	[49]
36	Miguel Palomino	[86] [88]
37	Mikkel Lykke Pedersen	[20]
38	Jaco van de Pol	[79]
39	Jan Poulsen	[20]
40	Corrado Priami	[49]
41	Rosario Pugliese	[18]
42	Michel A. Reniers	[72] [75] [77] [78] [83] [90]
43	Arni Hermann Reynisson	[87]
44	Joshua Sack	[73] [74] [81]
45	Andrea Schalk	[8] [23]
46	Steinar Hugi Sigurdarson	[87]
47	Marjan Sirjani	[87]
48	Jirí Srba	[70]
49	Bernhard Steffen	[5]
50	P. J. A. van Tilburg (Paul van Tilburg)	[62]
51	Igor Walukiewicz	[64] [65]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page