235
Voted
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...
131
Voted
ECCB
15 years 10 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...
120
Voted
ECCB
15 years 10 months ago
2008 IEEE  151
Voted
ECCB
15 years 10 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 ...
95
Voted
ECCB
15 years 10 months ago
2008 IEEE |
Computational Biology