ResearcherID Thomson Reuters  

Monteiro, Pedro T
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: E-5113-2010
Other Names: Monteiro, P; Monteiro, PT
URL: http://www.researcherid.com/rid/E-5113-2010
Keywords: qualitative systems; biological networks; bioinformatics ; computational biology ; systems biology; model checking; formal methods; temporal logic; programming; sat; timed systems; logical regulatory models
ORCID: http://orcid.org/0000-0002-7934-5495
My Institutions (more details)
Primary Institution:
Sub-org/Dept: SAT group
Role:
Past Institutions: Instituto Gulbenkian de Ciência, IGC; INRIA Grenoble Rhône-Alpes; Instituto de Medicina Molecular
My URLs: http://pedromonteiro.org
 
 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  3  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: Cooperative development of logical modelling standards and tools with CoLoMoTo
 Author(s): Naldi, Aurélien; Monteiro, Pedro T.; Müssel, Christoph; et al.
 Source: Bioinformatics Volume: 31 Issue: 7 Pages: 1154-1159 Published: 2015
 DOI: 10.1093/bioinformatics/btv013 /  Author-provided URL : http://bioinformatics.oxfordjournals.org/content/31/7/1154.abstract
added
08-Apr-15
2.  Title: Model checking to assess T-helper cell plasticity
 Author(s): Wassim, Abou-Jaoud�; Pedro, T. Monteiro; Aur�lien, Naldi; et al.
 Source: Frontiers in Bioengineering and Biotechnology Volume: 2 Pages: 86 Published: 2015
 DOI: 10.3389/fbioe.2014.00086 /  Author-provided URL : http://journal.frontiersin.org/article/10.3389/fbioe.2014.00086/abstract
added
04-May-15
3.  Title: Not Seeing the Forest for the Trees: Size of the Minimum Spanning Trees (MSTs) Forest and Branch Significance in MST-Based Phylogenetic Analysis.
 Author(s): Teixeira, Andreia Sofia; Monteiro, Pedro T; Carrico, Joao A; et al.
 Source: PloS one Volume: 10 Issue: 3 Pages: e0119315 Published: 2015
 DOI: 10.1371/journal.pone.0119315
added
08-Apr-15
4.  Title: The YEASTRACT database: an upgraded information system for the analysis of gene and genomic transcription regulation in Saccharomyces cerevisiae
 Author(s): Teixeira, Miguel Cacho; Monteiro, Pedro Tiago; Guerreiro, Joana Fernandes; et al.
 Source: Nucleic Acids Research Volume: 42 Issue: D1 Pages: D161-D166 Published: JAN 2014
 Times Cited: 107
 DOI: 10.1093/nar/gkt1015
added
08-Apr-15
5.  Title: Dynamical modeling and analysis of large cellular regulatory networks
 Author(s): Berenguier, D.; Chaouiya, C.; Monteiro, P. T.; et al.
 Source: Chaos Volume: 23 Issue: 2 Published: JUN 2013
 Times Cited: 22
 DOI: 10.1063/1.4809783
added
30-Aug-13
6.  Title: SBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools Cooperative development of logical modelling standards and tools with CoLoMoTo
 Author(s): Claudine, Chaouiya; Duncan, Bérenguier; Sarah, M. Keating; et al.
 Source: BMC Systems Biology Volume: 7 Pages: 135 Published: 2013
 Times Cited: 44
 DOI: 10.1186/1752-0509-7-135 /  Author-provided URL : http://www.biomedcentral.com/1752-0509/7/135
added
08-Apr-15
7.  Title: Efficient handling of large signalling-regulatory networks by focusing on their core control
 Author(s): Naldi, Aurélien; Monteiro, Pedro T.; Chaouiya, Claudine
 Conference: International Conference on Computational Methods in Systems Biology Volume: 7605 Pages: 288-306 Year: 2012
 DOI: 10.1007/978-3-642-33636-2_17
added
02-Sep-13
8.  Title: Efficient Verification for Logical Models of Regulatory Networks
 Author(s): Monteiro, P. T.; Chaouiya, C.
 Source: 6th International Conference on Practical Applications of Computational Biology & Bioinformatics Volume: 154 Pages: 259-267 Published: 2012
 Times Cited: 4
 DOI: 10.1007/978-3-642-28839-5_30
added
29-Jan-13
9.  Title: Genetic Network Analyzer: A Tool for the Qualitative Modeling and Simulation of Bacterial Regulatory Networks
 Author(s): Batt, Grégory; Besson, Bruno; Ciron, Pierre-Emanuel; et al.
 Times Cited: 8
 DOI: 10.1007/978-1-61779-361-5_22
added
10-Sep-13
10.  Title: PHYLOViZ: phylogenetic inference and data visualization for sequence based typing methods
 Author(s): Francisco, A. P.; Vaz, C.; Monteiro, P. T.; et al.
 Source: Bmc Bioinformatics Volume: 13 Pages: 10 Published: 2012
 Times Cited: 182
 DOI: 10.1186/1471-2105-13-87
added
29-Jan-13
publication(s)  
First Page Previous Page Page   of  3  Go Next Page Last Page
  Sort by:    Results per page: