loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2005 IEEE Computational Systems Bioinformatics Conference - Workshops (CSBW'05)
Pathway Logic Helping Biologists Understand and Organize Pathway Information
Stanford, California
August 08-August 11
ISBN: 0-7695-2442-7
ASCII Text
x 
 
Merrill Knapp, Linda Briesemeister, Steven Eker, Patrick Lincoln, Andy Poggio, Carolyn Talcott, Keith Laderoute, "Pathway Logic Helping Biologists Understand and Organize Pathway Information," 2005 IEEE Computational Systems Bioinformatics Conference - Workshops, pp. 155-156, 2005 IEEE Computational Systems Bioinformatics Conference - Workshops (CSBW'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/CSBW.2005.103,
author = {Merrill Knapp and Linda Briesemeister and Steven Eker and Patrick Lincoln and Andy Poggio and Carolyn Talcott and Keith Laderoute},
title = {Pathway Logic Helping Biologists Understand and Organize Pathway Information},
journal ={2005 IEEE Computational Systems Bioinformatics Conference - Workshops},
volume = {0},
year = {2005},
isbn = {0-7695-2442-7},
pages = {155-156},
doi = {http://doi.ieeecomputersociety.org/10.1109/CSBW.2005.103},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - 2005 IEEE Computational Systems Bioinformatics Conference - Workshops
TI - Pathway Logic Helping Biologists Understand and Organize Pathway Information
SN - 0-7695-2442-7
SP155
EP156
A1 - Merrill Knapp,
A1 - Linda Briesemeister,
A1 - Steven Eker,
A1 - Patrick Lincoln,
A1 - Andy Poggio,
A1 - Carolyn Talcott,
A1 - Keith Laderoute,
PY - 2005
KW - null
VL - 0
JA - 2005 IEEE Computational Systems Bioinformatics Conference - Workshops
ER -
 
Merrill Knapp, SRI International, Menlo Park,CA
Linda Briesemeister, SRI International, Menlo Park,CA
Steven Eker, SRI International, Menlo Park,CA
Patrick Lincoln, SRI International, Menlo Park,CA
Andy Poggio, SRI International, Menlo Park,CA
Carolyn Talcott, SRI International, Menlo Park,CA
Keith Laderoute, SRI International, Menlo Park,CA

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 of interest form a novel kind of database where a biologist can record results of both curation and experiments.

Citation:
Merrill Knapp, Linda Briesemeister, Steven Eker, Patrick Lincoln, Andy Poggio, Carolyn Talcott, Keith Laderoute, "Pathway Logic Helping Biologists Understand and Organize Pathway Information," csbw, pp.155-156, 2005 IEEE Computational Systems Bioinformatics Conference - Workshops (CSBW'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.