Barbara König

	2012
77		Cormac Flanagan, Barbara König: Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings Springer 2012
76		Mathias Hülsbusch, Barbara König: Deriving Bisimulation Congruences for Conditional Reactive Systems. FoSSaCS 2012: 361-375
75		Jirí Adámek, Filippo Bonchi, Mathias Hülsbusch, Barbara König, Stefan Milius, Alexandra Silva: A Coalgebraic Perspective on Minimization and Determinization. FoSSaCS 2012: 58-73
74		Nathalie Bertrand, Giorgio Delzanno, Barbara König, Arnaud Sangnier, Jan Stückrath: On the Decidability Status of Reachability and Coverability in Graph Transformation Systems. RTA 2012: 101-116
	2011
73		Joost-Pieter Katoen, Barbara König: CONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings Springer 2011
72		Harrie Jan Sander Bruggink, Raphaël Cauderlier, Mathias Hülsbusch, Barbara König: Conditional Reactive Systems. FSTTCS 2011: 191-203
71		Marvin Heumüller, Salil Joshi, Barbara König, Jan Stückrath: Construction of Pushout Complements in the Category of Hypergraphs. ECEASST 39: (2011)
70		Christoph Blume, Harrie Jan Sander Bruggink, Martin Friedrich, Barbara König: Treewidth, Pathwidth and Cospan Decompositions. ECEASST 41: (2011)
69		Paolo Baldan, Filippo Bonchi, Andrea Corradini, Tobias Heindel, Barbara König: A lattice-theoretical perspective on adhesive categories. J. Symb. Comput. 46(3): 222-245 (2011)
	2010
68		Barbara König, Javier Esparza: Verification of Graph Transformation Systems with Context-Free Specifications. ICGT 2010: 107-122
67		Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, Stefan Schwoon: On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars. ICGT 2010: 91-106
66		Harrie Jan Sander Bruggink, Barbara König: A Logic on Subobjects and Recognizability. IFIP TCS 2010: 197-212
65		Mathias Hülsbusch, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim: Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques. IFM 2010: 183-198
64		Frank Hermann, Andrea Corradini, Hartmut Ehrig, Barbara König: Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets. ECEASST 29: (2010)
63		Christoph Blume, Harrie Jan Sander Bruggink, Barbara König: Recognizable Graph Languages for Checking Invariants. ECEASST 29: (2010)
62		Frank Hermann, Mathias Hülsbusch, Barbara König: Specification and Verification of Model Transformations. ECEASST 30: (2010)
61		Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König: Unfolding-based diagnosis of systems with an evolving topology. Inf. Comput. 208(10): 1169-1192 (2010)
	2009
60		Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski: Unfolding Grammars in Adhesive Categories. CALCO 2009: 350-366
59		Hartmut Ehrig, Claudia Ermel, Frank Hermann, Barbara König: Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation. Bulletin of the EATCS 97: 117-125 (2009)
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	Jirí Adámek	[75]
2	Paolo Baldan	[6] [8] [10] [13] [15] [16] [19] [28] [33] [34] [35] [41] [42] [43] [44] [47] [48] [49] [52] [53] [55] [56] [60] [61] [67] [69]
3	Nathalie Bertrand	[74]
4	Christoph Blume	[63] [70]
5	Filippo Bonchi	[30] [32] [58] [69] [75]
6	Harrie Jan Sander Bruggink	[50] [63] [66] [70] [72]
7	Alessandro Bruni	[67]
8	Raphaël Cauderlier	[72]
9	Thomas Chatain	[56] [61]
10	Andrea Corradini	[6] [13] [19] [28] [31] [34] [37] [41] [42] [43] [44] [48] [52] [55] [60] [64] [67] [69]
11	Giorgio Delzanno	[74]
12	Hartmut Ehrig	[18] [25] [33] [39] [41] [43] [48] [52] [53] [54] [59] [64]
13	Claudia Ermel	[59]
14	Javier Esparza	[68]
15	Cormac Flanagan	[77]
16	Martin Friedrich	[70]
17	Fabio Gadducci	[32] [37] [58]
18	Philippa Gardner	[17] [24]
19	Hermann Gruber	[23]
20	Stefan Haar	[35] [56] [61]
21	Reiko Heckel	[26] [38] [41] [43] [45] [48]
22	Tobias Heindel	[31] [34] [60] [69]
23	Frank Hermann	[31] [59] [62] [64]
24	Marvin Heumüller	[71]
25	Markus Holzer	[9] [11] [12] [14] [23]
26	Mathias Hülsbusch	[62] [65] [72] [75] [76]
27	Salil Joshi	[57] [71]
28	Wolfram Kahl	[37]
29	Joost-Pieter Katoen	[73]
30	Astrid Kiehn	[23]
31	Bernhard König	[10] [13]
32	Vitaly Kozyura (Vitali Kozioura, Vitaly E. Kozura)	[21] [29] [36] [46] [51]
33	Leen Lambers	[53]
34	Alberto Lluch-Lafuente	[28]
35	Stefan Milius	[75]
36	Ugo Montanari	[5] [17] [24] [30]
37	Guilherme Rangel	[39] [53] [54]
38	Arend Rensink	[16] [26] [38] [45] [65]
39	Arnaud Sangnier	[74]
40	Stefan Schwoon	[42] [67]
41	Maria Semenyak	[65]
42	Alexandra Silva	[75]
43	Pawel Sobocinski	[34] [60]
44	Christian Soltenborn	[65]
45	Jan Stückrath	[71] [74]
46	Ingo Stürmer	[15]
47	Heike Wehrheim	[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