Scholar
Barbara König
Google Scholar ID: bcM7IuEAAAAJ
Universität Duisburg-Essen, Theoretische Informatik
Concurrency Theory
Semantics
Verification
Logic in Computer Science
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
911
H-index
15
i10-index
27
Publications
20
Co-authors
17
list available
Publications
3 items
Witnesses for Fixpoint Games on Lattices
2026
Cited
0
Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
2026
Cited
0
Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games
2026
Cited
0
Co-authors
12 total
Paolo Baldan
Professor of Computer Science, University of Padova
Filippo Bonchi
CNRS ENS-Lyon
Tobias Heindel
TU Berlin
Arend Rensink
Professor in Computer Science, University of Twente
Reiko Heckel
Professor of Software Engineering, Dept. of Computer Science, University of Leicester
Alexandra Silva
Cornell University
Fabio Gadducci
Professore di Informatica, Università di Pisa
Javier Esparza
Professor of Computer Science, Technical University of Munich
