228
click to vote
ECCB
15 years 3 months ago
2008 IEEE 
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
128
click to vote
ECCB
15 years 9 months ago
2008 IEEE 
Motivation: Mapping of remote evolutionary links is a classic computational problem of much interest. Relating protein families allows for functional and structural inference on u...
146
Voted
ECCB
15 years 9 months ago
2008 IEEE
Living cells are the product of gene expression programs that involve the regulated transcription of thousands of genes. The elucidation of transcriptional regulatory networks in ...
ECCB
15 years 9 months ago
2008 IEEE |
Computational Biology