Zeinab Galal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2020–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | Coinductive Reasoning for Parametrized Functors and Monads. | Ugo Dal Lago, Zeinab Galal |
| 2024 | APLAS | On Computational Indistinguishability and Logical Relations. | Ugo Dal Lago, Zeinab Galal, Giulia Giusti |
| 2024 | LICS | Combining fixpoint and differentiation theory. | Zeinab Galal, Jean-Simon Pacaud Lemay |
| 2023 | LICS | Fixpoint operators for 2-categorical structures. | Zeinab Galal |
| 2022 | FSCD | A Combinatorial Approach to Higher-Order Structure for Polynomial Functors. | Marcelo Fiore, Zeinab Galal, Hugo Paquet |
| 2021 | FSCD | A Bicategorical Model for Finite Nondeterminism. | Zeinab Galal |
| 2020 | FSCD | A Profunctorial Scott Semantics. | Zeinab Galal |