Jonas Forster
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2020–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | Threshold-Based Behavioural Distances. | Jonas Forster, Lutz Schrder, Paul Wild, Barbara Knig, Pedro Nora |
| 2026 | CONCUR | Compositionality in Coalgebraic Trace Semantics. | Robin Jourde, Henning Urbat, Sergey Goncharov, Stelios Tsampas, Jonas Forster |
| 2026 | FOSSACS | Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich. | Paul Wild, Lutz Schrder, Karla Messing, Barbara Knig, Jonas Forster |
| 2025 | CSL | Quantitative Graded Semantics and Spectra of Behavioural Metrics. | Jonas Forster, Lutz Schrder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara Knig, Karla Messing |
| 2025 | LICS | Conformance Games for Graded Semantics. | Jonas Forster, Lutz Schrder, Paul Wild |
| 2024 | STACS | Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach. | Harsh Beohar, Sebastian Gurke, Barbara Knig, Karla Messing, Jonas Forster, Lutz Schrder, Paul Wild |
| 2023 | CSL | Quantitative Hennessy-Milner Theorems via Notions of Density. | Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schrder, Paul Wild |
| 2020 | AiML | Non-Iterative Modal Logics Are Coalgebraic. | Jonas Forster, Lutz Schrder |