Barbara König

	2009
59		Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski: Unfolding Grammars in Adhesive Categories. CALCO 2009: 350-366
58		Filippo Bonchi, Fabio Gadducci, Barbara König: Synthesising CCS bisimulation using graph rewriting. Inf. Comput. 207(1): 14-40 (2009)
	2008
57		Salil Joshi, Barbara König: Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems. CAV 2008: 214-226
56		Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König: Unfolding-Based Diagnosis of Systems with an Evolving Topology. CONCUR 2008: 203-217
55		Paolo Baldan, Andrea Corradini, Barbara König: Unfolding Graph Transformation Systems: Theory and Applications to Verification. Concurrency, Graphs and Models 2008: 16-36
54		Guilherme Rangel, Barbara König, Hartmut Ehrig: Deriving Bisimulation Congruences in the Presence of Negative Application Conditions. FoSSaCS 2008: 413-427
53		Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan: Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts. ICGT 2008: 242-256
52		Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Barbara König: Open Petri Nets: Non-deterministic Processes and Compositionality. ICGT 2008: 257-273
51		Barbara König, Vitali Kozioura: Towards the Verification of Attributed Graph Transformation Systems. ICGT 2008: 305-320
50		Harrie Jan Sander Bruggink, Barbara König: On the Recognizability of Arrow and Graph Languages. ICGT 2008: 336-350
49		Paolo Baldan, Barbara König: Workshop on Petri Nets and Graph Transformations. ICGT 2008: 467-469
48		Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König: Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets CoRR abs/0809.4115: (2008)
47		Paolo Baldan, Barbara König: Preface. ECEASST 14: (2008)
46		Barbara König, Vitali Kozioura: Augur 2 - A New Version of a Tool for the Analysis of Graph Transformation Systems. Electr. Notes Theor. Comput. Sci. 211: 201-210 (2008)
45		Barbara König, Arend Rensink, Reiko Heckel: Preface. Electr. Notes Theor. Comput. Sci. 213(1): 1-2 (2008)
44		Paolo Baldan, Andrea Corradini, Barbara König: A framework for the verification of infinite-state graph transformation systems. Inf. Comput. 206(7): 869-907 (2008)
43		Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König: Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. Logical Methods in Computer Science 4(4): (2008)
42		Paolo Baldan, Andrea Corradini, Barbara König, Stefan Schwoon: McMillan's Complete Prefix for Contextual Nets. T. Petri Nets and Other Models of Concurrency 1: 199-220 (2008)
	2007
41		Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König: Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CALCO 2007: 126-142
40		Barbara König: Deriving Bisimulation Congruences with Borrowed Contexts. CALCO 2007: 36-39
39		Guilherme Rangel, Barbara König, Hartmut Ehrig: Bisimulation Verification for the DPO Approach with Borrowed. ECEASST 6: (2007)
38		Arend Rensink, Reiko Heckel, Barbara König: Preface. Electr. Notes Theor. Comput. Sci. 175(4): 1-2 (2007)
37		Andrea Corradini, Fabio Gadducci, Wolfram Kahl, Barbara König: Inequational Deduction as Term Graph Rewriting. Electr. Notes Theor. Comput. Sci. 72(1): 31-44 (2007)
36		Barbara König, Vitali Kozioura: Incremental construction of coverability graphs. Inf. Process. Lett. 103(5): 203-209 (2007)
	2006
35		Paolo Baldan, Stefan Haar, Barbara König: Distributed Unfolding of Petri Nets. FoSSaCS 2006: 126-141
34		Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski: Processes for Adhesive Rewriting Systems. FoSSaCS 2006: 202-216
33		Paolo Baldan, Hartmut Ehrig, Barbara König: Composition and Decomposition of DPO Transformations with Borrowed Context. ICGT 2006: 153-167
32		Filippo Bonchi, Fabio Gadducci, Barbara König: Process Bisimulation Via a Graphical Encoding. ICGT 2006: 168-183
31		Andrea Corradini, Tobias Heindel, Frank Hermann, Barbara König: Sesqui-Pushout Rewriting. ICGT 2006: 30-45
30		Filippo Bonchi, Barbara König, Ugo Montanari: Saturated Semantics for Reactive Systems. LICS 2006: 69-80
29		Barbara König, Vitali Kozioura: Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems. TACAS 2006: 197-211
28		Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente: A Temporal Graph Logic for Verification of Graph Transformation Systems. WADT 2006: 1-20
27		Barbara König: Graph transformation systems, Petri nets and Semilinear Sets: Checking for the Absence of Forbidden Paths in Graphs. ECEASST 2: (2006)
26		Arend Rensink, Reiko Heckel, Barbara König: Preface. Electr. Notes Theor. Comput. Sci. 154(2): 1-5 (2006)
25		Hartmut Ehrig, Barbara König: Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts. Mathematical Structures in Computer Science 16(6): 1133-1163 (2006)
	2005
