Philippe Quéinnec

	2009
15		Nadege Pontisso, Philippe Quéinnec, Gérard Padiou: Temporal data matching in component based real time systems. SIES 2009: 62-65
	2007
14		Philippe Mauran, Gérard Padiou, Philippe Quéinnec: Separability to Help Parallel Simulation of Distributed Computations. OPODIS 2007: 358-371
	2006
13		Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou, Jean Fanchon: A Coordination-Level Middleware for Supporting Flexible Consistency in CSCW. PDP 2006: 316-321
	2005
12		Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou: Streaming with causality: a practical approach. ACM Multimedia 2005: 283-286
11		Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou: A Flexible Communication Toolkit for Synchronous Groupware. ICW/ICHSN/ICMCS/SENET 2005: 216-221
10		Michel Charpentier, Gérard Padiou, Philippe Quéinnec: Cooperative Mobile Agents to Gather Global Information. NCA 2005: 271-274
9		Mamoun Filali, Valérie Issarny, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: Maximal Group Membership in Ad Hoc Networks. PPAM 2005: 51-58
	2003
8		Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: The Reconstruction of a Mobile Agent Computation and Its Validation. IPDPS 2003: 236
	2000
7		Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec, Xavier Thirioux: Refinement Based Validation of an Algorithm for Detecting Distributed Termination. IPDPS Workshops 2000: 1027-1036
6		Philippe Quéinnec, Mamoun Filali, Philippe Mauran, Gérard Padiou: Describing Mobile Computations with Path Vectors. OPODIS 2000: 221-234
	1999
5		Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: Modelling and Verifying Migration: A case study. OPODIS 1999: 149-164
4		Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: The Observation: An Abstract Communication Mechanism. Parallel Processing Letters 9(3): 437-450 (1999)
	1998
3		Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: Tailoring UNITY to Distributed Program Design. IPPS/SPDP Workshops 1998: 820-832
	1996
2		Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec: Abstracting Communication to Reason about Distributed Algorithms. WDAG 1996: 89-104
	1994
1		Philippe Quéinnec, Gérard Padiou: Derivation of Fault Tolerance Properties of Distributed Algorithms. PODC 1994: 382

Coauthor Index

1	Michel Charpentier	[2] [3] [4] [5] [10]
2	Jean Fanchon	[13]
3	Mamoun Filali	[2] [3] [4] [5] [6] [7] [8] [9]
4	Romulus Grigoras	[11] [12] [13]
5	Valérie Issarny	[9]
6	Philippe Mauran	[2] [3] [4] [5] [6] [7] [8] [9] [14]
7	Gérard Padiou	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15]
8	Cezar Plesca	[11] [12] [13]
9	Nadege Pontisso	[15]
10	Xavier Thirioux	[7]