Sciweavers

13306 search results - page 162 / 2662
» Theoretical Computer Science
Sort
View
TCS
1998
15 years 5 months ago
The Quotient of an Abstract Interpretation
Agostino Cortesi, Gilberto Filé, William H....
TCS
2010
15 years 4 months ago
Improved upper bounds for vertex cover
Jianer Chen, Iyad A. Kanj, Ge Xia
FOCS
2010
IEEE
15 years 4 months ago
Approaching Optimality for Solving SDD Linear Systems
Ioannis Koutis, Gary L. Miller, Richard Peng
FOCS
2010
IEEE
15 years 4 months ago
On the Queue Number of Planar Graphs
Giuseppe Di Battista, Fabrizio Frati, János...
GI
2010
Springer
15 years 4 months ago
Questioning the Need for Separate IT Risk Management Frameworks
Nicolas Racz, Edgar R. Weippl, Andreas Seufert