Pathway logic helping biologists understand and organize pathway information

2005 IEEE Computational Systems Bioinformatics Conference, Workshops and Poster Abstracts

Volumn , Issue , 2005, Pages 155-156

  Knapp, Merrill ^a   Briesemeister, Linda ^a   Eker, Steven ^a   Lincoln, Patrick ^a   Poggio, Andy ^a   Talcott, Carolyn ^a   Laderoute, Keith ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33749051013     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSBW.2005.103     Document Type: Conference Paper

References (8)

1. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer, and C. Talcott. Maude 2.0 Manual, 2003. http://maude.es.uiuc.edu.
2. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. L. Talcott. The Maude 2.0 system. In R. Nieuwenhuis, editor, Rewriting Techniques and Applications (RTA 2003), volume 2706 of Lecture Notes in Computer Science, pages 76-87. Springer-Verlag, 2003.
3. S. Eker, M. Knapp, K. Laderoute, P. Lincoln, J. Meseguer, and K. Sonmez. Pathway Logic: Symbolic analysis of biological signaling. In Proceedings of the Pacific Symposium on Biocomputing, pages 400-412, January 2002.
4. S. Eker, M. Knapp, K. Laderoute, P. Lincoln, and C. Talcott. Pathway Logic: Executable models of biological networks. In Fourth International Workshop on Rewriting Logic and Its Applications (WRLA'2002), Pisa, Italy, September 19-21, 2002, volume 71 of Electronic Notes in Theoretical Computer Science. Elsevier, 2002. http://www.elsevier.nl/locate/entcs/volume71.html.
5. J. Meseguer. Conditional Rewriting Logic as a unified model of concurrency. Theoretical Computer Science, 96(1):73-155, 1992.
6. K. Oda, T. Kimura, Y. Matsuoka, A. Funahashi, M. Muramatsu, and H. Kitano. Molecular interaction map of a macrophage. AfCS Research Reports, 2(14 DA), Aug. 2004.
7. C. Talcott and D. L. Dill. The pathway logic assistant. In G. Plotkin, editor, Third International Workshop on Computational Methods in Systems Biology, pages 228-239, 2005.
8. C. Talcott, S. Eker, M. Knapp, P. Lincoln, and K. Laderoute. Pathway logic modeling of protein functional domains in signal transduction. In Proceedings of the Pacific Symposium on Biocomputing, January 2004.