Christina Mika-Michalski

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 7

Top Topics

Top Venues

Proc. ACM Program. Lang.

Publications

Harsh Beohar, Barbara König, Sebastian Küpper, Christina Mika-Michalski
Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal Logic. CMCS (2022)
Harsh Beohar, Barbara König, Sebastian Küpper, Christina Mika-Michalski
Coalgebraic modal logic and games for coalgebras with side effects. CoRR (2021)
Barbara König, Christina Mika-Michalski, Lutz Schröder
Explaining Non-Bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas. CoRR (2020)
Barbara König, Christina Mika-Michalski, Lutz Schröder
Explaining Non-bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas. CMCS (2020)
Paolo Baldan, Barbara König, Christina Mika-Michalski, Tommaso Padoan
Fixpoint games on continuous lattices. Proc. ACM Program. Lang. 3 (POPL) (2019)
Barbara König, Christina Mika-Michalski
(Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras. CONCUR (2018)
Paolo Baldan, Barbara König, Tommaso Padoan, Christina Mika-Michalski
Fixpoint Games on Continuous Lattices. CoRR (2018)