REVEUR4: A Laboratory for Conditional Rewriting. - Wadoud Bousdira; Jean-Luc Rémy (STACS, 1987)

A Completion Procedure for Hierarchical Conditional Rewriting Systems. - Wadoud Bousdira (ALP, 1988)

Hierarchical Contextual Rewriting with Several Levels. - Wadoud Bousdira; Jean-Luc Rémy (STACS, 1988)

On Sufficient Completeness of Conditional Specifications. - Wadoud Bousdira; Jean-Luc Rémy (CTRS, 1990)

Etude des propriétés des systèmes de réécriture conditionnelle : mise en oeuvre de deux algorithmes de test de confluence sur les termes clos. (Study of conditional term rewriting system properties. Making use of two algorithms for testing confluence on ground terms). - Wadoud Bousdira (1990)

On Theorem-Proving in Horn Theories with Built-in Algebras. - Nirina Andrianarivelo; Wadoud Bousdira; Jean-Marc Talbot (AISMC, 1996)

Designing FPLA Combinational Circuits by Conditional Rewriting. - Nirina Andrianarivelo; Wadoud Bousdira; Jacques Chabin; Zahir Maazouzi (ECAI, 1998)

CDR: A Rewriting Based Tool to Design FPLA Circuits. - Zahir Maazouzi; Nirina Andrianarivelo; Wadoud Bousdira; Jacques Chabin (AISC, 2000)

Functional Parallel Programming with Revised Bulk Synchronous Parallel ML. - Wadoud Bousdira; Frédéric Gava; Louis Gesbert; Frédéric Loulergue; Guillaume Petiot (ICNC, 2010)

A Verified Library of Algorithmic Skeletons on Evenly Distributed Arrays. - Wadoud Bousdira; Frédéric Loulergue; Julien Tesson (ICA3PP (1), 2012)

Replicated Synchronization for Imperative BSP Programs. - Arvid Jakobsson; Frédéric Dabrowski; Wadoud Bousdira; Frédéric Loulergue; Gaétan Hains (ICCS, 2017)

Formalization of a Big Graph API in Coq. - Jolan Philippe; Wadoud Bousdira; Frédéric Loulergue (HPCS, 2017)

Calculating Parallel Programs in Coq Using List Homomorphisms. - Frédéric Loulergue; Wadoud Bousdira; Julien Tesson (Int. J. Parallel Program., 2017)

Transforming non textually aligned SPMD programs into textually aligned SPMD programs by using rewriting rules. - Wadoud Bousdira (HPCS, 2019)

Safe usage of registers in BSPlib. - Arvid Jakobsson; Frédéric Dabrowski; Wadoud Bousdira (SAC, 2019)

Synchronous cooperative threading model in MSSL. - Darine Rammal; Wadoud Bousdira; Frédéric Dabrowski (SAC, 2023)