Pedro Tiago Gonçalves Monteiro


AuthID: R-000-KB5

Confirmed Publications: 23



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

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service