Harsh Beohar, Barbara König, Sebastian Küpper, and Christina Mika-Michalski. Predicate and relation liftings and modal logics for coalgebras with side effects. In Proc. of CMCS '22. to appear, 2022. |
|
Chase Ford, Stefan Milius, Lutz Schröder, Barbara König, and Harsh Beohar. Graded monads and behavioural equivalence games. In CMCS Short Contributions '22, 2022. |
|
Harsh Beohar, Chase Ford, Barbara König, Stefan Milius, and Lutz Schröder. Graded monads and behavioural equivalence games, 2022. arXiv:2203.15467. |
|
Harsh Beohar, Chase Ford, Barbara König, Stefan Milius, and Lutz Schröder. Graded monads and behavioural equivalence games. In Proc. of LICS '22. IEEE, 2022. |
|
Rebecca Bernemann, Barbara König, Matthias Schaffeld, and Torben Weis. Probabilistic systems with hidden state and unobservable transitions, 2022. arXiv:2205.13871. |
|
Harsh Beohar, Sebastian Gurke, Barbara König, and Karla Messing. Hennessy-Milner theorems via Galois connections, 2022. arXiv:2207.05407. |
|
Paolo Baldan, Richard Eggert, Barbara König, and Tommaso Padoan. A lattice-theoretical view of strategy iteration, 2022. arXiv:2207.09872. |
|
Mathias Hülsbusch, Barbara König, Sebastian Küpper, and Lars Stoltenow. Conditional bisimilarity for reactive systems. Logical Methods in Computer Science, 18(1), 2022. Selected Papers of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020). |
|
Matthias Schaffeld, Rebecca Bernemann, Torben Weis, Barbara König, and Viktor Matkovic. Lifecycle-based view on cyber-physical system models using extended hidden Markov models (work-in-progress paper). In Proc. of MEMOCODE '22. IEEE eXpress, 2022. to appear. |
|
Jean Goubault-Larrecq and Barbara König, editors. Selected Papers of the 23rd International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2020), Logical Methods in Computer Science, 2022. Special Issue. |
|