Publication
-
Resource augmentation in load balancing In Proceedings
January 2000 -
January 2000
-
Average-case quantum query complexity In Proceedings
January 2000 -
The propositional formula checker HeerHugo Article
Journal of Automated Reasoning, 24(1-2), 101-125.January 2000
-
Inference on rare errors using asymptotic expansions and bootstrap calibration Article
Biometrika, 87(3), 689-694.January 2000 -
January 2000
-
January 2000
-
Multi-issue negotiation processes by evolutionary simulation : validation and social extensions Tech Report
January 2000