199
click to vote
ECCB
15 years 19 days 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...
107
Voted
ECCB
15 years 7 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...
91
Voted
ECCB
15 years 7 months ago
2008 IEEE 113
Voted
ECCB
15 years 7 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 7 months ago
2008 IEEE |