| 2007 |
| 3 | EE | Pascal Redou,
Sébastien Kerdélo,
Gireg Desmeulles,
Jean François Abgrall,
Vincent Rodin,
Jacques Tisseau:
Formal Validation of Asynchronous Interaction-Agents Algorithms for Reaction-Diffusion Problems.
PADS 2007: 93-104 |
| 2005 |
| 2 | EE | Pascal Redou,
Sébastien Kerdélo,
Christophe Le Gal,
Gabriel Querrec,
Vincent Rodin,
Jean François Abgrall,
Jacques Tisseau:
Reaction-Agents: First Mathematical Validation of a Multi-agent System for Dynamical Biochemical Kinetics.
EPIA 2005: 156-166 |
| 2003 |
| 1 | EE | Gabriel Querrec,
Vincent Rodin,
Jean François Abgrall,
Sébastien Kerdélo,
Jacques Tisseau:
Uses of Multiagents Systems for Simulation of MAPK Pathway.
BIBE 2003: 421-425 |