Sciweavers

11395 search results - page 158 / 2279
» Beyond computer science
Sort
View
132
Voted
STACS
1997
Springer
15 years 11 months ago
Finding the k Shortest Paths in Parallel
Eric Ruppert
131
Voted
STACS
1997
Springer
15 years 11 months ago
Efficient Scaling-Invariant Checking of Timed Bisimulation
Carsten Weise, Dirk Lenzkes