Spectral Decomposition of Signaling Networks.
Proceedings of the 2007 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, 2007
Analyzing Pathways Using SAT-Based Approaches.
Proceedings of the Algebraic Biology, Second International Conference, 2007
The Pathalyzer: A Tool for Analysis of Signal Transduction Pathways.
Proceedings of the Systems Biology and Regulatory Genomics, 2005
Pathway Logic Helping Biologists Understand and Organize Pathway Information.
Proceedings of the Fourth International IEEE Computer Society Computational Systems Bioinformatics Conference Workshops & Poster Abstracts, 2005
Pathway Logic Modeling of Protein Functional Domains in Signal Transduction.
Proceedings of the 2nd IEEE Computer Society Bioinformatics Conference, 2003
Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude.
Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003
Pathway Logic: Executable Models of Biological Networks.
Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002
Pathway Logic: Symbolic Analysis of Biological Signaling.
Proceedings of the 7th Pacific Symposium on Biocomputing, 2002