| |
@Article{AnyKey,
title
= {Validation of
qualitative models of genetic regulatory networks by
model checking : Analysis of the nutritional stress response in
\textit{{E}scherichia coli}},
author = {G. Batt and D. Ropers and H.
de~Jong and J. Geiselmann and R. Mateescu and M. Page and D. Schneider},
journal = {Bioinformatics},
year = {2005},
volume = {21},
number = {Suppl.1},
pages = {i19-i28},
}
@InProceedings{anyKey,
title =
{Analysis and verification of qualitative models
of genetic regulatory networks: A model-checking approach},
author = {G. Batt and D. Ropers and H.
de~Jong and J. Geiselmann and R. Mateescu and M. Page and D. Schneider},
booktitle = {Proceedings of the Nineteenth International
Joint Conference on Artificial Intelligence, IJCAI'05},
page = {370-375},
editors = {L. P. Kaelbling and A.
Saffiotti},
publishers = {Professional Book Center, Denver, USA},
year = {2005},
}
@InCollection{anyKey,
author = {G. Batt and R. Casey and H. de
Jong and J. Geiselmann
and J.-L. Gouzé and M. Page and D. Ropers and T. Sari and D.
Schneider},
title = {Qualitative
analysis of the dynamics of genetic regulatory networks using
piewise-linear models},
booktitle = {Mathematical and Computational Methods in
Biology},
publisher = {Editions Hermann, Paris},
year = {2005},
editor = {E. Pecou and S. Martinez and A.
Maass},
series = {Nonlinear Phenomena and Complex
Systems},
note = {In press}
}
@InProceedings{anyKey,
title =
{Qualitative analysis and verification of hybrid models
of genetic regulatory networks: Nutritional stress response in
\textit{{E}scherichia coli}},
author = {G. Batt and D. Ropers and H.
de~Jong and J. Geiselmann and M. Page and D. Schneider},
booktitle = {Eighth International Workshop on Hybrid
Systems: Computation and Control, HSCC 2005},
editor = {M. Morari and L.
Thiele},
pages = {134-150},
publisher = {Springer},
series = {Lecture Notes in
Computer Science},
volume = {3414},
year = {2005},
}
@InCollection{anyKey,
author = {G. Batt and D. Bergamini and
H. de Jong and H. Garavel and R. Mateescu},
title = {Model
checking genetic regulatory networks using {GNA} and {CADP}},
editor = {S. Graf and L. Mounier},
booktitle = {Eleventh International SPIN Workshop on Model
Checking Software},
series = {Lecture Notes in
Computer Science},
volume = {2989},
publisher = {Springer},
year = {2004},
pages = {158-163},
}
@TechReport{anyKey,
author = {G. Batt and H. de~Jong and
J. Geiselmann and M. Page and D. Ropers and D. Schneider},
title =
{Symbolic reachability analysis of genetic regulatory networks using
qualitative abstraction},
institution = {INRIA Rh\^one-Alpes},
year = {2004},
number = {RR-5362}
}
@Article{anyKey,
author = {H. de~Jong and J. Geiselmann and G. Batt
and C. Hernandez and M. Page},
title = {Qualitative simulation
of the initiation of sporulation in {{\it Bacillus subtilis}}},
journal = {Bulletin of Mathematical Biology},
year = {2004},
volume = {66},
number = {2},
pages = {261-299},
}
@InProceedings{anyKey,
author = {G. Batt and H. de Jong and J.
Geiselmann and M. Page},
title = {Analysis of
genetic regulatory networks: a model-checking approach},
booktitle = {Working Notes of the Second Workshop on Model
Checking and Artificial Intelligence, MoChArt 2003},
editor = {M. Benerecetti and C. Pecheur},
pages = {51-58},
address = {Acapulco, Mexico},
year = {2003},
}
@InProceedings{anyKey,
author = {G. Batt and H. de Jong and J.
Geiselmann and M. Page},
title = {Analysis of
genetic regulatory networks: a model-checking approach},
booktitle = {Proceedings of the Seventeenth International
Workshop on Qualitative Reasoning, QR 2003},
editor = {P. Salles and B. Bredeweg},
pages = {31-38},
address = {Brasilia, Brazil},
year = {2003}
}
@TechReport{anyKey,
author = {G. Batt},
title =
{Representation of Protein/Protein Interactions in the Framework of a
Method for Modeling Genetic Networks},
institution = {INRIA Rh\^one-Alpes},
year = {2002},
number = {RR-4382},
annote = {in French}
}
|
|
