Wadoud Bousdira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
1987–2023
Best venue rank
Multiconference
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | SAC | Synchronous cooperative threading model in MSSL. | Darine Rammal, Wadoud Bousdira, Frdric Dabrowski |
| 2019 | SAC | Safe usage of registers in BSPlib. | Arvid Jakobsson, Frdric Dabrowski, Wadoud Bousdira |
| 2017 | ICCS | Replicated Synchronization for Imperative BSP Programs. | Arvid Jakobsson, Frdric Dabrowski, Wadoud Bousdira, Frdric Loulergue, Gatan Hains |
| 2012 | ICA3PP | A Verified Library of Algorithmic Skeletons on Evenly Distributed Arrays. | Wadoud Bousdira, Frdric Loulergue, Julien Tesson |
| 2000 | AISC | CDR: A Rewriting Based Tool to Design FPLA Circuits. | Zahir Maazouzi, Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin |
| 1998 | ECAI | Designing FPLA Combinational Circuits by Conditional Rewriting. | Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin, Zahir Maazouzi |
| 1996 | AISC | On Theorem-Proving in Horn Theories with Built-in Algebras. | Nirina Andrianarivelo, Wadoud Bousdira, Jean-Marc Talbot |
| 1988 | STACS | Hierarchical Contextual Rewriting with Several Levels. | Wadoud Bousdira, Jean-Luc Rmy |
| 1987 | STACS | REVEUR4: A Laboratory for Conditional Rewriting. | Wadoud Bousdira, Jean-Luc Rmy |