Dirk Hofmann - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2024

A point-free perspective on lax extensions and predicate liftingsSergey Goncharov 0001, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild. mscs, 34(2):98-127, 2024. [doi]

Charging Strategy Optimization for Battery Electric Vehicles Based on Dynamic ProgrammingJulian Widmann, Benjamin Briegel, Dirk Hofmann, Oliver Sawodny. sii 2024: 986-991 [doi]

2023

Kantorovich Functors and Characteristic Logics for Behavioural DistancesSergey Goncharov 0001, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild. fossacs 2023: 46-67 [doi]

Quantitative Hennessy-Milner Theorems via Notions of DensityJonas Forster, Sergey Goncharov 0001, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild. csl 2023: [doi]

2020

Hausdorff CoalgebrasDirk Hofmann, Pedro Nora. acs, 28(5):773-806, 2020. [doi]

2019

Limits in categories of Vietoris coalgebrasDirk Hofmann, Renato Neves, Pedro Nora. mscs, 29(4):552-587, 2019. [doi]

2017

The rise and fall of V-functorsMaria Manuel Clementino, Dirk Hofmann. fss, 321:29-49, 2017. [doi]

Aspects of algebraic AlgebrasDirk Hofmann, Lurdes Sousa. lmcs, 13(3), 2017. [doi]

2016

On Exponentiable Morphisms in Classical AlgebraMaria Manuel Clementino, Dirk Hofmann, George Janelidze. acs, 24(5):733-742, 2016. [doi]

Continuity as a computational effectRenato Neves, Luís Soares Barbosa, Dirk Hofmann, Manuel A. Martins. jlp, 85(5):1057-1085, 2016. [doi]

2015

Representable (T,V)-categoriesD. Chikhladze, Maria Manuel Clementino, Dirk Hofmann. acs, 23(6):829-858, 2015. [doi]

Exponential Kleisli Monoids as Eilenberg-Moore AlgebrasDirk Hofmann, Frédéric Mynard, Gavin J. Seal. acs, 23(2):137-157, 2015. [doi]

2014

Covering Morphisms in Categories of Relational AlgebrasMaria Manuel Clementino, Dirk Hofmann, Andrea Montoli. acs, 22(5-6):767-788, 2014. [doi]

2013

Approaching Metric DomainsGonçalo Gutierres, Dirk Hofmann. acs, 21(6):617-650, 2013. [doi]

On a coalgebraic view on LogicDirk Hofmann, Manuel A. Martins. logcom, 23(5):1097-1106, 2013. [doi]

A Four for the Price of One Duality Principle for Distributive SpacesDirk Hofmann. order, 30(2):643-655, 2013. [doi]

Probabilistic metric spaces as enriched categoriesDirk Hofmann, C. D. Reis. fss, 210:1-21, 2013. [doi]

2010

Lawvere Completion and Separation Via ClosureDirk Hofmann, Walter Tholen. acs, 18(3):259-287, 2010. [doi]

2009

Exponentiable Functors Between Quantaloid-Enriched CategoriesMaria Manuel Clementino, Dirk Hofmann, Isar Stubbe. acs, 17(1):91-101, 2009. [doi]

Lawvere Completeness in TopologyMaria Manuel Clementino, Dirk Hofmann. acs, 17(2):175-210, 2009. [doi]

2007

Axioms for Sequential ConvergenceGonçalo Gutierres, Dirk Hofmann. acs, 15(5-6):599-614, 2007. [doi]

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-MechanismeAnton Ambrosy, Oliver Blume, Dirk Hofmann, Edgar Kühn, Tobias Küfner. it, 48(5):274, 2006. [doi]

2004

Effective Descent Morphisms in Categories of Lax AlgebrasMaria Manuel Clementino, Dirk Hofmann. acs, 12(5-6):413-425, 2004. [doi]

One Setting for All: Metric, Topology, Uniformity, Approach StructureMaria Manuel Clementino, Dirk Hofmann, Walter Tholen. acs, 12(2):127-154, 2004. [doi]

2003

Topological Features of Lax AlgebrasMaria Manuel Clementino, Dirk Hofmann. acs, 11(3):267-286, 2003. [doi]

Enriching Traditional Classroom Scenarios by Seamless Integration of Interactive MediaAndreas Lingnau, Markus Kuhn, Andreas Harrer, Dirk Hofmann, Martin Fendrich, Heinz Ulrich Hoppe. icalt 2003: 135-139 [doi]

2002

On a Generalization of the Stone-Weierstrass TheoremDirk Hofmann. acs, 10(6):569-592, 2002. [doi]

Sign in or sign up to see more results.

runs on WebDSL