• A. Spicher, O. Michel, et J.-L. Giavitto. Interaction-Based Simulations for In- tegrative Spatial Systems Biology, In Werner Dubitzky, Jennifer Southgate, and Hendrik Fuss (editors), Understanding the Dynamics of Biological Systems : Les- sons Learned from Integrative Systems Biology, Springer Verlag, 2011. ISBN : 978-1-4419-7963-6.
• Jean-Louis Giavitto, Jacob Beal, Stefan Dulman, and Antoine Spicher, editors. Proceedings of the Spatial Computing Workshop (SCW), volume W21 of AAMAS Satellite Workshop Proc., June 5, Valencia, Spain, June 2012. IFAMAAS (Inter- national Foundation for Autonomous Agents and Multiagent Systems).
• Doursat, René; Sayama, Hiroki; Michel, Olivier, editors. Book Morphogenetic Engineering, Elsevier, December 2012.
• Kowaliw, T., Banzhaf, W. (2012). Mechanisms for Complex Systems Engineering through Artificial Development. In Doursat et al., Morphogenetic Engineering: Toward Programmable Complex Systems, Springer-Verlag. I
• Doursat, R., Sánchez, C., Dordea, R., Fourquet, D. & Kowaliw, T. (2012) Chapter 11: Embryomorphic Engineering: Emergent innovation through evolutionary development. In Morphogenetic Engineering: Toward Programmable Complex Systems, R. Doursat, H. Sayama & O. Michel, eds. “Understanding Complex Systems” Series, Springer-Verlag, ISBN 978-3-642-33901-1. In press.

• Fernández, J.D., Lobo, D., Martin, G.M., Doursat, R., Vico, F.J. (2012) Emergent Diversity in an Open-Ended Evolving Virtual Community. In Artificial Life, Vol. 18, No. 2, (pp. 199-222). MIT Press.
• Jean-Louis Giavitto, Hanna Klaudel, and Franck Pommereau. Integrated regu- latory networks (irns) : Spatially organized biochemical modules. Theoretical Computer Science, 431(0) :219 – 234, 2012.
• Demongeot, J., Elena, A., Noual, M., Sené, S., & Thuderoz, F. (2011). “Immunetworks”, i ntersecting circuits and dynamics. Journal of Theoretical Biology, 280(1): 16-33, Elsevier.
• Demongeot, J., Noual, M., & Sené, S. (2012). Combinatorics of Boolean automata circuits dynamics. Discrete Applied Mathematics, 160(4-5): 398-415, Elsevier.
• Noual, M., Regnault, D., & Sené, S. (2012). About non-monotony in Boolean automata networks. Theoretical Computer Science, in press (http://dx.doi.org/10.1016/j.tcs.2012.05.034).
• A. Alhazov, A. Krassovitskiy, Y. Rogozhin & S. Verlan (2011), “P Systems with Minimal Insertion and Deletion”, Theoretical Computer Science. Vol. 412(1-2), pp. 136-144.
• A. Alhazov, M. Kogler, M. Margenstern, Y. Rogozhin & S. Verlan (2011), “Small Universal TVDH and Test Tube Systems”, International Journal of Foundations of Computer Science. Vol. 22(1), pp. 143-154.
• Alexandre Muzy, Franck Varenne, Bernard P. Zeigler, Jonathan Caux, Patrick Coquillard, Luc Touraille, Dominique Prunetti, Philippe Caillou, Olivier Michel, and David RC Hill. Refounding of activity concept? towards a federative paradigm for modeling and simulation. SIMULATION: Transactions of The Society for Modeling and Simulation International, page 42, 2012.
• Jacob Beal, Olivier Michel, and Ulrik Pagh Schultz. Spatial computing: Distributed systems that take advantage of our geometric world. ACM Trans. Auton. Adapt. Syst., 6:11:1-11:3, June 2011
• Sergey Verlan, Juan Quiros. Fast Hardware Implementations P Systems. E. Csuhaj-Varjú, M. Gheorghe, G. Vaszil (Eds.), Proceedings of 13th International Conference on Membrane Computing, MTA SZTAKI, Hungarian Academy of Sciences, 2012, 433-452
• Antoine Spicher, Sergey Verlan.Generalized Communicating P Systems Working in Fair Sequential Mode. Scientific Annals of Computer Science, ``A.I. Cuza'' University Press, Iasi, 2011, 21, 227-247
• Doursat, R. (2011) Morphogenetic engineering weds bio self-organization to human-designed systems. PerAda Magazine: Towards Pervasive Adaptation, 18 May 2011.
• Dorigo, M., Birattari, M., Di Caro, G., Doursat, R., Engelbrecht, A., Gambardella, L. M., Groß, R., Sahin, E. & Stützle, T., eds. (2011) Special issue: Extended best papers from the ANTS 2010 proceedings. Swarm Intelligence 5(3-4).
• Doursat, R. (2011) The myriads of Alife: Importing complex systems and self-organization into engineering. In Proceedings of the 3rd IEEE Symposium on Artificial Life (IEEE-ALIFE 2011), April 11-15, 2011, Paris, France: pp. xii-xix. IEEE, ISBN 978-1-61284-061-1.

• 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.
• Jean-Louis Giavitto, Antoine Spicher. MGS Tutorial. Special Session at Unconventional Computation and Natural Computation (UCNC’2012), 3-7 Septembre 2012. (about 400 slides). Cf. http://www.spatial-computing.org/mgs:tutorial
• 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

Accéder au livrables ANR Diffusion restreinte >>