![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Dirk Hofmann
Person information
- affiliation: University of Aveiro, Department of Mathematics, Portugal
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j23]Sergey Goncharov, Dirk Hofmann
, Pedro Nora, Lutz Schröder, Paul Wild:
A point-free perspective on lax extensions and predicate liftings. Math. Struct. Comput. Sci. 34(2): 98-127 (2024) - [c4]Julian Widmann, Benjamin Briegel, Dirk Hofmann, Oliver Sawodny:
Charging Strategy Optimization for Battery Electric Vehicles Based on Dynamic Programming. SII 2024: 986-991 - 2023
- [c3]Jonas Forster
, Sergey Goncharov, Dirk Hofmann
, Pedro Nora, Lutz Schröder, Paul Wild:
Quantitative Hennessy-Milner Theorems via Notions of Density. CSL 2023: 22:1-22:20 - [c2]Sergey Goncharov
, Dirk Hofmann
, Pedro Nora
, Lutz Schröder
, Paul Wild
:
Kantorovich Functors and Characteristic Logics for Behavioural Distances. FoSSaCS 2023: 46-67 - 2022
- [i7]Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild:
Quantalic Behavioural Distances. CoRR abs/2202.07069 (2022) - [i6]Jonas Forster, Sergey Goncharov, Dirk Hofmann
, Pedro Nora, Lutz Schröder, Paul Wild:
Quantitative Hennessy-Milner Theorems via Notions of Density. CoRR abs/2207.09187 (2022) - 2021
- [i5]Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild:
A Point-free Perspective on Lax extensions and Predicate liftings. CoRR abs/2112.12681 (2021) - 2020
- [j22]Dirk Hofmann
, Pedro Nora:
Hausdorff Coalgebras. Appl. Categorical Struct. 28(5): 773-806 (2020)
2010 – 2019
- 2019
- [j21]Dirk Hofmann
, Renato Neves
, Pedro Nora:
Limits in categories of Vietoris coalgebras. Math. Struct. Comput. Sci. 29(4): 552-587 (2019) - 2017
- [j20]Maria Manuel Clementino
, Dirk Hofmann
:
The rise and fall of V-functors. Fuzzy Sets Syst. 321: 29-49 (2017) - [j19]Dirk Hofmann
, Lurdes Sousa
:
Aspects of algebraic Algebras. Log. Methods Comput. Sci. 13(3) (2017) - 2016
- [j18]Maria Manuel Clementino
, Dirk Hofmann
, George Janelidze
:
On Exponentiable Morphisms in Classical Algebra. Appl. Categorical Struct. 24(5): 733-742 (2016) - [j17]Renato Neves
, Luís Soares Barbosa
, Dirk Hofmann
, Manuel A. Martins
:
Continuity as a computational effect. J. Log. Algebraic Methods Program. 85(5): 1057-1085 (2016) - [i4]Dirk Hofmann, Renato Neves, Pedro Nora:
Limits in Categories of Vietoris Coalgebras. CoRR abs/1612.03318 (2016) - 2015
- [j16]Dirk Hofmann
, Frédéric Mynard
, Gavin J. Seal:
Exponential Kleisli Monoids as Eilenberg-Moore Algebras. Appl. Categorical Struct. 23(2): 137-157 (2015) - [j15]D. Chikhladze, Maria Manuel Clementino
, Dirk Hofmann
:
Representable (T,V)-categories. Appl. Categorical Struct. 23(6): 829-858 (2015) - [i3]Renato Neves, Luís Soares Barbosa
, Dirk Hofmann, Manuel A. Martins:
Continuity as a computational effect. CoRR abs/1507.03219 (2015) - 2014
- [j14]Maria Manuel Clementino
, Dirk Hofmann
, Andrea Montoli
:
Covering Morphisms in Categories of Relational Algebras. Appl. Categorical Struct. 22(5-6): 767-788 (2014) - 2013
- [j13]Gonçalo Gutierres
, Dirk Hofmann
:
Approaching Metric Domains. Appl. Categorical Struct. 21(6): 617-650 (2013) - [j12]Dirk Hofmann
, C. D. Reis:
Probabilistic metric spaces as enriched categories. Fuzzy Sets Syst. 210: 1-21 (2013) - [j11]Dirk Hofmann
, Manuel A. Martins
:
On a coalgebraic view on Logic. J. Log. Comput. 23(5): 1097-1106 (2013) - [j10]Dirk Hofmann
:
A Four for the Price of One Duality Principle for Distributive Spaces. Order 30(2): 643-655 (2013) - 2012
- [i2]Dirk Hofmann, Manuel A. Martins:
On a coalgebraic view on Logic. CoRR abs/1202.0915 (2012) - 2010
- [j9]Dirk Hofmann
, Walter Tholen:
Lawvere Completion and Separation Via Closure. Appl. Categorical Struct. 18(3): 259-287 (2010) - [i1]Dirk Hofmann, Pawel Waszkiewicz:
Approximation in quantale-enriched categories. CoRR abs/1004.2228 (2010)
2000 – 2009
- 2009
- [j8]Maria Manuel Clementino
, Dirk Hofmann
, Isar Stubbe:
Exponentiable Functors Between Quantaloid-Enriched Categories. Appl. Categorical Struct. 17(1): 91-101 (2009) - [j7]Maria Manuel Clementino
, Dirk Hofmann
:
Lawvere Completeness in Topology. Appl. Categorical Struct. 17(2): 175-210 (2009) - 2007
- [j6]Gonçalo Gutierres
, Dirk Hofmann
:
Axioms for Sequential Convergence. Appl. Categorical Struct. 15(5-6): 599-614 (2007) - 2006
- [j5]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 Inf. Technol. 48(5): 274- (2006) - 2004
- [j4]Maria Manuel Clementino
, Dirk Hofmann
, Walter Tholen:
One Setting for All: Metric, Topology, Uniformity, Approach Structure. Appl. Categorical Struct. 12(2): 127-154 (2004) - [j3]Maria Manuel Clementino
, Dirk Hofmann
:
Effective Descent Morphisms in Categories of Lax Algebras. Appl. Categorical Struct. 12(5-6): 413-425 (2004) - 2003
- [j2]Maria Manuel Clementino
, Dirk Hofmann
:
Topological Features of Lax Algebras. Appl. Categorical Struct. 11(3): 267-286 (2003) - [c1]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 - 2002
- [j1]Dirk Hofmann
:
On a Generalization of the Stone-Weierstrass Theorem. Appl. Categorical Struct. 10(6): 569-592 (2002)
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint