Pedro Tiago Gonçalves Monteiro


AuthID: R-000-KB5

Publicações Confirmadas: 23



11
TÍTULO: CTRL: Extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks  Full Text
AUTORES: Radu Mateescu; Pedro T Monteiro ; Estelle Dumas; Hidde de Jong;
PUBLICAÇÃO: 2011, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 412, NÚMERO: 26
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
12
TÍTULO: Qualitative modelling and formal verification of the FLR1 gene mancozeb response in Saccharomyces cerevisiae
AUTORES: Monteiro, PT ; Dias, PJ ; Ropers, D; Oliveira, AL ; Sa Correia, I ; Teixeira, MC ; Freitas, AT ;
PUBLICAÇÃO: 2011, FONTE: IET SYSTEMS BIOLOGY, VOLUME: 5, NÚMERO: 5
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
13
TÍTULO: Using systems biology approaches to study a multidrug resistance network
AUTORES: Dias, PJ ; Costa, CP; Sa Correia, I ; Teixeira, MC ; Monteiro, PT ; Oliveira, AL ; Freitas, AT ;
PUBLICAÇÃO: 2011, FONTE: 2011 1st Portuguese Meeting in Bioengineering: The Challenge of the XXI Century, ENBENG 2011 in 1st Portuguese Meeting in Biomedical Engineering, ENBENG 2011
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
14
15
TÍTULO: Efficient parameter search for qualitative models of regulatory networks using symbolic model checking  Full Text
AUTORES: Gregory Batt; Michel Page; Irene Cantone; Gregor Goessler; Pedro Monteiro ; Hidde de Jong;
PUBLICAÇÃO: 2010, FONTE: 9th European Conference on Computational Biology in BIOINFORMATICS, VOLUME: 26, NÚMERO: 18
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
16
TÍTULO: Modeling and formal verification of biological regulatory networks: An integrative approach
AUTORES: Monteiro, PT ; Freitas, AT ; Ropers, D; Mateescu, R; De Jong, H;
PUBLICAÇÃO: 2010, FONTE: 2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops, BIBMW 2010 in 2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops, BIBMW 2010
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
17
TÍTULO: Refining current knowledge on the yeast FLR1 regulatory network by combined experimental and computational approaches  Full Text
AUTORES: Teixeira, MC ; Dias, PJ ; Monteiro, PT ; Sala, A; Oliveira, AL ; Freitas, AT ; Sa Correia, I ;
PUBLICAÇÃO: 2010, FONTE: MOLECULAR BIOSYSTEMS, VOLUME: 6, NÚMERO: 12
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
18
TÍTULO: A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks  Full Text
AUTORES: Pedro T Monteiro ; Estelle Dumas; Bruno Besson; Radu Mateescu; Michel Page; Ana T Freitas ; Hidde de Jong;
PUBLICAÇÃO: 2009, FONTE: BMC BIOINFORMATICS, VOLUME: 10, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
19
TÍTULO: Computation Tree Regular Logic for Genetic Regulatory Networks
AUTORES: Radu Mateescu; Pedro T Monteiro ; Estelle Dumas; Hidde de Jong;
PUBLICAÇÃO: 2008, FONTE: 6th International Symposium on Automated Technology for Verification and Analysis in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, VOLUME: 5311
INDEXADO EM: Scopus WOS
NO MEU: ResearcherID
20
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 CrossRef
NO MEU: ORCID | ResearcherID
Página 2 de 3. Total de resultados: 23.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service