Author Info
Name
Affiliation
Papers
BARBARA KÖNIG
Institut für Informatik und interaktive Systeme, Universität Duisburg-Essen, Germany
18
Collaborators
Citations 
PageRank 
28
78
8.13
Referers 
Referees 
References 
91
297
182
Search Limit
100297
Title
Citations
PageRank
Year
Explaining Non-Bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas00.342020
A van Benthem Theorem for Quantitative Probabilistic Modal Logic.00.342018
A coalgebraic treatment of conditional transition systems with upgrades.00.342018
A van Benthem Theorem for Fuzzy Modal Logic.20.372018
Specifying graph languages with type graphs20.462017
Up-To Techniques for Weighted Systems (Extended Version).00.342017
Bisimulation Games on Coalgebras.00.342017
Robustness and closure properties of recognizable languages in adhesive categories00.342015
Verification of Evolving Graph Structures (Dagstuhl Seminar 15451).00.342015
Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions.00.342014
A General Framework for Well-Structured Graph Transformation Systems.50.442014
Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata.30.412014
Behavioral Metrics via Functor Lifting.70.652014
Termination of Cycle Rewriting.30.472014
Termination Analysis for Graph Transformation Systems.40.512014
Processes and unfoldings: concurrent computations in adhesive categories.00.342014
Composition and decomposition of DPO transformations with borrowed context110.582006
Saturated Semantics for Reactive Systems411.202006