24		Barbara König, Ugo Montanari, Philippa Gardner: Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004 IBFI, Schloss Dagstuhl, Germany 2005
23		Hermann Gruber, Markus Holzer, Astrid Kiehn, Barbara König: On Timed Automata with Discrete Time - Structural and Language Theoretical Characterization. Developments in Language Theory 2005: 272-283
22		Barbara König: A general framework for types in graph rewriting. Acta Inf. 42(4-5): 349-388 (2005)
21		Barbara König, Vitali Kozioura: Augur - A Tool for the Analysis of Graph Transformation Systems. Bulletin of the EATCS 87: 126-137 (2005)
20		Barbara König: Analysing input/output-capabilities of mobile processes with a generic type system. J. Log. Algebr. Program. 63(1): 35-58 (2005)
	2004
19		Paolo Baldan, Andrea Corradini, Barbara König: Verifying Finite-State Graph Grammars: An Unfolding-Based Approach. CONCUR 2004: 83-98
18		Hartmut Ehrig, Barbara König: Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting. FoSSaCS 2004: 151-166
17		Barbara König, Ugo Montanari, Philippa Gardner: 04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems. Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems 2004
16		Paolo Baldan, Barbara König, Arend Rensink: Summary 2: Graph Grammar Verification through Abstraction. Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems 2004
15		Paolo Baldan, Barbara König, Ingo Stürmer: Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems. ICGT 2004: 194-209
14		Markus Holzer, Barbara König: Regular Languages, Sizes of Syntactic Monoids, Graph Colouring, State Complexity Results, and How These Topics are Related to Each Other (Column: Formal Language Theory). Bulletin of the EATCS 83: 139-155 (2004)
13		Paolo Baldan, Andrea Corradini, Barbara König, Bernhard König: Verifying a Behavioural Logic for Graph Transformation Systems. Electr. Notes Theor. Comput. Sci. 104: 5-24 (2004)
12		Markus Holzer, Barbara König: On deterministic finite automata and syntactic monoid size. Theor. Comput. Sci. 327(3): 319-347 (2004)
	2003
11		Markus Holzer, Barbara König: On Deterministic Finite Automata and Syntactic Monoid Size, Continued. Developments in Language Theory 2003: 349-360
10		Paolo Baldan, Barbara König, Bernhard König: A Logic for Analyzing Abstractions of Graph Transformation Systems. SAS 2003: 255-272
	2002
9		Markus Holzer, Barbara König: On Deterministic Finite Automata and Syntactic Monoid Size. Developments in Language Theory 2002: 258-269
8		Paolo Baldan, Barbara König: Approximating the Behaviour of Graph Transformation Systems. ICGT 2002: 14-29
7		Barbara König: Hypergraph Construction and its Application to the Static Analysis of Concurrent Systems. Mathematical Structures in Computer Science 12(2): 149-175 (2002)
	2001
6		Paolo Baldan, Andrea Corradini, Barbara König: A Static Analysis Technique for Graph Transformation Systems. CONCUR 2001: 381-395
5		Barbara König, Ugo Montanari: Observational Equivalence for Synchronized Graph Rewriting with Mobility. TACS 2001: 145-164
	2000
4		Barbara König: A General Framework for Types in Graph Rewriting. FSTTCS 2000: 373-384
3		Barbara König: Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System. ICALP 2000: 403-414
2		Barbara König: A Graph Rewriting Semantics for the Polyadic Calculus. ICALP Satellite Workshops 2000: 451-458
	1999
1		Barbara König: Generating Type Systems for Process Graphs. CONCUR 1999: 352-367

Coauthor Index

1	Paolo Baldan	[6] [8] [10] [13] [15] [16] [19] [28] [33] [34] [35] [41] [42] [43] [44] [47] [48] [49] [52] [53] [55] [56] [59]
2	Filippo Bonchi	[30] [32] [58]
3	Harrie Jan Sander Bruggink	[50]
4	Thomas Chatain	[56]
5	Andrea Corradini	[6] [13] [19] [28] [31] [34] [37] [41] [42] [43] [44] [48] [52] [55] [59]
6	Hartmut Ehrig	[18] [25] [33] [39] [41] [43] [48] [52] [53] [54]
7	Fabio Gadducci	[32] [37] [58]
8	Philippa Gardner	[17] [24]
9	Hermann Gruber	[23]
10	Stefan Haar	[35] [56]
11	Reiko Heckel	[26] [38] [41] [43] [45] [48]
12	Tobias Heindel	[31] [34] [59]
13	Frank Hermann	[31]
14	Markus Holzer	[9] [11] [12] [14] [23]
15	Salil Joshi	[57]
16	Wolfram Kahl	[37]
17	Astrid Kiehn	[23]
18	Bernhard König	[10] [13]
19	Vitali Kozioura	[21] [29] [36] [46] [51]
20	Leen Lambers	[53]
21	Alberto Lluch-Lafuente	[28]
22	Ugo Montanari	[5] [17] [24] [30]
23	Guilherme Rangel	[39] [53] [54]
24	Arend Rensink	[16] [26] [38] [45]
25	Stefan Schwoon	[42]
26	Pawel Sobocinski	[34] [59]
27	Ingo Stürmer	[15]

Colors in the list of coauthors