Books and Journal Articles

To appear

H.J. Sander Bruggink and Barbara König. Recognizable languages of arrows. Mathematical Structures in Computer Science, to appear.
Info
Barbara König and Sebastian Küpper. A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata. Soft Computing, to appear.
Info
See link.springer.com ...

2017

Jan Stückrath and Barbara König. A general framework for well-structured graph transformation systems. Information and Computation, 252:79–94, 2017.
Info
See www.sciencedirect.com ...

2016

Barbara König and Sebastian Küpper. A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata. Soft Computing, pages 1–18, 2016.
Info
See dx.doi.org ...

2015

Harsh Beohar, Mahsa Varshosaz, and Mohammad Reza Mousavi. Basic behavioral models for software product lines: Expressiveness and testing pre-orders. Science of Computer Programming, 2015. In press.
Info
See www.sciencedirect.com ...
H.J. Sander Bruggink, Barbara König, and Sebastian Küpper. Robustness and closure properties of recognizable languages in adhesive categories. Science of Computer Programming, 104:71–98, 2015.
Info
Parosh Aziz Abdulla, Fabio Gadducci, Barbara König, and Viktor Vafeiadis. Verification of Evolving Graph Structures (Dagstuhl Seminar 15451). Dagstuhl Reports, 5(11), 2015.
Info
See drops.dagstuhl.de ...
H. J. Sander Bruggink, Barbara König, and Sebastian Küpper. Robustness and closure properties of recognizable languages in adhesive categories. Sci. Comput. Program., 104:71–98, 2015.
Info
See dx.doi.org ...

2014

Harsh Beohar and Pieter Cuijpers. Avoiding diamonds in desynchronisation. Science of Computer Programming, 91, Part A(0):45 – 69, 2014.
Info
See www.sciencedirect.com ...
Cormac Flanagan and Barbara König. Developments in automated verification techniques. International Journal on Software Tools for Technology Transfer, 16(2), 2014.
Info
See link.springer.com ...
Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, and Paweł Sobociński. Processes and unfoldings: Concurrent computations in adhesive categories. Mathematical Structures in Computer Science, 24(4), 2014.
Info
See journals.cambridge.org ...

2013

Henning Kerstan and Barbara König. Coalgebraic trace semantics for continuous probabilistic transition systems. Logical Methods in Computer Science, 9 [4:16](834), dec 2013.
Info
Christoph Blume, H.J. Sander Bruggink, Martin Friedrich, and Barbara König. Treewidth, pathwidth and cospan decompositions with applications to graph-accepting tree automata. Journal of Visual Languages & Computing, 24(3):192–206, 2013.
Info
See dx.doi.org ...
Conference version

2012

Andrei Dorman, Tobias Heindel, and Barbara König. Structured operational semantics for graph rewriting. Scientific Annals of Computer Science, XXII(1):105–145, 2012.
Info
See www.info.uaic.ro ...
Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, César Rodriguez, and Stefan Schwoon. Efficient unfolding of contextual Petri nets. Theoretical Computer Science, 449:2–22, 2012.
Info
See www.sciencedirect.com ...
Conference version

2011

Harsh Beohar and Pieter Cuijpers. Desynchronizability of (partial) synchronous closed loop systems. Scientific Annals of Computer Science, 21:5–38, 2011.
Info
Paolo Baldan, Filippo Bonchi, Andrea Corradini, Tobias Heindel, and Barbara König. A lattice-theoretical perspective on adhesive categories. Journal of Symbolic Computation, 46:222–245, 2011.
Info
See www.sciencedirect.com ...

2010

Paolo Baldan, Thomas Chatain, Stefan Haar, and Barbara König. Unfolding-based diagnosis of systems with an evolving topology. Information and Computation, 208:1169–1192, 2010.
Info
See www.sciencedirect.com ...

2009

Hartmut Ehrig, Claudia Ermel, Frank Hermann, and Barbara König. Behaviour simulation and equivalence of systems modelled by graph transformation. EATCS Bulletin, 97:117–125, February 2009. Appeared in The Formal Specification Column.
Info
Filippo Bonchi, Fabio Gadducci, and Barbara König. Synthesising CCS bisimulation using graph rewriting. Information and Computation, 207:14–40, 2009.
Info

2008

Paolo Baldan, Andrea Corradini, Barbara König, and Stefan Schwoon. McMillan's complete prefix for contextual nets. LNCS Transactions on Petri Nets and Other Models of Concurrency (ToPNoC), 5100:199–220, 2008.
Info
Conference version
Paolo Baldan, Andrea Corradini, and Barbara König. A framework for the verification of infinite-state graph transformation systems. Information and Computation, 206:869–907, 2008.
Info
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel, and Barbara König. Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. Logical Methods in Computer Science, 4(4:3), 2008.
Info
See www.lmcs-online.org ...
Conference version

2007

Barbara König and Vitali Kozioura. Incremental construction of coverability graphs. Information Processing Letters, 103(5):203–209, 2007.
Info

2006

Hartmut Ehrig and 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.
Info
Conference version, Tech report version

2005

Barbara König. Analysing input/output-capabilities of mobile processes with a generic type system. Journal of Logic and Algebraic Programming, 63(1):35–58, 2005.
Info
Conference version
Barbara König. A general framework for types in graph rewriting. Acta Informatica, 42(4-5):349–388, 2005.
Info
Conference version

2004

Markus Holzer and Barbara König. On deterministic finite automata and syntactic monoid size. Theoretical Computer Science, 327:319–347, 2004.
Info
Conference version, Conference version

2002

Barbara König. Hypergraph construction and its application to the static analysis of concurrent systems. Mathematical Structures in Computer Science, 12:149–175, 2002.
Info
Conference version
© University of Duisburg-Essen, Theoretical Computer Science group