Pedro Nora
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | Threshold-Based Behavioural Distances. | Jonas Forster, Lutz Schrder, Paul Wild, Barbara Knig, Pedro Nora |
| 2025 | FOSSACS | Relational Connectors and Heterogeneous Simulations. | Pedro Nora, Jurriaan Rot, Lutz Schrder, Paul Wild |
| 2025 | LICS | Relators and Notions of Simulation Revisited. | Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schrder, Paul Wild |
| 2025 | STACS | Identity-Preserving Lax Extensions and Where to Find Them. | Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schrder, Paul Wild |
| 2023 | CSL | Quantitative Hennessy-Milner Theorems via Notions of Density. | Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schrder, Paul Wild |
| 2023 | FOSSACS | Kantorovich Functors and Characteristic Logics for Behavioural Distances. | Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schrder, Paul Wild |