Sciweavers

11345 search results - page 341 / 2269
» Foundations of Computer Science
Sort
View
MFCS
2010
Springer
15 years 5 months ago
The Multivariate Resultant Is NP-hard in Any Characteristic
Bruno Grenet, Pascal Koiran, Natacha Portier
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
105
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 ...