Molecular biology of the cell Garland Science Foundations of the theory of maps on surfaces with boundaries, Quart. J. Math. Oxford Ser, issue.2141, pp.3617-3658, 1985. ,
Brane calculi. interactions of biological membranes, Proc. Computational Methods in Systems Biology, pp.257-280, 2005. ,
DOI : 10.1007/978-3-540-25974-9_24
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge, Bioinformatics, vol.22, issue.14, pp.1805-1807, 2006. ,
DOI : 10.1093/bioinformatics/btl172
URL : https://hal.archives-ouvertes.fr/hal-01431364
The Biochemical Abstract Machine BIOCHAM, CMSB'04DP05] V. Danos and S. Pradalier. Projective brane calculus, pp.172-191, 2004. ,
DOI : 10.1007/BF03037227
URL : https://hal.archives-ouvertes.fr/inria-00000814
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series), 2006. ,
Out-of-core photon-mapping for large buildings, EGSR 2005, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00337795
Double-pushout graph transformation revisited, Mathematical Structures in Computer Science, vol.11, issue.05, pp.637-688, 2001. ,
DOI : 10.1017/S0960129501003425
Morphodynamics of the secretory pathway. International review of cytology Subdivision of n-dimensional spaces and n-dimensional generalized maps, Lie89] P. Lienhardt SCG'89, pp.55-120, 1989. ,
Simplicial Objects in Algebric Topology, Van Nostrand Mathematical Studies. Van Nostrand, vol.11, 1967. ,
Introduction to Membrane Computing, 2002. ,
DOI : 10.1007/3-540-29937-8_1
Research topics in membrane computing, Proceedings of the Fourth Brainstorming Week on Membrane Computing, pp.235-251, 2006. ,
BioAmbients: an abstraction for biological compartments, Theoretical Computer Science, vol.325, issue.1, pp.141-167, 2004. ,
DOI : 10.1016/j.tcs.2004.03.061
Graph Theory, volume 21 of Encyclopedia of Mathematics and its Applications, 1984. ,