Dirk Hofmann

According to our database1, Dirk Hofmann authored at least 24 papers between 2002 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Hausdorff Coalgebras.
Appl. Categorical Struct., 2020

2019
Limits in categories of Vietoris coalgebras.
Math. Struct. Comput. Sci., 2019

2017
Aspects of algebraic Algebras.
Log. Methods Comput. Sci., 2017

The rise and fall of V-functors.
Fuzzy Sets Syst., 2017

2016
Continuity as a computational effect.
J. Log. Algebraic Methods Program., 2016

On Exponentiable Morphisms in Classical Algebra.
Appl. Categorical Struct., 2016

2015
Exponential Kleisli Monoids as Eilenberg-Moore Algebras.
Appl. Categorical Struct., 2015

Representable (T,V)-categories.
Appl. Categorical Struct., 2015

2014
Covering Morphisms in Categories of Relational Algebras.
Appl. Categorical Struct., 2014

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

On a coalgebraic view on Logic.
J. Log. Comput., 2013

Probabilistic metric spaces as enriched categories.
Fuzzy Sets Syst., 2013

Approaching Metric Domains.
Appl. Categorical Struct., 2013

2010
Approximation in quantale-enriched categories
CoRR, 2010

Lawvere Completion and Separation Via Closure.
Appl. Categorical Struct., 2010

2009
Exponentiable Functors Between Quantaloid-Enriched Categories.
Appl. Categorical Struct., 2009

Lawvere Completeness in Topology.
Appl. Categorical Struct., 2009

2007
Axioms for Sequential Convergence.
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).
it Inf. Technol., 2006

2004
One Setting for All: Metric, Topology, Uniformity, Approach Structure.
Appl. Categorical Struct., 2004

Effective Descent Morphisms in Categories of Lax Algebras.
Appl. Categorical Struct., 2004

2003
Topological Features of Lax Algebras.
Appl. Categorical Struct., 2003

Enriching Traditional Classroom Scenarios by Seamless Integration of Interactive Media.
Proceedings of the 2003 IEEE International Conference on Advanced Learning Technologies, 2003

2002
On a Generalization of the Stone-Weierstrass Theorem.
Appl. Categorical Struct., 2002


  Loading...