| 2007 |
|---|
| 9 | EE | Ashish Tiwari,
Carolyn L. Talcott,
Merrill Knapp,
Patrick Lincoln,
Keith Laderoute:
Analyzing Pathways Using SAT-Based Approaches.
AB 2007: 155-169 |
| 8 | EE | Bahram Parvin,
Nirmalya Ghosh,
Laura Heiser,
Merrill Knapp,
Carolyn L. Talcott,
Keith Laderoute,
Joe Gray,
Paul Spellman:
Spectral Decomposition of Signaling Networks.
CIBCB 2007: 76-81 |
| 2005 |
|---|
| 7 | EE | Merrill Knapp,
Linda Briesemeister,
Steven Eker,
Patrick Lincoln,
Andy Poggio,
Carolyn L. Talcott,
Keith Laderoute:
Pathway Logic Helping Biologists Understand and Organize Pathway Information.
CSB Workshops 2005: 155-156 |
| 6 | EE | David L. Dill,
Merrill Knapp,
Pamela Gage,
Carolyn L. Talcott,
Keith Laderoute,
Patrick Lincoln:
The Pathalyzer: A Tool for Analysis of Signal Transduction Pathways.
Systems Biology and Regulatory Genomics 2005: 11-22 |
| 2004 |
|---|
| 5 | EE | Carolyn L. Talcott,
Steven Eker,
Merrill Knapp,
Patrick Lincoln,
Keith Laderoute:
Pathway Logic Modeling of Protein Functional Domains in Signal Transduction.
Pacific Symposium on Biocomputing 2004: 568-580 |
| 2003 |
|---|
| 4 | EE | Steven Eker,
Keith Laderoute,
Patrick Lincoln,
M. G. Sriram,
Carolyn L. Talcott:
Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude.
CMSB 2003: 164-165 |
| 3 | EE | Carolyn L. Talcott,
Steven Eker,
Merrill Knapp,
Patrick Lincoln,
Keith Laderoute:
Pathway Logic Modeling of Protein Functional Domains in Signal Transduction.
CSB 2003: 618-619 |
| 2002 |
|---|
| 2 | EE | Steven Eker,
Merrill Knapp,
Keith Laderoute,
Patrick Lincoln,
José Meseguer,
M. Kemal Sönmez:
Pathway Logic: Symbolic Analysis of Biological Signaling.
Pacific Symposium on Biocomputing 2002: 400-412 |
| 1 | EE | Steven Eker,
Merrill Knapp,
Keith Laderoute,
Patrick Lincoln,
Carolyn L. Talcott:
Pathway Logic: Executable Models of Biological Networks.
Electr. Notes Theor. Comput. Sci. 71: (2002) |
