Barbara König

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 80

Top Venues

CoRR

CONCUR

ICGT

Log. Methods Comput. Sci.

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Lara Stoltenow, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas
Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. CoRR (2024)
Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild
Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach. STACS (2024)
Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara König, Matina Najafi, Wojciech Rozowski, Paul Wild
Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques. CONCUR (2024)
Rebecca Bernemann, Barbara König, Matthias Schaffeld, Torben Weis
Hidden Markov Models with Unobservable Transitions. Taming the Infinities of Concurrency (2024)
Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara König, Matina Najafi, Wojciech Rozowski, Paul Wild
Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques. CoRR (2024)
Barbara König
Approximating Fixpoints of Approximated Functions (Invited Talk). CSL (2024)
Lara Stoltenow, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas
Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. CONCUR (2024)
Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild
Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach. CoRR (2023)
Florian Wittbold, Rebecca Bernemann, Reiko Heckel, Tobias Heindel, Barbara König
Stochastic Decision Petri Nets. CoRR (2023)
Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan
Fixpoint Theory - Upside Down. Log. Methods Comput. Sci. 19 (2) (2023)
Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing
Hennessy-Milner Theorems via Galois Connections. CSL (2023)
Filippo Bonchi, Barbara König, Daniela Petrisan
Up-to techniques for behavioural metrics via fibrations. Math. Struct. Comput. Sci. 33 (4-5) (2023)
Paolo Baldan, Richard Eggert, Barbara König, Timo Matt, Tommaso Padoan
A Monoidal View on Fixpoint Checks. CoRR (2023)
Simon Lutz, Florian Wittbold, Simon Dierl, Benedikt Böing, Falk Howar, Barbara König, Emmanuel Müller, Daniel Neider
Interpretable Anomaly Detection via Discrete Optimization. CoRR (2023)
Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras. CoRR (2023)
Florian Wittbold, Rebecca Bernemann, Reiko Heckel, Tobias Heindel, Barbara König
Stochastic Decision Petri Nets. Petri Nets (2023)
Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan
A Lattice-Theoretical View of Strategy Iteration. CSL (2023)
Paolo Baldan, Richard Eggert, Barbara König, Timo Matt, Tommaso Padoan
A Monoidal View on Fixpoint Checks. ICGT (2023)
Harsh Beohar, Barbara König, Sebastian Küpper, Christina Mika-Michalski
Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal Logic. CMCS (2022)
Mathias Hülsbusch, Barbara König, Sebastian Küpper, Lars Stoltenow
Conditional Bisimilarity for Reactive Systems. Log. Methods Comput. Sci. 18 (1) (2022)
Chase Ford, Stefan Milius, Lutz Schröder, Harsh Beohar, Barbara König
Graded Monads and Behavioural Equivalence Games. LICS (2022)
Matthias Schaffeld, Rebecca Bernemann, Torben Weis, Barbara König, Viktor Matkovic
Lifecycle-Based View on Cyber-Physical System Models Using Extended Hidden Markov Models. MEMOCODE (2022)
Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing
Hennessy-Milner Theorems via Galois Connections. CoRR (2022)
Harsh Beohar, Chase Ford, Barbara König, Stefan Milius, Lutz Schröder
Graded Monads and Behavioural Equivalence Games. CoRR (2022)
Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan
A Lattice-Theoretical View of Strategy Iteration. CoRR (2022)
Rebecca Bernemann, Barbara König, Matthias Schaffeld, Torben Weis
Probabilistic Systems with Hidden State and Unobservable Transitions. CoRR (2022)
Harsh Beohar, Barbara König, Sebastian Küpper, Christina Mika-Michalski
Coalgebraic modal logic and games for coalgebras with side effects. CoRR (2021)
Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan
Fixpoint Theory - Upside Down. FoSSaCS (2021)
Paolo Baldan, Richard Eggert, Barbara König, Tommaso Padoan
Fixpoint Theory - Upside Down. CoRR (2021)
Paolo Baldan, Barbara König, Tommaso Padoan
Abstraction, Up-To Techniques and Games for Systems of Fixpoint Equations. CONCUR (2020)
Mathias Hülsbusch, Barbara König, Sebastian Küpper, Lars Stoltenow
Conditional Bisimilarity for Reactive Systems. CoRR (2020)
Paolo Baldan, Barbara König, Tommaso Padoan
Abstraction, Up-to Techniques and Games for Systems of Fixpoint Equations. CoRR (2020)
Barbara König, Christina Mika-Michalski, Lutz Schröder
Explaining Non-Bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas. CoRR (2020)
Rebecca Bernemann, Benjamin Cabrera, Reiko Heckel, Barbara König
Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks. CoRR (2020)
Barbara König, Christina Mika-Michalski, Lutz Schröder
Explaining Non-bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas. CMCS (2020)
Mathias Hülsbusch, Barbara König, Sebastian Küpper, Lars Stoltenow
Conditional Bisimilarity for Reactive Systems. FSCD (2020)
H. J. Sander Bruggink, Barbara König, Marleen Matjeka, Dennis Nolte, Lars Stoltenow
A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java. ICGT (2020)
Rebecca Bernemann, Benjamin Cabrera, Reiko Heckel, Barbara König
Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks. FSTTCS (2020)
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva
Conditional transition systems with upgrades. Sci. Comput. Program. 186 (2020)
Barbara König, Maxime Nederkorn, Dennis Nolte
CoReS: A tool for computing core graphs via SAT/SMT solvers. J. Log. Algebraic Methods Program. 109 (2019)
Barbara König
Preface. MFPS (2019)
Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, Arend Rensink
Rewriting Abstract Structures: Materialization Explained Categorically. FoSSaCS (2019)
Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic. IJCAI (2019)
Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, Arend Rensink
Rewriting Abstract Structures: Materialization Explained Categorically. CoRR (2019)
Paolo Baldan, Barbara König, Christina Mika-Michalski, Tommaso Padoan
Fixpoint games on continuous lattices. Proc. ACM Program. Lang. 3 (POPL) (2019)
Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic. CoRR (2019)
Andrea Corradini, Barbara König, Dennis Nolte
Specifying graph languages with type graphs. J. Log. Algebraic Methods Program. 104 (2019)
Barbara König, Sebastian Küpper
A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata. Soft Comput. 22 (4) (2018)
Benjamin Cabrera, Tobias Heindel, Reiko Heckel, Barbara König
Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks. CoRR (2018)
H. J. Sander Bruggink, Barbara König
Recognizable languages of arrows and cospans. Math. Struct. Comput. Sci. 28 (8) (2018)
Barbara König, Maxime Nederkorn, Dennis Nolte
CoReS: A Tool for Computing Core Graphs via SAT/SMT Solvers. ICGT (2018)
Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
A van Benthem Theorem for Quantitative Probabilistic Modal Logic. CoRR (2018)
Barbara König, Dennis Nolte, Julia Padberg, Arend Rensink
A Tutorial on Graph Transformation. Graph Transformation, Specifications, and Nets (2018)
Filippo Bonchi, Barbara König, Daniela Petrisan
Up-To Techniques for Behavioural Metrics via Fibrations. CONCUR (2018)
Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
A van Benthem Theorem for Fuzzy Modal Logic. CoRR (2018)
Filippo Bonchi, Barbara König, Daniela Petrisan
Up-To Techniques for Behavioural Metrics via Fibrations. CoRR (2018)
Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
A van Benthem Theorem for Fuzzy Modal Logic. LICS (2018)
Barbara König, Christina Mika-Michalski
(Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras. CONCUR (2018)
Paolo Baldan, Barbara König, Tommaso Padoan, Christina Mika-Michalski
Fixpoint Games on Continuous Lattices. CoRR (2018)
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva, Thorsten Wißmann
A coalgebraic treatment of conditional transition systems with upgrades. Log. Methods Comput. Sci. 14 (1) (2018)
Benjamin Cabrera, Tobias Heindel, Reiko Heckel, Barbara König
Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks. CONCUR (2018)
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
Coalgebraic Behavioral Metrics. Log. Methods Comput. Sci. 14 (3) (2018)
Barbara König, Christina Mika
Bisimulation Games on Coalgebras. CoRR (2017)
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
Coalgebraic Behavioral Metrics. CoRR (2017)
Barbara König, Jan Stückrath
Well-structured graph transformation systems. Inf. Comput. 252 (2017)
Barbara König, Sebastian Küpper, Christina Mika
PAWS: A Tool for the Analysis of Weighted Systems. QAPL@ETAPS (2017)
Andrea Corradini, Barbara König, Dennis Nolte
Specifying Graph Languages with Type Graphs. ICGT (2017)
Benjamin Cabrera, Barbara König
Extracting the Main Path of Historic Events from Wikipedia. ENIC (2017)
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva
Conditional transition systems with upgrades. TASE (2017)
Filippo Bonchi, Barbara König, Sebastian Küpper
Up-To Techniques for Weighted Systems. TACAS (1) (2017)
Filippo Bonchi, Barbara König, Sebastian Küpper
Up-To Techniques for Weighted Systems (Extended Version). CoRR (2017)
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva
Conditional Transition Systems with Upgrades. CoRR (2017)
Andrea Corradini, Barbara König, Dennis Nolte
Specifying Graph Languages with Type Graphs. CoRR (2017)
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva
A coalgebraic treatment of conditional transition systems with upgrades. CoRR (2016)
H. J. Sander Bruggink, Barbara König, Sebastian Küpper
Robustness and closure properties of recognizable languages in adhesive categories. Sci. Comput. Program. 104 (2015)
H. J. Sander Bruggink, Barbara König, Dennis Nolte, Hans Zantema
Proving Termination of Graph Transformation Systems using Weighted Type Graphs over Semirings. CoRR (2015)
H. J. Sander Bruggink, Barbara König, Dennis Nolte, Hans Zantema
Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings. ICGT (2015)
Parosh Aziz Abdulla, Fabio Gadducci, Barbara König, Viktor Vafeiadis
Verification of Evolving Graph Structures (Dagstuhl Seminar 15451). Dagstuhl Reports 5 (11) (2015)
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
Towards Trace Metrics via Functor Lifting. CALCO (2015)
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
Towards Trace Metrics via Functor Lifting. CoRR (2015)
Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski
Processes and unfoldings: concurrent computations in adhesive categories. Math. Struct. Comput. Sci. 24 (4) (2014)
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
Behavioral Metrics via Functor Lifting. FSTTCS (2014)
Henning Kerstan, Barbara König, Bram Westerbaan
Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions. CMCS (2014)
Cormac Flanagan, Barbara König
Developments in automated verification techniques. Int. J. Softw. Tools Technol. Transf. 16 (2) (2014)
H. J. Sander Bruggink, Barbara König, Hans Zantema
Termination Analysis for Graph Transformation Systems. IFIP TCS (2014)
Hans Zantema, Barbara König, H. J. Sander Bruggink
Termination of Cycle Rewriting. RTA-TLCA (2014)
Barbara König, Jan Stückrath
A General Framework for Well-Structured Graph Transformation Systems. CoRR (2014)
Barbara König, Jan Stückrath
A General Framework for Well-Structured Graph Transformation Systems. CONCUR (2014)
Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König
Behavioral Metrics via Functor Lifting. CoRR (2014)
Barbara König, Sebastian Küpper
Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata. IFIP TCS (2014)
Henning Kerstan, Barbara König
Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems. Log. Methods Comput. Sci. 9 (4) (2013)
Sebastian Küpper, Barbara König, H. J. Sander Bruggink
Concatenation and other Closure Properties of Recognizable Languages in Adhesive Categories. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 58 (2013)
Christoph Blume, H. J. Sander Bruggink, Martin Friedrich, Barbara König
Treewidth, pathwidth and cospan decompositions with applications to graph-accepting tree automata. J. Vis. Lang. Comput. 24 (3) (2013)
Mathias Hülsbusch, Barbara König
Deriving Bisimulation Congruences for Conditional Reactive Systems. FoSSaCS (2012)
Paolo Baldan, Alessandro Bruni, Andrea Corradini, Barbara König, César Rodríguez, Stefan Schwoon
Efficient unfolding of contextual Petri nets. Theor. Comput. Sci. 449 (2012)
Jirí Adámek, Filippo Bonchi, Mathias Hülsbusch, Barbara König, Stefan Milius, Alexandra Silva
A Coalgebraic Perspective on Minimization and Determinization. FoSSaCS (2012)
Christoph Blume, H. J. Sander Bruggink, Dominik Engelke, Barbara König
Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking. ICGT (2012)
Barbara König
Conditions in Reactive Systems and in Graph Rewriting. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 51 (2012)
Henning Kerstan, Barbara König
Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory. CONCUR (2012)
Barbara König, Jan Stückrath
Well-Structured Graph Transformation Systems with Negative Application Conditions. ICGT (2012)

Barbara König.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Barbara König