Jonas Forster

List of publications:

BibTeX-Download


Lehrstuhl für Informatik 8 (Theoretische Informatik)
close-button

Types of publications

Journal article
Book chapter / Article in edited volumes
Authored book
Translation
Thesis
Edited Volume
Conference contribution
Other publication type
Unpublished / Preprint

Publication year

From
To

Abstract

Journal

Quantitative Graded Semantics and Spectra of Behavioural Metrics (2025) Forster J, Schröder L, Wild P, Beohar H, Gurke S, König B, Messing K Conference contribution Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach (2024) Beohar H, Gurke S, König B, Messing K, Forster J, Schröder L, Wild P Conference contribution Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras (2024) Forster J, Schröder L, Wild P, Beohar H, Gurke S, Messing K Conference contribution Quantitative Hennessy-Milner Theorems via Notions of Density (2023) Forster J, Goncharov S, Hofmann D, Nora P, Schröder L, Wild P Conference contribution Non-iterative Modal Logics are Coalgebraic (2020) Forster J, Schröder L Conference contribution