Dr. Paul Wild

Adresse:

FAU Erlangen-Nürnberg
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Martensstraße 3
D-91058 Erlangen
Raum: 11.130
E-Mail: paul.wild[at]fau.de
Telefon: 09131/85-64054

About me

I am a postdoctoral researcher at the Chair for Theoretical Computer Science at Friedrich-Alexander-Universität Erlangen-Nürnberg. My research interests are in coalgebra, modal logic and behavioural distances. My PhD thesis on „The Model Theory of Quantitatitive Coalgebraic Modal Logics“ can be found at Open FAU.

Publications

2025
[19], , , and : Identity-Preserving Lax Extensions and Where to Find Them, In Olaf Beyersdorff, Michal Pilipczuk, Elaine Pimentel, Kim Thang Nguyen, eds.: 42nd International Symposium on Theoretical Aspects of Computer Science, STACS 2025, March 4-7, 2025, Jena, Germany, LIPIcs, vol. 327, pp. 40:1–40:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, . [bibtex] [url] [doi]
[18] and : Behavioural Conformances based on Lax Couplings, In 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025, Singapore, June 23-26, 2025, pp. 790–803, IEEE, . [bibtex] [url] [doi]
[17], , , and : Relators and Notions of Simulation Revisited, In 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025, Singapore, June 23-26, 2025, pp. 776–789, IEEE, . [bibtex] [url] [doi]
[16], and : Conformance Games for Graded Semantics, In 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025, Singapore, June 23-26, 2025, pp. 555–567, IEEE, . [bibtex] [url] [doi]
[15], and : Non-expansive Fuzzy ALC, In Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2025, Montreal, Canada, August 16-22, 2025, pp. 4509–4517, ijcai.org, . [bibtex] [url] [doi]
[14], , and : Relational Connectors and Heterogeneous Simulations, In Parosh Aziz Abdulla, Delia Kesner, eds.: Foundations of Software Science and Computation Structures - 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Lecture Notes in Computer Science, vol. 15691, pp. 111–132, Springer, . [bibtex] [url] [doi]
[13], , , , , and : Quantitative Graded Semantics and Spectra of Behavioural Metrics, In Jörg Endrullis, Sylvain Schmitz, eds.: 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025, February 10-14, 2025, Amsterdam, Netherlands, LIPIcs, vol. 326, pp. 33:1–33:21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, . [bibtex] [url] [doi]
2024
[12], , , and : A point-free perspective on lax extensions and predicate liftings, In Mathematical Structures in Computer Science, 34(2), pp. 98–127, . [bibtex] [doi]
[11], , , , , and : Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach, In Olaf Beyersdorff, Mamadou Moustapha Kanté, Orna Kupferman, Daniel Lokshtanov, eds.: 41st International Symposium on Theoretical Aspects of Computer Science, STACS 2024, March 12-14, 2024, Clermont-Ferrand, France, LIPIcs, vol. 289, pp. 10:1–10:19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, . [bibtex] [doi]
[10], , , , , and : Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques, In Rupak Majumdar, Alexandra Silva, eds.: 35th International Conference on Concurrency Theory, CONCUR 2024, September 9-13, 2024, Calgary, Canada, LIPIcs, vol. 311, pp. 20:1–20:19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, . [bibtex] [url] [doi]
[9], , , , and : Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras, In Barbara König, Henning Urbat, eds.: Coalgebraic Methods in Computer Science - 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings, Lecture Notes in Computer Science, vol. 14617, pp. 114–134, Springer, . [bibtex] [doi]
2023
[8], , , and : Kantorovich Functors and Characteristic Logics for Behavioural Distances, In Pawel Sobocinski, Orna Kupferman, eds.: Foundations of Software Science and Computation Structures (FoSSaCS 2023), Springer International Publishing, . [bibtex]
[7], , , , and : Quantitative Hennessy-Milner Theorems via Notions of Density, In Bartek Klin, Elaine Pimentel, eds.: 31st EACSL Annual Conference on Computer Science Logic, CSL 2023, February 13-16, 2023, Warsaw, Poland, LIPIcs, vol. 252, pp. 22:1–22:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, . [bibtex] [doi]
2022
[6] and : Characteristic Logics for Behavioural Hemimetrics via Fuzzy Lax Extensions, In Log. Methods Comput. Sci., 18(2), . [bibtex] [url] [doi]
2021
[5] and : A Quantified Coalgebraic van Benthem Theorem, In Stefan Kiefer, Christine Tasson, eds.: Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Lecture Notes in Computer Science, vol. 12650, pp. 551–571, Springer, . [bibtex] [doi]
2020
[4] and : Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions, In Igor Konnov, Laura Kovács, eds.: 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference), LIPIcs, vol. 171, pp. 27:1–27:23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, . [bibtex] [url] [doi]
2019
[3], , and : A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic, In Sarit Kraus, ed.: Proc. International Joint Conference on Artificial Intelligence, IJCAI 2019, ijcai.org, . to appear [preprint] [bibtex]
2018
[2], , and : A van Benthem Theorem for Fuzzy Modal Logic, In Anuj Dawar, Erich Grädel, eds.: Proc. 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, pp. 909–918, ACM, . [preprint] [bibtex] [url] [doi]
2017
[1] and : A Characterization Theorem for a Modal Description Logic, In International Joint Conference on Artificial Intelligence, IJCAI 2017, IJCAI/AAAI, . [preprint] [bibtex] [url] [doi]