Helping Biologists Understand and Organize Pathway Information Merrill Knapp...  Home/Search
Context
Related
| sri.com/users/lind...b2005_abstract.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sri.com/users/linda/bibs/linda (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Introduction Pathway Logic [3, 4, 8] is an application of techniques from formal methods to the modeling and analysis of signal transduction networks in mammalian cells. These signaling network models are developed using Maude [1, 2], a symbolic language founded on rewriting logic [5]. Network elements (reactions) are represented as rewrite rules. Models can be queried (analyzed) using the execution, search and model-checking tools of the Maude system. Collections of rules and initial states ... (Update)
Active bibliography (related documents): More All
0.3: Symbolic Systems Biology: Hybrid Modeling and Analysis of.. - Lincoln, Tiwari (2004) (Correct)
0.2: The Maude 2.0 System - Clavel, Durán, Eker, Lincoln, .. (1999) (Correct)
0.2: Software Specification and Verification in Rewriting Logic - Meseguer (2003) (Correct)
Similar documents based on text: More All
0.5: Pathway Logic: Executable Models of Biological Networks - Eker, Knapp, Laderoute.. (2002) (Correct)
0.4: Pathway Logic: Helping Biologists to Organize and.. - Knapp Briesemeister Eker (2005) (Correct)
0.1: Group Membership and Communication in Highly Mobile Ad Hoc.. - Briesemeister (2001) (Correct)
BibTeX entry: (Update)
@misc{ understand-pathway,
author = "Helping Biologists Understand",
title = "Pathway Logic",
url = "citeseer.ist.psu.edu/731514.html" }
Citations (may not include all citations):299 Conditional Rewriting Logic as a unified model of concurrenc.. (context) - Meseguer - 1992
21 Pathway Logic: Symbolic analysis of biological signaling (context) - Eker, Knapp et al. - 2002
20 Mart-Oliet (context) - Clavel, an et al. - 2003
5 Pathway Logic: Executable models of biological networks - Eker, Knapp et al. - 2002
3 Pathway logic modeling of protein functional domains in sign.. (context) - Talcott, Eker et al. - 2004
1 Marti-Oliet (context) - Clavel, an et al. - 2003
1 Molecular interaction map of a macrophage (context) - Oda, Kimura et al. - 2004
1 The pathway logic assistant (context) - Talcott, Dill - 2005
Documents on the same site (http://www.csl.sri.com/users/linda/bibs/linda.html): More
Combination of Problem Solving and Learning from.. - Briesemeister, van.. (1995) (Correct)
Role-Based Multicast in Highly Mobile but Sparsely.. - Briesemeister, Hommel (2000) (Correct)
Localized Group Membership Service for Ad Hoc Networks - Briesemeister, Hommel (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC