Paul Wild

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 26

Top Topics

Knowledge Representation Formalisms

Transitive Closure Of Roles

Top Venues

Publications

Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild
Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach. STACS (2024)
Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara König, Matina Najafi, Wojciech Rozowski, Paul Wild
Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques. CONCUR (2024)
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
A point-free perspective on lax extensions and predicate liftings. Math. Struct. Comput. Sci. 34 (2) (2024)
Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara König, Matina Najafi, Wojciech Rozowski, Paul Wild
Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques. CoRR (2024)
Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Karla Messing
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras. CMCS (2024)
Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild
Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach. CoRR (2023)
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
Kantorovich Functors and Characteristic Logics for Behavioural Distances. FoSSaCS (2023)
Jonas Forster, Lutz Schröder, Paul Wild
Quantitative Graded Semantics and Spectra of Behavioural Metrics. CoRR (2023)
Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
Quantitative Hennessy-Milner Theorems via Notions of Density. CSL (2023)
Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing
Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras. CoRR (2023)
Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
Quantitative Hennessy-Milner Theorems via Notions of Density. CoRR (2022)
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
Quantalic Behavioural Distances. CoRR (2022)
Paul Wild, Lutz Schröder
Characteristic Logics for Behavioural Hemimetrics via Fuzzy Lax Extensions. Log. Methods Comput. Sci. 18 (2) (2022)
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
A Point-free Perspective on Lax extensions and Predicate liftings. CoRR (2021)
Paul Wild, Lutz Schröder
A Quantified Coalgebraic van Benthem Theorem. FoSSaCS (2021)
Paul Wild, Lutz Schröder
Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions. CONCUR (2020)
Paul Wild, Lutz Schröder
Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions. CoRR (2020)
Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic. IJCAI (2019)
Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic. CoRR (2019)
Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
A van Benthem Theorem for Quantitative Probabilistic Modal Logic. CoRR (2018)
Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
A van Benthem Theorem for Fuzzy Modal Logic. CoRR (2018)
Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König
A van Benthem Theorem for Fuzzy Modal Logic. LICS (2018)
Paul Wild, Dominik Lorenz, Tobias Grözinger, André Zimmermann
Effect of voids on thermo-mechanical reliability of chip resistor solder joints: Experiment, modelling and simulation. Microelectron. Reliab. 85 (2018)
Paul Wild, Tobias Grözinger, Dominik Lorenz, André Zimmermann
Void Formation and Their Effect on Reliability of Lead-Free Solder Joints on MID and PCB Substrates. IEEE Trans. Reliab. 66 (4) (2017)
Paul Wild, Lutz Schröder
A Characterization Theorem for a Modal Description Logic. CoRR (2017)
Paul Wild, Lutz Schröder
A Characterization Theorem for a Modal Description Logic. IJCAI (2017)