Sciweavers

7 search results - page 2 / 2
» Iterating Transducers
Sort
View
IANDC
2007
151views more  IANDC 2007»
13 years 6 months ago
Transducer-based analysis of cryptographic protocols
Cryptographic protocols can be divided into (1) protocols where the protocol steps are simple from a computational point of view and can thus be modeled by simple means, for insta...
Ralf Küsters, Thomas Wilke
ALMOB
2006
109views more  ALMOB 2006»
13 years 6 months ago
A novel functional module detection algorithm for protein-protein interaction networks
Background: The sparse connectivity of protein-protein interaction data sets makes identification of functional modules challenging. The purpose of this study is to critically eva...
Woochang Hwang, Young-Rae Cho, Aidong Zhang, Mural...