J.-L. Giavitto, O. Michel, et J. Cohen.
Pattern-matching and rewriting rules for group indexed data
structures.
ACM Sigplan, 2003.
to be published. Revised and extended version of [GM02b].
J.-L. Giavitto, O. Michel, et F. Delaplace.
Declarative simulation of dynamicals systems : the 8 1/2 programming
language and its application to the simulation of genetic networks.
BioSystems, 2003.
(to be published).
V. Norris, P. Amar, P. Ballet, G. Bernot, Y. Bouligand, P. Bourguine, J.-M.
Delosme, M. Demarty, I. Fishov, J. Fralick, J.-L. Giavitto, B. Gleyse, C.
Godin, R. Incitti, C. Lange, , L. Le Sceller, C. Loutellier, O. Michel, F.
Molina, C. Monnier, C. Moreno, N. Orange, H. Pollard, D. Raine, A. Rambourg,
J. Ramsden, C. Ripoll, J. Rouviere-Yaniv, M. Saier jnr., P. Soler, M.
Thellier, Ph. Tracqui, D. Ussery, J.-M. Valleton, J.-P. Vannier, P. Wiggins,
A. Zemirline, et F. Képès.
Hyperstructures, genome analysis and i-cell.
Acta biotheoretica, 2002.
to be published.
Jean-Louis Giavitto et Olivier Michel.
Mgs: a rule-based programming language for complex objects and
collections.
In Mark van den Brand et Rakesh Verma, editeurs, Electronic Notes in
Theoretical Computer Science, volume 59. Elsevier Science Publishers,
2001.
J.-L. Giavitto, editeur. Parallélisme, distribution et
objet, volume 19 dans Technique et Science
Informatique. Hermes Science, Nov. 2000. (special issu on
parallelism, object and distribution. Also available as a book).
J.-L. Giavitto et E. Valencia.
Diagrammatic Representation and Reasoning, chapitre A
Topological Framework for Modeling Diagrammatic Reasoning Tasks.
Springer-Verlag, Feb. 2002. ISBN: 1-85233-242-5.
J.-L. Giavitto, C. Godin, O. Michel, et P. Prusinkiewicz.
Modelling and Simulation of biological processes in the context of
genomics, chapitre ``Computational Models for Integrative and
Developmental Biology''.
Hermes, Jul. 2002. Available on request at
Genopole/Evry.
V. Noris, P. Amar, P. Ballet, G. Bernot, F. Delaplace, M. Demarty, J.-L.
Giavitto, C. Ripoll, M. Thellier, et A. Zemirline.
Modelling and Simulation of biological processes in the context of
genomics, chapitre ``Hyperstructures''.
Hermes, Jul. 2002. Available on request at
Genopole/Evry.
A. Zemirline, P. Ballet, L. Marcé, P. Amar, G. Bernot, F. Delaplace, J.-L.
Giavitto, O. Michel, J.-M. Delosme, R. Incitti, P. Bourgine, C. Godin, F.
Képès, Ph. Tracqui, V. Norris, J. Guespin, M. Demarty, et C. Ripoll.
Cellular automata, reaction-diffusion and multiagents systems for
artificial cell modelling.
In Modelling and simulation of biological processes in the context of
genomics, pages 257-280, 2002.
Autrans, France. Jul. 2002. Available on request at
Genopole/Evry.
A. Zemirline, P. Ballet, L. Marcé, P. Amar, G. Bernot, F. Delaplace, J.-L.
Giavitto, O. Michel, J.-M. Delosme, R. Incitti, P. Bourgine, C. Godin, F.
Képès, Ph. Tracqui, V. Norris, J. Guespin, M. Demarty, et C. Ripoll.
Neural networks.
In Modelling and simulation of biological processes in the context of
genomics, pages 281-293, 2002.
Autrans, France. Jul. 2002. Available on request at
Genopole/Evry.
J.-L. Giavitto.
A fixed point approach to the resolution of array equations.
In I. Guessarian, editeur, Fixed Points in Computer Science
(FICS'2000), Paris, Jul. 2000.
J.-L. Giavitto.
A framework for the recursive definition of data structures.
In ACM-Sigplan 2nd International Conference on Principles and Practice of
Declarative Programming (PPDP'00), pages 45-55, Montréal, Sep.
2000. ACM-press.
J.-L. Giavitto et O. Michel.
Declarative definition of group indexed data structures and
approximation of their domains..
In Proceedings of the 3nd International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming ({PPDP}-01). ACM
Press, Sep. 2001.
J.-L. Giavitto et O. Michel.
Accretive rules in cayley p systems.
In A. Salomaa C. Zandron Gh. Paun, G. Rozenberg, editeur, Membrane
Computing 2002. LNCS (to be published), 2003.
Extended and revised version of [GM02c].
J.-L. Giavitto et O. Michel.
Data structure as topological spaces.
In Proceedings of the 3nd International Conference on Unconventional Models
of Computation {UMC02}, volume 2509, pages 137-150, Himeji, Japan,
Oct. 2002.
Lecture Notes in Computer Science.
J.-L. Giavitto, O. Michel, et F. Delaplace.
Declarative simulation of dynamicals systems : the $8 1/2$ programming
language and its application to the simulation of genetic networks.
In Proceedings of IPCAT 2001 (Workshop on Information Processing in Cells
and Tissues), Aug. 2001.
E. Valencia et J.-L. Giavitto.
Algebraic topology for knowledge representation in analogy
solving.
In AISB ECCAI, editeur, European Conference on Artificial Intelligence
(ECAI98), pages 88-92, Brighton, UK, 23-28 Aug. 1998. Christian
Rauscher.
E. Valencia, J.-L. Giavitto, et Jean-Paul Sansonnet.
Esqimo: Modelling analogy with topology.
In Franck Ritter et Richard Young, editeurs, Second European Conference on
Cognitive Modelling (ECCM'98), pages 212-213, Nottingham, UK, 1-4
Apr. 1998. Nottingham University Press.
J.-L. Giavitto et O. Michel.
Un cadre pour la définition récursive de données.
In C. Dubois, editeur, Journées Francophones des Langages Applicatifs
(JFLA00), Mont Saint-Michel, Feb. 2000. INRIA.
J.-L. Giavitto et O. Michel.
Mgs: Implementing a unified view on four biologically inspired
computational models.
In Pre-proceedings of WMC-CdeA 2001 (Workshop on Membrane Computing, Curtea
de Arges). Research Report 17/01 of the Universitat Rivira I Virgili,
Tarragona, Spain, Aug. 2001.
J.-L. Giavitto et O. Michel.
Accretive rules in cayley p systems.
In Pre-proceedings of WMC-CdeA 2002 (Workshop on Membrane Computing, Curtea
de Arges). MolCoNet european network 2002-1, Aug. 2002.
J.-L. Giavitto et O. Michel.
Pattern-matching and rewriting rules for group indexed data
structures.
In ACM Sigplan Workshop RULE'02, pages 55-66, Pittsburgh, Oct.
2002. ACM.
O. Michel, J.-L. Giavitto, et J. Cohen.
Mgs : transformer des collections complexes pour la simulation en
biologie.
In L. Rideau, editeur, Journées Francophones des Langages Applicatifs
(JFLA02), Anglet (France), Jan. 2002. INRIA.
E. Valencia et J.-L. Giavitto.
Topologie algébrique pour la construction de représentations
diagrammatiques.
In 7eme colloque de l'association pour la recherche cognitive (ARC),
Paris, Dec. 1998. Université de Paris 8.
E. Valencia, J.-P. Sansonnet, et J.-L. Giavitto.
Formalisme simplicial et application au raisonnement par
analogies.
In Journées Nationales sur les Modèles de Raisonnement
(JNMR99), Paris, Mar. 1998. Institut Universitaire de France.
J.-L. Giavitto et O. Michel.
The topological structures of membrane computing.
Technical report 70-2001, LaMI - Université d'Évry Val d'Essonne,
Nov. 2001.
O. Michel et J.-L. Giavitto.
Amalgams: Names and name capture in a declarative framework.
Technical report 32, LaMI - Université d'Évry Val d'Essonne, Jan.
1998.
also avalaible as LRI Research-Report RR-1159.
(JLG: bibliographie générée par la moulinette du LaMI).