Pedro T. Monteiro

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 19

Top Topics

Answer Set Programming

Gene Expression

Comparative Genomics

Regulatory Networks

Top Venues

J. Comput. Biol.

Nucleic Acids Res.

Publications

Paulo Dias, Pedro T. Monteiro, Andreia Sofia Teixeira
Functional Characterization of Transcriptional Regulatory Networks of Yeast Species. NetSci-X (2022)
Jorge Oliveira, Miguel Antunes, Cláudia P. Godinho, Miguel C. Teixeira, Isabel Sá-Correia, Pedro T. Monteiro
From a genome assembly to full regulatory network prediction: the case study of Rhodotorula toruloides putative Haa1-regulon. BMC Bioinform. 22 (1) (2021)
Alexandre Lemos, Pedro T. Monteiro, Inês Lynce
Disruptions in timetables: a case study at Universidade de Lisboa. J. Sched. 24 (1) (2021)
Praveen Kumar Guttula, Pedro T. Monteiro, Mukesh Kumar Gupta
Prediction and Boolean logical modelling of synergistic microRNA regulatory networks during reprogramming of male germline pluripotent stem cells. Biosyst. 207 (2021)
Alexandre Lemos, Pedro T. Monteiro, Inês Lynce
Minimal Perturbation in University Timetabling with Maximum Satisfiability. CPAIOR (2020)
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
ModRev - Model Revision Tool for Boolean Logical Models of Biological Regulatory Networks. CMSB (2020)
Praveen Kumar Guttula, Pedro T. Monteiro, Mukesh Kumar Gupta
A Boolean Logical model for Reprogramming of Testes-derived male Germline Stem Cells into Germline pluripotent stem cells. Comput. Methods Programs Biomed. 192 (2020)
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
Revision of Boolean Models of Regulatory Networks Using Stable State Observations. J. Comput. Biol. 27 (2) (2020)
Pedro T. Monteiro, Jorge Oliveira, Pedro Pais, Miguel Antunes, Margarida Palma, Mafalda Cavalheiro, Mónica Galocha, Cláudia P. Godinho, Luís C. Martins, Nuno Bourbon, Marta N. Mota, Ricardo A. Ribeiro, Romeu Viana, Isabel Sá-Correia, Miguel C. Teixeira
YEASTRACT+: a portal for cross-species comparative genomics of transcription regulation in yeasts. Nucleic Acids Res. 48 (Database-Issue) (2020)
Alexandre Lemos, Inês Lynce, Pedro T. Monteiro
Repairing Boolean logical models from time-series data using Answer Set Programming. Algorithms Mol. Biol. 14 (1) (2019)
José E. R. Cury, Pedro T. Monteiro, Claudine Chaouiya
Partial Order on the set of Boolean Regulatory Functions. CoRR (2019)
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
Model Revision of Boolean Regulatory Networks at Stable State. ISBRA (2019)
Pedro L. Varela, Inês Lynce, Vasco M. Manquinho, Claudine Chaouiya, Pedro T. Monteiro
Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids. SASB 335 (2018)
Miguel C. Teixeira, Pedro T. Monteiro, Margarida Palma, Catarina Costa, Cláudia P. Godinho, Pedro Pais, Mafalda Cavalheiro, Miguel Antunes, Alexandre Lemos, Tiago Pedreira, Isabel Sá-Correia
YEASTRACT: an upgraded database for the analysis of transcription regulatory networks in Saccharomyces cerevisiae. Nucleic Acids Res. 46 (Database-Issue) (2018)
Andreia Sofia Teixeira, Pedro T. Monteiro, João A. Carriço, Francisco C. Santos, Alexandre P. Francisco
Large-Scale Simulations of Bacterial Populations Over Complex Networks. J. Comput. Biol. 25 (8) (2018)
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
Model Revision of Logical Regulatory Networks Using Logic-Based Tools. ICLP (Technical Communications) (2018)
Filipe Gouveia, Pedro T. Monteiro, Vasco M. Manquinho, Inês Lynce
Logic-Based Encodings for Ricochet Robots. EPIA (2017)
Andreia Sofia Teixeira, Pedro T. Monteiro, João A. Carriço, Francisco C. Santos, Alexandre P. Francisco
Using Spark and GraphX to Parallelize Large-Scale Simulations of Bacterial Populations over Host Contact Networks. ICA3PP (2017)
Aurélien Naldi, Pedro T. Monteiro, Christoph Müssel, Hans A. Kestler, Denis Thieffry, Ioannis Xenarios, Julio Saez-Rodriguez, Tomás Helikar, Claudine Chaouiya
Cooperative development of logical modelling standards and tools with CoLoMoTo. Bioinform. 31 (7) (2015)
Nuno D. Mendes, Pedro T. Monteiro, Jorge Carneiro, Elisabeth Remy, Claudine Chaouiya
Quantification of reachable attractors in asynchronous discrete dynamics. CoRR (2014)
Pedro T. Monteiro, Wassim Abou-Jaoudé, Denis Thieffry, Claudine Chaouiya
Model Checking Logical Regulatory Networks. WODES (2014)
Claudine Chaouiya, Duncan Bérenguier, Sarah M. Keating, Aurélien Naldi, Martijn P. van Iersel, Nicolas Rodriguez, Andreas Dräger, Finja Büchel, Thomas Cokelaer, Bryan M. Kowal, Benjamin Wicks, Emanuel J. V. Gonçalves, Julien Dorier, Michel Page, Pedro T. Monteiro, Axel von Kamp, Ioannis Xenarios, Hidde de Jong, Michael Hucka, Steffen Klamt, Denis Thieffry, Nicolas Le Novère, Julio Saez-Rodriguez, Tomás Helikar
SBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools. BMC Syst. Biol. 7 (2013)
Alexandre P. Francisco, Cátia Vaz, Pedro T. Monteiro, José Melo-Cristino, Mário Ramirez, João A. Carriço
PHYLOViZ: phylogenetic inference and data visualization for sequence based typing methods. BMC Bioinform. 13 (2012)
Aurélien Naldi, Pedro T. Monteiro, Claudine Chaouiya
Efficient Handling of Large Signalling-Regulatory Networks by Focusing on Their Core Control. CMSB (2012)
Pedro T. Monteiro, Claudine Chaouiya
Efficient Verification for Logical Models of Regulatory Networks. PACBB (2012)
Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong
CTRL: Extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks. Theor. Comput. Sci. 412 (26) (2011)
Dário Abdulrehman, Pedro T. Monteiro, Miguel C. Teixeira, Nuno P. Mira, Artur B. Lourenço, Sandra Costa dos Santos, Tânia Rodrigues Cabrito, Alexandre P. Francisco, Sara C. Madeira, Ricardo Santos Aires, Arlindo L. Oliveira, Isabel Sá-Correia, Ana T. Freitas
through a web services interface. Nucleic Acids Res. 39 (Database-Issue) (2011)
Pedro T. Monteiro, Ana T. Freitas, Delphine Ropers, Radu Mateescu, Hidde de Jong
Modeling and formal verification of biological regulatory networks: An integrative approach. BIBM Workshops (2010)
Grégory Batt, Michel Page, Irene Cantone, Gregor Goessler, Pedro T. Monteiro, Hidde de Jong
Efficient parameter search for qualitative models of regulatory networks using symbolic model checking. Bioinform. 26 (18) (2010)
Pedro T. Monteiro, Estelle Dumas, Bruno Besson, Radu Mateescu, Michel Page, Ana T. Freitas, Hidde de Jong
A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks. BMC Bioinform. 10 (2009)
Pedro T. Monteiro, Nuno D. Mendes, Miguel C. Teixeira, Sofia d'Orey, Sandra Tenreiro, Nuno P. Mira, Hélio Pais, Alexandre P. Francisco, Alexandra M. Carvalho, Artur B. Lourenço, Isabel Sá-Correia, Arlindo L. Oliveira, Ana T. Freitas
. Nucleic Acids Res. 36 (Database-Issue) (2008)
Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong
Computation Tree Regular Logic for Genetic Regulatory Networks. ATVA (2008)
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong
Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks. ECAI (2008)
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong
Temporal logic patterns for querying dynamic models of cellular interaction networks. ECCB (2008)
Miguel C. Teixeira, Pedro T. Monteiro, Pooja Jain, Sandra Tenreiro, Alexandra R. Fernandes, Nuno P. Mira, Marta Alenquer, Ana T. Freitas, Arlindo L. Oliveira, Isabel Sá-Correia
. Nucleic Acids Res. 34 (Database-Issue) (2006)