Pascal Redou
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2005–2019
Best venue rank
National
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | IWANN | A Clinical Decision Support System to Help the Interpretation of Laboratory Results and to Elaborate a Clinical Diagnosis in Blood Coagulation Domain. | Francois Lasson, Alban Paul Delamarre, Pascal Redou, Cdric Buche |
| 2007 | PADS | Formal Validation of Asynchronous Interaction-Agents Algorithms for Reaction-Diffusion Problems. | Pascal Redou, Sbastien Kerdlo, Gireg Desmeulles, Jean Franois Abgrall, Vincent Rodin, Jacques Tisseau |
| 2005 | EPIA | Reaction-Agents: First Mathematical Validation of a Multi-agent System for Dynamical Biochemical Kinetics. | Pascal Redou, Sbastien Kerdlo, Christophe Le Gal, Gabriel Querrec, Vincent Rodin, Jean Franois Abgrall, Jacques Tisseau |