Sciweavers

16626 search results - page 141 / 3326
» Computing is a natural science
Sort
View
148
Voted
STACS
2004
Springer
16 years 9 days ago
Automata-Based Analysis of Recursive Cryptographic Protocols
Ralf Küsters, Thomas Wilke
WG
2004
Springer
16 years 9 days ago
Core Stability of Minimum Coloring Games
Thomas Bietenhader, Yoshio Okamoto