Delphine Ropers
AuthID: R-006-XHD
1
TITLE: Modeling and formal verification of biological regulatory networks: an integrative approach
AUTHORS: Pedro T Monteiro; Ana T Freitas; Delphine Ropers; Radu Mateescu; Hidde de Jong;
PUBLISHED: 2010, SOURCE: IEEE International Conference on Bioinformatics and Biomedicine Workshops (BIBMW) in 2010 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE WORKSHOPS (BIBMW)
AUTHORS: Pedro T Monteiro; Ana T Freitas; Delphine Ropers; Radu Mateescu; Hidde de Jong;
PUBLISHED: 2010, SOURCE: IEEE International Conference on Bioinformatics and Biomedicine Workshops (BIBMW) in 2010 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE WORKSHOPS (BIBMW)
INDEXED IN: 
WOS
WOS2
TITLE: Temporal logic patterns for querying dynamic models of cellular interaction networks Full Text
AUTHORS: Pedro T Monteiro ; Delphine Ropers; Radu Mateescu; Ana T Freitas ; Hidde de Jong;
PUBLISHED: 2008, SOURCE: Joint Meeting of the 7th European Conference on Computational Biology/5th Meeting of the Bioinformatics-Italian-Society in BIOINFORMATICS, VOLUME: 24, ISSUE: 16
AUTHORS: Pedro T Monteiro ; Delphine Ropers; Radu Mateescu; Ana T Freitas ; Hidde de Jong;
PUBLISHED: 2008, SOURCE: Joint Meeting of the 7th European Conference on Computational Biology/5th Meeting of the Bioinformatics-Italian-Society in BIOINFORMATICS, VOLUME: 24, ISSUE: 16
3
TITLE: Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks
AUTHORS: Pedro T Monteiro ; Delphine Ropers; Radu Mateescu; Ana T Freitas ; Hidde de Jong;
PUBLISHED: 2008, SOURCE: 18th European Conference on Artificial Intelligence in ECAI 2008, PROCEEDINGS, VOLUME: 178
AUTHORS: Pedro T Monteiro ; Delphine Ropers; Radu Mateescu; Ana T Freitas ; Hidde de Jong;
PUBLISHED: 2008, SOURCE: 18th European Conference on Artificial Intelligence in ECAI 2008, PROCEEDINGS, VOLUME: 178
INDEXED IN: WOS
WOS4
TITLE: Modelling, analysis and simulation of genetic regulation networks
AUTHORS: de Jong, H; Ropers, D; Chaouiya, C; Thieffry, D;
PUBLISHED: 2005, SOURCE: BIOFUTUR, ISSUE: 252
AUTHORS: de Jong, H; Ropers, D; Chaouiya, C; Thieffry, D;
PUBLISHED: 2005, SOURCE: BIOFUTUR, ISSUE: 252
INDEXED IN: WOS
WOS