Validating Register Allocation and Spilling. - Silvain Rideau; Xavier Leroy (CC, 2010)

Concurrent Strategies. - Silvain Rideau; Glynn Winskel (LICS, 2011)

Concurrent Games. - Simon Castellan; Pierre Clairambault; Silvain Rideau; Glynn Winskel (CoRR, 2016)

Definable and Invariant Types in Enrichments of NIP Theories. - Silvain Rideau; Pierre Simon (J. Symb. Log., 2017)

Games and Strategies as Event Structures. - Simon Castellan; Pierre Clairambault; Silvain Rideau; Glynn Winskel (Log. Methods Comput. Sci., 2017)

A short note on groups in separably closed valued fields. - Silvain Rideau-Kikuchi (Ann. Pure Appl. Log., 2021)

Enriching a predicate and tame expansions of the integers. - Gabriel Conant; Christian d'Elbée; Yatir Halevi; Léo Jimenez; Silvain Rideau-Kikuchi (J. Math. Log., 2025)