Philippe Gerner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2000–2006
Best venue rank
Journal Published
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | EMSOFT | Scheduling for multi-threaded real-time programs via path planning. | Thao Dang, Philippe Gerner |
| 2005 | ICFEM | Jahuel: A Formal Framework for Software Synthesis. | Ismail Assayad, Valrie Bertin, F.-X. Defaut, Philippe Gerner, O. Quvreux, Sergio Yovine |
| 2000 | EuroPar | A Theoretical Framework of Data Parallelism and Its Operational Semantics. | Philippe Gerner, Eric Violard |