Christina Mika-Michalski

According to our database, Christina Mika-Michalski authored at least 8 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

System Verification Via Generic Games: Behavioural Equivalence and Model Checking Games

Christina Mika-Michalski

PhD thesis, 2022

Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal Logic.

Harsh Beohar, Barbara König, Sebastian Küpper, Christina Mika-Michalski

Proceedings of the Coalgebraic Methods in Computer Science, 2022

2021

Coalgebraic modal logic and games for coalgebras with side effects.

Harsh Beohar, Barbara König, Sebastian Küpper, Christina Mika-Michalski

CoRR, 2021

2020

Explaining Non-bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas.

Barbara König, Christina Mika-Michalski, Lutz Schröder

Proceedings of the Coalgebraic Methods in Computer Science, 2020

2019

Fixpoint games on continuous lattices.

Paolo Baldan, Barbara König, Christina Mika-Michalski, Tommaso Padoan

Proc. ACM Program. Lang., 2019

2018

(Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras.

Barbara König, Christina Mika-Michalski

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017

Bisimulation Games on Coalgebras.

Barbara König, Christina Mika

CoRR, 2017

PAWS: A Tool for the Analysis of Weighted Systems.

Barbara König, Sebastian Küpper, Christina Mika

Proceedings of the Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, 2017