Search Sciweavers | Sciweavers

10271 search results - page 231 / 2055

» Computer Science

101

Voted

SPIN
2000
Springer

112views Theoretical Computer Science» more SPIN 2000»

Bebop: A Symbolic Model Checker for Boolean Programs

15 years 6 months ago

Download spinroot.com

Thomas Ball, Sriram K. Rajamani

claim paper

Read More »

105

click to vote

FOCS
1997
IEEE

98views Theoretical Computer Science» more FOCS 1997»

The Analysis of a List-Coloring Algorithm on a Random Graph

15 years 6 months ago

Download users.soe.ucsc.edu

Dimitris Achlioptas, Michael S. O. Molloy

claim paper

Read More »

117

click to vote

FOCS
1997
IEEE

81views Theoretical Computer Science» more FOCS 1997»

Satisfiability Coding Lemma

15 years 6 months ago

Download people.cs.ubc.ca

Ramamohan Paturi, Pavel Pudlák, Francis Zan...

claim paper

Read More »

109

click to vote

STACS
2000
Springer

85views Theoretical Computer Science» more STACS 2000»

The Power Range Assignment Problem in Radio Networks on the Plane

15 years 6 months ago

Download www.dia.unisa.it

Andrea E. F. Clementi, Paolo Penna, Riccardo Silve...

claim paper

Read More »

129

click to vote

STACS
2000
Springer

79views Theoretical Computer Science» more STACS 2000»

Simulation and Bisimulation over One-Counter Processes

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers