254
click to vote
ECCB
15 years 5 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...
144
click to vote
ECCB
15 years 11 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...
138
Voted
ECCB
15 years 11 months ago
2008 IEEE 171
Voted
ECCB
15 years 11 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 ...
111
Voted
ECCB
15 years 11 months ago
2008 IEEE |