A Characterization Theorem for a Modal Description Logic. - Paul Wild; Lutz Schröder (IJCAI, 2017)

Void Formation and Their Effect on Reliability of Lead-Free Solder Joints on MID and PCB Substrates. - Paul Wild; Tobias Grözinger; Dominik Lorenz; André Zimmermann (IEEE Trans. Reliab., 2017)

A van Benthem Theorem for Fuzzy Modal Logic. - Paul Wild; Lutz Schröder; Dirk Pattinson; Barbara König 001 (LICS, 2018)

A van Benthem Theorem for Quantitative Probabilistic Modal Logic. - Paul Wild; Lutz Schröder; Dirk Pattinson; Barbara König 001 (CoRR, 2018)

Effect of voids on thermo-mechanical reliability of chip resistor solder joints: Experiment, modelling and simulation. - Paul Wild; Dominik Lorenz; Tobias Grözinger; André Zimmermann (Microelectron. Reliab., 2018)

A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic. - Paul Wild; Lutz Schröder; Dirk Pattinson; Barbara König 001 (IJCAI, 2019)

Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions. - Paul Wild; Lutz Schröder (CONCUR, 2020)

A Quantified Coalgebraic van Benthem Theorem. - Paul Wild; Lutz Schröder (FoSSaCS, 2021)

Quantalic Behavioural Distances. - Sergey Goncharov 001; Dirk Hofmann; Pedro Nora; Lutz Schröder; Paul Wild (CoRR, 2022)

Characteristic Logics for Behavioural Hemimetrics via Fuzzy Lax Extensions. - Paul Wild; Lutz Schröder (Log. Methods Comput. Sci., 2022)

Quantitative Hennessy-Milner Theorems via Notions of Density. - Jonas Forster; Sergey Goncharov 001; Dirk Hofmann; Pedro Nora; Lutz Schröder; Paul Wild (CSL, 2023)

Kantorovich Functors and Characteristic Logics for Behavioural Distances. - Sergey Goncharov 001; Dirk Hofmann; Pedro Nora; Lutz Schröder; Paul Wild (FoSSaCS, 2023)

Quantitative Graded Semantics and Spectra of Behavioural Metrics. - Jonas Forster; Lutz Schröder; Paul Wild (CoRR, 2023)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras. - Jonas Forster; Lutz Schröder; Paul Wild; Harsh Beohar; Sebastian Gurke; Barbara König 001; Karla Messing (CoRR, 2023)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras. - Jonas Forster; Lutz Schröder; Paul Wild; Harsh Beohar; Sebastian Gurke; Karla Messing (CMCS, 2024)

Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques. - Keri D'Angelo; Sebastian Gurke; Johanna Maria Kirss; Barbara König 001; Matina Najafi; Wojciech Rozowski; Paul Wild (CONCUR, 2024)

Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach. - Harsh Beohar; Sebastian Gurke; Barbara König 001; Karla Messing; Jonas Forster; Lutz Schröder; Paul Wild (STACS, 2024)

Identity-Preserving Lax Extensions and Where to Find Them. - Sergey Goncharov 001; Dirk Hofmaan; Pedro Nora; Lutz Schröder; Paul Wild (CoRR, 2024)

Relational Connectors and Heterogeneous Bisimulations. - Pedro Nora; Jurriaan Rot; Lutz Schröder; Paul Wild (CoRR, 2024)

Conformance Games for Graded Semantics. - Jonas Forster; Lutz Schröder; Paul Wild (CoRR, 2024)

A point-free perspective on lax extensions and predicate liftings. - Sergey Goncharov 001; Dirk Hofmann; Pedro Nora; Lutz Schröder; Paul Wild (Math. Struct. Comput. Sci., 2024)

Quantitative Graded Semantics and Spectra of Behavioural Metrics. - Jonas Forster; Lutz Schröder; Paul Wild; Harsh Beohar; Sebastian Gurke; Barbara König 001; Karla Messing (CSL, 2025)

Relational Connectors and Heterogeneous Simulations. - Pedro Nora; Jurriaan Rot; Lutz Schröder; Paul Wild (FoSSaCS, 2025)

Identity-Preserving Lax Extensions and Where to Find Them. - Sergey Goncharov 001; Dirk Hofmann; Pedro Nora; Lutz Schröder; Paul Wild (STACS, 2025)

Behavioural Conformances based on Lax Couplings. - Paul Wild; Lutz Schröder (CoRR, 2025)

Relators and Notions of Simulation Revisited. - Sergey Goncharov 001; Dirk Hofmann; Pedro Nora; Lutz Schröder; Paul Wild (CoRR, 2025)

Non-expansive Fuzzy ALC. - Stefan Gebhart; Lutz Schröder; Paul Wild (CoRR, 2025)