2008 |
6 | EE | 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 | EE | 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 | EE | 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 | EE | James R. Faeder,
Michael L. Blinov,
William S. Hlavacek:
Graphical rule-based representation of signal-transduction networks.
SAC 2005: 133-140 |
2 | EE | 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 | EE | 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) |