Pedro Nora - RankMe

17 papers A* 1A 1B 3Journal 12

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Computing Distinguishing Formulae for Threshold-Based Behavioural Distances. CoRR Jonas Forster, Lutz Schröder, Paul Wild, Barbara König, Pedro Nora
2026	J	`jnl`	The Only Distributive Law Over the Powerset Monad Is the One You Know. CoRR Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2025	A	`conf`	Identity-Preserving Lax Extensions and Where to Find Them. STACS Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2025	B	`conf`	Relational Connectors and Heterogeneous Simulations. FoSSaCS Pedro Nora, Jurriaan Rot, Lutz Schröder, Paul Wild
2025	A*	`conf`	Relators and Notions of Simulation Revisited. LICS Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2025	J	`jnl`	Relators and Notions of Simulation Revisited. CoRR Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2024	J	`jnl`	A point-free perspective on lax extensions and predicate liftings. Math. Struct. Comput. Sci. Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2024	J	`jnl`	Identity-Preserving Lax Extensions and Where to Find Them. CoRR Sergey Goncharov, Dirk Hofmaan, Pedro Nora, Lutz Schröder, Paul Wild
2024	J	`jnl`	Relational Connectors and Heterogeneous Bisimulations. CoRR Pedro Nora, Jurriaan Rot, Lutz Schröder, Paul Wild
2023	B	`conf`	Kantorovich Functors and Characteristic Logics for Behavioural Distances. FoSSaCS Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2023	B	`conf`	Quantitative Hennessy-Milner Theorems via Notions of Density. CSL Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2022	J	`jnl`	Quantalic Behavioural Distances. CoRR Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2022	J	`jnl`	Quantitative Hennessy-Milner Theorems via Notions of Density. CoRR Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2021	J	`jnl`	A Point-free Perspective on Lax extensions and Predicate liftings. CoRR Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild
2020	J	`jnl`	Hausdorff Coalgebras. Appl. Categorical Struct. Dirk Hofmann, Pedro Nora
2019	J	`jnl`	Limits in categories of Vietoris coalgebras. Math. Struct. Comput. Sci. Dirk Hofmann, Renato Neves, Pedro Nora
2016	J	`jnl`	Limits in Categories of Vietoris Coalgebras. CoRR Dirk Hofmann, Renato Neves, Pedro Nora