Changes between Version 65 and Version 66 of WikiStart
- Timestamp:
- Apr 4, 2017, 11:51:45 PM (15 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
WikiStart
v65 v66 52 52 == Publications == 53 53 54 === 2017 === 55 56 * Frédéric Loulergue. Imperative BSPlib-style Communications in Bulk Synchronous Parallel ML. In International Conference on Computational Science (ICCS), Procedia Computer Science, Zurich, Switzerland, 2017. Elsevier. to appear 57 * Loulergue Frédéric, Wadoud Bousdira, and Julien Tesson. [http://dx.doi.org/10.1007/s10766-016-0415-8 Calculating Parallel Programs in Coq using List Homomorphisms]. In ''International Journal of Parallel Programming'', volume 45, issue 2, pp. 300-319, 2017 58 54 59 === 2015 === 55 60 56 * Loulergue Frédéric, Wadoud Bousdira, and Julien Tesson. Calculating Parallel Programs in Coq using List Homomorphisms. In ''International Journal of Parallel Programming'', 2015, to appear 61 57 62 * Loulergue Frédéric, Wadoud Bousdira, and Julien Tesson. Calcul de programmes parallèles avec Coq. In Nicolas Ollinger, editor, École des Jeunes Chercheurs en Informatique Mathématique, collection Alpha. CNRS Éditions, 2015 58 63