注册 | 登录 | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

wnpx's formalism [13 articles]

当前文献位于 wnpx's 文献库 标签分类为 formalism. You can also see everyone's formalism.
  • Bio-calculus: Its Concept and Molecular Interaction.
    Genome Inform Ser Workshop Genome Inform, Vol. 10 (1999), pp. 133-143.
    by M Nagasaki, S Onami, S Miyano, H Kitano
    posted to formalism network by wnpx on 2006-01-30 14:34:49 as **
  • Abstract Machines of Systems Biology
    (2005), pp. 145-168.
    by Luca Cardelli
    edited by Corrado Priami, Emanuela Merelli, Pablo Gonzalez, Andrea Omicini
    posted to formalism network by wnpx on 2006-01-30 14:28:26 as **
  • Diagrammatic Notation and Computational Structure of Gene Networks
    (2001), pp. 311-317.
    by Ron Maimon, Sam Browning
    posted to formalism network by wnpx on 2006-01-30 14:12:56 as **
  • The π-Calculus as an Abstraction for Biomolecular Systems
    by Aviv Regev, Ehud Shapiro
  • Pathway logic: Executable models of biological networks
    (2002)
    posted to formalism network pathwaylogic by wnpx on 2006-01-30 13:40:21 as **
  • Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks
    by Patrick Lincoln, Ashish Tiwari
    posted to formalism network pathwaylogic by wnpx on 2006-01-30 13:39:32 as **
  • Pathway Logic
    by Helping B Understand
    posted to formalism network pathwaylogic by wnpx on 2006-01-30 13:39:08 as **
  • Molecular interaction maps of bioregulatory networks: a general rubric for systems biology.
    Mol Biol Cell, Vol. 17, No. 1. (January 2006), pp. 1-13.
    by KW Kohn, MI Aladjem, JN Weinstein, Y Pommier
  • A basis for a visual language for describing, archiving and analyzing functional models of complex biological systems.
    Genome Biol, Vol. 2, No. 4. (2001)
    by DL Cook, JF Farley, SJ Tapscott
    posted to formalism network by wnpx on 2006-01-30 13:33:38 as ** along with 1 person lenov
  • Interaction Systems
    (1993), pp. 1-19.
    by Andrea Asperti, Cosimo Laneve
    posted to bio formalism network by wnpx on 2006-01-30 10:57:52 as **
  • Modeling and Querying Biomolecular Interaction Networks
    by Nathalie C Rivier, Marc Chiaverini, Vincent Danos, François Fages, Vincent Schächter
    posted to bio formalism network by wnpx on 2006-01-30 10:54:00 as **
  • Graphs for Core Molecular Biology
    (2003)
    by V Danos, C Laneve
    posted to bio formalism graphrewriting network by wnpx on 2006-01-30 10:25:49 as **
  • Core formal molecular biology
    (2003)
    by V Danos, C Laneve
    posted to bio formalism networks by wnpx on 2006-01-30 10:23:08 as **
  • ◇温馨提示◇本页的引用地址为: http://www.citeulike.org/user/wnpx/tag/formalism

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.