Pedro T. Monteiro
Pedro T. Monteiro
Assistant Professor at Instituto Superior Técnico - Universidade de Lisboa / Researcher at INESC-ID
Verified email at tecnico.ulisboa.pt - Homepage
TitleCited byYear
The YEASTRACT database: a tool for the analysis of transcription regulatory associations in Saccharomyces cerevisiae
MC Teixeira, P Monteiro, P Jain, S Tenreiro, AR Fernandes, NP Mira, ...
Nucleic acids research 34 (suppl 1), D446-D451, 2006
5452006
PHYLOViZ: phylogenetic inference and data visualization for sequence based typing methods
AP Francisco, C Vaz, PT Monteiro, J Melo-Cristino, M Ramirez, JA Carriço
BMC bioinformatics 13 (1), 1-10, 2012
3322012
The YEASTRACT database: an upgraded information system for the analysis of gene and genomic transcription regulation in Saccharomyces cerevisiae
MC Teixeira, PT Monteiro, JF Guerreiro, JP Gonçalves, NP Mira, ...
Nucleic acids research 42 (D1), D161-D166, 2014
2412014
YEASTRACT: providing a programmatic access to curated transcriptional regulatory associations in Saccharomyces cerevisiae through a web services interface
D Abdulrehman, PT Monteiro, MC Teixeira, NP Mira, AB Lourenço, ...
Nucleic acids research 39 (suppl 1), D136-D140, 2011
2052011
YEASTRACT-DISCOVERER: new tools to improve the analysis of transcriptional regulatory associations in Saccharomyces cerevisiae
PT Monteiro, ND Mendes, MC Teixeira, S d’Orey, S Tenreiro, NP Mira, ...
Nucleic acids research 36 (suppl 1), D132-D136, 2008
1772008
SBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools
C Chaouiya, D Bérenguier, SM Keating, A Naldi, MP Van Iersel, ...
BMC systems biology 7 (1), 135, 2013
1042013
Temporal logic patterns for querying dynamic models of cellular interaction networks
PT Monteiro, D Ropers, R Mateescu, AT Freitas, H De Jong
Bioinformatics 24 (16), i227-i233, 2008
1022008
Logical modeling and dynamical analysis of cellular networks
W Abou-Jaoudé, P Traynard, PT Monteiro, J Saez-Rodriguez, T Helikar, ...
Frontiers in genetics 7, 94, 2016
882016
Efficient parameter search for qualitative models of regulatory networks using symbolic model checking
G Batt, M Page, I Cantone, G Goessler, P Monteiro, H De Jong
Bioinformatics 26 (18), i603-i610, 2010
702010
YEASTRACT: an upgraded database for the analysis of transcription regulatory networks in Saccharomyces cerevisiae
MC Teixeira, PT Monteiro, M Palma, C Costa, CP Godinho, P Pais, ...
Nucleic acids research 46 (D1), D348-D353, 2018
632018
Model checking to assess T-helper cell plasticity
W Abou-Jaoudé, PT Monteiro, A Naldi, M Grandclaudon, V Soumelis, ...
Frontiers in bioengineering and biotechnology 2, 86, 2015
572015
Dynamical modeling and analysis of large cellular regulatory networks
D Bérenguier, C Chaouiya, PT Monteiro, A Naldi, E Remy, D Thieffry, ...
Chaos: An Interdisciplinary Journal of Nonlinear Science 23 (2), 025114, 2013
562013
Cooperative development of logical modelling standards and tools with CoLoMoTo
A Naldi, PT Monteiro, C Müssel, HA Kestler, D Thieffry, I Xenarios, ...
Bioinformatics 31 (7), 1154-1159, 2015
402015
Genetic Network Analyzer: A Tool for the Qualitative Modeling and Simulation of Bacterial Regulatory Networks
G Batt, B Besson, H de Jong, E Dumas, J Geiselmann, R Monte, ...
Bacterial Molecular Networks, 439-462, 2012
302012
The PathoYeastract database: an information system for the analysis of gene and genomic transcription regulation in pathogenic yeasts
PT Monteiro, P Pais, C Costa, S Manna, I Sá-Correia, MC Teixeira
Nucleic acids research 45 (D1), D597-D603, 2017
262017
A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks
PT Monteiro, E Dumas, B Besson, R Mateescu, M Page, AT Freitas, ...
BMC bioinformatics 10 (1), 450, 2009
212009
Spanning edge betweenness
AS Teixeira, PT Monteiro, JA Carriço, M Ramirez, AP Francisco
Workshop on mining and learning with graphs 24, 27-31, 2013
202013
Ontology building process: the wine domain
J Graça, M Mourão, O Anunciação, P Monteiro, HS Pinto, V Loureiro
Proc. of the 5th Conf. of EFITA, 2005
202005
Computation tree regular logic for genetic regulatory networks
R Mateescu, PT Monteiro, E Dumas, H De Jong
Automated Technology for Verification and Analysis (ATVA 2008), 48-63, 2008
182008
CTRL: Extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
R Mateescu, PT Monteiro, E Dumas, H De Jong
Theoretical computer science 412 (26), 2854-2883, 2011
162011
The system can't perform the operation now. Try again later.
Articles 1–20