Sciweavers

11909 search results - page 71 / 2382
» The Scheme Programming Language
Sort
View
186
Voted
COOPPN
2001
Springer
15 years 12 months ago
A Cooperative Petri Net Editor
Rémi Bastide, Charles Lakos, Philippe A. Pa...
ECOOP
2001
Springer
15 years 12 months ago
What's in a Name?
Erik Ernst
187
Voted
ESOP
2001
Springer
15 years 12 months ago
On the Completeness of Model Checking
Francesco Ranzato
175
Voted
ICALP
2001
Springer
15 years 12 months ago
Parameterized Complexity: Exponential Speed-Up for Planar Graph Problems
Jochen Alber, Henning Fernau, Rolf Niedermeier
158
Voted
ICALP
2001
Springer
15 years 12 months ago
A PTAS for Minimizing Weighted Completion Time on Uniformly Related Machines
Chandra Chekuri, Sanjeev Khanna