Personensuche

Personensuche

Bitte geben Sie den Namen der gesuchten Person ein.

Es wurde 1 Person gefunden.

Prof. Dr. rer. nat. Barbara König

Anschrift
Lotharstr. 65 (LF)
47057 Duisburg
Raum
LF 264
Telefon
+49 203 379 3397
Telefax
+49 203 379 35 57
E-Mail
barbara_koenig@uni-due.de
Webseite
http://www.ti.inf.uni-due.de/

Funktionen

  • Studiendekan/in, Informatik

  • Universitätsprofessor/in, Theoretische Informatik

Die folgenden Publikationen sind in der Online-Universitätsbibliographie der Universität Duisburg-Essen verzeichnet. Weitere Informationen finden Sie gegebenenfalls auch auf den persönlichen Webseiten der Person.

    Artikel in Zeitschriften

  • Baldan, Paolo; Eggert, Richard; König, Barbara; Padoan, Tommaso
    Fixpoint Theory : Upside Down
    In: Logical Methods in Computer Science Jg. 19 (2023) Nr. 2, S. 15:1 - 15:60
    Online Volltext: dx.doi.org/ (Open Access)
  • Bonchi, Filippo; König, Barbara; Petrişan, Daniela
    Up-to techniques for behavioural metrics via fibrations
    In: Mathematical Structures in Computer Science Jg. 33 (2023) Nr. 4-5: Differences and Metrics in Programs Semantics: Advances in Quantitative Relational Reasoning, S. 182 - 221
    Online Volltext: dx.doi.org/ (Open Access)
  • Hülsbusch, Mathias; König, Barbara; Küpper, Sebastian; Stoltenow, Lars
    Conditional Bisimilarity for Reactive Systems
    In: Logical Methods in Computer Science Jg. 18 (2022) Nr. 1, S. 6:1 - 6:41
    Online Volltext: dx.doi.org/ (Open Access)
  • Beohar, Harsh; König, Barbara; Küpper, Sebastian; Silva, Alexandra
    Conditional transition systems with upgrades
    In: Science of Computer Programming Jg. 186 (2020) 102320
    Online Volltext: dx.doi.org/ (Open Access)
  • König, Barbara; Leisten, Rainer; Stückrath, Jan
    Permutation flow shop scheduling: Variability of completion time differences : NP-completeness
    In: International Journal of Operational Research: IJOR Jg. 39 (2020) Nr. 4, S. 562 - 573
    Online Volltext: dx.doi.org/
  • König, Barbara; Nederkorn, Maxime; Nolte, Dennis
    CoReS: A tool for computing core graphs via SAT/SMT solvers
    In: Journal of Logical and Algebraic Methods in Programming Jg. 109 (2019) S. 100484
    Online Volltext: dx.doi.org/
  • Baldan, Paolo; König, Barbara; Mika-Michalski, Christina; Padoan, Tommaso
    Fixpoint games on continuous lattices
    In: Proceedings of the ACM on Programming Languages Jg. 3 (2019) Nr. POPL, S. 26
    Online Volltext: dx.doi.org/ (Open Access)
  • Corradini, Andrea; König, Barbara; Nolte, Dennis
    Specifying graph languages with type graphs
    In: Journal of Logical and Algebraic Methods in Programming Jg. 104 (2019) S. 176 - 200
    Online Volltext: dx.doi.org/ (Open Access)
  • Beohar, Harsh; König, Barbara; Küpper, Sebastian; Silva, Alexandra; Wissmann, Thorsten
    A coalgebraic treatment of conditional transition systems with upgrades
    In: Logical Methods in Computer Science Jg. 14 (2018) Nr. 1, S. 19
    Online Volltext: dx.doi.org/ (Open Access)
  • König, Barbara; Küpper, Sebastian
    A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata
    In: Soft Computing Jg. 22 (2018) Nr. 4, S. 1103 - 1120
    Online Volltext: dx.doi.org/
  • Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara
    Coalgebraic behavioral metrics
    In: Logical Methods in Computer Science Jg. 14 (2018) Nr. 3, S. 20
    Online Volltext: dx.doi.org/ (Open Access)
  • Bruggink, H.J. Sander; König, Barbara
    Recognizable languages of arrows and cospans
    In: Mathematical Structures in Computer Science Jg. 28 (2018) Nr. 8, S. 1290 - 1332
    Online Volltext: dx.doi.org/
  • König, Barbara; Stückrath, Jan
    Well-structured graph transformation systems
    In: Information and Computation Jg. 252 (2017) S. 71 - 94
    Online Volltext: dx.doi.org/
  • Sander Bruggink, H. J.; König, Barbara; Küpper, Sebastian
    Robustness and closure properties of recognizable languages in adhesive categories
    In: Science of Computer Programming Jg. 104 (2015) S. 71 - 98
    Online Volltext: dx.doi.org/
  • Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara
    Towards trace metrics via functor lifting
    In: Leibniz International Proceedings in Informatics (LIPIcs) Jg. 35 (2015) Nr. October, S. 35 - 49
    Online Volltext: dx.doi.org/ Online Volltext
  • Aziz Abdulla, Parosh; Gadducci, Fabio; König, Barbara; Vafeiadis, Viktor
    Verification of Evolving Graph Structures : Dagstuhl Seminar 15451
    In: Dagstuhl Reports Jg. 5 (2015) Nr. 11, S. 1 - 28
    Online Volltext: dx.doi.org/ (Open Access)
  • Flanagan, Cormac; König, Barbara
    Developments in automated verification techniques
    In: International Journal on software tools for technology transfer Jg. 16 (2014) Nr. 2, S. 123 - 125
    Online Volltext: dx.doi.org/
  • Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobocinski, Pawel
    Processes and unfoldings : Concurrent computations in adhesive categories
    In: Mathematical Structures in Computer Science Jg. 24 (2014) Nr. 4, 240402
    Online Volltext: dx.doi.org/ Online Volltext (Open Access)
  • Kerstan, Henning; König, Barbara
    Coalgebraic trace semantics for continuous probabilistic transition systems
    In: Logical Methods in Computer Science Jg. 9 (2013) Nr. 4, S. 1 - 34
    Online Volltext: dx.doi.org/ (Open Access)
  • Blume, Christoph; Bruggink, H.J. Sander; Friedrich, Martin; König, Barbara
    Treewidth, pathwidth and cospan decompositions with applications to graph-accepting tree automata
    In: Journal of Visual Languages and Computing Jg. 24 (2013) Nr. 3, S. 192 - 206
    Online Volltext: dx.doi.org/
  • Baldan, Paolo; Bruni, Alessandro; Corradini, Andrea; König, Barbara; Rodríguez, César; Schwoon, Stefan
    Efficient unfolding of contextual Petri nets
    In: Theoretical Computer Science Jg. 449 (2012) S. 2 - 22
    Online Volltext: dx.doi.org/ (Open Access)
  • Dorman, Andrei; Heindel, Tobias; König, Barbara
    Structured operational semantics for graph rewriting
    In: Scientific Annals of Computer Science Jg. 22 (2012) Nr. 1, S. 105 - 145
    Online Volltext: dx.doi.org/
  • Baldan, Paolo; Bonchi, Filippo; Corradini, Andrea; Heindel, Tobias; König, Barbara
    A lattice-theoretical perspective on adhesive categories
    In: Journal of Symbolic Computation Jg. 46 (2011) Nr. 3, S. 222 - 245
    Online Volltext: dx.doi.org/
  • Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara
    Unfolding-based diagnosis of systems with an evolving topology
    In: Information and Computation Jg. 208 (2010) Nr. 10, S. 1169 - 1192
    Online Volltext: dx.doi.org/ (Open Access)
  • Ehrig, Hartmut; Ermel, Claudia; Hermann, Frank; König, Barbara
    Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation
    In: Bulletin of the European Association for Theoretical Computer Science (EATCS) (2009) Nr. 97, S. 117 - 125
    Online Volltext
  • Bonchi, Filippo; Gadducci, Fabio; König, Barbara
    Synthesising CCS bisimulation using graph rewriting
    In: Information and Computation Jg. 207 (2009) Nr. 1, S. 14 - 40
    Online Volltext: dx.doi.org/ (Open Access)
  • Baldan, Paolo; Corradini, Andrea; König, Barbara
    A Framework for the Verification of Infinite-State Graph Transformation Systems
    In: Information and Computation Jg. 206 (2008) Nr. 7, S. 869 - 907
    Online Volltext: dx.doi.org/ (Open Access)
  • König, Barbara; Kozioura, Vitali;
    Augur 2 - A New Version of a Tool for the Analysis of Graph Transformation Systems
    Fifth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), 1-2 April 2006, Vienna, Austria,
    In: Electronic Notes in Theoretical Computer Science Jg. 211 (2008) Nr. C, S. 201 - 210
    Online Volltext: dx.doi.org/ (Open Access)
  • Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara
    Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
    In: Logical Methods in Computer Science Jg. 4 (2008) Nr. 4, S. 3
    Online Volltext: dx.doi.org/ (Open Access)
  • König, Barbara; Kozioura, Vitali
    Incremental Construction of Coverability Graphs
    In: Information Processing Letters Jg. 103 (2007) Nr. 5, S. 203 - 209
    Online Volltext: dx.doi.org/
  • Corradini, Andrea; Gadducci, Fabio; Kahl, Wolfram; König, Barbara
    Inequational Deduction as Term Graph Rewriting
    In: Electronic Notes in Theoretical Computer Science Jg. 72 (2007) Nr. 1, S. 31 - 44
    Online Volltext: dx.doi.org/ (Open Access)
  • Ehrig, Hartmut; König, Barbara
    Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting with Borrowed Contexts
    In: Mathematical Structures in Computer Science Jg. 16 (2006) Nr. 6, S. 1133 - 1163
    Online Volltext: dx.doi.org/
  • König, Barbara
    A General Framework for Types in Graph Rewriting
    In: Acta Informatica Jg. 42 (2005) Nr. 4-5, S. 349 - 388
    Online Volltext: dx.doi.org/
  • König, Barbara
    Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System
    In: Journal of Logic and Algebraic Programming Jg. 63 (2005) Nr. 1, S. 35 - 58
    Online Volltext: dx.doi.org/ (Open Access)
  • König, Barbara; Kozioura, Vitali
    Augur-A Tool for the Analysis of Graph Transformation Systems
    In: Bulletin of the European Association for Theoretical Computer Science (EATCS Bulletin) Jg. 87 (2005) S. 125 - 137
    Online Volltext; Online Volltext
  • Holzer, Markus; König, Barbara
    On Deterministic Finite Automata and Syntactic Monoid Size
    In: Theoretical Computer Science Jg. 327 (2004) Nr. 3, S. 319 - 347
    Online Volltext: dx.doi.org/ (Open Access)
  • Holzer, Markus; König, Barbara
    Regular Languages, Sizes of Syntactic Monoids, Graph Colouring, State Complexity Results, and How These Topics are Related to Each Other
    In: Bulletin of the European Association for Theoretical Computer Science (EATCS Bulletin) Jg. 83 (2004) S. 139 - 155
    Online Volltext; Online Volltext
  • Baldan, Paolo; Corradini, Andrea; König, Barbara; König, Bernhard
    Verifying a Behavioural Logic for Graph Transformation Systems
    In: Electronic Notes in Theoretical Computer Science. - Proceedings of the Workshop of the COMETA Project on Computational Metamodels Jg. 104 (2004) S. 5 - 24
    Online Volltext
  • Brauer, Wilfried; Holzer, Markus; König, Barbara; Schwoon, Stefan
    The Theory of Finite-State Adventures
    In: Bulletin of the European Association for Theoretical Computer Science (EATCS Bulletin) Jg. 79 (2003) S. 230 - 237
    Online Volltext; Online Volltext
  • König, Barbara
    Hypergraph Construction and Its Application to the Static Analysis of Concurrent Systems
    In: Mathematical Structures in Computer Science Jg. 12 (2002) Nr. 2, S. 149 - 175
    Online Volltext: dx.doi.org/

    • Aufsätze

  • Wild, Paul; Schröder, Lutz; Pattinson, Dirk; König, Barbara
    A van Benthem Theorem for Quantitative Probabilistic Modal Logic
    (2018)
    (Open Access)
  • Bonchi, Filippo; König, Barbara; Küpper, Sebastian
    Up-To Techniques for Weighted Systems (Extended Version)
    (2017)
    Online Volltext
  • König, Barbara; Stückrath, Jan
    A General Framework for Well-Structured Graph Transformation Systems
    (2014)
    Online Volltext

    • Vorworte / Nachworte

  • Goubault-Larrecq, Jean; König, Barbara;
    Preface
    23rd International Conference, FOSSACS 2020, 25 - 30 April 2020, Dublin, Ireland,
    In: Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / Goubault-Larrecq, Jean; König, Barbara (Hrsg.) (2020)
    Online Volltext: dx.doi.org/ (Open Access)
  • König, Barbara
    Preface : Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics
    In: Electronic Notes in Theoretical Computer Science Jg. 347 (2019) S. 1 - 3
    Online Volltext: dx.doi.org/ (Open Access)
  • Di Ruscio, Davide; König, Barbara
    Preface
    In: STAF 2017 Doctoral Symposium: Proceedings of the Doctoral Symposium Held as a Part of STAF 2017 co-located with Software Technologies: Applications and Foundations (STAF 2017) / Doctoral Symposium as a part of STAF 2017, 17. July 2017, Marburg, Germany / Di Ruscio, Davide; König, Barbara (Hrsg.) Jg. 1955 (2017)
    Online Volltext (Open Access)

    • Beiträge in Sammelwerken und Tagungsbänden

  • Beohar, Harsh; König, Barbara; Forster, Jonas; Wild, Paul; Gurke, Sebastian; Messing, Karla; Schröder, Lutz
    Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach
    In: 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024) / Symposium on Theoretical Aspects of Computer Science (STACS) / Beyersdorff, Olaf; Kante, Mamadou; Kupferman, Orna; Lokshtanov, Daniel (Hrsg.) 2024 10
    Online Volltext: dx.doi.org/ (Open Access)
  • Baldan, Paolo; Eggert, Richard; König, Barbara; Padoan, Tommaso
    A Lattice-Theoretical View of Strategy Iteration
    In: 31st EACSL Annual Conference on Computer Science Logic: CSL 2023, February 13-16, 2023, Warsaw, Poland / 31st EACSL Annual Conference on Computer Science Logic: CSL 2023, 13.-16.02.2023, Warsaw / Klin, Bartek; Pimentel, Elaine (Hrsg.) 2023 7
    Online Volltext: dx.doi.org/ Online Volltext (Open Access)
  • Baldan, Paolo; Eggert, Richard; König, Barbara; Matt, Timo; Padoan, Tommaso
    A Monoidal View on Fixpoint Checks
    In: Graph Transformation: 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023, Proceedings / Fernández, Maribel; Poskitt, Christopher M.; 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023 2023, S. 3 - 21
    Online Volltext: dx.doi.org/ (Open Access)
  • Beohar, Harsh; Gurke, Sebastian; König, Barbara; Messing, Karla
    Hennessy-Milner Theorems via Galois Connections
    In: 31st EACSL Annual Conference on Computer Science Logic (CSL 2023) / 31st EACSL Annual Conference on Computer Science Logic, February 13-16, 2023, Warsaw, Poland / Klin, Bartek; Pimentel, Elaine (Hrsg.) 2023 12:1-12:18
    Online Volltext: dx.doi.org/ (Open Access)
  • Wittbold, Florian; Bernemann, Rebecca; Heckel, Reiko; Heindel, Tobias; König, Barbara
    Stochastic Decision Petri Nets
    In: Application and Theory of Petri Nets and Concurrency: Proceedings / Gomes, Luis; Lorenz, Robert; 44th International Conference, PETRI NETS 2023; Lisbon, Portugal; 25–30 June 2023 2023, S. 264 - 285
    Online Volltext: dx.doi.org/ (Open Access)
  • Ford, Chase; Beohar, Harsh; König, Barbara; Milius, Stefan; Schröder, Lutz
    Graded Monads and Behavioural Equivalence Games
    In: LICS '22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science / 37th Annual ACM/IEEE Symposium on Logic in Computer Science ; LICS '22 ; August 2 - 5, 2022, Haifa, Israel / Baier, Christel (Hrsg.) 2022 61
    Online Volltext: dx.doi.org/
  • Schaffeld, Matthias; Bernemann, Rebecca; Weis, Torben; König, Barbara; Matkovic, Viktor
    Lifecycle-Based View on Cyber-Physical System Models Using Extended Hidden Markov Models
    In: Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2022) / 20. ACM-IEEE International Conference on Formal Methods and Models for System Design: Shanghai, China; Online; 13-14 October 2022 2022
    Online Volltext: dx.doi.org/
  • Beohar, Harsh; König, Barbara; Küpper, Sebastian; Mika-Michalski, Christina
    Predicate and Relation Liftings for Coalgebras with Side Effects : An Application in Coalgebraic Modal Logic
    In: Coalgebraic Methods in Computer Science: Proceedings / 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022 / Hansen, Helle Hvid; Zanasi, Fabio (Hrsg.) 2022, S. 1 - 22
    Online Volltext: dx.doi.org/ (Open Access)
  • Baldan, Paolo; Eggert, Richard; König, Barbara; Padoan, Tommaso
    Fixpoint theory – upside down
    In: Foundations of Software Science and Computation Structures: Proceedings / 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021 / Kiefer, Stefan; Tasson, Christine (Hrsg.) 2021, S. 62 - 81
    Online Volltext: dx.doi.org/ (Open Access)
  • Bruggink, H. J. Sander; König, Barbara; Matjeka, Marleen; Nolte, Dennis; Stoltenow, Lars
    A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java
    In: Graph Transformation: Proceedings / 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020 / Gadducci, Fabio; Kehrer, Timo (Hrsg.) 2020, S. 297 - 306
    Online Volltext: dx.doi.org/ (Open Access)
  • Baldan, Paolo; König, Barbara; Padoan, Tommaso
    Abstraction, up-to techniques and games for systems of fixpoint equations
    In: Proceedings of the 31st International Conference on Concurrency Theory / CONCUR 2020; Virtual, Vienna, Austria; 1 - 4 September 2020 / Konnov, Igor; Kovacs, Laura (Hrsg.) 2020, S. 251 - 2520
    Online Volltext: dx.doi.org/ Online Volltext (Open Access)
  • Hülsbusch, Mathias; König, Barbara; Küpper, Sebastian; Stoltenow, Lars
    Conditional bisimilarity for reactive systems
    In: 5th International Conference on Formal Structures for Computation and Deduction: FSCD 2020, June 29-July 6, 2020, Paris, France (virtual conference) / International Conference on Formal Structures for Computation and Deduction ; FSCD ; June 29 - July 6, 2020, Paris / Ariola, Zena M. (Hrsg.) 2020, S. 10
    Online Volltext: dx.doi.org/ Online Volltext
  • König, Barbara; Mika-Michalski, Christina; Schröder, Lutz
    Explaining non-bisimilarity in a coalgebraic approach: Games and distinguishing formulas
    In: Coalgebraic Methods in Computer Science: Proceedings / 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020 2020, S. 133 - 154
    Online Volltext: dx.doi.org/ (Open Access)
  • Bernemann, Rebecca; Cabrera, Benjamin; Heckel, Reiko; König, Barbara
    Uncertainty reasoning for probabilistic petri nets via bayesian networks
    In: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (virtual conference) / 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS 2020, 14.-18.12 2020, Goa, India, Virtual / Saxena, Nitin; Simon, Sunil (Hrsg.) 2020 38
    Online Volltext: dx.doi.org/ (Open Access)
  • Wild, Paul; Schröder, Lutz; Pattinson, Dirk; König, Barbara
    A modal characterization theorem for a probabilistic fuzzy description logic
    In: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence / International Joint Conferences on Artifical Intelligence (IJCAI), Macao, 10-16 August 2019 / Kraus, Sarit (Hrsg.) 2019, S. 1900 - 1906
    Online Volltext: dx.doi.org/ (Open Access)
  • Corradini, Andrea; Heindel, Tobias; König, Barbara; Nolte, Dennis; Rensink, Arend
    Rewriting Abstract Structures : Materialization Explained Categorically
    In: Foundations of Software Science and Computation Structures: Proceedings / 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019 2019, S. 169 - 188
    Online Volltext: dx.doi.org/ (Open Access)
  • König, Barbara; Mika-Michalski, Christina
    (Metric) bisimulation games and real-valued modal logics for coalgebras
    In: 29th International Conference on Concurrency Theory (CONCUR 2018) / CONCUR 2018 : 29th International Conference on Concurrency Theory, Sep 4, 2018 - Sep 7, 2018, Beijing, China 2018
    Online Volltext: dx.doi.org/
  • König, Barbara; Nolte, Dennis; Padberg, Julia; Rensink, Arend
    A Tutorial on Graph Transformation
    In: Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig / Heckel, Reiko; Taentzer, Gabriele (Hrsg.) 2018, S. 83 - 104
    Online Volltext: dx.doi.org/ Online Volltext (Open Access)
  • Wild, Paul; Schröder, Lutz; Pattinson, Dirk; König, Barbara
    A van Benthem Theorem for Fuzzy Modal Logic
    In: Proceedings of the Symposium on Logic in Computer Science / 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018; Oxford; United Kingdom; 9 July 2018 through 12 July 2018 Jg. Part F138033 2018, S. 909 - 918
    Online Volltext: dx.doi.org/ (Open Access)
  • König, Barbara; Nederkorn, Maxime; Nolte, Dennis
    CoReS: A tool for computing core graphs via SAT/SMT solvers
    In: Graph Transformation / 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018 2018, S. 37 - 42
    Online Volltext: dx.doi.org/
  • Bonchi, Filippo; König, Barbara; Petrisan, Daniela
    Up-to techniques for behavioural metrics via fibrations
    In: 29th International Conference on Concurrency Theory (CONCUR 2018) / CONCUR 2018 : 29th International Conference on Concurrency Theory, Sep 4, 2018 - Sep 7, 2018, Beijing, China 2018
    Online Volltext: dx.doi.org/
  • Cabrera, Benjamin; Heindel, Tobias; Heckel, Reiko; König, Barbara
    Updating probabilistic knowledge on condition/event nets using Bayesian networks
    In: 29th International Conference on Concurrency Theory (CONCUR 2018) / CONCUR 2018 : 29th International Conference on Concurrency Theory, Sep 4, 2018 - Sep 7, 2018, Beijing, China 2018
    Online Volltext: dx.doi.org/
  • König, Barbara; Mika-Michalski, Christina
    Bisimulation Games on Coalgebras
    In: CALCO Early Ideas 2017: a satellite workshop of CALCO 2017 / 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), 12-16 June 2017 - Ljubljana, Slovenia 2017 8:1 bis 8:3
  • Beohar, Harsh; König, Barbara; Küpper, Sebastian; Silva, Alexandra
    Conditional transition systems with upgrades
    In: The 11th International Symposium on Theoretical Aspects of Software Engineering: Proceedings / 11th International Symposium on Theoretical Aspects of Software Engineering (TASE) , 13–15 September 2017, Sophia Antipolis, France / Deantoni, Julien (Hrsg.) 2017
    Online Volltext: dx.doi.org/ (Open Access)
  • Cabrera, Benjamin; König, Barbara
    Extracting the Main Path of Historic Events from Wikipedia
    In: Network Intelligence Meets User Centered Social Media Networks / ENIC '17 (European Network Intelligence Conference) 2017, S. 65 - 81
    Online Volltext: dx.doi.org/
  • König, Barbara; Küpper, Sebastian; Mika-Michalski, Christina
    PAWS : A tool for the analysis of weighted systems
    In: Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems / Workshop on Quantitative Aspects of Programming Languages and Systems, Uppsala, Sweden, 23rd April 2017 / Wiklicky, Herbert; de Vink, Erik (Hrsg.) 2017, S. 75 - 91
    Online Volltext: dx.doi.org/ (Open Access)
  • Corradini, Andrea; König, Barbara; Nolte, Dennis
    Specifying Graph Languages with Type Graphs
    In: Graph Transformation: Proceedings / 10th International Conference on Graph Transformation, ICGT 201718-19 July 2017, Marburg, Germany 2017, S. 73 - 89
    Online Volltext: dx.doi.org/
  • Bonchi, Filippo; König, Barbara; Küpper, Sebastian
    Up-To Techniques for Weighted Systems
    In: Tools and Algorithms for the Construction and Analysis of Systems: Proceedings, Part I / 23rd International Conference Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, 22-29. April 2017, Uppsala, Sweden / Legay, Axel; Margaria, Tiziana (Hrsg.) 2017, S. 535 - 552
    Online Volltext: dx.doi.org/
  • Zantema, Hans; Nolte, Dennis; König, Barbara
    Termination of term graph rewriting
    In: 15th International Workshop on Termination: Proceedings / WST 2016, September 5–7, 2016, Obergurgl, Austria / Middeldorp, Aart; Thiemann, Rene (Hrsg.) 2016 14:1-14:5
    Online Volltext
  • Bruggink, H. J. Sander; König, Barbara; Nolte, Dennis; Zantema, Hans
    Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings
    In: Graph Transformation: Proceedings / 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015 2015, S. 52 - 68
    Online Volltext: dx.doi.org/
  • König, Barbara; Stückrath, Jan
    A general framework for well-structured graph transformation systems
    In: CONCUR 2014 – Concurrency Theory: 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings / 25th International Conference, CONCUR 2014, 2-5 September 2014, Rome, Italy / Baldan, Paolo (Hrsg.) 2014, S. 457 - 481
    Online Volltext: dx.doi.org/
  • Baldan, Paolo; Bonchi, Filippo; Kerstan, Henning; König, Barbara
    Behavioral Metrics via Functor Lifting
    In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014) / 34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014), 15-17 Dezember 2014, New Delhi, India / Raman, Venkatesh; Suresh, S. P. (Hrsg.) 2014, S. 403 - 415
    Online Volltext: dx.doi.org/ Online Volltext (Open Access)
  • König, Barbara; Küpper, Sebastian
    Generic partition refinement algorithms for coalgebras and an instantiation to weighted automata
    In: Theoretical Computer Science: Proceedings / 8th IFIP TC 1/WG 2.2 international conference, TCS 2014, Rome, Italy, September 1 - 3, 2014 / Diaz, Josep; Lanese, Ivan; Sangiorgi, Davide (Hrsg.) 2014, S. 311 - 325
    Online Volltext: dx.doi.org/
  • Kerstan, Henning; König, Barbara; Westerbaan, Bram
    Lifting adjunctions to coalgebras to (re)discover automata constructions
    In: Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers / International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014, 5-6 April 2014, Grenoble, France / Bonsangue, Marcello M. (Hrsg.) 2014, S. 168 - 188
    Online Volltext: dx.doi.org/
  • Bruggink, H. J. Sander; König, Barbara; Zantema, Hans
    Termination Analysis for Graph Transformation Systems
    In: Theoretical computer science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 ; Proceedings / International Conference on Theoretical Computer Science ; TCS ; September 1-3, 2014, Rome / Diaz, Josep; Lanese, Ivan; Sangiorgi, Davide (Hrsg.) 2014, S. 179 - 194
    Online Volltext: dx.doi.org/ Online Volltext (Open Access)
  • Zantema, Hans; König, Barbara; Bruggink, Sander
    Termination of cycle rewriting
    In: Rewriting and Typed Lambda Calculi / Joint International Conference, RTA-TLCA 2014, Vienna, Austria, July 14-17, 2014 / Dowek, Gilles (Hrsg.) 2014, S. 476 - 490
    Online Volltext: dx.doi.org/
  • Sander Bruggink, H.J.; König, Barbara; Küpper, Sebastian
    Concatenation and other Closure Properties of Recognizable Languages in Adhesive Categories
    In: Proceedings of the 12th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2013) / 12th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2013), März 2013, Rom, Italy 2013, S. 1 - 14
    Online Volltext: dx.doi.org/ (Open Access)
  • Adámek, Jiří; Bonchi, Filippo; Hülsbusch, Mathias; König, Barbara; Milius, Stefan; Silva, Alexandra
    A coalgebraic perspective on minimization and determinization
    In: Foundations of software science and computational structures: 15th international conference ; proceedings / Birkedal, Lars (Hrsg.) 2012, S. 58 - 73
    Online Volltext: dx.doi.org/
  • Kerstan, Henning; König, Barbara
    Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory
    In: CONCUR 2012 – Concurrency Theory: Proceedings / 23rd International Conference, CONCUR 2012, 4-7 September 2012, Newcastle upon Tyne, UK / Koutny, Maciej; Ulidowski, Irek (Hrsg.) 2012, S. 410 - 424
    Online Volltext: dx.doi.org/
  • König, Barbara
    Conditions in Reactive Systems and in Graph Rewriting
    In: Proceedings of the 5th International Workshop on Petri Nets, Graph Transformation and other Concurrency Formalisms (PNGT 2012) / 5th International Workshop on Petri Nets, Graph Transformation and other, PNGT 2012, 29. September 2012, Bremen, Germany 2012
    Online Volltext: dx.doi.org/ Online Volltext (Open Access)
  • Hülsbusch, Mathias; König, Barbara
    Deriving bisimulation congruences for conditional reactive systems
    In: Foundations of software science and computational structures: 15th international conference ; proceedings / 15th International Conference (FOSSACS), March 24 – April 1, 2012, Tallinn, Estonia / Birkedal, Lars (Hrsg.) 2012, S. 361 - 375
    Online Volltext: dx.doi.org/
  • Blume, Christoph; Bruggink, H.J. Sander; Engelke, Dominik; König, Barbara
    Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking
    In: Graph Transformations: Proceedings / 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012 / Ehrig, Hartmut; Engels, Gregor; Kreowski, Hans-Jörg; Rozenberg, Grzegorz (Hrsg.) 2012, S. 264 - 278
    Online Volltext: dx.doi.org/
  • Stückrath, Jan; Sangnier, Arnaud; König, Barbara; Delzanno, Georgio; Bertrand, Nathalie
    On the decidability status of reachability and coverability in graph transformation systems
    In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) / International Conference on Rewriting Techniques and Applications, May 28 - June 2, 2012, Nagoya, Japan / Tiwari, Ashish (Hrsg.) 2012, S. 101 - 116
    Online Volltext: dx.doi.org/
  • Bruggink, H.J. Sander; Hülsbusch, Mathias; König, Barbara
    Towards Alternating Automata for Graph Languages
    In: Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2012) / 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2012), 24-25 März 2012, Brighton, UK 2012
    Online Volltext: dx.doi.org/ Online Volltext (Open Access)
  • König, Barbara; Stückrath, Jan
    Well-structured graph transformation systems with negative application conditions
    In: Graph Transformations: 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings / 6th nternational Conference on Graph Transformation, ICGT 2012, 24-29 September 2012, Bremen, Germany / Ehrig, Hartmut; Engels, Gregor; Kreowski, Hans-Jörg; Rozenberg, Grzegorz (Hrsg.) 2012, S. 81 - 95
    Online Volltext: dx.doi.org/
  • Heumüller, Marvin; Joshi, Salil; König, Barbara; Stückrath, Jan
    Construction of Pushout Complements in the Category of Hypergraphs
    In: Graph Computation Models 2010 / GCM 2010 - The Third International Workshop on Graph Computation Models, 02. October 2010, Enschede, The Netherlands / Echahed, Rachid; Habel, Annegret; Mosbah, Mohamed (Hrsg.) 2011
    Online Volltext: dx.doi.org/ (Open Access)
  • Blume, Christoph; Sander Bruggink, H.J.; Friedrich, Martin; König, Barbara
    Treewidth, Pathwidth and Cospan Decompositions
    In: Proceedings of the Tenth International Workshop on Graph Transformation and Visual Modeling Techniques: GTVMT 2011 / Tenth International Workshop on Graph Transformation and Visual Modeling Techniques, GTVMT 2011, 2.-3- April 2011, Saarbrücken, Germany / Gadducci, Fabio; Mariani, Leonardo (Hrsg.) 2011
    Online Volltext: dx.doi.org/ Online Volltext (Open Access)
  • Bruggink, Sander; König, Barbara
    A Logic on Subobjects and Recognizability
    In: Theoretical Computer Science: 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010 / 6th International Conference on Theoretical Computer Science (TCS), September 20-23, 2010, Brisbane, Australia 2010, S. 197 - 212
    Online Volltext: dx.doi.org/
  • Hermann, Frank; Corradini, Andrea; Ehrig, Hartmut; König, Barbara
    Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets
    In: Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010) / e Ninth International Workshop on Graph Transformation and Visual Modeling Technique (GT-VMT), March 20-21 2010, Paphos, Cyprus 2010
    Online Volltext: dx.doi.org/
  • Baldan, Paolo; Bruni, Alessandro; Corradini, Andrea; König, Barbara; Schwoon, Stefan
    On the computation of McMillan's Complete Prefix for Contextual Nets and Graph Grammars
    In: Graph Transformations: 5th International Conference , ICGT 2010 / 5th International Conference on Graph Transformation (ICGT), September 27-October 2, 2010,Enschede, The Netherlands 2010, S. 91 - 106
    Online Volltext: dx.doi.org/
  • Blume, Christoph; Bruggink, H.J. Sander; König, Barbara
    Recognizable Graph Languages for Checking Invariants
    In: Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010) / 9. International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), March 20-21 2010, Paphos (Cypros) 2010, 13 Seiten
    Online Volltext: dx.doi.org/ (Open Access)
  • Hülsbusch, Mathias; König, Barbara; Rensink, Arend; Semenyak, Maria; Soltenborn, Christian; Wehrheim, Heike
    Showing Full Semantics Preservation in Model Transformation : A Comparison of Techniques
    In: Integrated Formal Methods: 8th International Conference on Integrated Formal Methods, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings / 8th International Conference on Integrated Formal Methods, IFM 2010, 11-14 October 2010, Nancy, France 2010, S. 183 - 198
    Online Volltext: dx.doi.org/
  • Hermann, Frank; Hülsbusch, Mathias; König, Barbara
    Specification and Verification of Model Transformations
    In: International Colloquium on Graph and Model Transformation: On the occasion of the 65th birthday of Hartmut Ehrig (GraMoT 2010) / GraMoT 2010, 11-12 February 2010, Berlin, Germany 2010
    Online Volltext: dx.doi.org/ (Open Access)
  • König, Barbara; Esparza, Javier
    Verification of Graph Transformation Systems with Context-Free Specifications
    In: Graph Transformations: Proceedings of the 5th International Conference on Graph Transformation, ICGT 2010 / 5th International Conference on Graph Transformation, ICGT 2010, 27. September - 2. October 2010, Enschede, The Netherlands / Ehrig, Hartmut; Rensink, Arend; Rozenberg, Grzegorz; Schürr, Andy (Hrsg.) 2010, S. 107 - 122
    Online Volltext: dx.doi.org/
  • König, Barbara; Kozyura, Vitaly
    Case Study: Verification of a Leader Election Protocol using Augur
    In: Solution for the 5th International Workshop on Graph-Based Tools, GraBaTs 2009 2009
    Online Volltext
  • Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobocinski, Pawel
    Unfolding Grammars in Adhesive Categories
    In: Algebra and coalgebra in computer science: third international conference, CALCO 2009 / 3rd International Conference on Algebra and Coalgebra in Computer Science (CALCO), September 7-10, 2009, Udine, Italy 2009, S. 350 - 366
    Online Volltext: dx.doi.org/
  • Joshi, Salil; König, Barbara
    Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems
    In: Computer aided verification: 20th international conference, CAV 2008 / 20th International Conference on Computer Aided Verification, July 7-14, 2008, Princeton, USA 2008, S. 214 - 226
    Online Volltext: dx.doi.org/
  • Rangel, Guilherme; Lambers, Leen; König, Barbara; Ehrig, Hartmut; Baldan, Paolo
    Behavior Preservation in Model Refactoring using DPO Transformations with Borrowed Contexts
    In: Graph Transformations: 4th International Conference, ICGT 2008 / 4th International Conference on Graph Transformations, September 7-13, 2008, Leicester, United Kingdom 2008, S. 242 - 256
    Online Volltext: dx.doi.org/
  • Rangel, Guilherme; König, Barbara; Ehrig, Hartmut
    Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
    In: Foundations of software science and computational structures: 11th international conference, FOSSACS 2008 / 11th International Conference on Foundations of Software Science and Computational Structures (FOSSACS), March 29-April 6, 2008, Budapest, Hungary 2008, S. 413 - 427
    Online Volltext: dx.doi.org/
  • Baldan, Paolo; Bonchi, Filippo; Heindel, Tobias; König, Barbara
    Irreducible Objects and Lattice Homomorphisms in Adhesive Categories
    In: Proceedings of the Workshop on Applied and Computational Category Theory (ACCAT '08) / Pfalzgraf, Jochen (Hrsg.) 2008
    Online Volltext
  • Baldan, Paolo; Corradini, Andrea; König, Barbara; Schwoon, Stefan
    McMillan's complete prefix for contextual nets
    In: Transactions on Petri Nets and Other Models of Concurrency I / Jensen, Kurt; Aalst, Wil M. P. van der; Billington, Jonathan (Hrsg.) 2008, S. 199 - 220
    Online Volltext: dx.doi.org/
  • Bruggink, Sander; König, Barbara
    On the recognizability of arrow and graph languages
    In: Graph Transformations: 4th International Conference, ICGT 2008 / 4th International Conference on Graph Transformations (ICGT), September 7-13, 2008, Leicester, United Kingdom 2008, S. 336 - 350
    Online Volltext: dx.doi.org/
  • Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; König, Barbara
    Open Petri Nets : Non-deterministic Processes and Compositionality
    In: Graph Transformations: 4th International Conference, ICGT 2008 / 4th International Conference on Graph Transformations (ICGT), September 7-13, 2008, Leicester, United Kingdom 2008, S. 257 - 273
    Online Volltext: dx.doi.org/
  • König, Barbara; Kozioura, Vitali
    Towards the Verification of Attributed Graph Transformation Systems
    In: Graph Transformations: 4th International Conference, ICGT 2008 / 4th International Conference on Graph Transformations (ICGT), September 7-13, 2008, Leicester, United Kingdom 2008, S. 305 - 320
    Online Volltext: dx.doi.org/
  • Baldan, Paolo; Corradini, Andrea; König, Barbara
    Unfolding Graph Transformation Systems : Theory and Applications to Verification
    In: Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / Degano, Pierpaolo; Nicola, Rocco De; Meseguer, José (Hrsg.) 2008, S. 16 - 36
    Online Volltext: dx.doi.org/
  • Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara
    Unfolding-based Diagnosis of Systems with an Evolving Topology
    In: CONCUR 2008 - concurrency theory / 19th International Conference on Concurrency Theory (CONCUR), August 19-22, 2008, Toronto, Canada 2008, S. 203 - 217
    Online Volltext: dx.doi.org/
  • Baldan, Paolo; König, Barbara
    Workshop on Petri Nets and Graph Transformations
    In: Graph transformations: 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7 - 13, 2008 ; proceedings / ICGT: International Conference on Graph Transformations ; 4 (Leicester) : 2008.09.07-13 / Ehrig, Hartmut; Heckel, Reiko; Rozenberg, Grzegorz; Taentzer, Gabriele (Hrsg.) 2008, S. 467 - 469
    Online Volltext: dx.doi.org/
  • Baldan, Paolo; Corradini, Andrea; König, Barbara; Lluch Lafuente, Alberto
    A Temporal Graph Logic for Verification of Graph Transformation Systems
    In: Recent Trends in Algebraic Development Techniques: 18th international workshop, WADT 2006 / International Workshop on Algebraic Development Techniques (WADT), June 1-3, 2006, La Roche en Ardenne, Belgium 2007, S. 1 - 20
    Online Volltext: dx.doi.org/
  • Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara
    Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
    In: Algebra and coalgebra in computer science: second international conference, CALCO 2007 / International Conference on Algebra and Coalgebra in Computer Science (CALCO), August 20-24, 2007, Bergen, Norway 2007, S. 126 - 142
    Online Volltext: dx.doi.org/
  • Rangel, Guilherme; König, Barbara; Ehrig, Hartmut
    Bisimulation Verification for the DPO Approach with Borrowed Contexts
    In: Proceedings of the Sixth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2007) / 6. International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), March 31 - April 1 2007, Braga, Portugal 2007, 14 Seiten
    Online Volltext: dx.doi.org/ (Open Access)
  • König, Barbara
    Deriving Bisimulation Congruences with Borrowed Contexts
    In: Algebra and coalgebra in computer science: second international conference, CALCO 2007 / Second International Conference on Algebra and Coalgebra in Computer Science (CALCO), August 20-24, 2007, Bergen, Norway 2007, S. 36 - 39
  • König, Barbara
    Graph transformation systems, Petri nets and semilinear sets : checking for the absence of forbidden paths in graphs
    In: Proceedings of the Workshop on Petri Nets and Graph Transformation (PNGT 2006) / Workshop on Petri Nets and Graph Transformation (PNGT), September 21-22, 2006, Natal, Brasil 2007
    Online Volltext: dx.doi.org/ (Open Access)
  • Baldan, Paolo; Ehrig, Hartmut; König, Barbara
    Composition and decomposition of DPO transformations with borrowed context
    In: Graph transformation: Proceedings / Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 / Corradini, Andrea; Ehrig, Hartmut; Montanari, Ugo; Ribeiro, Leila; Rozenberg, Grzegorz (Hrsg.) 2006, S. 153 - 167
    Online Volltext: dx.doi.org/
  • König, Barbara; Kozioura, Vitali
    Counterexample-guided Abstraction Refinement for the Analysis of Graph Transformation Systems
    In: Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings / 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 5. März -2. April 2006, Wien, Austria 2006, S. 197 - 211
    Online Volltext: dx.doi.org/
  • Baldan, Paolo; Haar, Stefan; König, Barbara
    Distributed Unfolding of Petri Nets
    In: Foundations of software science and computation structures: 9th international conference, FOSSACS 2006 / 9th International Conference on Foundations of Software Science and Computational Structures (FOSSACS), March 25 - 31, 2006, Vienna, Austria 2006, S. 126 - 141
    Online Volltext: dx.doi.org/
  • Bonchi, Filippo; Gadducci, Fabio; König, Barbara
    Process bisimulation via a graphical encoding
    In: Graph transformation: Proceedings / Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 / Corradini, Andrea; Ehrig, Hartmut; Montanari, Ugo; Ribeiro, Leila; Rozenberg, Grzegorz (Hrsg.) 2006, S. 168 - 183
    Online Volltext: dx.doi.org/
  • Baldan, Paolo; Corradini, Andrea; Heindel, Tobias; König, Barbara; Sobocinski, Pawel
    Processes for Adhesive Rewriting Systems
    In: Foundations of software science and computation structures: 9th international conference, FOSSACS 2006 / 9th International Conference on Foundations of Software Science and Computational Structures (FOSSACS), March 25 - 31, 2006, Vienna, Austria 2006, S. 202 - 216
    Online Volltext: dx.doi.org/
  • Bonchi, Filippo; König, Barbara; Montanari, Ugo
    Saturated Semantics for Reactive Systems
    In: Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) 2006, S. 69 - 80
    Online Volltext
  • Hermann, Frank; Heindel, Tobias; Corradini, Andrea; König, Barbara
    Sesqui-Pushout Rewriting
    In: Graph Transformations: Proceedings / Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 / Corradini, Andrea; Ehrig, Hartmut; Montanari, Ugo; Ribeiro, Leila; Rozenberg, Grzegorz (Hrsg.) 2006, S. 30 - 45
    Online Volltext: dx.doi.org/
  • Baldan, Paolo; König, Barbara; Rensink, Arend
    Graph Grammar Verification through Abstraction
    In: Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems. - (Dagstuhl Seminar Proceedings ; 04241) 2005
    Online Volltext; Online Volltext
  • Gruber, Hermann; Holzer, Markus; Kiehn, Astrid; König, Barbara
    On Timed Automata with Discrete Time-Structural and Language Theoretical Characterization
    In: Developments in language theory: 9th international conference, DLT 2005, Palermo, Italy, July 4-8, 2005 ; proceedings / 9th international conference (DLT), July 4-8, 2005, Palermo, Italy 2005, S. 272 - 283
    Online Volltext: dx.doi.org/
  • Baldan, Paolo; Corradini, Andrea; Esparza, Javier; Heindel, Tobias; König, Barbara; Kozioura, Vitali
    Verifying Red-Black Trees
    In: Proceedings of the First international workshop on the verification of COncurrent Systems with dynaMIC Allocated Heaps, COSMICAH 2005. - (Technical report of Queen Mary University of London ; RR-05-04) 2005
    Online Volltext
  • Ehrig, Hartmut; König, Barbara
    Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting
    In: Foundations of software science and computation structures: 7th international conference, FOSSACS 2004 / 7th International Conference Foundations of Software Science and Computation Structures (FOSSACS), March 29 - April 2, 2004, Barcelona, Spain 2004, S. 151 - 166
    Online Volltext: dx.doi.org/
  • Baldan, Paolo; König, Barbara; Stürmer, Ingo
    Generating test cases for code generators by unfolding graph transformation systems
    In: Graph Transformations: Proceedings / Second International Conference, ICGT 2004, Rome, Italy, September 28–October 1, 2004 / Ehrig, Hartmut; Engels, Gregor; Parisi-Presicce, Francesco; Rozenberg, Grzegorz (Hrsg.) 2004, S. 194 - 209
    Online Volltext: dx.doi.org/
  • Gruber, Herrman; Holzer, Markus; Kiehn, Astrid; König, Barbara
    On Timed Automata with Discrete Time-Structural and Language Theoretical Characterization
    In: 14. Theorietag der GI-Fachgruppe 0.1.5 "Automaten und Formale Sprachen" 2004
  • Baldan, Paolo; Corradini, Andrea; König, Barbara
    Verifying Finite-State Graph Grammars: an Unfolding-Based Approach
    In: CONCUR 2004 - Concurrency theory: 15th international conference ; proceedings / 15th International Conference on Concurrency Theory (CONCUR), August 31 - September 3, 2004 , London, UK 2004, S. 83 - 98
    Online Volltext: dx.doi.org/
  • Baldan, Paolo; König, Barbara; König, Bernhard
    A Logic for Analyzing Abstractions of Graph Transformation Systems
    In: Static analysis: 10th international symposium ; proceedings / 10. International Static Analysis Symposium, 2003.06.11-13, San Diego, USA 2003, S. 255 - 272
    Online Volltext: dx.doi.org/
  • Holzer, Markus; König, Barbara
    On Deterministic Finite Automata and Syntactic Monoid Size
    In: Developments in language theory: 6th international conference, Kyoto, Japan, September 18 - 21, 2002 ; revised papers / International Conference on Developments in Language Theory (DLT), 2002.09.18-21, Kyoto, Japan 2003, S. 429 - 444
    Online Volltext: dx.doi.org/
  • Holzer, Markus; König, Barbara
    On Deterministic Finite Automata and Syntactic Monoid Size, Continued
    In: Developments in language theory: 7th international conference / 7th International Conference on Developments in Language Theory, July 7 - 11, 2003, Szeged, Hungary / Ésik,, Zoltán (Hrsg.) 2003, S. 163
    Online Volltext: dx.doi.org/
  • Baldan, Paolo; Corradini, Andrea; König, Barbara
    Unfolding-Based Verification for Graph Transformation Systems
    In: Proceedings of Uniform Approaches to Graphical Specification Techniques, UniGra 2003 2003
    Online Volltext
  • Baldan, Paolo; König, Barbara
    Approximating the behaviour of graph transformation systems
    In: Graph Transformation: Proceedings / First International Conference, ICGT 2002 Barcelona, Spain, October 7–12, 2002 / Corradini, Andrea; Ehrig, Hartmut; Kreowski, Hans -Jörg; Rozenberg, Grzegorz (Hrsg.) 2002, S. 14 - 29
    Online Volltext: dx.doi.org/
  • Holzer, Markus; König, Barbara
    On Deterministic Finite Automata and Syntactic Monoid Size
    In: 12. Theorietag der GI-Fachgruppe 0.1.5 "Automaten und Formale Sprachen" mit dem Workshop Berechenbarkeit und Komplexität in der Analyse / Mazala, R.; Staiger, L.; Winter, R. (Hrsg.) 2002, S. 29 - 31
  • Baldan, Paolo; Corradini, Andrea; König, Barbara
    Static Analysis of Distributed Systems with Mobility Specified by Graph Grammars-A Case Study
    In: Integrated design process technology: proceedings of the sixth Biennial World Conference on Integrated Design and Process Technology / 6. Biennial World Conference on Integrated Design and Process Technology (IDPT), 2002.06.23-28, Pasadena, USA / Ehrig, Hartmut; Krämer, B.; Ertas, A. (Hrsg.) 2002
  • Baldan, Paolo; Corradini, Andrea; König, Barbara
    A Static Analysis Technique for Graph Transformation Systems
    In: Concurrency Theory: 12th international conference / 12th International Conference on Concurrency Theory, August 20-25, 2001, Aalborg, Denmark 2001, S. 381 - 395
    Online Volltext: dx.doi.org/
  • König, Barbara; Montanari, Ugo
    Observational Equivalence for Synchronized Graph Rewriting with Mobility
    In: Theoretical aspects of computer software: 4th international symposium, TACS 2001 / 4th International Symposium on Theoretical Aspects of Computer Software (TACS), October 29 - 31, 2001, Sendai, Japan 2001, S. 145 - 164
  • König, Barbara
    A general framework for types in graph rewriting
    In: FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science: Proceedings of the 20th Conference / 20th Conference of Foundations of Software Technology and Theoretical Computer Science (FST TCS 2000), 13.-15. December 2000, New Delhi, India 2000, S. 373 - 384
    Online Volltext: dx.doi.org/
  • König, Barbara
    A graph rewriting semantics for the polyadic pi-calculus
    In: ICALP workshops 2000: proceedings of the satellite workshops of the 27th international colloquium on automata, languages, and programming / GT-VMT 2000, Workshop on Graph Transformation and Visual Modelling Techniques, 14-15 July 2000, Geneva, Switzerland / Rolim, José D.P. (Hrsg.) 2000, S. 451 - 458
    Online Volltext
  • König, Barbara
    Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System
    In: Automata, Languages and Programming: 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 9–15, 2000 Proceedings / 27th International Colloquium on Automata, Languages and Programming (ICALP), 9.-15. July 2000, Geneva, Switzerland 2000, S. 403 - 414
    Online Volltext: dx.doi.org/
  • König, Barbara
    Hypergraph Construction and its Application to the Compositional Modelling of Concurrency
    In: Proceedings of Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation (GRATRA 2000) 2000
    Online Volltext
  • König, Barbara
    Generating Type Systems for Process Graphs
    In: CONCUR’99 Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings / CONCUR’99, 10th International Conference, 24. - 27. August 1999, Eindhoven, Netherlands 1999, S. 352 - 367
    Online Volltext: dx.doi.org/ Online Volltext

    • Bücher/Sammelwerke/Tagungsbände

  • Goubault-Larrecq, Jean; König, Barbara; (Hrsg.)
    Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
    23rd International Conference, FOSSACS 2020, 25 - 30 April 2020, Dublin, Ireland,
    Cham (2020) 641 Seiten
    (Lecture Notes in Computer Science ; 12077)
    Online Volltext: dx.doi.org/ (Open Access)
  • Bonchi, Filippo; König, Barbara; (Hrsg.)
    Algebra and Coalgebra in Computer Science : 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)
    7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), 12-16 June 2017 - Ljubljana, Slovenia,
    (2017)
    (LIPIcs ; 72)
    Online Volltext; Online Volltext (Open Access)
  • Di Ruscio, Davide; König, Barbara; (Hrsg.)
    STAF 2017 Doctoral Symposium : Proceedings of the Doctoral Symposium Held as a Part of STAF 2017 co-located with Software Technologies: Applications and Foundations (STAF 2017)
    Doctoral Symposium as a part of STAF 2017, 17. July 2017, Marburg, Germany,
    Aachen (2017)
    (CEUR Workshop Proceedings ; 1955)
    Online Volltext (Open Access)
  • König, Barbara; Giese, Holger;
    Graph transformation : 7th international conference, ICGT 2014, held as part of STAF 2014, York, UK, July 22 - 24, 2014 ; proceedings
    7th International Conference, ICGT 2014, Held as Part of STAF 2014, 22-24 Juli 2014, York, UK,
    Cham (2014)
    (Lecture notes in computer science ; 8571)
    Online Volltext: dx.doi.org/
  • Flanagan, Cormac; König, Barbara; (Hrsg.)
    TACAS 2012
    18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, 24. March - 1.April 2012, Tallinn, Estonia,
    (2014)
    (International Journal on Software Tools for Technology Transfer ; Volume 16, Issue 2)
    Online Volltext
  • Salil, Joshi; König, Barbara
    Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems
    Duisburg (2012) 21 S.
    (Technische Berichte der Abteilung für Informatik und Angewandte Kognitionswissenschaft ; 2012-01)
    Online Volltext (Open Access)
  • Kerstan, Henning; König, Barbara
    Coalgebraic Trace Semantics for Probabilistic Transition Systems based on Measure Theory
    Duisburg (2012)
    (Technische Berichte der Abteilung für Informatik und Angewandte Kognitionswissenschaft ; 2012-02)
    Online Volltext (Open Access)
  • Flanagan, Cormac; König, Barbara; (Hrsg.)
    Selected papers of the conference ''Tools and Algorithms for the Construction and Analysis of Systems'' : TACAS 2012
    18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, 24. March - 1.April 2012, Tallinn, Estonia,
    (2012)
    (Logical Methods in Computer Science ; Special Issue)
    Online Volltext: dx.doi.org/ Online Volltext
  • Flanagan, Cormac; König, Barbara;
    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
    18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, 24. March - 1.April 2012, Tallinn, Estonia,
    Berlin (2012)
    (Lecture notes in computer science ; 7214)
    Online Volltext: dx.doi.org/
  • König, Barbara; Stückrath, Jan Michael
    Well-Structured Graph Transformation Systems with Negative Application Conditions
    Duisburg (2012)
    (Technische Berichte der Abteilung für Informatik und Angewandte Kognitionswissenschaft ; 2012-03)
    Online Volltext
  • Katoen, Joost-Pieter; König, Barbara; (Hrsg.)
    CONCUR 2011 - Concurrency Theory : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings
    22nd International Conference on Concurrency Theory, CONCUR 2011, 6-9 September 2011, Aachen, Germany,
    Heidelberg (2011)
    Online Volltext: dx.doi.org/
  • Katoen, Joost-Pieter; König, Barbara; (Hrsg.)
    Selected Papers of the "22nd International Conference on Concurrency Theory" CONCUR 2011
    22nd International Conference on Concurrency Theory, CONCUR 2011, 6-9 September 2011, Aachen, Germany,
    (2011)
    (Logical Methods in Computer Science ; Special Issue)
    Online Volltext: dx.doi.org/ Online Volltext
  • Hülsbusch, Mathias; König, Barbara; Rensink, Arend; Semenyak, Maria; Soltenborn, Christian; Wehrheim, Heike
    Full Semantics Preservation in Model Transformation : A Comparison of Proof Techniques
    Twente (2010)
    (CTIT Technical Report Series ; TR-CTIT-10-09)
    Online Volltext
  • Rangel, Guilherme; König, Barbara; Ehrig, Hartmut
    Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
    Duisburg (2008) 31
    (Technische Berichte der Abteilung für Informatik und Angewandte Kognitionswissenschaft ; 2008-01)
    Online Volltext
  • Bruggink, Sander; König, Barbara
    On the recognizability of arrow and graph languages
    Duisburg (2008) 27
    (Technische Berichte der Abteilung für Informatik und Angewandte Kognitionswissenschaft ; 2008-3)
    Online Volltext (Open Access)
  • König, Barbara; Rensink, Arend; Heckel, Reiko; (Hrsg.)
    Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification (GT-VC 2007) : 3 September 2007, Lisbon, Portugal
    3rd Workshop on Graph Transformation for Concurrency and Verification (GT-VC 2007), Lisbon, Portugal, 03.09.2007,
    (2008) 95 Seiten
    (Electronic Notes in Theoretical Computer Science ; 213,1)
    Online Volltext (Open Access)
  • Baldan, Paolo; König, Barbara; (Hrsg.)
    Proceedings of the Third Workshop on Petri Nets and Graph Transformations (PNGT 2008)
    PNGT 2008 3rd Workshop on Petri Nets and Graph Transformations, Leicester, United Kingdom, 12.-13.09.2008,
    (2008)
    (Electronic Communications of the EASST ; 14)
    Online Volltext: dx.doi.org/ (Open Access)
  • Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara
    Unfolding-based Diagnosis of Systems with an Evolving Topology
    Duisburg (2008) 26
    (Technische Berichte der Abteilung für Informatik und Angewandte Kognitionswissenschaft ; 2008-02)
    Online Volltext
  • Rensink, Arend; Heckel, Reiko; König, Barbara; (Hrsg.)
    Proceedings of the Workshop on Graph Transformation for Concurrency and Verification (GT-VC 2006)
    Workshop on Graph Transformation for Concurrency and Verification, Bonn, Germany, 31.08.2006,
    (2007)
    (Electronic Notes in Theoretical Computer Science ; 175,4)
    Online Volltext (Open Access)
  • Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara
    Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
    (2006)
    (Rapporto di Ricerca ; CS-2006-9)
    Online Volltext
  • Heckel, Reiko; König, Barbara; Rensink, Arend; (Hrsg.)
    Proceedings of the Workshop on Graph Transformation for Verification and Concurrency (GT-VC 2005)
    Workshop on Graph Transformation for Verification and Concurrency (GT-VC 2005), San Francisco, USA, 22th August 2005,
    (2006) 120 Seiten
    (Electronic Notes in Theoretical Computer Science ; 154.2)
    Online Volltext (Open Access)
  • Dotti, Fernando Luis; König, Barbara; Santos, Osmar Marchi dos; Ribeiro, Leila
    A Case Study: Verifying a Mutual Exclusion Protocol with Process Creation using Graph Transformation Systems
    Stuttgart (2004)
    (Technical Report ; TR-2004-08)
    Online Volltext
  • König, Barbara
    Analysis and Verification of Systems with Dynamically Evolving Structures
    (2004) 238
    Online Volltext
  • König, Barbara
    Heuristiken zur Ein-Depot-Tourenplanung
    München (1995) 120
    Online Volltext

    • Dissertation

  • König, Barbara
    Description and Verification of Mobile Processes with Graph Rewriting Techniques
    München (1999) 222
    Online Volltext

    • Forschungsberichte

  • Rangel, Guilherme; Lambers, Leen; König, Barbara; Ehrig, Hartmut; Baldan, Paolo
    Behavior Preservation in Model Refactoring using DPO Transformations with Borrowed Contexts
    Berlin (2008)