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 |