Sciweavers

13306 search results - page 155 / 2662
» Theoretical Computer Science
Sort
View
SPIN
2001
Springer
15 years 6 months ago
Directed Explicit Model Checking with HSF-SPIN
Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Le...
FOCS
2000
IEEE
15 years 6 months ago
New Data Structures for Orthogonal Range Searching
Stephen Alstrup, Gerth Stølting Brodal, The...
FOCS
1999
IEEE
15 years 6 months ago
Fairness in Routing and Load Balancing
Jon M. Kleinberg, Yuval Rabani, Éva Tardos
ERSHOV
1999
Springer
15 years 6 months ago
Using Experiments to Build a Body of Knowledge
Victor R. Basili, Forrest Shull, Filippo Lanubile