Sciweavers

10447 search results - page 288 / 2090
» The Philosophy of Computer Science
Sort
View
MFCS
2010
Springer
15 years 5 months ago
On the Topological Complexity of MSO+U and Related Automata Models
Szczepan Hummel, Michal Skrzypczak, Szymon Toruncz...
SPIN
2010
Springer
15 years 5 months ago
Symbolic Object Code Analysis
Jan Tobias Mühlberg, Gerald Lüttgen
104
Voted
TCS
2010
15 years 5 months ago
On-demand strategy annotations revisited: An improved on-demand evaluation strategy
María Alpuente, Santiago Escobar, Bernhard ...
96
Voted
TCS
2010
15 years 5 months ago
Size versus stability in the marriage problem
Péter Biró, David Manlove, Shubham M...