A Profunctorial Scott Semantics. - Zeinab Galal (FSCD, 2020)

A Bicategorical Model for Finite Nondeterminism. - Zeinab Galal (FSCD, 2021)

A Combinatorial Approach to Higher-Order Structure for Polynomial Functors. - Marcelo Fiore; Zeinab Galal; Hugo Paquet (FSCD, 2022)

Fixpoint operators for 2-categorical structures. - Zeinab Galal (LICS, 2023)

Fixpoint constructions in focused orthogonality models of linear logic. - Marcelo Fiore; Zeinab Galal; Farzad Jafarrahmani (MFPS, 2023)

On Computational Indistinguishability and Logical Relations. - Ugo Dal Lago; Zeinab Galal; Giulia Giusti (APLAS, 2024)

Combining fixpoint and differentiation theory. - Zeinab Galal; Jean-Simon Pacaud Lemay (LICS, 2024)

Stabilized profunctors and stable species of structures. - Marcelo Fiore; Zeinab Galal; Hugo Paquet (Log. Methods Comput. Sci., 2024)