Personensuche

Personensuche

Bitte geben Sie den Namen der gesuchten Person ein.

Es wurde 1 Person gefunden.

Informatik / AI

Anschrift
Lotharstr. 65 (LF)
47057 Duisburg
Raum
LF 264

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; 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
  • 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
  • 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
  • Beohar, Harsh; König, Barbara; Küpper, Sebastian; Silva, Alexandra
    Conditional transition systems with upgrades
    In: Science of Computer Programming Jg. 186 (2020) 102320
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • König, Barbara; Stückrath, Jan
    Well-structured graph transformation systems
    In: Information and Computation Jg. 252 (2017) S. 71 - 94
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • König, Barbara; Kozioura, Vitali
    Incremental Construction of Coverability Graphs
    In: Information Processing Letters Jg. 103 (2007) Nr. 5, S. 203 - 209
  • 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
  • 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
  • König, Barbara
    A General Framework for Types in Graph Rewriting
    In: Acta Informatica Jg. 42 (2005) Nr. 4-5, S. 349 - 388
  • 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
  • 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
  • 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
  • Aufsätze

  • Wild, Paul; Schröder, Lutz; Pattinson, Dirk; König, Barbara
    A van Benthem Theorem for Quantitative Probabilistic Modal Logic
    (2018)
  • 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)
  • 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
  • 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)
  • Beiträge in Sammelwerken und Tagungsbänden

  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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,
    In: Lecture Notes in Computer Science (LNCS) Berlin Jg. 14617 (2024)
  • 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,
    In: Lecture Notes in Computer Science Cham Jg. 12077 (2020) 641 Seiten
  • 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,
    In: LIPIcs Jg. 72 (2017)
  • 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,
    In: CEUR Workshop Proceedings Aachen Jg. 1955 (2017)
  • 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,
    In: Lecture notes in computer science Cham Jg. 8571 (2014)
  • 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,
    In: International Journal on Software Tools for Technology Transfer Jg. Volume 16, Issue 2 (2014)
  • Salil, Joshi; König, Barbara
    Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems
    In: Technische Berichte der Abteilung für Informatik und Angewandte Kognitionswissenschaft Duisburg Jg. 2012-01 (2012) 21 S.
  • Kerstan, Henning; König, Barbara
    Coalgebraic Trace Semantics for Probabilistic Transition Systems based on Measure Theory
    In: Technische Berichte der Abteilung für Informatik und Angewandte Kognitionswissenschaft Duisburg Jg. 2012-02 (2012)
  • 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,
    In: Logical Methods in Computer Science Jg. Special Issue (2012)
  • 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,
    In: Lecture notes in computer science Berlin Jg. 7214 (2012)
  • König, Barbara; Stückrath, Jan Michael
    Well-Structured Graph Transformation Systems with Negative Application Conditions
    In: Technische Berichte der Abteilung für Informatik und Angewandte Kognitionswissenschaft Duisburg Jg. 2012-03 (2012)
  • 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)
  • 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,
    In: Logical Methods in Computer Science Jg. Special Issue (2011)
  • 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
    In: CTIT Technical Report Series Twente Jg. TR-CTIT-10-09 (2010)
  • Rangel, Guilherme; König, Barbara; Ehrig, Hartmut
    Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
    In: Technische Berichte der Abteilung für Informatik und Angewandte Kognitionswissenschaft Duisburg Jg. 2008-01 (2008) 31
  • Bruggink, Sander; König, Barbara
    On the recognizability of arrow and graph languages
    In: Technische Berichte der Abteilung für Informatik und Angewandte Kognitionswissenschaft Duisburg Jg. 2008-3 (2008) 27
  • 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,
    In: Electronic Notes in Theoretical Computer Science Jg. 213,1 (2008) 95 Seiten
  • 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,
    In: Electronic Communications of the EASST Jg. 14 (2008)
  • Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara
    Unfolding-based Diagnosis of Systems with an Evolving Topology
    In: Technische Berichte der Abteilung für Informatik und Angewandte Kognitionswissenschaft Duisburg Jg. 2008-02 (2008) 26
  • 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,
    In: Electronic Notes in Theoretical Computer Science Jg. 175,4 (2007)
  • Baldan, Paolo; Corradini, Andrea; Ehrig, Hartmut; Heckel, Reiko; König, Barbara
    Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
    In: Rapporto di Ricerca Jg. CS-2006-9 (2006)
  • 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,
    In: Electronic Notes in Theoretical Computer Science Jg. 154.2 (2006) 120 Seiten
  • 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
    In: Technical Report Stuttgart Jg. TR-2004-08 (2004)
  • König, Barbara
    Analysis and Verification of Systems with Dynamically Evolving Structures
    (2004) 238
  • König, Barbara
    Heuristiken zur Ein-Depot-Tourenplanung
    München (1995) 120
  • Dissertation

  • König, Barbara
    Description and Verification of Mobile Processes with Graph Rewriting Techniques
    München (1999) 222
  • 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)