Search Sciweavers | Sciweavers

13306 search results - page 155 / 2662

» Theoretical Computer Science

175

Voted

SPIN
2001
Springer

144views Theoretical Computer Science» more SPIN 2001»

Directed Explicit Model Checking with HSF-SPIN

15 years 10 months ago

Download www.albertolluch.com

Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Le...

claim paper

Read More »

127

Voted

FOCS
2000
IEEE

82views Theoretical Computer Science» more FOCS 2000»

New Data Structures for Orthogonal Range Searching

15 years 10 months ago

Download www.it-c.dk

Stephen Alstrup, Gerth Stølting Brodal, The...

claim paper

Read More »

122

click to vote

FOCS
2000
IEEE

86views Theoretical Computer Science» more FOCS 2000»

Entropy Waves, the Zig-Zag Graph Product, and New Constant-Degree Expanders and Extractors

15 years 10 months ago

Download www.math.ias.edu

Omer Reingold, Salil P. Vadhan, Avi Wigderson

claim paper

Read More »

121

click to vote

FOCS
1999
IEEE

82views Theoretical Computer Science» more FOCS 1999»

Fairness in Routing and Load Balancing

15 years 10 months ago

Download www.ee.unlv.edu

Jon M. Kleinberg, Yuval Rabani, Éva Tardos

claim paper

Read More »

147

click to vote

ERSHOV
1999
Springer

100views Theoretical Computer Science» more ERSHOV 1999»

Using Experiments to Build a Body of Knowledge

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers