Pedro T. Monteiro
Pedro T. Monteiro
Assistant Professor at Instituto Superior Técnico - Universidade de Lisboa / Researcher at INESC-ID
Verified email at - 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
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
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
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
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
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
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
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
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
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, 2017
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
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
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
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
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, 2016
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
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
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
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
Logical modeling and analysis of cellular regulatory networks with ginsim 3.0
A Naldi, C Hernandez, W Abou-Jaoudé, PT Monteiro, C Chaouiya, ...
Frontiers in physiology 9, 2018
The system can't perform the operation now. Try again later.
Articles 1–20