Keith Laderoute

According to our database, Keith Laderoute authored at least 8 papers between 2002 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the 2007 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, 2007

Analyzing Pathways Using SAT-Based Approaches.

Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, Patrick Lincoln, Keith Laderoute

Proceedings of the Algebraic Biology, Second International Conference, 2007

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

Proceedings of the Systems Biology and Regulatory Genomics, 2005

Pathway Logic Helping Biologists Understand and Organize Pathway Information.

Merrill Knapp, Linda Briesemeister, Steven Eker, Patrick Lincoln, Andy Poggio, Carolyn L. Talcott, Keith Laderoute

Proceedings of the Fourth International IEEE Computer Society Computational Systems Bioinformatics Conference Workshops & Poster Abstracts, 2005

2003

Pathway Logic Modeling of Protein Functional Domains in Signal Transduction.

Carolyn L. Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute

Proceedings of the 2nd IEEE Computer Society Bioinformatics Conference, 2003

Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude.

Steven Eker, Keith Laderoute, Patrick Lincoln, M. G. Sriram, Carolyn L. Talcott

Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003

2002

Pathway Logic: Executable Models of Biological Networks.

Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Carolyn L. Talcott

Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002

Pathway Logic: Symbolic Analysis of Biological Signaling.

Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, José Meseguer, M. Kemal Sönmez

Proceedings of the 7th Pacific Symposium on Biocomputing, 2002