Search Sciweavers | Sciweavers

17920 search results - page 264 / 3584

» Recentering computer science

146

click to vote

SOFSEM
2001
Springer

108views Theoretical Computer Science» more SOFSEM 2001»

ADST: An Order Preserving Scalable Distributed Data Structure with Constant Access Costs

15 years 10 months ago

Download www.mat.uniroma2.it

Adriano Di Pasquale, Enrico Nardelli

claim paper

Read More »

171

click to vote

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 »

115

click to vote

STACS
2001
Springer

84views Theoretical Computer Science» more STACS 2001»

2-Nested Simulation Is Not Finitely Equationally Axiomatizable

15 years 10 months ago

Download www.brics.dk

Luca Aceto, Wan Fokkink, Anna Ingólfsd&oacu...

claim paper

Read More »

113

click to vote

WG
2001
Springer

69views Theoretical Computer Science» more WG 2001»

Planarity of the 2-Level Cactus Model

15 years 10 months ago

Download www.ub.uni-konstanz.de

Sabine Cornelsen, Yefim Dinitz, Dorothea Wagner

claim paper

Read More »

130

click to vote

FOCS
2000
IEEE

99views Theoretical Computer Science» more FOCS 2000»

Optimal myopic algorithms for random 3-SAT

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers