Search Sciweavers | Sciweavers

10304 search results - page 155 / 2061

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

105

click to vote

SPIN
2000
Springer

138views Theoretical Computer Science» more SPIN 2000»

Abstraction of Communication Channels in Promela: A Case Study

15 years 5 months ago

Download www.netlib.org

Elena Fersman, Bengt Jonsson

claim paper

Read More »

104

click to vote

FOCS
1997
IEEE

87views Theoretical Computer Science» more FOCS 1997»

Undirected Single Source Shortest Path in Linear Time

15 years 5 months ago

Download www.diku.dk

Mikkel Thorup

claim paper

Read More »

Voted

STACS
2000
Springer

101views Theoretical Computer Science» more STACS 2000»

Hereditary History Preserving Bisimilarity Is Undecidable

15 years 5 months ago

Download www.brics.dk

Marcin Jurdzinski, Mogens Nielsen

claim paper

Read More »

click to vote

STACS
1995
Springer

101views Theoretical Computer Science» more STACS 1995»

On the Average Running Time of Odd-Even Merge Sort

15 years 5 months ago

Download www.cs.ust.hk

Christine Rüb

claim paper

Read More »

click to vote

TLCA
1995
Springer

106views Theoretical Computer Science» more TLCA 1995»

Third-Order Matching in the Presence of Type Constructors

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers