2007
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

2005
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

2003
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

2002
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