Search Sciweavers | Sciweavers

10304 search results - page 139 / 2061

» Computer science with the sciences: an emphasis in computati...

click to vote

SOFSEM
2007
Springer

101views Theoretical Computer Science» more SOFSEM 2007»

Restarting Tree Automata

15 years 7 months ago

Download www.theory.informatik.uni-kassel.de

Heiko Stamer, Friedrich Otto

claim paper

Read More »

Voted

SPIN
2007
Springer

97views Theoretical Computer Science» more SPIN 2007»

Instrumenting C Programs with Nested Word Monitors

15 years 7 months ago

Download www.cse.psu.edu

Swarat Chaudhuri, Rajeev Alur

claim paper

Read More »

Voted

SPIN
2007
Springer

81views Theoretical Computer Science» more SPIN 2007»

Some Solutions to the Ignoring Problem

15 years 7 months ago

Download cedric.cnam.fr

Sami Evangelista, Christophe Pajault

claim paper

Read More »

click to vote

STACS
2007
Springer

95views Theoretical Computer Science» more STACS 2007»

Planar Graphs: Logical Complexity and Parallel Isomorphism Tests

15 years 7 months ago

Download www-i7.informatik.rwth-aachen.de

Oleg Verbitsky

claim paper

Read More »

click to vote

STACS
2007
Springer

99views Theoretical Computer Science» more STACS 2007»

Cheating to Get Better Roommates in a Random Stable Matching

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers