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 *

123 related articles for article (PubMed ID: 28871052)

  • 1. Program synthesis: challenges and opportunities.
    David C; Kroening D
    Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871052
    [TBL] [Abstract][Full Text] [Related]  

  • 2. Provably trustworthy systems.
    Klein G; Andronick J; Keller G; Matichuk D; Murray T; O'Connor L
    Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871053
    [TBL] [Abstract][Full Text] [Related]  

  • 3. Synthesising Programs with Non-trivial Constants.
    Abate A; Barbosa H; Barrett C; David C; Kesseli P; Kroening D; Polgreen E; Reynolds A; Tinelli C
    J Autom Reason; 2023; 67(2):19. PubMed ID: 37193313
    [TBL] [Abstract][Full Text] [Related]  

  • 4. Industrial hardware and software verification with ACL2.
    Hunt WA; Kaufmann M; Moore JS; Slobodova A
    Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871049
    [TBL] [Abstract][Full Text] [Related]  

  • 5. Compositional relaxed concurrency.
    Batty M
    Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871054
    [TBL] [Abstract][Full Text] [Related]  

  • 6. The HACMS program: using formal methods to eliminate exploitable bugs.
    Fisher K; Launchbury J; Richards R
    Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871050
    [TBL] [Abstract][Full Text] [Related]  

  • 7. Live synthesis.
    Finkbeiner B; Klein F; Metzger N
    Innov Syst Softw Eng; 2022; 18(3):443-454. PubMed ID: 36118300
    [TBL] [Abstract][Full Text] [Related]  

  • 8. Position paper: the science of deep specification.
    Appel AW; Beringer L; Chlipala A; Pierce BC; Shao Z; Weirich S; Zdancewic S
    Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871056
    [TBL] [Abstract][Full Text] [Related]  

  • 9. Macromolecular crowding: chemistry and physics meet biology (Ascona, Switzerland, 10-14 June 2012).
    Foffi G; Pastore A; Piazza F; Temussi PA
    Phys Biol; 2013 Aug; 10(4):040301. PubMed ID: 23912807
    [TBL] [Abstract][Full Text] [Related]  

  • 10. Formal verification: will the seedling ever flower?
    White N; Matthews S; Chapman R
    Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871051
    [TBL] [Abstract][Full Text] [Related]  

  • 11. Intelligently deciphering unintelligible designs: algorithmic algebraic model checking in systems biology.
    Mishra B
    J R Soc Interface; 2009 Jul; 6(36):575-97. PubMed ID: 19364723
    [TBL] [Abstract][Full Text] [Related]  

  • 12. Proceedings of the Second Workshop on Theory meets Industry (Erwin-Schrödinger-Institute (ESI), Vienna, Austria, 12-14 June 2007).
    Hafner J
    J Phys Condens Matter; 2008 Feb; 20(6):060301. PubMed ID: 21693862
    [TBL] [Abstract][Full Text] [Related]  

  • 13. Improving the development of event-driven control systems in the batch processing industry. A case study.
    Sanchez A; Rotstein G; Alsop N; Bromberg JP; Gollain C; Sorensen S; Macchietto S; Jakeman C
    ISA Trans; 2002 Jul; 41(3):343-63. PubMed ID: 12160348
    [TBL] [Abstract][Full Text] [Related]  

  • 14. A formal analysis method for composition protocol based on model checking.
    Xiao M; Zhao H; Yang K; Ouyang R; Song W
    Sci Rep; 2022 May; 12(1):8493. PubMed ID: 35595820
    [TBL] [Abstract][Full Text] [Related]  

  • 15.
    ; ; . PubMed ID:
    [No Abstract]   [Full Text] [Related]  

  • 16.
    ; ; . PubMed ID:
    [No Abstract]   [Full Text] [Related]  

  • 17.
    ; ; . PubMed ID:
    [No Abstract]   [Full Text] [Related]  

  • 18.
    ; ; . PubMed ID:
    [No Abstract]   [Full Text] [Related]  

  • 19.
    ; ; . PubMed ID:
    [No Abstract]   [Full Text] [Related]  

  • 20.
    ; ; . PubMed ID:
    [No Abstract]   [Full Text] [Related]  

    [Next]    [New Search]
    of 7.