Jonas Forster

15 papers A* 1A 1B 4Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Computing Distinguishing Formulae for Threshold-Based Behavioural Distances.
CoRR
Jonas Forster, Lutz Schröder, Paul Wild, Barbara König, Pedro Nora
2026 B conf
Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich.
FoSSaCS
Paul Wild, Lutz Schröder, Karla Messing, Barbara König, Jonas Forster
2025 A* conf
Conformance Games for Graded Semantics.
LICS
Jonas Forster, Lutz Schröder, Paul Wild
2025 J jnl
Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich.
CoRR
Paul Wild, Lutz Schröder, Karla Messing, Barbara König, Jonas Forster
2025 B conf
Quantitative Graded Semantics and Spectra of Behavioural Metrics.
CSL
Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing
2024 J jnl
Conformance Games for Graded Semantics.
CoRR
Jonas Forster, Lutz Schröder, Paul Wild
2024 A conf
Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach.
STACS
Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild
2024 — conf
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras.
CMCS
Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Karla Messing
2023 J jnl
Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach.
CoRR
Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild
2023 J jnl
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras.
CoRR
Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing
2023 J jnl
Quantitative Graded Semantics and Spectra of Behavioural Metrics.
CoRR
Jonas Forster, Lutz Schröder, Paul Wild
2023 B conf
Quantitative Hennessy-Milner Theorems via Notions of Density.
CSL
Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2022 J jnl
Quantitative Hennessy-Milner Theorems via Notions of Density.
CoRR
Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2020 B conf
Non-Iterative Modal Logics Are Coalgebraic.
AiML
Jonas Forster, Lutz Schröder
2020 J jnl
Non-iterative Modal Logics are Coalgebraic.
CoRR
Jonas Forster, Lutz Schröder