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.)

Posters and Presentations

• Poster presentation at IEEE Computer Society Bioinformatics Conference (CSB2003).
• Poster presentation at the Protein Phosphorylation Workshop, Asilomar, December 2003.
• Promotional presentation September 2003