Barbara König
Scholar

Barbara König

Google Scholar ID: bcM7IuEAAAAJ
Universität Duisburg-Essen, Theoretische Informatik
Concurrency TheorySemanticsVerificationLogic in Computer Science
Google Scholar↗
Citations & Impact
All-time
Citations
911
 
H-index
15
 
i10-index
27
 
Publications
20
 
Co-authors
17
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
17 total
Paolo Baldan
Paolo Baldan
Professor of Computer Science, University of Padova
Co-author 2
Co-author 2
Filippo Bonchi
Filippo Bonchi
CNRS ENS-Lyon
Tobias Heindel
Tobias Heindel
TU Berlin
Arend Rensink
Arend Rensink
Professor in Computer Science, University of Twente
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Reiko Heckel
Reiko Heckel
Professor of Software Engineering, Dept. of Computer Science, University of Leicester