2021 |
|
Paolo Baldan, Richard Eggert, Barbara König, and Tommaso Padoan. Fixpoint theory – upside down. In Proc. of FOSSACS '21, pages 62–81. Springer, 2021. LNCS/ARCoSS 12650. |
|
2020 |
|
Harsh Beohar, Barbara König, Sebastian Küpper, and Alexandra Silva. Conditional transition systems with upgrades. Science of Computer Programming, 186, 2020. |
|
|
Barbara König, Christina Mika-Michalski, and Lutz Schröder. Explaining non-bisimilarity in a coalgebraic approach: Games and distinguishing formulas. In Proc. of CMCS '20, pages 133–154. Springer, 2020. LNCS 12094. |
|
|
Mathias Hülsbusch, Barbara König, Sebastian Küpper, and Lars Stoltenow. Conditional bisimilarity for reactive systems. In Proc. of FSCD '20, volume 167 of LIPIcs, pages 10:1–10:19. Schloss Dagstuhl – Leibniz Center for Informatics, 2020. |
|
|
Paolo Baldan, Barbara König, and Tommaso Padoan. Abstraction, up-to techniques and games for systems of fixpoint equations. In Proc. of CONCUR '20, volume 171 of LIPIcs, pages 25:1–25:20. Schloss Dagstuhl – Leibniz Center for Informatics, 2020. |
|
2019 |
|
Paolo Baldan, Barbara König, Christina Mika-Michalski, and Tommaso Padoan. Fixpoint games on continuous lattices. PACMPL (Proc. of POPL '19), 3:26:1–26:29, 2019. |
|
|
Paul Wild, Lutz Schröder, Dirk Pattinson, and Barbara König. A modal characterization theorem for probabilistic fuzzy modal logic. In Proc. of IJCAI '19, pages 1900–1906. ijcai.org, 2019. |
|
|
Richard Eggert and Barbara König. Computing coalgebraic behavioural metrics on-the-fly. In CALCO Early Ideas '19, 2019. |
|
|
Harsh Beohar, Barbara König, Sebastian Küpper, and Christina Mika-Michalski. Coalgebraic games in kleisli categories. In CALCO Early Ideas '19, 2019. |
|
2018 |
|
Barbara König and Sebastian Küpper. A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata. Soft Computing, 22(4), 2018. |
|
|
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva, and Thorsten Wißmann. A coalgebraic treatment of conditional transition systems with upgrades. Logical Methods in Computer Science, 14(1), 2018. Special Festschrift Issue in Honor of Jiri Adámek. |
|
|
Paolo Baldan, Filippo Bonchi, Henning Kerstan, and Barbara König. Coalgebraic behavioral metrics. Logical Methods in Computer Science, 14(3), 2018. Selected Papers of the 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). |
|
|
Paul Wild, Lutz Schröder, Dirk Pattinson, and Barbara König. A van Benthem theorem for fuzzy modal logic, 2018. arXiv:1802.00478. |
|
|
Paul Wild, Lutz Schröder, Dirk Pattinson, and Barbara König. A van Benthem theorem for fuzzy modal logic. In Proc. of LICS '18, pages 909–918. ACM, 2018. |
|
|
Barbara König and Christina Mika-Michalski. (Metric) bisimulation games and real-valued modal logics for coalgebras. In Proc. of CONCUR '18, volume 118 of LIPIcs, pages 37:1–37:17. Schloss Dagstuhl – Leibniz Center for Informatics, 2018. |
|
|
Filippo Bonchi, Barbara König, and Daniela Petri san. Up-to techniques for behavioural metrics via fibrations. In Proc. of CONCUR '18, volume 118 of LIPIcs, pages 17:1–17:17. Schloss Dagstuhl – Leibniz Center for Informatics, 2018. |
|
|
B. König and C. Mika-Michalski. (Metric) bisimulation games and real-valued modal logics for coalgebras, 2018. arXiv:1705.10165. |
|
|
F. Bonchi, B. König, and D. Petri san. Up-to techniques for behavioural metrics via fibrations, 2018. arXiv:1806.11064. |
|
|
Paul Wild, Lutz Schröder, Dirk Pattinson, and Barbara König. A van Benthem theorem for quantitative probabilistic modal logic, 2018. arXiv:1810.04722. |
|
|
Paolo Baldan, Barbara König, Christina Mika-Michalski, and Tommaso Padoan. Fixpoint games on continuous lattices, 2018. arXiv:1810.11404. |
|
2017 |
|
Filippo Bonchi, Barbara König, and Sebastian Küpper. Up-to techniques for weighted systems (extended version), 2017. arXiv:1701.05001. |
|
|
Filippo Bonchi, Barbara König, and Sebastian Küpper. Up-to techniques for weighted systems. In Proc. of TACAS '17, Part I, pages 535–552. Springer, 2017. LNCS 10205. |
|
|
Barbara König and Christina Mika. Bisimulation games on coalgebras. In CALCO Early Ideas '17, 2017. |
|
|
Harsh Beohar, Barbara König, Sebastian Küpper, and Alexandra Silva. Conditional transition system with upgrades. In Proc. of TASE '17 (Theoretical Aspects of Software Engineering). IEEE Xplore, 2017. |
|
|
Paolo Baldan, Filippo Bonchi, Henning Kerstan, and Barbara König. Coalgebraic behavioral metrics, 2017. arXiv:1712.07511. |
|
|
B. König, C. Mika, and S. Küpper. Paws: A tool for the analysis of weighted systems. In Proc. of QAPL '17 (International Workshop on Quantitative Aspects of Programming Languages and Systems), volume 250 of EPTCS, 2017. |
|
2016 |
|
Henning Kerstan. Coalgebraic Behavior Analysis – From Qualitative to Quantitative Analyses. PhD thesis, Universität Duisburg-Essen, Fakultät für Ingenieurwissenschaften, Abteilung für Informatik und Angewandte Kognitionswissenschaft, may 2016. |
|
|
Harsh Beohar, Barbara König, Sebastian Küpper, and Alexandra Silva. A coalgebraic treatment of conditional transition systems with upgrades, 2016. arXiv:1612.05002. |
|
|
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva, and Thorsten Wißmann. A coalgebraic treatment of conditional transition systems with upgrades, 2016. arXiv:1612.05002. |
|
2015 |
|
Paolo Baldan, Filippo Bonchi, Henning Kerstan, and Barbara König. Towards trace metrics via functor lifting. In Lawrence S. Moss and Paweł Sobociński, editors, 6th Conference on Algebra and Coalgebra in Computer Science (CALCO'15), volume 35 of Leibniz International Proceedings in Informatics (LIPIcs), pages 35–49. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, oct 2015. |
|
|
Paolo Baldan, Filippo Bonchi, Henning Kerstan, and Barbara König. Towards trace metrics via functor lifting, 2015. arXiv:1505.08105. |
|
2014 |
|
Paolo Baldan, Filippo Bonchi, Henning Kerstan, and Barbara König. Behavioral Metrics via Functor Lifting. In Venkatesh Raman and S. P. Suresh, editors, 34th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2014), volume 29 of Leibniz International Proceedings in Informatics (LIPIcs), pages 403–415. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2014. |
|
|
Henning Kerstan, Barbara König, and Bram Westerbaan. Lifting adjunctions to coalgebras to (Re)Discover automata constructions. In Marcello M. Bonsangue, editor, Coalgebraic Methods in Computer Science, volume 8446 of Lecture Notes in Computer Science, pages 168–188. Springer Berlin Heidelberg, 2014. |
|
|
Barbara König and Sebastian Küpper. Generic partition refinement algorithms for coalgebras and an instantiation to weighted automata. In Proc. of TCS '14, IFIP AICT, pages 311–325. Springer, 2014. LNCS 8705. |
|
