Personensuche

Personensuche

Bitte geben Sie den Namen der gesuchten Person ein.

Es wurde 1 Person gefunden.

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

Informatik / AI

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

  • Vorsitzende, Studienbeirat

  • Studiendekan/in, Fakultätsrat

  • 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; König, Barbara; Padoan, Tommaso
    Systems of fixpoint equations : Abstraction, games, up-to techniques and local algorithms
    In: Information and Computation , Jg. 301 2024, 105233
    DOI (Open Access)
  • 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
    DOI (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
    DOI (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
    DOI, Online Volltext (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
    DOI, Online Volltext (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
    DOI
  • 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
    DOI (Open Access)
  • 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
    DOI, Online Volltext (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
    DOI, Online Volltext (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
    DOI (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
    DOI
  • 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
    DOI (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
    DOI
  • König, Barbara; Stückrath, Jan
    Well-structured graph transformation systems
    In: Information and Computation , Jg. 252 2017, S. 71 – 94
    DOI
  • 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
    DOI
  • 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
    DOI
  • 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
    DOI (Open Access)
  • Flanagan, Cormac; König, Barbara
    Developments in automated verification techniques
    In: International Journal on Software Tools for Technology Transfer (STTT) , Jg. 16 2014, Nr. 2, S. 123 – 125
    DOI
  • 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
    DOI (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
    DOI (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
    DOI
  • 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
    DOI (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
    DOI
  • 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
    DOI
  • 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
    DOI (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
  • 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
    DOI (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
    DOI (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
    DOI (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
    DOI (Open Access)
  • König, Barbara; Kozioura, Vitali
    Incremental Construction of Coverability Graphs
    In: Information Processing Letters , Jg. 103 2007, Nr. 5, S. 203 – 209
    DOI
  • 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
    DOI (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
    DOI
  • König, Barbara
    A General Framework for Types in Graph Rewriting
    In: Acta Informatica , Jg. 42 2005, Nr. 4-5, S. 349 – 388
    DOI
  • 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
    DOI (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
  • 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
    DOI (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
  • 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
  • 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
  • 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
    DOI

    • Aufsätze

  • Bonchi, Filippo; König, Barbara; Küpper, Sebastian
    Up-To Techniques for Weighted Systems (Extended Version)
    2017
  • König, Barbara; Stückrath, Jan
    A General Framework for Well-Structured Graph Transformation Systems
    2014

    • Vorworte / Nachworte

  • König, Barbara; Urbat, Henning
    Preface
    In: Coalgebraic Methods in Computer Science: Proceedings / 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024 / König, Barbara; Urbat, Henning (Hrsg.) 2024, S. v – vi
  • 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
    DOI (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
    DOI (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
    (Open Access)

    • Preprints

  • Wild, Paul; Schröder, Lutz; Pattinson, Dirk; König, Barbara
    A van Benthem Theorem for Quantitative Probabilistic Modal Logic
    2018
    Online Volltext (Open Access)

    • Beiträge in Sammelwerken und Tagungsbänden

  • Forster, Jonas; Schröder, Lutz; Wild, Paul; Beohar, Harsh; Gurke, Sebastian; König, Barbara; Messing, Karla
    Quantitative Graded Semantics and Spectra of Behavioural Metrics
    In: 33rd EACSL Annual Conference on Computer Science Logic (CSL 2025) / CSL 2025, February 10-14, 2025, Amsterdam, Netherlands / Endrullis, Jörg; Schmitz, Sylvain (Hrsg.) 2025, 33
    DOI (Open Access)
  • D’Angelo, Keri; Gurke, Sebastian; Kirss, Johanna Maria; König, Barbara; Najafi, Matina; Różowski, Wojciech; Wild, Paul
    Behavioural Metrics : Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques
    In: Proceedings of the 35th International Conference on Concurrency Theory (CONCUR 2024) / 35th International Conference on Concurrency Theory (CONCUR 2024); 9 - 13 September 2024; Calgary, Canada / Majumdar, Rupak; Silva, Alexandra (Hrsg.) 2024, 20
    DOI, Online Volltext (Open Access)
  • Stoltenow, Lara; König, Barbara; Schneider, Sven; Corradini, Andrea; Lambers, Leen; Orejas, Fernando
    Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions
    In: 35th International Conference on Concurrency Theory: CONCUR 2024 / 35th International Conference on Concurrency Theory (CONCUR 2024); September 9-13, 2024; Calgary, Canada / Majumdar, Rupak; Silva, Alexandra (Hrsg.) 2024, 39
    DOI (Open Access)
  • 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
    DOI (Open Access)
  • Bernemann, Rebecca; König, Barbara; Schaffeld, Matthias; Weis, Torben
    Hidden Markov Models with Unobservable Transitions
    In: Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday / Kiefer, Stefan; Křetínský, Jan; Kučera, Antonín (Hrsg.) 2024, S. 101 – 121
    DOI
  • 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
    DOI, 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
    DOI, Online Volltext (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
    DOI (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
    DOI, Online Volltext (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
    DOI
  • 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
    DOI, Online Volltext
  • 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
    DOI (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
    DOI (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
    DOI (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
    DOI, 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
    DOI, 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
    DOI, Online Volltext (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
    DOI, Online Volltext (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
    DOI (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
    DOI, Online Volltext (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
    DOI (Open Access)
  • 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
    DOI (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
    DOI, Online Volltext (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
    DOI
  • 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
    DOI (Open Access)
  • 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
    DOI (Open Access)
  • 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
    Online Volltext
  • 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
    DOI, Online Volltext (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
    DOI
  • 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
    DOI (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
    DOI
  • 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
    DOI
  • 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
  • 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
    DOI
  • 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
    DOI
  • 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
    DOI, 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
    DOI
  • 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
    DOI
  • 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
    DOI (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
    DOI
  • 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
    DOI (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
    DOI
  • 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
    DOI
  • 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
    DOI (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
    DOI
  • 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
    DOI
  • 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
    DOI
  • 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
    DOI (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
    DOI
  • 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
    DOI (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
    DOI (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
    DOI
  • 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
    DOI
  • 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
    DOI
  • 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
    DOI (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
    DOI
  • 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
    DOI (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
    DOI
  • 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
  • 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
    DOI
  • 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
    DOI
  • 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
    DOI
  • 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
    DOI
  • 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
  • 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
    DOI
  • 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
    DOI
  • 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
    DOI
  • 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
    DOI
  • 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
    DOI
  • 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
    DOI
  • 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
    DOI
  • 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
    DOI
  • 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
    DOI
  • 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
    DOI (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
    DOI (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
    DOI
  • 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
    DOI
  • 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
    DOI
  • 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
    DOI
  • 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
    DOI
  • 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
  • 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
    DOI
  • 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
  • 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
    DOI
  • 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
  • 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
    DOI
  • 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
    DOI
  • 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
    DOI
  • 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
    DOI
  • 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
    DOI
  • 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
    DOI
  • 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
  • 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
    DOI
  • 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
    DOI
  • 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
    DOI
  • 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
  • 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
    DOI
  • 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
  • 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
    DOI

    • Bücher/Sammelwerke/Tagungsbände

  • König, Barbara; Urbat, Henning (Hrsg.)
    Coalgebraic Methods in Computer Science : Proceedings
    17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024,
    Berlin: Springer 2024
    (Lecture Notes in Computer Science (LNCS) ; 14617)
    DOI
  • 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: Springer 2020
    (Lecture Notes in Computer Science ; 12077)
    DOI (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)
    (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: RWTH 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: Springer 2014
    (Lecture notes in computer science ; 8571)
    DOI
  • 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,
    : Springer 2014
    (International Journal on Software Tools for Technology Transfer ; Volume 16, Issue 2)
  • Salil, Joshi; König, Barbara
    Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems
    Duisburg: DuEPublico 2012
    (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: DuEPublico 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)
    DOI
  • 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: Springer 2012
    (Lecture notes in computer science ; 7214)
    DOI
  • König, Barbara; Stückrath, Jan Michael
    Well-Structured Graph Transformation Systems with Negative Application Conditions
    Duisburg: DuEPublico 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: Springer 2011
    DOI
  • 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)
    DOI
  • 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: Centre for Telematics and Information Technology 2010
    (CTIT Technical Report Series ; TR-CTIT-10-09)
  • Rangel, Guilherme; König, Barbara; Ehrig, Hartmut
    Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
    Duisburg: DuEPublico 2008
    (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: DuEPublico 2008
    (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,
    : Elsevier 2008
    (Electronic Notes in Theoretical Computer Science ; 213,1)
    (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)
    DOI (Open Access)
  • Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara
    Unfolding-based Diagnosis of Systems with an Evolving Topology
    Duisburg: DuEPublico 2008
    (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,
    : Elsevier 2007
    (Electronic Notes in Theoretical Computer Science ; 175,4)
    (Open Access)
  • Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara
    Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
    : Dipartimento di Informatica, Universita' Ca' Foscari di Venezia 2006
    (Rapporto di Ricerca ; CS-2006-9)
  • 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,
    : Elsevier 2006
    (Electronic Notes in Theoretical Computer Science ; 154.2)
    (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: Universität Stuttgart 2004
    (Technical Report ; TR-2004-08)
  • König, Barbara
    Analysis and Verification of Systems with Dynamically Evolving Structures
    2004
  • König, Barbara
    Heuristiken zur Ein-Depot-Tourenplanung
    München 1995

    • Dissertation

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

    • 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