Sciweavers

24132 search results - page 345 / 4827
» and 2009
Sort
View
148
Voted
SSS
2009
Springer
16 years 3 days ago
Consensus When All Processes May Be Byzantine for Some Time
Martin Biely, Martin Hutle
135
Voted
SSS
2009
Springer
16 years 3 days ago
Efficient Robust Storage Using Secret Tokens
Dan Dobre, Matthias Majuntke, Marco Serafini, Neer...
163
Voted
STACS
2009
Springer
16 years 3 days ago
On the Borel Inseparability of Game Tree Languages
Szczepan Hummel, Henryk Michalewski, Damian Niwins...
154
Voted
TFM
2009
Springer
128views Formal Methods» more  TFM 2009»
16 years 3 days ago
How to Explain Mistakes
Stefan Hallerstede, Michael Leuschel