Philippe Mauran
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1993–2007
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | OPODIS | Separability to Help Parallel Simulation of Distributed Computations. | Philippe Mauran, Grard Padiou, Philippe Quinnec |
| 2005 | PPAM | Maximal Group Membership in Ad Hoc Networks. | Mamoun Filali, Valrie Issarny, Philippe Mauran, Grard Padiou, Philippe Quinnec |
| 2000 | OPODIS | Describing Mobile Computations with Path Vectors. | Philippe Quinnec, Mamoun Filali, Philippe Mauran, Grard Padiou |
| 1999 | OPODIS | Modelling and Verifying Migration: A case study. | Michel Charpentier, Mamoun Filali, Philippe Mauran, Grard Padiou, Philippe Quinnec |
| 1993 | ECRTS | Unity, as a Tool for Reactive Systems Specification and Derivation. | Mamoun Filali, Philippe Mauran, Grard Padiou |