Search Results - "Monteiro, Pedro T."

Refine Results
  1. 1

    PHYLOViZ: phylogenetic inference and data visualization for sequence based typing methods by Francisco, Alexandre P, Vaz, Cátia, Monteiro, Pedro T, Melo-Cristino, José, Ramirez, Mário, Carriço, Joäo A

    Published in BMC bioinformatics (08-05-2012)
    “…With the decrease of DNA sequencing costs, sequence-based typing methods are rapidly becoming the gold standard for epidemiological surveillance. These methods…”
    Get full text
    Journal Article
  2. 2
  3. 3

    YEASTRACT: an upgraded database for the analysis of transcription regulatory networks in Saccharomyces cerevisiae by Teixeira, Miguel C, Monteiro, Pedro T, Palma, Margarida, Costa, Catarina, Godinho, Cláudia P, Pais, Pedro, Cavalheiro, Mafalda, Antunes, Miguel, Lemos, Alexandre, Pedreira, Tiago, Sá-Correia, Isabel

    Published in Nucleic acids research (04-01-2018)
    “…Abstract The YEAst Search for Transcriptional Regulators And Consensus Tracking (YEASTRACT-www.yeastract.com) information system has been, for 11 years, a key…”
    Get full text
    Journal Article
  4. 4

    Logical Modeling and Dynamical Analysis of Cellular Networks by Abou-Jaoudé, Wassim, Traynard, Pauline, Monteiro, Pedro T, Saez-Rodriguez, Julio, Helikar, Tomáš, Thieffry, Denis, Chaouiya, Claudine

    Published in Frontiers in genetics (31-05-2016)
    “…The logical (or logic) formalism is increasingly used to model regulatory and signaling networks. Complementing these applications, several groups contributed…”
    Get full text
    Journal Article
  5. 5

    Logical Modeling and Analysis of Cellular Regulatory Networks With GINsim 3.0 by Naldi, Aurélien, Hernandez, Céline, Abou-Jaoudé, Wassim, Monteiro, Pedro T, Chaouiya, Claudine, Thieffry, Denis

    Published in Frontiers in physiology (19-06-2018)
    “…The logical formalism is well adapted to model large cellular networks, in particular when detailed kinetic data are scarce. This tutorial focuses on this…”
    Get full text
    Journal Article
  6. 6
  7. 7

    From a genome assembly to full regulatory network prediction: the case study of Rhodotorula toruloides putative Haa1-regulon by Oliveira, Jorge, Antunes, Miguel, Godinho, Claudia P, Teixeira, Miguel C, Sá-Correia, Isabel, Monteiro, Pedro T

    Published in BMC bioinformatics (10-08-2021)
    “…Abstract Numerous genomes are sequenced and made available to the community through the NCBI portal. However, and, unlike what happens for gene function…”
    Get full text
    Journal Article
  8. 8

    Estimating Attractor Reachability in Asynchronous Logical Models by Mendes, Nuno D, Henriques, Rui, Remy, Elisabeth, Carneiro, Jorge, Monteiro, Pedro T, Chaouiya, Claudine

    Published in Frontiers in physiology (07-09-2018)
    “…Logical models are well-suited to capture salient dynamical properties of regulatory networks. For networks controlling cell fate decisions, cell fates are…”
    Get full text
    Journal Article
  9. 9

    Repairing Boolean logical models from time-series data using Answer Set Programming by Lemos, Alexandre, Lynce, Inês, Monteiro, Pedro T

    Published in Algorithms for molecular biology (25-03-2019)
    “…Boolean models of biological signalling-regulatory networks are increasingly used to formally describe and understand complex biological processes. These…”
    Get full text
    Journal Article
  10. 10

    Not seeing the forest for the trees: size of the minimum spanning trees (MSTs) forest and branch significance in MST-based phylogenetic analysis by Teixeira, Andreia Sofia, Monteiro, Pedro, Carrico, Joao, Ramos de Almeida Ramirez, Mário Nuno, Francisco, Alexandre P.

    Published in PloS one (23-03-2015)
    “…Copyright: © 2015 Teixeira et al. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits…”
    Get full text
    Journal Article
  11. 11

    Room usage optimization in timetabling: A case study at Universidade de Lisboa by Lemos, Alexandre, Melo, Francisco S, Monteiro, Pedro T, Lynce, Inês

    Published in Operations Research Perspectives (2019)
    “…This paper discusses the problem of room usage optimization for university timetables: given a timetable, we want to optimize the room occupation by…”
    Get full text
    Journal Article
  12. 12

    Model checking to assess T-helper cell plasticity by Abou-Jaoudé, Wassim, Monteiro, Pedro T, Naldi, Aurélien, Grandclaudon, Maximilien, Soumelis, Vassili, Chaouiya, Claudine, Thieffry, Denis

    “…Computational modeling constitutes a crucial step toward the functional understanding of complex cellular networks. In particular, logical modeling has proven…”
    Get full text
    Journal Article
  13. 13

    EpiLog: A software for the logical modelling of epithelial dynamics [version 2; peer review: 3 approved] by Varela, Pedro L, Ramos, Camila V, Monteiro, Pedro T, Chaouiya, Claudine

    Published in F1000 research (2018)
    “…Cellular responses are governed by regulatory networks subject to external signals from surrounding cells and to other micro-environmental cues. The logical…”
    Get full text
    Journal Article
  14. 14

    EpiLog: A software for the logical modelling of epithelial dynamics by Varela, Pedro L, Ramos, Camila V, Monteiro, Pedro T, Chaouiya, Claudine

    Published in F1000 research (2018)
    “…Cellular responses are governed by regulatory networks subject to external signals from surrounding cells and to other micro-environmental cues. The logical…”
    Get full text
    Journal Article
  15. 15

    Boolean function metrics can assist modelers to check and choose logical rules by Zobolas, John, Monteiro, Pedro T., Kuiper, Martin, Flobak, Åsmund

    Published in Journal of theoretical biology (07-04-2022)
    “…•A framework of Boolean function metrics for logical modeling.•Truth density reveals different output patterns for various Boolean functions.•Commonly used…”
    Get full text
    Journal Article
  16. 16

    Transcriptome-wide differences between Saccharomyces cerevisiae and Saccharomyces cerevisiae var. boulardii: Clues on host survival and probiotic activity based on promoter sequence variability by Pais, Pedro, Oliveira, Jorge, Almeida, Vanda, Yilmaz, Melike, Monteiro, Pedro T., Teixeira, Miguel C.

    Published in Genomics (San Diego, Calif.) (01-03-2021)
    “…Although Saccharomyces cerevisiae and S. cerevisiae var. boulardii share more than 95% genome sequence homology, only S. cerevisiae var. boulardii displays…”
    Get full text
    Journal Article
  17. 17

    Hybrid epithelial-mesenchymal phenotypes are controlled by microenvironmental factors by Selvaggio, Gianluca, Canato, Sara, Pawar, Archana, Monteiro, Pedro T, Guerreiro, Patrícia S, Brás, M Manuela, Janody, Florence, Chaouiya, Claudine

    Published in Cancer research (Chicago, Ill.) (01-06-2020)
    “…Epithelial-to-mesenchymal transition (EMT) has been associated with cancer cell heterogeneity, plasticity, and metastasis. However, the extrinsic signals…”
    Get full text
    Journal Article
  18. 18

    On logical bifurcation diagrams by Abou-Jaoudé, Wassim, Monteiro, Pedro T.

    Published in Journal of theoretical biology (07-04-2019)
    “…Bifurcation theory provides a powerful framework to analyze the dynamics of differential systems as a function of specific parameters. Abou-Jaoudé et al…”
    Get full text
    Journal Article
  19. 19

    Introducing UniCorT: an iterative university course timetabling tool with MaxSAT by Lemos, Alexandre, Monteiro, Pedro T., Lynce, Inês

    Published in Journal of scheduling (01-08-2022)
    “…This paper describes the UniCorT tool designed to solve uni versity co u r se t imetabling problems specifically tailored for the 2019 International…”
    Get full text
    Journal Article
  20. 20

    A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks by Monteiro, Pedro T, Dumas, Estelle, Besson, Bruno, Mateescu, Radu, Page, Michel, Freitas, Ana T, de Jong, Hidde

    Published in BMC bioinformatics (30-12-2009)
    “…The study of biological networks has led to the development of increasingly large and detailed models. Computer tools are essential for the simulation of the…”
    Get full text
    Journal Article