Dirk Hofmann

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 17

Top Topics

Quantitative Measures

Relational Algebra

Automatically Classify

Top Venues

Appl. Categorical Struct.

Math. Struct. Comput. Sci.

J. Log. Algebraic Methods Program.

Publications

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)
Julian Widmann, Benjamin Briegel, Dirk Hofmann, Oliver Sawodny
Charging Strategy Optimization for Battery Electric Vehicles Based on Dynamic Programming. SII (2024)
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
Kantorovich Functors and Characteristic Logics for Behavioural Distances. FoSSaCS (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, 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)
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
A Point-free Perspective on Lax extensions and Predicate liftings. CoRR (2021)
Dirk Hofmann, Pedro Nora
Hausdorff Coalgebras. Appl. Categorical Struct. 28 (5) (2020)
Dirk Hofmann, Renato Neves, Pedro Nora
Limits in categories of Vietoris coalgebras. Math. Struct. Comput. Sci. 29 (4) (2019)
Dirk Hofmann, Lurdes Sousa
Aspects of algebraic Algebras. Log. Methods Comput. Sci. 13 (3) (2017)
Maria Manuel Clementino, Dirk Hofmann
The rise and fall of V-functors. Fuzzy Sets Syst. 321 (2017)
Dirk Hofmann, Renato Neves, Pedro Nora
Limits in Categories of Vietoris Coalgebras. CoRR (2016)
Maria Manuel Clementino, Dirk Hofmann, George Janelidze
On Exponentiable Morphisms in Classical Algebra. Appl. Categorical Struct. 24 (5) (2016)
Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins
Continuity as a computational effect. J. Log. Algebraic Methods Program. 85 (5) (2016)
Dirk Hofmann, Frédéric Mynard, Gavin J. Seal
Exponential Kleisli Monoids as Eilenberg-Moore Algebras. Appl. Categorical Struct. 23 (2) (2015)
D. Chikhladze, Maria Manuel Clementino, Dirk Hofmann
Representable (T,V)-categories. Appl. Categorical Struct. 23 (6) (2015)
Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins
Continuity as a computational effect. CoRR (2015)
Maria Manuel Clementino, Dirk Hofmann, Andrea Montoli
Covering Morphisms in Categories of Relational Algebras. Appl. Categorical Struct. 22 (5-6) (2014)
Dirk Hofmann, Manuel A. Martins
On a coalgebraic view on Logic. J. Log. Comput. 23 (5) (2013)
Dirk Hofmann
A Four for the Price of One Duality Principle for Distributive Spaces. Order 30 (2) (2013)
Dirk Hofmann, C. D. Reis
Probabilistic metric spaces as enriched categories. Fuzzy Sets Syst. 210 (2013)
Gonçalo Gutierres, Dirk Hofmann
Approaching Metric Domains. Appl. Categorical Struct. 21 (6) (2013)
Dirk Hofmann, Manuel A. Martins
On a coalgebraic view on Logic CoRR (2012)
Dirk Hofmann, Walter Tholen
Lawvere Completion and Separation Via Closure. Appl. Categorical Struct. 18 (3) (2010)
Dirk Hofmann, Pawel Waszkiewicz
Approximation in quantale-enriched categories CoRR (2010)
Maria Manuel Clementino, Dirk Hofmann, Isar Stubbe
Exponentiable Functors Between Quantaloid-Enriched Categories. Appl. Categorical Struct. 17 (1) (2009)
Maria Manuel Clementino, Dirk Hofmann
Lawvere Completeness in Topology. Appl. Categorical Struct. 17 (2) (2009)
Gonçalo Gutierres, Dirk Hofmann
Axioms for Sequential Convergence. Appl. Categorical Struct. 15 (5-6) (2007)
Anton Ambrosy, Oliver Blume, Dirk Hofmann, Edgar Kühn, Tobias Küfner
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). it Inf. Technol. 48 (5) (2006)
Maria Manuel Clementino, Dirk Hofmann
Effective Descent Morphisms in Categories of Lax Algebras. Appl. Categorical Struct. 12 (5-6) (2004)
Maria Manuel Clementino, Dirk Hofmann, Walter Tholen
One Setting for All: Metric, Topology, Uniformity, Approach Structure. Appl. Categorical Struct. 12 (2) (2004)
Andreas Lingnau, Markus Kuhn, Andreas Harrer, Dirk Hofmann, Martin Fendrich, Heinz Ulrich Hoppe
Enriching Traditional Classroom Scenarios by Seamless Integration of Interactive Media. ICALT (2003)
Maria Manuel Clementino, Dirk Hofmann
Topological Features of Lax Algebras. Appl. Categorical Struct. 11 (3) (2003)
Dirk Hofmann
On a Generalization of the Stone-Weierstrass Theorem. Appl. Categorical Struct. 10 (6) (2002)