Limits in categories of Vietoris coalgebras. - Dirk Hofmann; Renato Neves; Pedro Nora (Math. Struct. Comput. Sci., 2019)

Hausdorff Coalgebras. - Dirk Hofmann; Pedro Nora (Appl. Categorical Struct., 2020)

Quantalic Behavioural Distances. - Sergey Goncharov 001; Dirk Hofmann; Pedro Nora; Lutz Schröder; Paul Wild (CoRR, 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)

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)

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)

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)

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