Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Frédéric Dabrowski
2010 – today
- 2010
[j2]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)
2000 – 2009
- 2009
[c6]Frédéric Dabrowski, David Pichardie: A Certified Data Race Analysis for a Java-like Language. TPHOLs 2009: 212-227- 2007
[c5]Roberto M. Amadio, Frédéric Dabrowski: Feasible reactivity in a synchronous Pi-calculus. PPDP 2007: 221-230- 2006
[j1]Roberto M. Amadio, Frédéric Dabrowski: Feasible Reactivity for Synchronous Cooperative Threads. Electr. Notes Theor. Comput. Sci. 154(3): 33-43 (2006)- 2003
[c4]Frédéric Dabrowski, Frédéric Loulergue: Functional Bulk Synchronous Parallel Programming in C++. Applied Informatics 2003: 462-467
[c3]Myrto Arapinis, Frédéric Loulergue, Frédéric Gava, Frédéric Dabrowski: Semantics of Minimally Synchronous Parallel ML. SNPD 2003: 260-267
[c2]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
[c1]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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-09-10 16:05 CEST by the dblp team



