Sciweavers

10392 search results - page 158 / 2079
» Introduction to Computer Science
Sort
View
104
Voted
STACS
1997
Springer
15 years 9 months ago
Finding the k Shortest Paths in Parallel
Eric Ruppert
100
Voted
STACS
1997
Springer
15 years 9 months ago
Efficient Scaling-Invariant Checking of Timed Bisimulation
Carsten Weise, Dirk Lenzkes
116
Voted
TLCA
1997
Springer
15 years 9 months ago
Typed Intermediate Languages for Shape Analysis
Gianna Bellè, Eugenio Moggi