Dirk Hofmann

发表

Method and apparatus for monitoring a distributed system

Dietmar Baumann, Bertram Foitzik, Bernd Goetzelmann, 2003 .

On a Generalization of the Stone–Weierstrass Theorem

Dirk Hofmann, Dirk Hofmann, 2002, Appl. Categorical Struct..

On a coalgebraic view on Logic

Manuel A. Martins, Dirk Hofmann, 2013, J. Log. Comput..

Approaching Metric Domains

Dirk Hofmann, Gonçalo Gutierres, 2013, Appl. Categorical Struct..

Limits in categories of Vietoris coalgebras pdf

Dirk Hofmann, Renato Neves, Pedro Nora, 2016, Mathematical Structures in Computer Science.

Axioms for Sequential Convergence

Dirk Hofmann, Gonçalo Gutierres, 2007, Appl. Categorical Struct..

Lawvere Completion and Separation Via Closure

Dirk Hofmann, Walter Tholen, Dirk Hofmann, 2007, Appl. Categorical Struct..

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

Dirk Hofmann, 2013, Order.

The rise and fall of V-functors

Dirk Hofmann, Maria Manuel Clementino, Dirk Hofmann, 2017, Fuzzy Sets Syst..

Enriching traditional classroom scenarios by seamless integration of interactive media

Markus G. Kuhn, Heinz Ulrich Hoppe, Andreas Harrer, 2003, Proceedings 3rd IEEE International Conference on Advanced Technologies.

Exponentiable Functors Between Quantaloid-Enriched Categories

Dirk Hofmann, Isar Stubbe, Maria Manuel Clementino, 2009, Appl. Categorical Struct..

Approximation in quantale-enriched categories pdf

Dirk Hofmann, Pawel Waszkiewicz, Dirk Hofmann, 2010, ArXiv.

Probabilistic metric spaces as enriched categories

Dirk Hofmann, C. D. Reis, Dirk Hofmann, 2012, Fuzzy Sets Syst..

Covering Morphisms in Categories of Relational Algebras

Dirk Hofmann, Andrea Montoli, Maria Manuel Clementino, 2014, Appl. Categorical Struct..

Effective Descent Morphisms in Categories of Lax Algebras

Dirk Hofmann, Maria Manuel Clementino, 2004, Appl. Categorical Struct..

Exponential Kleisli Monoids as Eilenberg–Moore Algebras

Dirk Hofmann, Frédéric Mynard, Gavin J. Seal, 2012, Applied Categorical Structures.

On Exponentiable Morphisms in Classical Algebra

Dirk Hofmann, George Janelidze, Maria Manuel Clementino, 2016, Appl. Categorical Struct..

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)

Dirk Hofmann, Tobias Küfner, Oliver Blume, 2006, it Inf. Technol..

Topological Features of Lax Algebras

Dirk Hofmann, Maria Manuel Clementino, Dirk Hofmann, 2003, Appl. Categorical Struct..

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

Dirk Hofmann, Walter Tholen, Maria Manuel Clementino, 2004, Appl. Categorical Struct..

Continuity as a computational effect pdf

Manuel A. Martins, Luís Soares Barbosa, Dirk Hofmann, 2016, J. Log. Algebraic Methods Program..

Lawvere Completeness in Topology

Dirk Hofmann, Maria Manuel Clementino, Dirk Hofmann, 2007, Appl. Categorical Struct..

Designing and Supporting Collaborative Modelling Activities in the Classroom

Niels Pinkwart, Dirk Hofmann, Markus Kuhn, 2002 .

Aspects of algebraic Algebras

Dirk Hofmann, Lurdes Sousa, Dirk Hofmann, 2017, Log. Methods Comput. Sci..

Mobility Management Approaches for 4G Networks

Dirk Hofmann, Christian Vogt, Tobias Küfner, 2004 .

A Point-free Perspective on Lax extensions and Predicate liftings pdf

Dirk Hofmann, Pedro Nora, Sergey Goncharov, 2021, ArXiv.

On limit stability of special classes of continuous maps

Dirk Hofmann, Maria Manuel Clementino, 2002 .

Monoidal topology : a categorical approach to order, metric, and topology

Dirk Hofmann, Walter Tholen, Gavin J. Seal, 2014 .

Descent morphisms and a van Kampen Theorem in categories of lax algebras

Dirk Hofmann, Maria Manuel Clementino, Dirk Hofmann, 2012 .

DUALITY FOR DISTRIBUTIVE SPACES

Dirk Hofmann, Dirk Hofmann, 2010 .

On exponentiability of étale algebraic homomorphisms

Dirk Hofmann, George Janelidze, Maria Manuel Clementino, 2013 .

On extensions of lax monads

Dirk Hofmann, Maria Manuel Clementino, Dirk Hofmann, 2004 .

The monads of classical algebra are seldom weakly cartesian

Dirk Hofmann, George Janelidze, Maria Manuel Clementino, 2014 .

An algebraic description of regular epimorphisms in topology

Dirk Hofmann, 2005 .

Exponentiability in categories of lax algebras

Dirk Hofmann, Walter Tholen, Maria Manuel Clementino, 2003 .

Exponentiation in V-categories

Dirk Hofmann, Maria Manuel Clementino, 2006 .

Injective Spaces via Adjunction

Dirk Hofmann, Dirk Hofmann, 2008, 0804.0326.

Exponentiation for unitary structures

Dirk Hofmann, 2006 .

Topological theories and closed objects

Dirk Hofmann, Dirk Hofmann, 2007 .

The convergence approach to exponentiable maps.

Dirk Hofmann, Walter Tholen, Maria Manuel Clementino, 2003 .

Triquotient maps via ultrafilter convergence

Dirk Hofmann, Maria Manuel Clementino, 2002 .

Relative injectivity as cocompleteness for a class of distributors

Dirk Hofmann, Maria Manuel Clementino, 2008 .

A duality of quantale-enriched categories

Dirk Hofmann, Pawel Waszkiewicz, Dirk Hofmann, 2010, 1012.3351.

Categorical approach to modelling and to coupling of models

Dirk Hofmann, Dmitrii Legatiuk, Klaus Gürlebeck, 2017 .

Local homeomorphisms via ultrafilter convergence

Dirk Hofmann, George Janelidze, Maria Manuel Clementino, 2004 .

Duality for distributive space

Dirk Hofmann, Dirk Hofmann, 2010, 1009.3892.