FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Dr. Pedro Nora
List of publications:
BibTeX-Download
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Publications
(4)
Types of publications
Toggle all
Journal article
Journal article
Book chapter / Article in edited volumes
Book chapter / Article in edited volumes
Authored book
Authored book
Translation
Translation
Thesis
Thesis
Edited Volume
Edited Volume
Conference contribution
Conference contribution
Other publication type
Other publication type
Unpublished / Preprint
Unpublished / Preprint
Publication year
From
To
Abstract
Journal
Filters (inactive)
Duality theory for enriched Priestley spaces (2023)
Hofmann D, Nora P
Journal article
Quantitative Hennessy-Milner Theorems via Notions of Density (2023)
Forster J, Goncharov S, Hofmann D, Nora P, Schröder L, Wild P
Conference contribution
Kantorovich Functors and Characteristic Logics for Behavioural Distances (2023)
Goncharov S, Hofmann D, Nora P, Schröder L, Wild P
Conference contribution
A point-free perspective on lax extensions and predicate liftings (2023)
Goncharov S, Hofmann D, Nora P, Schröder L, Wild P
Journal article