Paolo Baldan, Richard Eggert, Barbara König, and Tommaso Padoan. Fixpoint theory – upside down. Logical Methods in Computer Science, 19(2:15), June 2023. Selected Papers of the 24th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2022). |
|
Paolo Baldan, Richard Eggert, Barbara König, and Tommaso Padoan. A lattice-theoretical view of strategy iteration. In Proc. of CSL '23, volume 252 of LIPIcs, pages 7:1–7:19. Schloss Dagstuhl – Leibniz Center for Informatics, 2023. |
|
Harsh Beohar, Sebastian Gurke, Barbara König, and Karla Messing. Hennessy-Milner theorems via Galois connections. In Proc. of CSL '23, volume 252 of LIPIcs, pages 12:1–12:18. Schloss Dagstuhl – Leibniz Center for Informatics, 2023. |
|
Florian Wittbold, Rebecca Bernemann, Reiko Heckel, Tobias Heindel, and Barbara König. Stochastic Decision Petri Nets. In Proc. of Petri Nets '23 (Application and Theory of Petri Nets and Concurrency), pages 264–285. Springer, 2023. LNCS 13929. |
|
Florian Wittbold, Rebecca Bernemann, Reiko Heckel, Tobias Heindel, and Barbara König. Stochastic Decision Petri Nets, 2023. arXiv:2303.13344. |
|
Simon Lutz, Florian Wittbold, Simon Dierl, Benedikt Böing, Falk Howar, Barbara König, Emmanuel Müller, and Daniel Neider. Interpretable anomaly detection via discrete optimization, 2023. arXiv:2303.14111. |
|
Paolo Baldan, Richard Eggert, Barbara König, Timo Matt, and Tommaso Padoan. A monoidal view on fixpoint checks. In Proc. of ICGT '23, pages 3–21. Springer, 2023. LNCS 13961. |
|
Filippo Bonchi, Barbara König, and Daniela Petri san. Up-to techniques for behavioural metrics via fibrations. Mathematical Structures in Computer Science, 2023. to appear. |
|
Paolo Baldan, Richard Eggert, Barbara König, Timo Matt, and Tommaso Padoan. A monoidal view on fixpoint checks, 2023. arXiv:2305.02957. |
|