Cell cycle kinetics of expanding populations of neural stem and progenitor cells in vitro, Cell Cycle Kinetics of Expanding Populations of Neural Stem and Progenitor Cells In Vitro, pp.332-347, 2004. ,
DOI : 10.1002/bit.20246
A structured approach for the engineering of biochemical network models, illustrated for signalling pathways, Briefings in Bioinformatics, vol.9, issue.5, pp.404-421, 2008. ,
DOI : 10.1093/bib/bbn026
Wnt pathway mutations selected by optimal ??-catenin signaling for tumorigenesis, FEBS Letters, vol.434, issue.15, pp.3665-3670, 2006. ,
DOI : 10.1016/j.febslet.2006.05.053
Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks, Electronic Notes in Theoretical Computer Science, vol.194, issue.3, pp.103-117, 2008. ,
DOI : 10.1016/j.entcs.2007.12.008
Modelling co-transcriptional cleavage in the synthesis of yeast pre-rRNA, Theoretical Computer Science, vol.408, issue.1, pp.41-54, 2008. ,
DOI : 10.1016/j.tcs.2008.07.012
Rule-Based Modelling of Cellular Signalling, International Conference on Concurrency Theory (CONCUR), ed. L. Caires and V. Vasconcelos, pp.17-41, 2007. ,
DOI : 10.1007/978-3-540-74407-8_3
URL : https://hal.archives-ouvertes.fr/hal-00164297
Spontaneous separation of bi-stable biochemical systems into spatial domains of opposite phases, Systems Biology, vol.1, issue.2, pp.230-236, 2004. ,
DOI : 10.1049/sb:20045021
A general method for numerically simulating the stochastic time evolution of coupled chemical reactions, Journal of Computational Physics, vol.22, issue.4, pp.403-434, 1976. ,
DOI : 10.1016/0021-9991(76)90041-3
Snoopy -A Tool to Design and Execute Graph-Based Formalisms, Petri Net Newsletter, vol.74, pp.8-22, 2008. ,
DOI : 10.4108/icst.simutools2008.3098
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.473.5367
Dynamic Compartments in the Imperative Pi Calculus, Computational Methods in Systems Biology, 7th International Conference, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00422970
The Attributed Pi Calculus, Computational Methods in Systems Biology, 6th International Conference, pp.83-102, 2008. ,
DOI : 10.1007/978-3-540-88562-7_10
URL : https://hal.archives-ouvertes.fr/inria-00308970
Analyzing the Regulation of the Subcellular Localization of beta-catenin by Fluorescence Recovery After Photobleaching, 2006. ,
A Stochastic Pi Calculus for Concurrent Objects, Second International Conference on Algebraic Biology, pp.232-246, 2007. ,
DOI : 10.1007/978-3-540-73433-8_17
URL : https://hal.archives-ouvertes.fr/inria-00121104
Gene Regulation in the Pi Calculus: Simulating Cooperativity at the Lambda Switch, TCSB, vol.4230, pp.24-55, 2006. ,
DOI : 10.1007/11905455_2
URL : https://hal.archives-ouvertes.fr/inria-00089218
Wnt Signal Pathways and Neural Stem Cell Differentiation, Wnt Signal Pathways and Neural Stem Cell Differentiation, pp.76-86, 2006. ,
DOI : 10.1159/000092097
A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment, SIMULATION, vol.80, issue.6, pp.273-288, 2004. ,
DOI : 10.1177/0037549704045800
The Roles of APC and Axin Derived from Experimental and Theoretical Analysis of the Wnt Pathway, PLoS Biology, vol.274, issue.1, pp.116-132, 2003. ,
DOI : 10.1371/journal.pbio.0000010.st002
Communicating and mobile systems: the ?-calculus, 1999. ,
Nuclear Pore Complex Is Able to Transport Macromolecules with Diameters of 39 nm, Molecular Biology of the Cell, vol.13, issue.2, pp.425-434, 2002. ,
DOI : 10.1091/mbc.01-06-0308
A conditionally immortal clonal stem cell line from human cortical neuroepithelium for the treatment of ischemic stroke, Experimental Neurology, vol.199, issue.1, pp.989-995, 2006. ,
DOI : 10.1016/j.expneurol.2005.12.011
Stochastic ?-Calculus, Computer Journal, vol.6, pp.578-589, 1995. ,
Application of a stochastic name-passing calculus to representation and simulation of molecular processes, Information Processing Letters, vol.80, issue.1, pp.25-31, 2001. ,
DOI : 10.1016/S0020-0190(01)00214-9
The Pi Calculus as an Abstraction for Biomolecular Systems, Modelling in Molecular Biology, pp.219-266, 2004. ,
On the Use of Process Alegbra Techniques in Computational Modelling of Cancer Initiation ans Development, 2008. ,
Do Cells Cycle?, Proceedings of the National Academy of Sciences, vol.70, issue.4, pp.1263-67, 1973. ,
DOI : 10.1073/pnas.70.4.1263
Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis, Formal Methods in Systems Biology: First International Workshop Proceedings, pp.63-76, 2008. ,
DOI : 10.1007/978-3-540-68413-8_5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.468.9743
Wnt signaling: is the party in the nucleus?, Genes & Development, vol.20, issue.11, pp.1394-1404, 2006. ,
DOI : 10.1101/gad.1424006
Modeling and Simulation of Intracellular Dynamics: Choosing an Appropriate Framework, IEEE Transactions on Nanobioscience, vol.3, issue.3, pp.200-207, 2004. ,
DOI : 10.1109/TNB.2004.833694
MAZEMONDET holds a MSc in Bioinformatics and is currently a PhD student of the graduate school dIEM oSiRiS <http ,
MSc in Computer Science and is currently a PhD student of the graduate school dIEM oSiRiS <http ,