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)

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)

Understanding signalling networks as collections of signal transduction pathways. - Robin Donaldson; Carolyn L. Talcott; Merrill Knapp; Muffy Calder (CMSB, 2010)

Applications of Pathway Logic Modeling to Target Identification. - Anupama Panikkar; Merrill Knapp; Huaiyu Mi; Dave Anderson; Krishna Kodukula; Amit K. Galande; Carolyn L. Talcott (Formal Modeling: Actors, Open Systems, Biological Systems, 2011)

Inferring Executable Models from Formalized Experimental Evidence. - Vivek Nigam; Robin Donaldson; Merrill Knapp; Tim McCarthy; Carolyn L. Talcott (CMSB, 2015)

Explaining Response to Drugs Using Pathway Logic. - Carolyn L. Talcott; Merrill Knapp (CMSB, 2017)

Reverse Inference in Symbolic Systems Biology. - Beatriz Santos-Buitrago; Adrián Riesco 001; Merrill Knapp; Gustavo Santos-García; Carolyn L. Talcott (PACBB, 2017)

Inferring Mechanism of Action of an Unknown Compound from Time Series Omics Data. - Akos Vertes; Albert-Baskar Arul; Peter Avar; Andrew R. Korte; Hang Li; Peter Nemes; Lida Parvin; Sylwia Stopka; Sunil Hwang; Ziad J. Sahab; Linwen Zhang; Deborah I. Bunin; et al. (CMSB, 2018)

Transcriptional Response of SK-N-AS Cells to Methamidophos (Extended Abstract). - Akos Vertes; Albert-Baskar Arul; Peter Avar; Andrew R. Korte; Lida Parvin; Ziad J. Sahab; Deborah I. Bunin; Merrill Knapp; Denise Nishita; Andrew Poggio; Mark-Oliver Stehr; Carolyn L. Talcott; et al. (CMSB, 2019)

Soft Set Theory for Decision Making in Computational Biology Under Incomplete Information. - Beatriz Santos-Buitrago; Adrián Riesco 001; Merrill Knapp; José Carlos R. Alcantud; Gustavo Santos-García; Carolyn L. Talcott (IEEE Access, 2019)

Learning Causality: Synthesis of Large-Scale Causal Networks from High-Dimensional Time Series Data. - Mark-Oliver Stehr; Peter Avar; Andrew R. Korte; Lida Parvin; Ziad J. Sahab; Deborah I. Bunin; Merrill Knapp; Denise Nishita; Andrew Poggio; Carolyn L. Talcott; Brian M. Davis; Christine A. Morton; et al. (CoRR, 2019)

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine. - Mark-Oliver Stehr; Minyoung Kim 002; Carolyn L. Talcott; Merrill Knapp; Akos Vertes (CoRR, 2019)

Transcriptional Response of SK-N-AS Cells to Methamidophos. - Akos Vertes; Albert-Baskar Arul; Peter Avar; Andrew R. Korte; Lida Parvin; Ziad J. Sahab; Deborah I. Bunin; Merrill Knapp; Denise Nishita; Andrew Poggio; Mark-Oliver Stehr; Carolyn L. Talcott; et al. (CoRR, 2019)

Fuzzy Matching for Cellular Signaling Networks in a Choroidal Melanoma Model. - Adrián Riesco 001; Beatriz Santos-Buitrago; Merrill Knapp; Gustavo Santos-García; Emiliano Hernández Galilea; Carolyn L. Talcott (PACBB, 2020)