Sciweavers

642 search results - page 28 / 129
» corr 2006
Sort
View
CORR
2006
Springer
57views Education» more  CORR 2006»
15 years 6 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»
15 years 6 months ago
Communication Bottlenecks in Scale-Free Networks
Sameet Sreenivasan, Reuven Cohen, Eduardo Ló...
CORR
2006
Springer
130views Education» more  CORR 2006»
15 years 6 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»
15 years 6 months ago
The ALVIS Format for Linguistically Annotated Documents
Adeline Nazarenko, Érick Alphonse, Julien D...