| 2002 | Transparent Data Relocation in Highly Available Distributed Systems. | Spyros Voulgaris, Maarten van Steen, Aline Baggio, Gerco Ballintijn |
| 2002 | A Design of Multi-Startegy Parallelization for an Entire Application of Document Categorization on Low-Cost Multiprocessor PCs. | Stphane Vialle, Guillaume Schaeffer, Michel Ianotto |
| 2002 | The Incidence of the Controllable Parameters in Routing Algorithms Based on Ant Colony Optimization. | Rolando Francisco Vallejo, Edgar Emmanuel Vallejo, Roberto Gmez Crdenas |
| 2002 | Testing temporal and behavior events on timed systems with timed test purposes. | Sbastien Salva |
| 2002 | Managing Dependencies in Dynamic Collaborations using Coordination Diagrams. | Laura Margarita Rodrguez Peralta, Thierry Villemur, Khalil Drira, Jos Martn Molina-Espinosa |
| 2002 | A Distributed Algorithm for the Validation of Timed State Machines. | Xavier Rebeuf, G. Satriano, Franoise Simonot-Lion |
| 2002 | Load Balance Protocol of Cluster on Grid: Pervasive Maximum Algorithmic Parallelism. | Tsuyoshi Okita |
| 2002 | Bounding the makespan of best pre-schedulings of task graphs with fixed communication delays and random execution times on a virtual distributed system. | Moustafa Nakechbandi, Christian Delaruelle, Jean-Yves Colin |
| 2002 | LCIASA: A Useful Language for Specification and Verification of Agent-Based Systems. | Nicandro Faras Mendoza, Flix F. Ramos Corchado, Victor M. Larios-Rosillo |
| 2002 | An Architectural Approach to Replication Configuration. | Vania Marangozova, Daniel Hagimont |
| 2002 | Paxos Made Simple, Fast, and Byzantine. | Leslie Lamport |
| 2002 | A good balance between weight and distances for multipoint trees. | Christian Laforest |
| 2002 | Simple Gossipping with Balls and Bins. | Boris Koldehofe |
| 2002 | k-Coteries for Tolerating Network 2-Partition. | Takashi Harada, Masafumi Yamashita |
| 2002 | Sun Platform. | Henri Gouraud |
| 2002 | Failure sensitive analysis for parallel algorithm with controlled memory access concurrency. | Chryssis Georgiou, Alexander Russell, Alexander A. Shvartsman |
| 2002 | Functional Architecture of the NODS Fault Tolerance Framework. | Phuong-Quynh Duong, Elizabeth Prez Corts, Christine Collet |
| 2002 | Black Hole Search by Mobile Agents in Hypercubes and Related Networks. | Stefan Dobrev, Paola Flocchini, Rastislav Kralovic, Giuseppe Prencipe, Peter Ruzicka, Nicola Santoro |
| 2002 | Verification of CORBA systems with composition of Well Formed Nets. | Clment Delamare, Yvon Gardan, Patrice Moreaux |
| 2002 | Automatic Parallelization of numerical programss : Application to Solve Linear Dense and Sparse Systemss. | Michel Cosnard |
| 2002 | What happens? On notions of event in formal methods and elsewhere. | Tommaso Bolognesi |
| 2002 | A Distributed Algorithm for Unstable Global Predicate Evaluation with Approximately Synchronized Clocks. | Shilpa Bansod, Jean Mayo |
| 2002 | An Implementation of Causal Memories using the Writing Semantic. | Roberto Baldoni, C. Sparziani, Sara Tucci Piergiovanni, Daniela Tulone |
| 2002 | Converging toward Decision Conditions. | Emmanuelle Anceaume, Eric Mourgaya, Philippe Raipin Parvdy |
| 2001 | Converting Software from a Single System, Concurrent Server to a Cluster Server Architecture. | Alex Vrenios, Sethuraman Panchanathan, Forouzan Golshani |