| 2008 |
|---|
| 23 | | Gaétan Hains:
Recherches en sécurité informatique chez SAP Labs France.
INFORSID 2008 |
| 2005 |
|---|
| 22 | EE | Mostafa Bamha,
Gaétan Hains:
An Efficient Equi-semi-join Algorithm for Distributed Architectures.
International Conference on Computational Science (2) 2005: 755-763 |
| 21 | EE | Siva Anantharaman,
Jing Chen,
Gaétan Hains:
A Synchronous Process Calculus for Service Costs.
SEFM 2005: 435-444 |
| 20 | EE | Armelle Merlin,
Gaétan Hains:
A Generic Cost Model for Concurrent and Data-parallel Meta-computing.
Electr. Notes Theor. Comput. Sci. 128(6): 3-19 (2005) |
| 2003 |
|---|
| 19 | EE | Gaétan Hains:
"Implicit parallel programming in pH" by R. S. Nikhil and Arvind, Morgan Kaufmann, 2001.
J. Funct. Program. 13(4): 824-826 (2003) |
| 18 | EE | Gaétan Hains,
Frédéric Loulergue:
Preface: Special Issue on High-Level Parallel Programming and Applications.
Parallel Processing Letters 13(3): 313-316 (2003) |
| 2002 |
|---|
| 17 | | Gaétan Hains,
M. Bergeron:
The BNAI Analyzer: A Tool for Verifying Admissible Information Flow in Protocols.
IASTED PDCS 2002: 260-265 |
| 2001 |
|---|
| 16 | | Gaétan Hains,
Quentin Miller:
Preface: High-Level Parallel Programming and Applications.
Parallel Processing Letters 11(4): 375-376 (2001) |
| 15 | EE | Gaétan Hains,
Frédéric Loulergue,
John Mullins:
Concrete data structures and functional parallel programming.
Theor. Comput. Sci. 258(1-2): 233-267 (2001) |
| 2000 |
|---|
| 14 | EE | Mostafa Bamha,
Gaétan Hains:
A Skew-insensitive Algorithm for Join and Multi-join Operations on Shared Nothing Machines.
DEXA 2000: 644-653 |
| 13 | EE | Laurent Granvilliers,
Gaétan Hains:
A conservative scheme for parallel interval narrowing.
Inf. Process. Lett. 74(3-4): 141-146 (2000) |
| 12 | | Frédéric Loulergue,
Gaétan Hains,
Christian Foisy:
A calculus of functional BSP programs.
Sci. Comput. Program. 37(1-3): 253-277 (2000) |
| 1999 |
|---|
| 11 | EE | Mostafa Bamha,
Fadila Bentayeb,
Gaétan Hains:
An Efficient Scalable Parallel View Maintenance Algorithm for Shared Nothing Multi-processor Machines.
DEXA 1999: 616-625 |
| 10 | | Arnaud Lallouet,
Gaétan Hains:
Programmation par contraintes parallèle: l'approche CLP(Chi).
JFPLC 1999: 107-122 |
| 9 | | Olivier Ballereau,
Frédéric Loulergue,
Gaétan Hains:
High Level BSP Programming: BSML and BSlambda.
Scottish Functional Programming Workshop 1999: 29-40 |
| 1997 |
|---|
| 8 | | Frédéric Loulergue,
Gaétan Hains:
Functional Parallel Programming with Explicit Processes: Beyond SPMD.
Euro-Par 1997: 530-537 |
| 1996 |
|---|
| 7 | | Gaétan Hains,
John Mullins:
Array Structures and Data-Parallel Algorithms.
Euro-Par, Vol. II 1996: 409-416 |
| 1995 |
|---|
| 6 | | Gaétan Hains,
John Mullins:
A Metacircular Data-Parallel Functional Language.
Euro-Par 1995: 711-714 |
| 5 | EE | Gil Utard,
Gaétan Hains:
Deadlock-Free Absorption of Barrier Synchronisations.
Inf. Process. Lett. 56(4): 221-227 (1995) |
| 1994 |
|---|
| 4 | | Gaétan Hains:
Parallel Functional Languages Should be Strict.
IFIP Congress (1) 1994: 527-532 |
| 1993 |
|---|
| 3 | | Gaétan Hains,
Christian Foisy:
The Data-Parallel Categorical Abstract Machine.
PARLE 1993: 56-67 |
| 2 | | Gaétan Hains,
Lenore M. R. Mullin:
Parallel Functional Programming with Arrays.
Comput. J. 36(3): 238-245 (1993) |
| 1989 |
|---|
| 1 | | Gaétan Hains:
The Compaction of Acyclic Terms.
PARLE (2) 1989: 288-303 |
