Sciweavers

642 search results - page 28 / 129
» corr 2006
Sort
View
CORR
2006
Springer
57views Education» more  CORR 2006»
14 years 10 months ago
On Verifying Complex Properties using Symbolic Shape Analysis
Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Pod...
CORR
2006
Springer
96views Education» more  CORR 2006»
14 years 10 months ago
Communication Bottlenecks in Scale-Free Networks
Sameet Sreenivasan, Reuven Cohen, Eduardo Ló...
CORR
2006
Springer
130views Education» more  CORR 2006»
14 years 10 months ago
Cryptanalysis of a chaotic block cipher with external key and its improved version
Chengqing Li, Shujun Li, Gonzalo Álvarez, G...
CORR
2006
Springer
93views Education» more  CORR 2006»
14 years 10 months ago
The ALVIS Format for Linguistically Annotated Documents
Adeline Nazarenko, Érick Alphonse, Julien D...