What Can Formal Methods Bring to Systems Biology? [Citation Graph (, )][DBLP]
A Feature Selection Algorithm for Detecting Subtype Specific Functional Sites from Protein Sequences for Smad Receptor Binding. [Citation Graph (, )][DBLP]
Design Issues for Qualitative Modelling of Biological Cells with Petri Nets. [Citation Graph (, )][DBLP]
Multi-RELIEF: a method to recognize specificity determining residues from multiple sequence alignments using a Machine-Learning approach for feature weighting. [Citation Graph (, )][DBLP]
PRALINETM: a strategy for improved multiple alignment of transmembrane proteins. [Citation Graph (, )][DBLP]