Get started
Author

Wadoud Bousdira

Calculating Parallel Programs in Coq Using List Homomorphisms
2016 · Frédéric Loulergue, Wadoud Bousdira, et al. · International Journal of Parallel Programming · 21
Hierarchical contextual rewriting with several levels
2006 · Wadoud Bousdira, Jean-Luc Rémy · Springer eBooks · 12
Replicated Synchronization for Imperative BSP Programs
2017 · Arvid Jakobsson, Frédéric Dabrowski, et al. · Procedia Computer Science · 10
Functional Parallel Programming with Revised Bulk Synchronous Parallel ML
2010 · Wadoud Bousdira, Frederic Gava, et al. · International Conference on Networking and Computing · 10
A Verified Library of Algorithmic Skeletons on Evenly Distributed Arrays
2012 · Wadoud Bousdira, Frédéric Loulergue, et al. · Lecture notes in computer science · 4
On theorem-proving in Horn theories with built-in algebras
1996 · Nirina Andrianarivelo, Wadoud Bousdira, et al. · Lecture notes in computer science · 3
Hierarchical contextual rewriting with several levels
1988 · Wadoud Bousdira, Jean-Luc Rémy · Lecture notes in computer science · 3
Safe usage of registers in BSPlib
2019 · Arvid Jakobsson, Frédéric Dabrowski, et al. · ACM Symposium on Applied Computing · 2
Formalization of a Big Graph API in Coq
2017 · Jolan Philippe, Wadoud Bousdira, et al. · International Conference on High Performance Computing & Simulation (HPCS) · 1
Prototyping a Library of Algorithmic Skeletons with Bulk Synchronous Parallel ML
2011 · Noman Javed, Frédéric Loulergue, et al. · 1
Syntaxe et sémantique de Revised Bulk Synchronous Parallel ML
2010 · Bousdira, Wadoud, Gesbert, Louis, et al. · HAL · 1
REVEUR4 : A laboratory for conditional rewriting
2006 · Wadoud Bousdira, Jean-Luc Remy · Springer eBooks · 1
CDR: A Rewriting Based Tool to Design FPLA Circuits
2001 · Zahir Maazouzi, Nirina Andrianarivelo, et al. · Lecture notes in computer science · 1
Designing FPLA Combinational Circuits by Conditional Rewriting.
1998 · Nirina Andrianarivelo, Wadoud Bousdira, et al. · European Conference on Artificial Intelligence · 1
On sufficient completeness of conditional specifications
1991 · Wadoud Bousdira, Jean-Luc Rémy · Lecture notes in computer science · 1
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
1990 · Wadoud Bousdira · Publications Et Travaux Academiques de Lorraine (Universite de Lorraine) · 1
REVEUR4: A laboratory for conditional rewriting
1988 · Wadoud Bousdira, Jean-Luc Rémy · Lecture notes in computer science · 1
Synchronous cooperative threading model in MSSL
2023 · Darine Rammal, Wadoud Bousdira, et al. · ACM Symposium on Applied Computing
Transforming non textually aligned SPMD programs into textually aligned SPMD programs by using rewriting rules
2019 · Wadoud Bousdira · International Conference on High Performance Computing & Simulation (HPCS)
Safe Usage of Registers in BSPlib (Preprint)
2019 · Jakobsson, Arvid, Dabrowski, Frederic, et al. · HAL
Calcul de programmes parallèles avec Coq
2014 · Loulergue, Frédéric, Bousdira, Wadoud, et al. · HAL
Study of conditional term rewriting system properties. Making use of two algorithms for testing confluence on ground terms
1990 · Bousdira, Wadoud · OpenGrey (Institut de l'Information Scientifique et Technique)
A completion procedure for hierarchical conditional rewriting systems
1988 · Wadoud Bousdira · De Gruyter eBooks
A completion procedure for hierarchical conditional rewriting systems
1988 · Wadoud Bousdira · Lecture notes in computer science
Works count: 27
Citation count: 74
H-index: 4
I10-index: 4
Year
Topic
Type