Dr.-Ing. Paul Wild

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques (2024) D’Angelo K, Gurke S, Kirss JM, König B, Najafi M, Różowski W, Wild P 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 A point-free perspective on lax extensions and predicate liftings (2023) Goncharov S, Hofmann D, Nora P, Schröder L, Wild P Journal article Kantorovich Functors and Characteristic Logics for Behavioural Distances (2023) Goncharov S, Hofmann D, Nora P, Schröder L, Wild P Conference contribution CHARACTERISTIC LOGICS FOR BEHAVIOURAL HEMIMETRICS VIA FUZZY LAX EXTENSIONS (2022) Wild P, Schröder L Journal article A Quantified Coalgebraic van Benthem Theorem (2021) Wild P, Schröder L Conference contribution Characteristic logics for behavioural metrics via fuzzy lax extensions (2020) Wild P, Schröder L Conference contribution, Original article A modal characterization theorem for a probabilistic fuzzy description logic (2019) Wild P, Schröder L, Pattinson D, König B Conference contribution