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 modular, qualitative modelling of regulatory networks using Petri nets, chapter 12 of Modeling in Systems Biology ? the Petri Net Approach, 2010. ,
Construction de l'espace desétatsdesétats d'un IRN et techniques de réduction, 2011. ,
Topological Collections, Transformations and Their Application to the Modeling and the Simulation of Dynamical Systems, 14th International Conference on Rewriting Technics and Applications (RTA'03), 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), pp.23-24, 2010. ,
DOI : 10.4204/EPTCS.40.11
URL : https://hal.archives-ouvertes.fr/hal-00666662
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
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
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, vol.20, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00666663
A bottom-up mechanism for behavior selection in an artificial creature, proceedings of the first international conference on simulation of adaptative behavior, 1991. ,
Nauty version 2.2, pp.1994-2003 ,
The MGS homepage ,
Computing with membranes, Journal of Computer and System Sciences, vol.61, issue.1, 2000. ,
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
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.48-56, 1972. ,