Jean-Louis Giavitto. The modeling and the simulation of the fluid machines of synthetic biology. In Marian Gheorghe, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, and Sergey Verlan, editors, Membrane Computing - 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revi- sed Selected Papers, volume 7184 of Lecture Notes in Computer Science, pages 19–34. Springer, 2012.
Antoine Spicher, Olivier Michel, and Jean-Louis Giavitto. Spatial computing in mgs. In Jérome Durand-Lose, editor, Proc. 11th International Conference Unconventional Computation & Natural Computation (UCNC 2012), volume 7445 of LNCS, pages 63–69. Springer, september 2012.
Antoine Spicher, Olivier Michel, and Jean-Louis Giavitto. Arbitrary nesting of spatial computations. In Proc. of the Spatial COmputing Workshop, volume W21, pages 25–32, Valencia, Spain 2012. IFAMAAS.
Susan Stepney, Ada Diaconescu, René Doursat, Jean-Louis Giavitto, Taras Kowaliw, Ottoline Leyser, Bruce MacLennan, Olivier Michel, Julian F. Miller, Igor Nikolic, Antoine Spicher, Christof Teuscher, Gunnar Tufte, Francisco J. Vico, and Lidia Yamamoto. Interaction based simulation of dynamical system with a dynamical structure (ds)2 in mgs. In Unconventional Computation & Natural Computation, page Abstract, France, June 2012.
-
Joachimczak, M., Kowaliw, T., Doursat, R., and Wróbel, B. (2012) Brainless bodies: Controlling the development and behavior of multicellular animats by gene regulation and diffusive signals. Artificial Life 13: Proceedings of the 13th International Conference on the Simulation and Synthesis of Living Systems (Alife 13), July 19-22, 2012, Michigan State University, East Lansing, MI; C. Adami, D. M. Bryson, C. Ofria, R. T. Pennock, eds.: pp. 349-356.
MIT Press, ISBN 978-0-262-31050-5.
Joachimczak, M., Kowaliw, T., Doursat, R., Wróbel, B. (2012) Evolving morphologies and controllers for soft-bodied multicellular animats using gene regulatory networks and artificial embryogenesis. Evolutionary Developmental Robotics Workshop (EvoDevoRobo 2012), in Companion Publication of the 14th International Genetic and Evolutionary Computation Conference (GECCO 2012), July 7-11, 2012, Philadelphia, PA; T. Soule et al., eds.: pp. 357-360. ACM, ISBN 978-1-4503-1178-6.
Kowaliw, T., Banzhaf, W. (2012). The unconstrained automated generation of cell image features for medical diagnosis. Proceedings of the fourteenth international conference on Genetic and evolutionary computation conference - GECCO 2012 (pp. 1103-1110) ACM Press.
Fernández, J. D., Vico, F. J. & Doursat, R. (2012) Complex and diverse morphologies can develop from a minimal genome. Generative & Developmental Systems Track (GDS 2012), in Proceedings of the 14th International Genetic and Evolutionary Computation Conference (GECCO 2012), July 7-11, 2012, Philadelphia, PA; T. Soule et al., eds.: pp. 553-560. ACM, ISBN 978-1-4503-1177-9. Note: Best paper award winner (among 10 best papers out of 170 published at GECCO 2012).
Chaouiya, C., Klaudel, H., & Pommereau, F. (2011.) A Modular, Qualitative Modeling of Regulatory Networks Using Petri Nets
Modeling in Systems Biology. (pp. 253-279.) London, Springer.
Demongeot, J., & Sené, S. (2011). The singular power of the environment on stochastic nonlinear threshold Boolean automata networks. Proceedings of the 9th International Conference on Computational Methods in Systems Biology – CMSB'11 (pp. 55-64), ACM Press.
Delaplace, F., Klaudel, H., Melliti, T., & Sené, S. (2012). Analysis of modular organisation of interaction networks based on asymptotic dynamics. Proceedings of the 10th International Conference on Computational Methods in Systems Biology – CMSB'12, to appear.
Sené, S. (2012). A necessary condition for boudary sensitivity of attractive non-linear stochastic cellular automata in Z2. Proceedings of the 18th International Workshop on Cellular Automata and Discrete Complex Systems – Automata'12 and of the 3rd International Symposium Journées Automates Cellulaires – JAC'12.
Noual, M., Regnault, D., & Sené, S. (2012). Boolean networks synchronism sensitivity and XOR circulant networks convergence time. Proceedings of the 18th International Workshop on Cellular Automata and Discrete Complex Systems – Automata'12 and of the 3rd International Symposium Journées Automates Cellulaires – JAC'12 (pp. 37-52), EPTCS 90, Open Publishing Association
Adrien Basso-Blandin and Franck Delaplace. GUBS, a Behavior-based Language for Open System Dedicated to Synthetic Biology. Mecbic 2012 - CONCUR
Fronc, Ł. (2012). Effective Marking Equivalence Checking in Systems with Dynamic Process Creation. Proceedings of the 14th International Workshop on Verification of Infinite-State Systems (Infinity'12). Paris, France: Electronic Proceedings in Theoretical Computer Science.
Fronc, Ł. & Pommereau, F. (2011). Towards a certified Petri net model-checker. Proceedings of the Ninth Asian Symposium on Programming Languages and Systems (APLAS'11) (pp. 322-336). Springer: volume 7078 of Lecture Notes in Computer Science
Fronc, Ł. & Pommereau, F. Optimising the compilation of Petri net models. (2011.) Proceedings of the second International Workshop on Scalable and Usable Model Checking for Petri Net and other models of Concurrency (SUMO'11). Newcastle, UK: volume 626 of Workshop Proceedings
Lenaerts, T., Giacobini, M., Bersini, H., Bourgine, P., Dorigo M. & Doursat, R., eds. (2011) Advances in Artificial Life: Proceedings of the 11th European Conference on the Synthesis and Simulation of Living Systems (ECAL 2011), August 8-12, 2011, Paris, France.
MIT Press, ISBN 978-0-262-29714-1.l