Sciweavers

10271 search results - page 247 / 2055
» Computer Science
Sort
View
MFCS
2010
Springer
15 years 1 months ago
The Multivariate Resultant Is NP-hard in Any Characteristic
Bruno Grenet, Pascal Koiran, Natacha Portier
110
Voted
MFCS
2010
Springer
15 years 1 months ago
On the Topological Complexity of MSO+U and Related Automata Models
Szczepan Hummel, Michal Skrzypczak, Szymon Toruncz...
103
Voted
SPIN
2010
Springer
15 years 1 months ago
Symbolic Object Code Analysis
Jan Tobias Mühlberg, Gerald Lüttgen