| * | 2009 |
|---|
| 7 | EE | Frédéric Dabrowski,
David Pichardie:
A Certified Data Race Analysis for a Java-like Language.
TPHOLs 2009: 212-227 |
| 2007 |
|---|
| 6 | EE | Roberto M. Amadio,
Frédéric Dabrowski:
Feasible reactivity in a synchronous Pi-calculus.
PPDP 2007: 221-230 |
| 2006 |
|---|
| 5 | EE | 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 |
