Pedro Miguel Teixeira Olhero Pessoa Nora
AuthID: R-00H-XW6
1
TITLE: Identity-Preserving Lax Extensions and Where to Find Them Full Text
AUTHORS: Goncharov, Sergey; Hofmann, Dirk; Nora, Pedro; Schroeder, Lutz; Wild, Paul;
PUBLISHED: 2025, SOURCE: 42nd International Symposium on Theoretical Aspects of Computer Science-STACS in 42ND INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, STACS 2025, VOLUME: 327
AUTHORS: Goncharov, Sergey; Hofmann, Dirk; Nora, Pedro; Schroeder, Lutz; Wild, Paul;
PUBLISHED: 2025, SOURCE: 42nd International Symposium on Theoretical Aspects of Computer Science-STACS in 42ND INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, STACS 2025, VOLUME: 327
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
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
AUTHORS: Hofmann, Dirk ; Nora, Pedro;
PUBLISHED: 2023, SOURCE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 227, ISSUE: 3
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
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
4
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
AUTHORS: Goncharov, Sergey; Hofmann, Dirk ; Nora, Pedro; Schroder, Lutz; Wild, Paul;
PUBLISHED: 2023, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
5
TITLE: Hausdorff Coalgebras Full Text
AUTHORS: Hofmann, D ; Nora, P;
PUBLISHED: 2020, SOURCE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 28, ISSUE: 5
AUTHORS: Hofmann, D ; Nora, P;
PUBLISHED: 2020, SOURCE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 28, ISSUE: 5
