Dirk Hofmann

39 papers A* 1A 1B 3Journal 33Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
The Only Distributive Law Over the Powerset Monad Is the One You Know.
CoRR
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2026 J jnl
Topological Lax Comma Categories.
Order
Maria Manuel Clementino, Dirk Hofmann, Rui Prezado
2025 A conf
Identity-Preserving Lax Extensions and Where to Find Them.
STACS
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2025 A* conf
Relators and Notions of Simulation Revisited.
LICS
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2025 J jnl
Relators and Notions of Simulation Revisited.
CoRR
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2024 J jnl
A point-free perspective on lax extensions and predicate liftings.
Math. Struct. Comput. Sci.
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2024 — conf
Charging Strategy Optimization for Battery Electric Vehicles Based on Dynamic Programming.
SII
Julian Widmann, Benjamin Briegel, Dirk Hofmann, Oliver Sawodny
2023 B conf
Kantorovich Functors and Characteristic Logics for Behavioural Distances.
FoSSaCS
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2023 B conf
Quantitative Hennessy-Milner Theorems via Notions of Density.
CSL
Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2022 J jnl
Quantalic Behavioural Distances.
CoRR
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2022 J jnl
Quantitative Hennessy-Milner Theorems via Notions of Density.
CoRR
Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2021 J jnl
A Point-free Perspective on Lax extensions and Predicate liftings.
CoRR
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2020 J jnl
Hausdorff Coalgebras.
Appl. Categorical Struct.
Dirk Hofmann, Pedro Nora
2019 J jnl
Limits in categories of Vietoris coalgebras.
Math. Struct. Comput. Sci.
Dirk Hofmann, Renato Neves, Pedro Nora
2017 J jnl
Aspects of algebraic Algebras.
Log. Methods Comput. Sci.
Dirk Hofmann, Lurdes Sousa
2017 J jnl
The rise and fall of V-functors.
Fuzzy Sets Syst.
Maria Manuel Clementino, Dirk Hofmann
2016 J jnl
Continuity as a computational effect.
J. Log. Algebraic Methods Program.
Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins
2016 J jnl
Limits in Categories of Vietoris Coalgebras.
CoRR
Dirk Hofmann, Renato Neves, Pedro Nora
2016 J jnl
On Exponentiable Morphisms in Classical Algebra.
Appl. Categorical Struct.
Maria Manuel Clementino, Dirk Hofmann, George Janelidze
2015 J jnl
Continuity as a computational effect.
CoRR
Renato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins
2015 J jnl
Exponential Kleisli Monoids as Eilenberg-Moore Algebras.
Appl. Categorical Struct.
Dirk Hofmann, Frédéric Mynard, Gavin J. Seal
2015 J jnl
Representable (T,V)-categories.
Appl. Categorical Struct.
D. Chikhladze, Maria Manuel Clementino, Dirk Hofmann
2014 J jnl
Covering Morphisms in Categories of Relational Algebras.
Appl. Categorical Struct.
Maria Manuel Clementino, Dirk Hofmann, Andrea Montoli
2013 J jnl
A Four for the Price of One Duality Principle for Distributive Spaces.
Order
Dirk Hofmann
2013 J jnl
Approaching Metric Domains.
Appl. Categorical Struct.
Gonçalo Gutierres, Dirk Hofmann
2013 J jnl
On a coalgebraic view on Logic.
J. Log. Comput.
Dirk Hofmann, Manuel A. Martins
2013 J jnl
Probabilistic metric spaces as enriched categories.
Fuzzy Sets Syst.
Dirk Hofmann, C. D. Reis
2012 J jnl
On a coalgebraic view on Logic
CoRR
Dirk Hofmann, Manuel A. Martins
2010 J jnl
Approximation in quantale-enriched categories
CoRR
Dirk Hofmann, Pawel Waszkiewicz
2010 J jnl
Lawvere Completion and Separation Via Closure.
Appl. Categorical Struct.
Dirk Hofmann, Walter Tholen
2009 J jnl
Exponentiable Functors Between Quantaloid-Enriched Categories.
Appl. Categorical Struct.
Maria Manuel Clementino, Dirk Hofmann, Isar Stubbe
2009 J jnl
Lawvere Completeness in Topology.
Appl. Categorical Struct.
Maria Manuel Clementino, Dirk Hofmann
2007 J jnl
Axioms for Sequential Convergence.
Appl. Categorical Struct.
Gonçalo Gutierres, Dirk Hofmann
2006 J jnl
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.
Anton Ambrosy, Oliver Blume, Dirk Hofmann, Edgar Kühn, Tobias Küfner
2004 J jnl
Effective Descent Morphisms in Categories of Lax Algebras.
Appl. Categorical Struct.
Maria Manuel Clementino, Dirk Hofmann
2004 J jnl
One Setting for All: Metric, Topology, Uniformity, Approach Structure.
Appl. Categorical Struct.
Maria Manuel Clementino, Dirk Hofmann, Walter Tholen
2003 B conf
Enriching Traditional Classroom Scenarios by Seamless Integration of Interactive Media.
ICALT
Andreas Lingnau, Markus Kuhn, Andreas Harrer, Dirk Hofmann, Martin Fendrich, Heinz Ulrich Hoppe
2003 J jnl
Topological Features of Lax Algebras.
Appl. Categorical Struct.
Maria Manuel Clementino, Dirk Hofmann
2002 J jnl
On a Generalization of the Stone-Weierstrass Theorem.
Appl. Categorical Struct.
Dirk Hofmann