Sciweavers

17920 search results - page 131 / 3584
» Recentering computer science
Sort
View
110
Voted
STACS
2004
Springer
15 years 9 months ago
Automata-Based Analysis of Recursive Cryptographic Protocols
Ralf Küsters, Thomas Wilke
WG
2004
Springer
15 years 9 months ago
Core Stability of Minimum Coloring Games
Thomas Bietenhader, Yoshio Okamoto