dblp.uni-trier.dewww.uni-trier.de

Barbara König Vis

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

*2009
59EEPaolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski: Unfolding Grammars in Adhesive Categories. CALCO 2009: 350-366
58EEFilippo Bonchi, Fabio Gadducci, Barbara König: Synthesising CCS bisimulation using graph rewriting. Inf. Comput. 207(1): 14-40 (2009)
2008
57EESalil Joshi, Barbara König: Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems. CAV 2008: 214-226
56EEPaolo Baldan, Thomas Chatain, Stefan Haar, Barbara König: Unfolding-Based Diagnosis of Systems with an Evolving Topology. CONCUR 2008: 203-217
55EEPaolo Baldan, Andrea Corradini, Barbara König: Unfolding Graph Transformation Systems: Theory and Applications to Verification. Concurrency, Graphs and Models 2008: 16-36
54EEGuilherme Rangel, Barbara König, Hartmut Ehrig: Deriving Bisimulation Congruences in the Presence of Negative Application Conditions. FoSSaCS 2008: 413-427
53EEGuilherme 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
52EEPaolo Baldan, Andrea Corradini, Hartmut Ehrig, Barbara König: Open Petri Nets: Non-deterministic Processes and Compositionality. ICGT 2008: 257-273
51EEBarbara König, Vitali Kozioura: Towards the Verification of Attributed Graph Transformation Systems. ICGT 2008: 305-320
50EEHarrie Jan Sander Bruggink, Barbara König: On the Recognizability of Arrow and Graph Languages. ICGT 2008: 336-350
49EEPaolo Baldan, Barbara König: Workshop on Petri Nets and Graph Transformations. ICGT 2008: 467-469
48EEPaolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König: Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets CoRR abs/0809.4115: (2008)
47EEPaolo Baldan, Barbara König: Preface. ECEASST 14: (2008)
46EEBarbara 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)
45EEBarbara König, Arend Rensink, Reiko Heckel: Preface. Electr. Notes Theor. Comput. Sci. 213(1): 1-2 (2008)
44EEPaolo Baldan, Andrea Corradini, Barbara König: A framework for the verification of infinite-state graph transformation systems. Inf. Comput. 206(7): 869-907 (2008)
43EEPaolo 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)
42EEPaolo 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
41EEPaolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Barbara König: Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets. CALCO 2007: 126-142
40EEBarbara König: Deriving Bisimulation Congruences with Borrowed Contexts. CALCO 2007: 36-39
39EEGuilherme Rangel, Barbara König, Hartmut Ehrig: Bisimulation Verification for the DPO Approach with Borrowed. ECEASST 6: (2007)
38EEArend Rensink, Reiko Heckel, Barbara König: Preface. Electr. Notes Theor. Comput. Sci. 175(4): 1-2 (2007)
37EEAndrea Corradini, Fabio Gadducci, Wolfram Kahl, Barbara König: Inequational Deduction as Term Graph Rewriting. Electr. Notes Theor. Comput. Sci. 72(1): 31-44 (2007)
36EEBarbara König, Vitali Kozioura: Incremental construction of coverability graphs. Inf. Process. Lett. 103(5): 203-209 (2007)
2006
35EEPaolo Baldan, Stefan Haar, Barbara König: Distributed Unfolding of Petri Nets. FoSSaCS 2006: 126-141
34EEPaolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski: Processes for Adhesive Rewriting Systems. FoSSaCS 2006: 202-216
33EEPaolo Baldan, Hartmut Ehrig, Barbara König: Composition and Decomposition of DPO Transformations with Borrowed Context. ICGT 2006: 153-167
32EEFilippo Bonchi, Fabio Gadducci, Barbara König: Process Bisimulation Via a Graphical Encoding. ICGT 2006: 168-183
31EEAndrea Corradini, Tobias Heindel, Frank Hermann, Barbara König: Sesqui-Pushout Rewriting. ICGT 2006: 30-45
30EEFilippo Bonchi, Barbara König, Ugo Montanari: Saturated Semantics for Reactive Systems. LICS 2006: 69-80
29EEBarbara König, Vitali Kozioura: Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems. TACAS 2006: 197-211
28EEPaolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente: A Temporal Graph Logic for Verification of Graph Transformation Systems. WADT 2006: 1-20
27EEBarbara König: Graph transformation systems, Petri nets and Semilinear Sets: Checking for the Absence of Forbidden Paths in Graphs. ECEASST 2: (2006)
26EEArend Rensink, Reiko Heckel, Barbara König: Preface. Electr. Notes Theor. Comput. Sci. 154(2): 1-5 (2006)
25EEHartmut 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
23EEHermann 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
22EEBarbara 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)
20EEBarbara König: Analysing input/output-capabilities of mobile processes with a generic type system. J. Log. Algebr. Program. 63(1): 35-58 (2005)
2004
19EEPaolo Baldan, Andrea Corradini, Barbara König: Verifying Finite-State Graph Grammars: An Unfolding-Based Approach. CONCUR 2004: 83-98
18EEHartmut Ehrig, Barbara König: Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting. FoSSaCS 2004: 151-166
17EEBarbara 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
16EEPaolo 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
15EEPaolo 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)
13EEPaolo 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)
12EEMarkus Holzer, Barbara König: On deterministic finite automata and syntactic monoid size. Theor. Comput. Sci. 327(3): 319-347 (2004)
2003
11EEMarkus Holzer, Barbara König: On Deterministic Finite Automata and Syntactic Monoid Size, Continued. Developments in Language Theory 2003: 349-360
10EEPaolo Baldan, Barbara König, Bernhard König: A Logic for Analyzing Abstractions of Graph Transformation Systems. SAS 2003: 255-272
2002
9EEMarkus Holzer, Barbara König: On Deterministic Finite Automata and Syntactic Monoid Size. Developments in Language Theory 2002: 258-269
8EEPaolo 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
6EEPaolo Baldan, Andrea Corradini, Barbara König: A Static Analysis Technique for Graph Transformation Systems. CONCUR 2001: 381-395
5EEBarbara König, Ugo Montanari: Observational Equivalence for Synchronized Graph Rewriting with Mobility. TACS 2001: 145-164
2000
4EEBarbara König: A General Framework for Types in Graph Rewriting. FSTTCS 2000: 373-384
3EEBarbara 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
1EEBarbara König: Generating Type Systems for Process Graphs. CONCUR 1999: 352-367

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)