 | 2012 |
| 12 |  | Dirk Hofmann,
Manuel A. Martins:
On a coalgebraic view on Logic
CoRR abs/1202.0915: (2012) |
| 2010 |
| 11 |  | Dirk Hofmann,
Walter Tholen:
Lawvere Completion and Separation Via Closure.
Applied Categorical Structures 18(3): 259-287 (2010) |
| 10 |  | Dirk Hofmann,
Pawel Waszkiewicz:
Approximation in quantale-enriched categories
CoRR abs/1004.2228: (2010) |
| 2009 |
| 9 |  | Maria Manuel Clementino,
Dirk Hofmann,
Isar Stubbe:
Exponentiable Functors Between Quantaloid-Enriched Categories.
Applied Categorical Structures 17(1): 91-101 (2009) |
| 8 |  | Maria Manuel Clementino,
Dirk Hofmann:
Lawvere Completeness in Topology.
Applied Categorical Structures 17(2): 175-210 (2009) |
| 2007 |
| 7 |  | Gonçalo Gutierres,
Dirk Hofmann:
Axioms for Sequential Convergence.
Applied Categorical Structures 15(5-6): 599-614 (2007) |
| 2006 |
| 6 |  | 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 - Information Technology 48(5): 274- (2006) |
| 2004 |
| 5 |  | Maria Manuel Clementino,
Dirk Hofmann,
Walter Tholen:
One Setting for All: Metric, Topology, Uniformity, Approach Structure.
Applied Categorical Structures 12(2): 127-154 (2004) |
| 4 |  | Maria Manuel Clementino,
Dirk Hofmann:
Effective Descent Morphisms in Categories of Lax Algebras.
Applied Categorical Structures 12(5-6): 413-425 (2004) |
| 2003 |
| 3 |  | 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: 135-139 |
| 2 |  | Maria Manuel Clementino,
Dirk Hofmann:
Topological Features of Lax Algebras.
Applied Categorical Structures 11(3): 267-286 (2003) |
| 2002 |
| 1 |  | Dirk Hofmann:
On a Generalization of the Stone-Weierstrass Theorem.
Applied Categorical Structures 10(6): 569-592 (2002) |