 | 2011 |
| 13 |  | Haijun Gong,
Qinsi Wang,
Paolo Zuliani,
James R. Faeder,
Michael Lotze:
Symbolic Model Checking of Signaling Pathways in Pancreatic Cancer.
BICoB 2011: 245- |
| 12 |  | Wen Xu,
Adam M. Smith,
James R. Faeder,
G. Elisabeta Marai:
RuleBender: a visual interface for rule-based modeling.
Bioinformatics 27(12): 1721-1722 (2011) |
| 2010 |
| 11 |  | Haijun Gong,
Paolo Zuliani,
Anvesh Komuravelli,
James R. Faeder,
Edmund M. Clarke:
Computational Modeling and Verification of Signaling Pathways in Cancer.
ANB 2010: 117-135 |
| 2009 |
| 10 |  | Leonard A. Harris,
Justin S. Hogg,
James R. Faeder:
Compartmental Rule-based Modeling of Biochemical Systems.
Winter Simulation Conference 2009: 908-919 |
| 9 |  | Bin Hu,
G. Matthew Fricke,
James R. Faeder,
Richard G. Posner,
William S. Hlavacek:
GetBonNie for building, analyzing and sharing rule-based models.
Bioinformatics 25(11): 1457-1460 (2009) |
| 8 |  | Joshua Colvin,
Michael I. Monine,
James R. Faeder,
William S. Hlavacek,
Daniel D. Von Hoff,
Richard G. Posner:
Simulation of large-scale rule-based models.
Bioinformatics 25(7): 910-917 (2009) |
| 7 |  | Dipak Barua,
James R. Faeder,
Jason M. Haugh:
A Bipolar Clamp Mechanism for Activation of Jak-Family Protein Tyrosine Kinases.
PLoS Computational Biology 5(4): (2009) |
| 2008 |
| 6 |  | Edmund M. Clarke,
James R. Faeder,
Christopher James Langmead,
Leonard A. Harris,
Sumit Kumar Jha,
Axel Legay:
Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway.
CMSB 2008: 231-250 |
| 2007 |
| 5 |  | Fangping Mu,
Robert F. Williams,
Clifford J. Unkefer,
Pat J. Unkefer,
James R. Faeder,
William S. Hlavacek:
Carbon-fate maps for metabolic reactions.
Bioinformatics 23(23): 3193-3199 (2007) |
| 2006 |
| 4 |  | Michael L. Blinov,
Jin Yang,
James R. Faeder,
William S. Hlavacek:
Graph Theory for Rule-Based Modeling of Biochemical Networks.
T. Comp. Sys. Biology: 89-106 (2006) |
| 2005 |
| 3 |  | James R. Faeder,
Michael L. Blinov,
William S. Hlavacek:
Graphical rule-based representation of signal-transduction networks.
SAC 2005: 133-140 |
| 2 |  | James R. Faeder,
Michael L. Blinov,
Byron Goldstein,
William S. Hlavacek:
Rule-based modeling of biochemical networks.
Complexity 10(4): 22-41 (2005) |
| 2004 |
| 1 |  | Michael L. Blinov,
James R. Faeder,
Byron Goldstein,
William S. Hlavacek:
BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains.
Bioinformatics 20(17): 3289-3291 (2004) |