Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki...
The database of molecular motions, MolMovDB 15 (http://molmovdb.org), has been in existence for the past decade. It classifies macromolecular motions and provides tools to interpo...
Samuel Flores, Nathaniel Echols, Duncan Milburn, B...
There is an increasing need to automatically annotate a set of genes or proteins (from genome sequencing, DNA microarray analysis or protein 2D gel experiments) using controlled v...
Jianmin Wu, Xizeng Mao, Tao Cai, Jingchu Luo, Lipi...
Phylogenetic analysis and examination of protein domains allow accurate genome annotation and are invaluable to study proteins and protein complex evolution. However, two sequence...
Blaise T. F. Alako, Daphne Rainey, Harm Nijveen, J...
Recent work has demonstrated that microRNAs (miRNAs) are involved in critical biological processes by suppressing the translation of coding genes. This work develops an integrated...
Paul Wei-Che Hsu, Hsien-Da Huang, Sheng-Da Hsu, Li...