Revues internationnales
|
- A. Richard, G. Rossignol, J.-P. Comet, G. Bernot,
J. Guespin-Michel and A. Merieau. Boolean models of biosurfactants
production in Pseudomonas fluorescens. PLoS ONE, 7(1):e24651, 2012. (web)
- M. Mabrouki, M. Aiguier, J.-P. Comet, P. Le Gall and
A. Richard. Embedding of biological regulatory networks and properties
preservation. Mathematics in Computer Science , special
issue, 5(3):263-288, 2011.
-
A. Richard and J.-P. Comet. Stable periodicities and negative circuits
in differential systems. Journal of Mathematical Biology, 63:593-600, 2011. (pdf)
-
A. Richard. Local negative circuits and fixed points in non-expansive
Boolean networks. Discrete Applied Mathematics, 159(11):1085-1093, 2011. (pdf)
-
L. Paulevé and A. Richard. Topological Fixed Points in Boolean
Networks. Comptes Rendus de l'Académie des Sciences - Series
I - Mathematics, 348(15-16):825 - 828, 2010. (pdf)
-
A. Richard. Negative circuits and sustained oscillations in
asynchronous automata networks. Advances in Applied
Mathematics, 44(4):378-392, 2010. (pdf)
-
A. Richard.
Positive circuits and maximal number of fixed points in discrete dynamical systems.
Discrete Applied Mathematics, 157(15):3281-3288, 2009. (pdf)
-
A. Richard.
An extension of a combinatorial fixed point theorem of Shih and Dong.
Advances in Applied Mathematics, 41(4):620-627, 2008.
(pdf)
-
A. Richard and J.-P. Comet.
Necessary conditions for multistationarity in discrete dynamical systems.
Discrete Applied Mathematics, 155(18):2403-2413, 2007. (pdf)
- (Invited review) Z. Khalis, J.-P. Comet, A. Richard and G. Bernot. The smbionet
method for discovering models of gene regulatory networks. Genes, Genomes and
Genomics, 3:15-22, 2009.
-
J. Ahmad, O. Roux, G. Bernot, J.-P. Comet and A. Richard.
Analysing Formal Models of Genetic Regulatory Networks with Delays: Applications to Lambda phage and T-cell Activation Systems.
International Journal of Bioinformatics Research and Applications, 4(3):240-262, 2008.
-
A. Richard, J.-P. Comet and G. Bernot.
R. Thomas' modeling of biological regulatory networks: introduction of singular states in the qualitative dynamics.
Fundamenta Informaticae, 65(4):373-392, 2005.
-
G. Bernot, J.-P. Comet, A. Richard, J. Guespin-Michel.
A Fruitful Application of Formal Methods to Biological Regulatory Networks: Extending Thomas' Asynchronous Logical Approach with Temporal Logic.
Journal of Theoretical Biology, 229(3):339-347, 2004.
-
J. Guespin-Michel, G. Bernot, J.-P. Comet, A. Mérieau, A. Richard, C. Hulen and B. Polack.
Epigenesis and dynamic similarity in two regulatory networks in Pseudomonas aeruginosa.
Acta Biotheoretica. 52 (4): 379-390, 2004.
|
"Proceedings" de Conférences
|
- A. Richard. A fixed point theorem for Boolean networks expressed
in terms of forbidden subnetworks. Proceeding of the 17th
International Workshop on Cellular Automata and Discrete Complex
Systems (AUTOMATA 2011), to appear in Discrete Mathematics and
Theoretical Computer Science, 2011.
- L. Paulevé and A. Richard. Static analysis of boolean
networks based on interaction graphs: a survey. Proceedings of The
Second International Workshop on Static Analysis and Systems Biology
(SASB 2011), to appear in Electronic Notes in Theoretical Computer
Science (ENTCS), 2011.
- J. Bahi, J.-F. Couchot, C. Guyeux and A. Richard. On the link
between strongly connected iteration graphs and chaotic Boolean
discrete-time dynamical systems. Proceeding of the 18th International
Symposium on Fundamentals of Computation Theory (FCT 2011),
Lecture Note in Computer Science (LNCS), 6914, pp. 126-137,
2011.
-
M. Dénès, B. Lesage, Y. Bertot and A. Richard. Formal
proof of theorems on genetic regulatory networks, Synasc'09,
IEEEXplore Digital Library, 2009.
-
A. Richard. On the link between oscillations and negative circuits in
discrete genetic regulatory networks, Proceedings of JOBIM 2007,
pp. 613-618, 2007.
-
J. Ahmad, A. Richard, G. Bernot, J.-P. Comet and O. Roux. Delays in
Biological Regulatory Networks. In IWBRA 2006 / ICCS 2006: 6th
International Conference, Proceedings, Part II , volume 3992 of
LNCS, 887-894, May 2006.
-
A. Richard, J.-P. Comet, G. Bernot.
Graph-based Modeling of Biological Regulatory Networks : Introduction of Singular States.
International workshop on Computational Methods in Systems Biology (CMSB), Paris, France, May 26-28,2004. In Proceedings CMSB 2004, LNBI 3082, pp. 58-72, 2005.
|
Chapitres de livre
|
- A. Richard, J.-P. Comet and G. Bernot.
Formal methods for modeling biological regulatopry networks.
In
Modern Formal Methods and Applications, Gabbar Hossam A. (Ed.), pp. 83-122, Springer, 2006.
Workhops / Conference / Ecoles... (invitations)
|
- Formalisme logique, apport et défis pour la
modélisation des réseaux de régulation biologique, 12-15 avril 2011, Rabat, Maroc.
- "Dynamique des réseaux de régulation biologiques"
Symposium en l'honneur de Marcelline Kaufman, 3 février, Bruxelles,
2011.
- Thematic School on Modelling Complex Biological Systems, La Colle sur Loup, March
30 - April 3, 2009.
- Gennetec training course: Genetic Regulatory Networks and other Complex Systems, January 19-23, Institut Henri Poincarée, Paris, 2009.
-
Discrete models of biological networks : from structure
to dynamics, CIRM (Marseille Luminy) 3 - 7 novembre 2008.
-
International
Bioinformatics Software School IBSS'2008, 3th - 8th November,
Tangier, Morocco.
-
"The logic of gene regulatory networks" "La logique des réseaux
de régulation génétique" In the honor of
Prof. René Thomas on the occasion of his 80th birthday.
Brussels, 30-31 May 2008.(slides (pdf))
-
A. Richard, Jean-Paul Comet and Gilles Bernot. R. Thomas'
logical method . Modelling Complex Biological Systems in the
Context of Genomics, Villeneuve d'Ascq, April 7-11, 2008. (pdf)
-
On the link between oscillations and negative circuits in
discrete genetic regulatory networks.
JOBIM, 10-12 juillet, Marseille, France, 2007.
- Elisabeth Remy and Adrien Richard. Discrete modeling and dynamical analysis of
genetic regulatory networks.
Behavioral Economics in the Light of Mathematics, Psychology,
Cognition and Bio Informatics,Aix en Provence, November 10--11,
2006.
-
Necessary conditions for multi-attractivity in discrete dynamical systems.
Workshop "Dynamics and structure of biological networks" (Geocal06),
Marseille-Luminy, February 14-17, 2006.
-
A. Iartseva, D. Mestivier, P.Y. Boëlle, A. Richard, G. Hutzler.
Views on the choice of simulation tools, compared in the context of the same model: the bacteriophage Lambda.
Complexity Advanced Course: From functional genomics to molecular networks and back
, Evry, France, May 30th to June 4th, 2005.
- D. Mestivier, A. Richard, G. Hutsler et A. Spicher.
Ateliers de démonstration et de comparaison d'outils de
modélisation autour de modèles biologiques communs. Modélisation
de systèmes biologiques complexes dans le contexte de la
génomique , Bordeaux, du 3 au 7 avril 2006.
- A. Iartseva, D. Mestivier, P.Y. Boëlle, A. Richard,
G. Hutzler.
Ateliers de démonstration et de comparaison d'outils de
modélisation autour de modèles biologiques communs. Modélisation
de systèmes biologiques complexes dans le contexte de la
génomique
Montpellier, 4 - 8 avril, 2005.
- Modélisation Qualitative de la Dynamique du Réseau de
Régulation Génétique Controlant L'Immunité du Bactériophage Lambda.
Modélisation et simulation de processus biologiques dans le
contexte génomique, Evry, 29 mars - 2 avril, 2004.
|
|
