Dirk Hofmann


AuthID: R-000-49Z

Publicações Confirmadas: 67



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

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service