Keith Laderoute

Publication Activity (10 Years)

Years Active: 2002-2007
Publications (10 Years): 0

Publications

Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, Patrick Lincoln, Keith Laderoute
Analyzing Pathways Using SAT-Based Approaches. AB (2007)
Bahram Parvin, Nirmalya Ghosh, Laura Heiser, Merrill Knapp, Carolyn L. Talcott, Keith Laderoute, Joe W. Gray, Paul T. Spellman
Spectral Decomposition of Signaling Networks. CIBCB (2007)
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)
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)
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)
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)
Carolyn L. Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute
Pathway Logic Modeling of Protein Functional Domains in Signal Transduction. CSB (2003)
Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Carolyn L. Talcott
Pathway Logic: Executable Models of Biological Networks. Electron. Notes Theor. Comput. Sci. 71 (2002)
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)