ProfileOfResearchers

TÃTULO: Modeling and formal verification of biological regulatory networks: an integrative approach
AUTORES: Pedro T Monteiro; Ana T Freitas; Delphine Ropers; Radu Mateescu; Hidde de Jong;
PUBLICAÇÃO: 2010, FONTE: IEEE International Conference on Bioinformatics and Biomedicine Workshops (BIBMW) in 2010 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE WORKSHOPS (BIBMW)

INDEXADO EM:

WOS

TÃTULO: Temporal logic patterns for querying dynamic models of cellular interaction networks Full Text
AUTORES: Pedro T Monteiro ; Delphine Ropers; Radu Mateescu; Ana T Freitas ; Hidde de Jong;
PUBLICAÇÃO: 2008, FONTE: Joint Meeting of the 7th European Conference on Computational Biology/5th Meeting of the Bioinformatics-Italian-Society in BIOINFORMATICS, VOLUME: 24, NÚMERO: 16

INDEXADO EM:

Scopus

WOS

TÃTULO: Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks
AUTORES: Pedro T Monteiro ; Delphine Ropers; Radu Mateescu; Ana T Freitas ; Hidde de Jong;
PUBLICAÇÃO: 2008, FONTE: 18th European Conference on Artificial Intelligence in ECAI 2008, PROCEEDINGS, VOLUME: 178

INDEXADO EM:

WOS

TÃTULO: Modelling, analysis and simulation of genetic regulation networks
AUTORES: de Jong, H; Ropers, D; Chaouiya, C; Thieffry, D;
PUBLICAÇÃO: 2005, FONTE: BIOFUTUR, NÚMERO: 252

INDEXADO EM:

WOS

Links Úteis