| Center for Computational Biology Publications
|
| |
- Pathway
Logic: Symbolic Analysis of Biological Signaling,
Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Jose Meseguer, and Kemal Sonmez.
Proceedings of the Pacific Symposium on Biocomputing, 400-412, 2002.
- Pathway
Logic: Executable Models of Biological Networks
Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, and Carolyn Talcott.
Fourth International Workshop on Rewriting Logic and Its Applications (WRLA'2002), Elsevier. 2002.
(slides available here .)
- Pathway
Logic Modeling of Protein Functional Domains in Signal
Transduction
Carolyn Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln and Keith Laderoute.
Proceedings of the Pacific Symposium on Biocomputing.
January, 2004.
- IOP--The
Interoperability Platform & IMaude--an Interactive
Extension of Maude
by Ian Mason and Carolyn Talcott.
From Workshop on Rewriting Logic and Applications, March 2004.
(The basis for the Pathway Logic Workbench.)
|
| Top
|
| |