Paul Wild

44 papers A* 7A 2B 8Journal 26Unranked 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
2026 J jnl
The Only Distributive Law Over the Powerset Monad Is the One You Know.
CoRR
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2025 A* conf
Behavioural Conformances based on Lax Couplings.
LICS
Paul Wild, Lutz Schröder
2025 J jnl
Behavioural Conformances based on Lax Couplings.
CoRR
Paul Wild, Lutz Schröder
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 A conf
Identity-Preserving Lax Extensions and Where to Find Them.
STACS
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2025 J jnl
Non-Expansive Fuzzy Coalgebraic Logic.
CoRR
Stefan Gebhart, Lutz Schröder, Paul Wild
2025 A* conf
Non-expansive Fuzzy ALC.
IJCAI
Stefan Gebhart, Lutz Schröder, Paul Wild
2025 J jnl
Non-expansive Fuzzy ALC.
CoRR
Stefan Gebhart, Lutz Schröder, Paul Wild
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
2025 B conf
Relational Connectors and Heterogeneous Simulations.
FoSSaCS
Pedro Nora, Jurriaan Rot, Lutz Schröder, Paul Wild
2025 A* conf
Relators and Notions of Simulation Revisited.
LICS
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2025 J jnl
Relators and Notions of Simulation Revisited.
CoRR
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2024 J jnl
A point-free perspective on lax extensions and predicate liftings.
Math. Struct. Comput. Sci.
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2024 B conf
Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques.
CONCUR
Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara König, Matina Najafi, Wojciech Rozowski, Paul Wild
2024 J jnl
Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques.
CoRR
Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara König, Matina Najafi, Wojciech Rozowski, Paul Wild
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
2024 J jnl
Identity-Preserving Lax Extensions and Where to Find Them.
CoRR
Sergey Goncharov, Dirk Hofmaan, Pedro Nora, Lutz Schröder, Paul Wild
2024 J jnl
Relational Connectors and Heterogeneous Bisimulations.
CoRR
Pedro Nora, Jurriaan Rot, Lutz Schröder, Paul Wild
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 B conf
Kantorovich Functors and Characteristic Logics for Behavioural Distances.
FoSSaCS
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
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
Characteristic Logics for Behavioural Hemimetrics via Fuzzy Lax Extensions.
Log. Methods Comput. Sci.
Paul Wild, Lutz Schröder
2022 J jnl
Quantalic Behavioural Distances.
CoRR
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
2021 J jnl
A Point-free Perspective on Lax extensions and Predicate liftings.
CoRR
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2021 B conf
A Quantified Coalgebraic van Benthem Theorem.
FoSSaCS
Paul Wild, Lutz Schröder
2020 B conf
Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions.
CONCUR
Paul Wild, Lutz Schröder
2020 J jnl
Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions.
CoRR
Paul Wild, Lutz Schröder
2019 A* conf
A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic.
IJCAI
Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
2019 J jnl
A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic.
CoRR
Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
2018 A* conf
A van Benthem Theorem for Fuzzy Modal Logic.
LICS
Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
2018 J jnl
A van Benthem Theorem for Fuzzy Modal Logic.
CoRR
Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
2018 J jnl
A van Benthem Theorem for Quantitative Probabilistic Modal Logic.
CoRR
Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
2018 J jnl
Effect of voids on thermo-mechanical reliability of chip resistor solder joints: Experiment, modelling and simulation.
Microelectron. Reliab.
Paul Wild, Dominik Lorenz, Tobias Grözinger, André Zimmermann
2017 A* conf
A Characterization Theorem for a Modal Description Logic.
IJCAI
Paul Wild, Lutz Schröder
2017 J jnl
A Characterization Theorem for a Modal Description Logic.
CoRR
Paul Wild, Lutz Schröder
2017 J jnl
Void Formation and Their Effect on Reliability of Lead-Free Solder Joints on MID and PCB Substrates.
IEEE Trans. Reliab.
Paul Wild, Tobias Grözinger, Dominik Lorenz, André Zimmermann