Search Sciweavers | Sciweavers

10447 search results - page 146 / 2090

» The Philosophy of Computer Science

click to vote

STACS
1997
Springer

93views Theoretical Computer Science» more STACS 1997»

Efficient Scaling-Invariant Checking of Timed Bisimulation

14 years 2 months ago

Download www.iis.nsk.su

Carsten Weise, Dirk Lenzkes

claim paper

Read More »

click to vote

TLCA
1997
Springer

101views Theoretical Computer Science» more TLCA 1997»

Typed Intermediate Languages for Shape Analysis

14 years 2 months ago

Download www.disi.unige.it

Gianna Bellè, Eugenio Moggi

claim paper

Read More »

click to vote

TLCA
1997
Springer

89views Theoretical Computer Science» more TLCA 1997»

Names, Equations, Relations: Practical Ways to Reason about new

14 years 2 months ago

Download www.brics.dk

Ian Stark

claim paper

Read More »

click to vote

FOCS
1993
IEEE

79views Theoretical Computer Science» more FOCS 1993»

Genome Rearrangements and Sorting by Reversals

14 years 2 months ago

Download proteomics.ucsd.edu

Vineet Bafna, Pavel A. Pevzner

claim paper

Read More »

click to vote

FOCS
1994
IEEE

87views Theoretical Computer Science» more FOCS 1994»

More Output-Sensitive Geometric Algorithms (Extended Abstract)

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers