Jonas Forster

Room: 11.130
E-Mail: Jonas.Forster[at]fau.de
Phone: +49 9131 85-64054

About me:

I am a PhD student at the Chair for Theoretical Computer Science under the Supervision of Lutz Schröder. My research centers around behavioural distances in coalgebras. More specifically I am interested in how equivalences along the Linear Time-Branching Time Spectrum generalize to metrics.

Publications

See also dblp for more regular updates and preprints.

2024
[3] , , , , , and : Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach, In Olaf Beyersdorff, Mamadou Moustapha Kanté, Orna Kupferman, Daniel Lokshtanov, eds.: 41st International Symposium on Theoretical Aspects of Computer Science, STACS 2024, March 12-14, 2024, Clermont-Ferrand, France, LIPIcs, vol. 289, pp. 10:1–10:19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, . [bibtex] [url] [doi]
2023
[2] , , , , and : Quantitative Hennessy-Milner Theorems via Notions of Density, In Bartek Klin, Elaine Pimentel, eds.: 31th EACSL Annual Conference on Computer Science Logic, CSL 2023, LIPIcs, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, . [bibtex]
2020
[1] and : Non-Iterative Modal Logics Are Coalgebraic, In Nicola Olivetti, Rineke Verbrugge, Sara Negri, Gabriel Sandu, eds.: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020, pp. 229–248, College Publications, . [bibtex] [pdf]