PAWS: A Tool for the Analysis of Weighted Systems. - Barbara König 001; Sebastian Küpper; Christina Mika (QAPL@ETAPS, 2017)

Bisimulation Games on Coalgebras. - Barbara König 001; Christina Mika (CoRR, 2017)

(Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras. - Barbara König 001; Christina Mika-Michalski (CONCUR, 2018)

Fixpoint games on continuous lattices. - Paolo Baldan; Barbara König 001; Christina Mika-Michalski; Tommaso Padoan (Proc. ACM Program. Lang., 2019)

Explaining Non-bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas. - Barbara König 001; Christina Mika-Michalski; Lutz Schröder (CMCS, 2020)

Coalgebraic modal logic and games for coalgebras with side effects. - Harsh Beohar; Barbara König 001; Sebastian Küpper; Christina Mika-Michalski (CoRR, 2021)

Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal Logic. - Harsh Beohar; Barbara König 001; Sebastian Küpper; Christina Mika-Michalski (CMCS, 2022)

System Verification Via Generic Games: Behavioural Equivalence and Model Checking Games - Christina Mika-Michalski (2022)