On a Generalization of the Stone-Weierstrass Theorem. - Dirk Hofmann (Appl. Categorical Struct., 2002)

Enriching Traditional Classroom Scenarios by Seamless Integration of Interactive Media. - Andreas Lingnau; Markus Kuhn; Andreas Harrer; Dirk Hofmann; Martin Fendrich; Heinz Ulrich Hoppe (ICALT, 2003)

Topological Features of Lax Algebras. - Maria Manuel Clementino; Dirk Hofmann (Appl. Categorical Struct., 2003)

Effective Descent Morphisms in Categories of Lax Algebras. - Maria Manuel Clementino; Dirk Hofmann (Appl. Categorical Struct., 2004)

One Setting for All: Metric, Topology, Uniformity, Approach Structure. - Maria Manuel Clementino; Dirk Hofmann; Walter Tholen (Appl. Categorical Struct., 2004)

IP based Seamless Mobility Support in Heterogeneous Networks - Evaluation of Handover Mechanisms for Future Heterogeneous 3GPP Networks (IP basierte nahtlose Mobilitätsunterstützung in heterogenen Netzwerken - Evaluierung von Handover-Mechanismen für zukünftige heterogene 3GPP Netzwerke). - Anton Ambrosy; Oliver Blume; Dirk Hofmann; Edgar Kühn; Tobias Küfner (it Inf. Technol., 2006)

Axioms for Sequential Convergence. - Gonçalo Gutierres; Dirk Hofmann (Appl. Categorical Struct., 2007)

Lawvere Completeness in Topology. - Maria Manuel Clementino; Dirk Hofmann (Appl. Categorical Struct., 2009)

Exponentiable Functors Between Quantaloid-Enriched Categories. - Maria Manuel Clementino; Dirk Hofmann; Isar Stubbe (Appl. Categorical Struct., 2009)

Lawvere Completion and Separation Via Closure. - Dirk Hofmann; Walter Tholen (Appl. Categorical Struct., 2010)

Approximation in quantale-enriched categories - Dirk Hofmann; Pawel Waszkiewicz (CoRR, 2010)

Approaching Metric Domains. - Gonçalo Gutierres; Dirk Hofmann (Appl. Categorical Struct., 2013)

Probabilistic metric spaces as enriched categories. - Dirk Hofmann; C. D. Reis (Fuzzy Sets Syst., 2013)

On a coalgebraic view on Logic. - Dirk Hofmann; Manuel A. Martins 001 (J. Log. Comput., 2013)

A Four for the Price of One Duality Principle for Distributive Spaces. - Dirk Hofmann (Order, 2013)

Covering Morphisms in Categories of Relational Algebras. - Maria Manuel Clementino; Dirk Hofmann; Andrea Montoli (Appl. Categorical Struct., 2014)

Representable (T,V)-categories. - D. Chikhladze; Maria Manuel Clementino; Dirk Hofmann (Appl. Categorical Struct., 2015)

Exponential Kleisli Monoids as Eilenberg-Moore Algebras. - Dirk Hofmann; Frédéric Mynard; Gavin J. Seal (Appl. Categorical Struct., 2015)

On Exponentiable Morphisms in Classical Algebra. - Maria Manuel Clementino; Dirk Hofmann; George Janelidze (Appl. Categorical Struct., 2016)

Continuity as a computational effect. - Renato Neves; Luís Soares Barbosa; Dirk Hofmann; Manuel A. Martins 001 (J. Log. Algebraic Methods Program., 2016)

The rise and fall of V-functors. - Maria Manuel Clementino; Dirk Hofmann (Fuzzy Sets Syst., 2017)

Aspects of algebraic Algebras. - Dirk Hofmann; Lurdes Sousa (Log. Methods Comput. Sci., 2017)

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)

Charging Strategy Optimization for Battery Electric Vehicles Based on Dynamic Programming. - Julian Widmann; Benjamin Briegel; Dirk Hofmann; Oliver Sawodny (SII, 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)

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)