Sciweavers

53327 search results - page 135 / 10666
» is 2007
Sort
View
54
Voted
DAGSTUHL
2007
15 years 2 months ago
Automist - A Tool for Automated Instruction Set Characterization of Embedded Processors
Manuel Wendt, Matthias Grumer, Christian Steger, U...
71
Voted
DAGSTUHL
2007
15 years 2 months ago
07021 Abstracts Collection -- Symmetric Cryptography
Eli Biham, Helena Handschuh, Stefan Lucks, Vincent...
45
Voted
DAGSTUHL
2007
15 years 2 months ago
A practical and secure coercion-resistant scheme for remote elections
Roberto Araujo, Sébastien Foulle, Jacques T...
68
Voted
DAGSTUHL
2007
15 years 2 months ago
07411 Abstracts Collection -- Algebraic Methods in Computational Complexity
Manindra Agrawal, Harry Buhrman, Lance Fortnow, Th...
89
Voted
DAGSTUHL
2007
15 years 2 months ago
Local Theory Extensions, Hierarchical Reasoning and Applications to Verification
Viorica Sofronie-Stokkermans, Carsten Ihlemann, Sw...
« Prev « First page 135 / 10666 Last » Next »