EDBT 2026 Demo / reviewers in the wild / expert
Barbara König 0001
dblp:k/BarbaraKonig1
· DBLP profile ↗
21ranked-venue papers in the field
6as first author
2since 2021 · last 2025
0000-0002-4193-2889ORCID · verified
Domains — venue-derived; a paper can count in several
Other / Interdisciplinary · 21 (6 first)
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems
Barbara König 0001, Arend Rensink, Lara Stoltenow, Fabian Urrigshardt |
ICGT | 1 |
| 2023 | A Monoidal View on Fixpoint Checks
Paolo Baldan, Richard Eggert, Barbara König 0001, Timo Matt, Tommaso Padoan |
ICGT | 3 |
| 2020 | A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java
H. J. Sander Bruggink, Barbara König 0001, Marleen Matjeka, Dennis Nolte, Lara Stoltenow |
ICGT | 2 |
| 2018 | CoReS: A Tool for Computing Core Graphs via SAT/SMT Solvers
Barbara König 0001, Maxime Nederkorn, Dennis Nolte |
ICGT | 1 |
| 2017 | Specifying Graph Languages with Type Graphs
Andrea Corradini 0001, Barbara König 0001, Dennis Nolte |
ICGT | 2 |
| 2015 | Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings
H. J. Sander Bruggink, Barbara König 0001, Dennis Nolte, Hans Zantema |
ICGT | 2 |
| 2012 | Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking
Christoph Blume, H. J. Sander Bruggink, Dominik Engelke, Barbara König 0001 |
ICGT | 4 |
| 2012 | Well-Structured Graph Transformation Systems with Negative Application Conditions
Barbara König 0001, Jan Stückrath |
ICGT | 1 |
| 2010 | On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars
Paolo Baldan, Alessandro Bruni, Andrea Corradini 0001, Barbara König 0001, Stefan Schwoon |
ICGT | 4 |
| 2010 | Verification of Graph Transformation Systems with Context-Free Specifications
Barbara König 0001, Javier Esparza |
ICGT | 1 |
| 2008 | Open Petri Nets: Non-deterministic Processes and Compositionality
Paolo Baldan, Andrea Corradini 0001, Hartmut Ehrig, Barbara König 0001 |
ICGT | 4 |
| 2008 | Workshop on Petri Nets and Graph Transformations
Paolo Baldan, Barbara König 0001 |
ICGT | 2 |
| 2008 | On the Recognizability of Arrow and Graph Languages
H. J. Sander Bruggink, Barbara König 0001 |
ICGT | 2 |
| 2008 | Towards the Verification of Attributed Graph Transformation Systems
Barbara König 0001, Vitaly Kozyura |
ICGT | 1 |
| 2008 | Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts
Guilherme Rangel, Leen Lambers, Barbara König 0001, Hartmut Ehrig, Paolo Baldan |
ICGT | 3 |
| 2007 | Incremental construction of coverability graphs
Barbara König 0001, Vitaly Kozyura |
Inf. Process. Lett. | 1 |
| 2006 | Composition and Decomposition of DPO Transformations with Borrowed Context
Paolo Baldan, Hartmut Ehrig, Barbara König 0001 |
ICGT | 3 |
| 2006 | Process Bisimulation Via a Graphical Encoding
Filippo Bonchi, Fabio Gadducci, Barbara König 0001 |
ICGT | 3 |
| 2006 | Sesqui-Pushout Rewriting
Andrea Corradini 0001, Tobias Heindel, Frank Hermann 0001, Barbara König 0001 |
ICGT | 4 |
| 2004 | Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems
Paolo Baldan, Barbara König 0001, Ingo Stürmer |
ICGT | 2 |
| 2002 | Approximating the Behaviour of Graph Transformation Systems
Paolo Baldan, Barbara König 0001 |
ICGT | 2 |