| 2010 | ||
|---|---|---|
| 8 | Louis Gesbert, Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski: Bulk synchronous parallel ML with exceptions. Future Generation Comp. Syst. 26(3): 486-490 (2010) | |
| 2009 | ||
| 7 | Frédéric Dabrowski, David Pichardie: A Certified Data Race Analysis for a Java-like Language. TPHOLs 2009: 212-227 | |
| 2007 | ||
| 6 | Roberto M. Amadio, Frédéric Dabrowski: Feasible reactivity in a synchronous Pi-calculus. PPDP 2007: 221-230 | |
| 2006 | ||
| 5 | Roberto M. Amadio, Frédéric Dabrowski: Feasible Reactivity for Synchronous Cooperative Threads. Electr. Notes Theor. Comput. Sci. 154(3): 33-43 (2006) | |
| 2003 | ||
| 4 | Frédéric Dabrowski, Frédéric Loulergue: Functional Bulk Synchronous Parallel Programming in C++. Applied Informatics 2003: 462-467 | |
| 3 | Myrto Arapinis, Frédéric Loulergue, Frédéric Gava, Frédéric Dabrowski: Semantics of Minimally Synchronous Parallel ML. SNPD 2003: 260-267 | |
| 2 | Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski: A Parallel Categorical Abstract Machine for Bulk Synchronous Parallel ML. SNPD 2003: 293-300 | |
| 1 | Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski: Pattern Matching of Parallel Values in Bulk Synchronous Parallel ML. SNPD 2003: 301-308 | |
| 1 | Roberto M. Amadio | [5] [6] |
| 2 | Myrto Arapinis | [3] |
| 3 | Frédéric Gava | [1] [2] [3] [8] |
| 4 | Louis Gesbert | [8] |
| 5 | Frédéric Loulergue | [1] [2] [3] [4] [8] |
| 6 | David Pichardie | [7] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page