Pedro Nora

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 9

Top Topics

Digital Topology

Density Distribution

Top Venues

Math. Struct. Comput. Sci.

Appl. Categorical Struct.

Publications

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) (2024)
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
Kantorovich Functors and Characteristic Logics for Behavioural Distances. FoSSaCS (2023)
Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
Quantitative Hennessy-Milner Theorems via Notions of Density. CSL (2023)
Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
Quantitative Hennessy-Milner Theorems via Notions of Density. CoRR (2022)
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
Quantalic Behavioural Distances. CoRR (2022)
Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
A Point-free Perspective on Lax extensions and Predicate liftings. CoRR (2021)
Dirk Hofmann, Pedro Nora
Hausdorff Coalgebras. Appl. Categorical Struct. 28 (5) (2020)
Dirk Hofmann, Renato Neves, Pedro Nora
Limits in categories of Vietoris coalgebras. Math. Struct. Comput. Sci. 29 (4) (2019)
Dirk Hofmann, Renato Neves, Pedro Nora
Limits in Categories of Vietoris Coalgebras. CoRR (2016)