Barbara König
Universität Duisburg-Essen
H-index: 29
Europe-Germany
Top articles of Barbara König
Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques
arXiv preprint arXiv:2404.19632
2024/4/30
Barbara König
H-Index: 13
Hidden Markov Models with Unobservable Transitions
2024/3/20
Barbara König
H-Index: 13
Torben Weis
H-Index: 9
Approximating Fixpoints of Approximated Functions (Invited Talk)
2024
Barbara König
H-Index: 13
Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach
arXiv preprint arXiv:2310.05711
2023/10/9
Barbara König
H-Index: 13
Lutz Schröder
H-Index: 16
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
arXiv preprint arXiv:2307.14826
2023/7/27
Lutz Schröder
H-Index: 16
Barbara König
H-Index: 13
Fixpoint Theory--Upside Down
Logical Methods in Computer Science
2023/6/7
Paolo Baldan
H-Index: 11
Barbara König
H-Index: 13
Stochastic Decision Petri Nets
2023/5/28
Up-to techniques for behavioural metrics via fibrations
Mathematical Structures in Computer Science
2023/4
Filippo Bonchi
H-Index: 20
Barbara König
H-Index: 13
Interpretable Anomaly Detection via Discrete Optimization
arXiv preprint arXiv:2303.14111
2023/3/24
Lifecycle-Based View on Cyber-Physical System Models Using Extended Hidden Markov Models
2022/10/13
Torben Weis
H-Index: 9
Barbara König
H-Index: 13
Graded monads and behavioural equivalence games
2022/8/2
Lutz Schröder
H-Index: 16
Barbara König
H-Index: 13
A lattice-theoretical view of strategy iteration
arXiv preprint arXiv:2207.09872
2022/7/20
Paolo Baldan
H-Index: 11
Barbara König
H-Index: 13
Hennessy-Milner theorems via Galois connections
arXiv preprint arXiv:2207.05407
2022/7/12
Barbara König
H-Index: 13
Probabilistic systems with hidden state and unobservable transitions
arXiv preprint arXiv:2205.13871
2022/5/27
Barbara König
H-Index: 13
Torben Weis
H-Index: 9
Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic
2022/4/2
Barbara König
H-Index: 13
Conditional bisimilarity for reactive systems
Logical Methods in Computer Science
2022/1/12
Barbara König
H-Index: 13
Modellierung, Analyse, Verifikation (Programmanalyse)
2020/10/28
Barbara König
H-Index: 13
Uncertainty reasoning for probabilistic petri nets via Bayesian networks
arXiv preprint arXiv:2009.14817
2020/9/30
Reiko Heckel
H-Index: 17
Barbara König
H-Index: 13
Co-Authors
