A rewriting logic framework for operational semantics of membrane systems, Theoretical Computer Science, vol.373, issue.3, pp.163-181, 2007. ,
DOI : 10.1016/j.tcs.2006.12.016
Computer simulations reveal properties of the cell-cell signaling network at the shoot apex in Arabidopsis, Proceedings of the National Academy of Sciences, vol.103, issue.5, pp.1627-1632, 2006. ,
DOI : 10.1073/pnas.0510130103
URL : https://hal.archives-ouvertes.fr/hal-00023247
Shape calculus. a spatial mobile calculus for 3d shapes, Scientific Annals of Computer Science, vol.20, pp.1-31, 2010. ,
Population P systems, Journal of Universal Computer Science, vol.10, issue.5, pp.509-539, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00340474
Spatial modeling in cell biology at multiple levels, Proceedings of the 2010 Winter Simulation Conference, pp.608-619, 2010. ,
DOI : 10.1109/WSC.2010.5679125
A Petri net based framework for a qualitative modelling of regulatory networks encompassing inter-cellular signalling, JB'09, pp.1-5, 2009. ,
A modular, qualitative modelling of regulatory networks using Petri nets, chapter 12 of Modeling in Systems Biology ? the Petri Net Approach, 2010. ,
Petri net representation of multi-valued logical regulatory graphs, Natural Computing, vol.57, issue.2, pp.727-750, 2011. ,
DOI : 10.1007/s11047-010-9178-0
Qualitative Petri Net Modelling of Genetic Networks, Trans Comp Syst Biol, issue.4220, pp.95-112, 2006. ,
DOI : 10.1007/11880646_5
URL : https://hal.archives-ouvertes.fr/hal-00310988
The genetics of geometry, Proceedings of the National Academy of Sciences, vol.101, issue.14, p.4728, 2004. ,
DOI : 10.1073/pnas.0306308101
Central Dogma of Molecular Biology, Nature, vol.215, issue.5258, pp.561-563, 1970. ,
DOI : 10.1038/227561a0
Graph-grammars: An algebraic approach, 14th Annual Symposium on Switching and Automata Theory (swat 1973), 1973. ,
DOI : 10.1109/SWAT.1973.11
Topological Collections, Transformations and Their Application to the Modeling and the Simulation of Dynamical Systems, 14th International Conference on Rewriting Techniques and Applications (RTA 2003), pp.208-233, 2003. ,
DOI : 10.1007/3-540-44881-0_16
Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections, Proceedings Fourth Workshop on Workshop on Membrane Computing and Biologically Inspired Process Calculi Electronic Proceedings in Theoretical Computer Science (EPTCS), 2010. ,
DOI : 10.4204/EPTCS.40.11
URL : https://hal.archives-ouvertes.fr/hal-00666662
Declarative definition of group indexed data structures and approximation of their domains, Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '01, pp.150-161, 2001. ,
DOI : 10.1145/773184.773201
The topological structures of membrane computing, Fundamenta Informaticae, vol.49, pp.107-129, 2002. ,
Modeling the topological organization of cellular processes, Biosystems, vol.70, issue.2, pp.149-163, 2003. ,
DOI : 10.1016/S0303-2647(03)00037-6
Accretive rules in cayley p systems, Selected paper from the International Workshop on Membrane Computing LNCS 2597, pp.319-338, 2002. ,
Pattern-matching and rewriting rules for group indexed data structures, ACM SIGPLAN Notices, vol.37, issue.12, pp.76-87, 2002. ,
DOI : 10.1145/636517.636529
Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems, Software-Intensive Systems and New Computing Paradigms, pp.235-254, 2008. ,
DOI : 10.1016/j.biosystems.2006.12.009
URL : https://hal.archives-ouvertes.fr/hal-00645997
Topological rewriting and the geometrization of programming, Physica D: Nonlinear Phenomena, vol.237, issue.9, pp.1302-1314, 2008. ,
DOI : 10.1016/j.physd.2008.03.039
URL : https://hal.archives-ouvertes.fr/hal-00340126
Visualization of developmental processes by extrusion in space-time, Graphics Interface, pp.246-257, 1996. ,
Visualization of developmental processes by extrusion in space-time, Graphics Interface, pp.246-258, 1996. ,
Polytypic programming, Advanced Functional Programming, pp.68-114, 1996. ,
DOI : 10.1007/3-540-61628-4_3
A Spatial Extension to the ?? Calculus, Electronic Notes in Theoretical Computer Science, vol.194, issue.3, pp.133-148, 2008. ,
DOI : 10.1016/j.entcs.2007.12.010
URL : https://hal.archives-ouvertes.fr/hal-00656206
An approach to state space reduction for systems with dynamic process creation, 2009 24th International Symposium on Computer and Information Sciences, 2009. ,
DOI : 10.1109/ISCIS.2009.5291864
URL : https://hal.archives-ouvertes.fr/hal-00666664
State space reduction for dynamic process creation. SACS Alexandru Ioan Cuza, 2010. ,
DOI : 10.1109/iscis.2009.5291864
URL : https://hal.archives-ouvertes.fr/hal-00666663
Mathematical models for cellular interactions in development I. Filaments with one-sided inputs, Journal of Theoretical Biology, vol.18, issue.3, pp.280-315, 1968. ,
DOI : 10.1016/0022-5193(68)90079-9
Rule governing Cell Division in Anabaena, Nature, vol.13, issue.5367, pp.110-121, 1972. ,
DOI : 10.1038/239110a0
Elements of Algebraic Topology, 1984. ,
Set-theoretic graph rewriting, Proceedings of the International Workshop on Graph Transformations in Computer Science, pp.312-325, 1994. ,
DOI : 10.1007/3-540-57787-4_20
URL : https://hal.archives-ouvertes.fr/inria-00074892
Syntactic theories and the algebra of record terms, 78 153 Le Chesnay Cedex, 1992. ,
A Logical Model Provides Insights into T Cell Receptor Signaling, PLoS Computational Biology, vol.284, issue.8, p.163, 2007. ,
DOI : 10.1371/journal.pcbi.0030163.st002
Segmenting the fly embryo: logical analysis of the role of the Segment Polarity cross-regulatory module, The International Journal of Developmental Biology, vol.52, issue.8, pp.1059-75, 2008. ,
DOI : 10.1387/ijdb.072439ls
Stochastic P systems and the simulation of biochemical processes with dynamic compartments, Biosystems, vol.91, issue.3, pp.91458-472, 2008. ,
DOI : 10.1016/j.biosystems.2006.12.009
URL : https://hal.archives-ouvertes.fr/hal-00645928
Declarative Mesh Subdivision Using Topological Rewriting in MGS, Int. Conf. on Graph Transformations (ICGT) 2010, pp.298-313, 2010. ,
DOI : 10.1007/978-3-642-15928-2_20
URL : https://hal.archives-ouvertes.fr/hal-00820206
Understanding the Dynamics of Biological Systems: Lessons Learned from Integrative Systems Biology , chapter Interaction-Based Simulations for Integrative Spatial Systems Biology, 2011. ,
Space in systems biology of signaling pathways - towards intracellular molecular crowding in silico, FEBS Letters, vol.20, issue.8, pp.5791783-1788, 2005. ,
DOI : 10.1016/j.febslet.2005.01.072
Boolean formalization of genetic control circuits, Journal of Theoretical Biology, vol.42, issue.3, pp.563-85, 1973. ,
DOI : 10.1016/0022-5193(73)90247-6
Regulatory networks seen as asynchronous automata: A logical description, Journal of Theoretical Biology, vol.153, issue.1, pp.1-23, 1991. ,
DOI : 10.1016/S0022-5193(05)80350-9
Dynamical behaviour of biological regulatory networks???I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state, Bulletin of Mathematical Biology, vol.29, issue.2, pp.247-76, 1995. ,
DOI : 10.1007/BF02460618
On the mathematical structure of a large class of physicial theories, pp.5248-56, 1972. ,
Tissue P systems, Theoretical Computer Science, vol.296, issue.2, pp.295-326, 2003. ,
DOI : 10.1016/S0304-3975(02)00659-X
Pattern formation in the blue-green alga, Anabaena. I. Basic mechanisms, Journal of Cell Science, vol.12, pp.707-723, 1973. ,
Quorum sensing, communication and cross-kingdom signalling in the bacterial world, Microbiology, vol.153, issue.12, pp.3923-3938, 2007. ,
DOI : 10.1099/mic.0.2007/012856-0