Dirk Hofmann

According to our database, Dirk Hofmann authored at least 29 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A point-free perspective on lax extensions and predicate liftings.

Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild

Math. Struct. Comput. Sci., 2024

Charging Strategy Optimization for Battery Electric Vehicles Based on Dynamic Programming.

Julian Widmann, Benjamin Briegel, Dirk Hofmann, Oliver Sawodny

Proceedings of the IEEE/SICE International Symposium on System Integration, 2024

2023

Kantorovich Functors and Characteristic Logics for Behavioural Distances.

Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild

Proceedings of the Foundations of Software Science and Computation Structures, 2023

Quantitative Hennessy-Milner Theorems via Notions of Density.

Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

2022

Quantalic Behavioural Distances.

Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild

CoRR, 2022

2020

Hausdorff Coalgebras.

Dirk Hofmann, Pedro Nora

Appl. Categorical Struct., 2020

2019

Limits in categories of Vietoris coalgebras.

Dirk Hofmann, Renato Neves, Pedro Nora

Math. Struct. Comput. Sci., 2019

2017

Aspects of algebraic Algebras.

Dirk Hofmann, Lurdes Sousa

Log. Methods Comput. Sci., 2017

The rise and fall of V-functors.

Maria Manuel Clementino, Dirk Hofmann

Fuzzy Sets Syst., 2017

2016

Continuity as a computational effect.

Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins

J. Log. Algebraic Methods Program., 2016

On Exponentiable Morphisms in Classical Algebra.

Maria Manuel Clementino, Dirk Hofmann, George Janelidze

Appl. Categorical Struct., 2016

2015

Exponential Kleisli Monoids as Eilenberg-Moore Algebras.

Dirk Hofmann, Frédéric Mynard, Gavin J. Seal

Appl. Categorical Struct., 2015

Representable (T,V)-categories.

D. Chikhladze, Maria Manuel Clementino, Dirk Hofmann

Appl. Categorical Struct., 2015

2014

Covering Morphisms in Categories of Relational Algebras.

Maria Manuel Clementino, Dirk Hofmann, Andrea Montoli

Appl. Categorical Struct., 2014

2013

A Four for the Price of One Duality Principle for Distributive Spaces.

Dirk Hofmann

Order, 2013

On a coalgebraic view on Logic.

Dirk Hofmann, Manuel A. Martins

J. Log. Comput., 2013

Probabilistic metric spaces as enriched categories.

Dirk Hofmann, C. D. Reis

Fuzzy Sets Syst., 2013

Approaching Metric Domains.

Gonçalo Gutierres, Dirk Hofmann

Appl. Categorical Struct., 2013

2010

Approximation in quantale-enriched categories

Dirk Hofmann, Pawel Waszkiewicz

CoRR, 2010

Lawvere Completion and Separation Via Closure.

Dirk Hofmann, Walter Tholen

Appl. Categorical Struct., 2010

2009

Exponentiable Functors Between Quantaloid-Enriched Categories.

Maria Manuel Clementino, Dirk Hofmann, Isar Stubbe

Appl. Categorical Struct., 2009

Lawvere Completeness in Topology.

Maria Manuel Clementino, Dirk Hofmann

Appl. Categorical Struct., 2009

2007

Axioms for Sequential Convergence.

Gonçalo Gutierres, Dirk Hofmann

Appl. Categorical Struct., 2007

2006

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

2004

One Setting for All: Metric, Topology, Uniformity, Approach Structure.

Maria Manuel Clementino, Dirk Hofmann, Walter Tholen

Appl. Categorical Struct., 2004

Effective Descent Morphisms in Categories of Lax Algebras.

Maria Manuel Clementino, Dirk Hofmann

Appl. Categorical Struct., 2004

2003

Topological Features of Lax Algebras.

Maria Manuel Clementino, Dirk Hofmann

Appl. Categorical Struct., 2003

Enriching Traditional Classroom Scenarios by Seamless Integration of Interactive Media.

Andreas Lingnau, Markus Kuhn, Andreas Harrer, Dirk Hofmann, Martin Fendrich, Heinz Ulrich Hoppe

Proceedings of the 2003 IEEE International Conference on Advanced Learning Technologies, 2003

2002

On a Generalization of the Stone-Weierstrass Theorem.

Dirk Hofmann

Appl. Categorical Struct., 2002