Dirk Hofmann


AuthID: R-000-49Z

Confirmed Publications: 67



1
TITLE: A point-free perspective on lax extensions and predicate liftings
AUTHORS: Goncharov, Sergey; Hofmann, Dirk ; Nora, Pedro; Schroder, Lutz; Wild, Paul;
PUBLISHED: 2023, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
2
TITLE: Duality theory for enriched Priestley spaces  Full Text
AUTHORS: Hofmann, Dirk ; Nora, Pedro;
PUBLISHED: 2023, SOURCE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 227, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID
3
TITLE: Kantorovich Functors and Characteristic Logics for Behavioural Distances
AUTHORS: Goncharov, Sergey; Hofmann, Dirk ; Nora, Pedro; Schroeder, Lutz; Wild, Paul;
PUBLISHED: 2023, SOURCE: 26th International Conference on Foundations of Software Science and Computational Structures (FOSSACS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2023, VOLUME: 13992
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID
4
TITLE: Quantitative Hennessy-Milner Theorems via Notions of Density
AUTHORS: Forster, J; Goncharov, S; Hofmann, D ; Nora, P; Schröder, L; Wild, P;
PUBLISHED: 2023, SOURCE: 31st EACSL Annual Conference on Computer Science Logic, CSL 2023 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 252
INDEXED IN: Scopus
IN MY: ORCID
5
TITLE: Cartesian closed exact completions in topology  Full Text
AUTHORS: Clementino, MM; Hofmann, D ; Ribeiro, W;
PUBLISHED: 2020, SOURCE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 224, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef: 4
IN MY: ORCID
6
TITLE: Hausdorff Coalgebras  Full Text
AUTHORS: Hofmann, D ; Nora, P;
PUBLISHED: 2020, SOURCE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 28, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef: 7
IN MY: ORCID
7
TITLE: Limits in categories of Vietoris coalgebras
AUTHORS: Hofmann, D ; Neves, R ; Nora, P;
PUBLISHED: 2019, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 29, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID
8
TITLE: Convergence and quantale-enriched categories
AUTHORS: Hofmann, D ; Reis, CD;
PUBLISHED: 2018, SOURCE: CATEGORIES AND GENERAL ALGEBRAIC STRUCTURES WITH APPLICATIONS, VOLUME: 9, ISSUE: 1
INDEXED IN: Scopus WOS
IN MY: ORCID
9
TITLE: Enriched Stone-type dualities  Full Text
AUTHORS: Hofmann, D ; Nora, P;
PUBLISHED: 2018, SOURCE: ADVANCES IN MATHEMATICS, VOLUME: 330
INDEXED IN: Scopus WOS CrossRef: 2
IN MY: ORCID
10
TITLE: GENERATING THE ALGEBRAIC THEORY OF C(X): THE CASE OF PARTIALLY ORDERED COMPACT SPACES
AUTHORS: Dirk Hofmann ; Renato Neves ; Pedro Nora;
PUBLISHED: 2018, SOURCE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 33
INDEXED IN: Scopus WOS
IN MY: ORCID
Page 1 of 7. Total results: 67.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service