Pathway Logic: Symbolic Analysis of Biological Signaling. - Steven Eker; Merrill Knapp; Keith Laderoute; Patrick Lincoln; José Meseguer 001; M. Kemal Sönmez (Pacific Symposium on Biocomputing, 2002)

Pathway Logic: Executable Models of Biological Networks. - Steven Eker; Merrill Knapp; Keith Laderoute; Patrick Lincoln; Carolyn L. Talcott (WRLA, 2002)

Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude. - Steven Eker; Keith Laderoute; Patrick Lincoln; M. G. Sriram; Carolyn L. Talcott (CMSB, 2003)

Pathway Logic Modeling of Protein Functional Domains in Signal Transduction. - Carolyn L. Talcott; Steven Eker; Merrill Knapp; Patrick Lincoln; Keith Laderoute (CSB, 2003)

Pathway Logic Helping Biologists Understand and Organize Pathway Information. - Merrill Knapp; Linda Briesemeister; Steven Eker; Patrick Lincoln; Andy Poggio; Carolyn L. Talcott; Keith Laderoute (CSB Workshops, 2005)

The Pathalyzer: A Tool for Analysis of Signal Transduction Pathways. - David L. Dill; Merrill Knapp; Pamela Gage; Carolyn L. Talcott; Keith Laderoute; Patrick Lincoln (Systems Biology and Regulatory Genomics, 2005)

Analyzing Pathways Using SAT-Based Approaches. - Ashish Tiwari 001; Carolyn L. Talcott; Merrill Knapp; Patrick Lincoln; Keith Laderoute (AB, 2007)

Spectral Decomposition of Signaling Networks. - Bahram Parvin; Nirmalya Ghosh; Laura Heiser; Merrill Knapp; Carolyn L. Talcott; Keith Laderoute; Joe W. Gray; Paul T. Spellman (CIBCB, 2007)