These tools will no longer be maintained as of December 31, 2024. Archived website can be found here. PubMed4Hh GitHub repository can be found here. Contact NLM Customer Service if you have questions.


BIOMARKERS

Molecular Biopsy of Human Tumors

- a resource for Precision Medicine *

165 related articles for article (PubMed ID: 20042075)

  • 1. A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks.
    Monteiro PT; Dumas E; Besson B; Mateescu R; Page M; Freitas AT; de Jong H
    BMC Bioinformatics; 2009 Dec; 10():450. PubMed ID: 20042075
    [TBL] [Abstract][Full Text] [Related]  

  • 2. Genetic network analyzer: a tool for the qualitative modeling and simulation of bacterial regulatory networks.
    Batt G; Besson B; Ciron PE; de Jong H; Dumas E; Geiselmann J; Monte R; Monteiro PT; Page M; Rechenmann F; Ropers D
    Methods Mol Biol; 2012; 804():439-62. PubMed ID: 22144166
    [TBL] [Abstract][Full Text] [Related]  

  • 3. Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli.
    Batt G; Ropers D; de Jong H; Geiselmann J; Mateescu R; Page M; Schneider D
    Bioinformatics; 2005 Jun; 21 Suppl 1():i19-28. PubMed ID: 15961457
    [TBL] [Abstract][Full Text] [Related]  

  • 4. A computational framework for qualitative simulation of nonlinear dynamical models of gene-regulatory networks.
    Ironi L; Panzeri L
    BMC Bioinformatics; 2009 Oct; 10 Suppl 12(Suppl 12):S14. PubMed ID: 19828074
    [TBL] [Abstract][Full Text] [Related]  

  • 5. Qualitative modelling and formal verification of the FLR1 gene mancozeb response in Saccharomyces cerevisiae.
    Monteiro PT; Dias PJ; Ropers D; Oliveira AL; Sá-Correia I; Teixeira MC; Freitas AT
    IET Syst Biol; 2011 Sep; 5(5):308-16. PubMed ID: 22010757
    [TBL] [Abstract][Full Text] [Related]  

  • 6. Temporal logics for phylogenetic analysis via model checking.
    Requeno JI; Casado Gde M; Blanco R; Colom JM
    IEEE/ACM Trans Comput Biol Bioinform; 2013; 10(4):1058-70. PubMed ID: 24334397
    [TBL] [Abstract][Full Text] [Related]  

  • 7. Temporal logic patterns for querying dynamic models of cellular interaction networks.
    Monteiro PT; Ropers D; Mateescu R; Freitas AT; de Jong H
    Bioinformatics; 2008 Aug; 24(16):i227-33. PubMed ID: 18689830
    [TBL] [Abstract][Full Text] [Related]  

  • 8. Modular analysis of gene networks by linear temporal logic.
    Ito S; Ichinose T; Shimakawa M; Izumi N; Hagihara S; Yonezaki N
    J Integr Bioinform; 2013 Mar; 10(2):216. PubMed ID: 23525897
    [TBL] [Abstract][Full Text] [Related]  

  • 9. ViSiBooL-visualization and simulation of Boolean networks with temporal constraints.
    Schwab J; Burkovski A; Siegle L; Müssel C; Kestler HA
    Bioinformatics; 2017 Feb; 33(4):601-604. PubMed ID: 27797768
    [TBL] [Abstract][Full Text] [Related]  

  • 10. SpotXplore: a Cytoscape plugin for visual exploration of hotspot expression in gene regulatory networks.
    Westenberg MA; Roerdink JB; Kuipers OP; van Hijum SA
    Bioinformatics; 2010 Nov; 26(22):2922-3. PubMed ID: 20861033
    [TBL] [Abstract][Full Text] [Related]  

  • 11. Inferring large-scale gene regulatory networks using a low-order constraint-based algorithm.
    Wang M; Augusto Benedito V; Xuechun Zhao P; Udvardi M
    Mol Biosyst; 2010 Jun; 6(6):988-98. PubMed ID: 20485743
    [TBL] [Abstract][Full Text] [Related]  

  • 12. "Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis.
    Arellano G; Argil J; Azpeitia E; Benítez M; Carrillo M; Góngora P; Rosenblueth DA; Alvarez-Buylla ER
    BMC Bioinformatics; 2011 Dec; 12():490. PubMed ID: 22192526
    [TBL] [Abstract][Full Text] [Related]  

  • 13. Payao: a community platform for SBML pathway model curation.
    Matsuoka Y; Ghosh S; Kikuchi N; Kitano H
    Bioinformatics; 2010 May; 26(10):1381-3. PubMed ID: 20371497
    [TBL] [Abstract][Full Text] [Related]  

  • 14. FPGA Accelerated Analysis of Boolean Gene Regulatory Networks.
    Manica M; Polig R; Purandare M; Mathis R; Hagleitner C; Martinez MR
    IEEE/ACM Trans Comput Biol Bioinform; 2020; 17(6):2141-2147. PubMed ID: 31494553
    [TBL] [Abstract][Full Text] [Related]  

  • 15. Systematic Approach to Computational Design of Gene Regulatory Networks with Information Processing Capabilities.
    Moskon M; Mraz M
    IEEE/ACM Trans Comput Biol Bioinform; 2014; 11(2):431-40. PubMed ID: 26355789
    [TBL] [Abstract][Full Text] [Related]  

  • 16. CABeRNET: a Cytoscape app for augmented Boolean models of gene regulatory NETworks.
    Paroni A; Graudenzi A; Caravagna G; Damiani C; Mauri G; Antoniotti M
    BMC Bioinformatics; 2016 Feb; 17():64. PubMed ID: 26846964
    [TBL] [Abstract][Full Text] [Related]  

  • 17. Cross-species Conservation of context-specific networks.
    Pesch R; Zimmer R
    BMC Syst Biol; 2016 Aug; 10(1):76. PubMed ID: 27531214
    [TBL] [Abstract][Full Text] [Related]  

  • 18. Gene expression complex networks: synthesis, identification, and analysis.
    Lopes FM; Cesar RM; Costa Lda F
    J Comput Biol; 2011 Oct; 18(10):1353-67. PubMed ID: 21548810
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Component-based modeling and reachability analysis of genetic networks.
    Gössler G
    IEEE/ACM Trans Comput Biol Bioinform; 2011; 8(3):672-82. PubMed ID: 21393652
    [TBL] [Abstract][Full Text] [Related]  

  • 20. A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking.
    Pârvu O; Gilbert D
    PLoS One; 2016; 11(5):e0154847. PubMed ID: 27187178
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 9.