A Bos, AJC van Gemund, C Witteveen (2000), Model-based diagnosis for satellite-based instruments, In 2000 IEEE autotestcon proceedings p.451-464.

L Grune, HE Bal, CJH Jacobs, KG Langendoen (2000), Modern Compiler design, Wiley.

MM de Weerdt, A Bos, JFM Tonino, C Witteveen (2000), Muti-agent cooperation in a planning framework, van den A Bosch, H Weigand (Eds.), In Proceedings of the twelfth Belgium-Nethelands artificial intelligence conference p.53-60.

H Gautama, AJC van Gemund (2000), On the use of Lambda distributions in parallel program performance prediction, van LJ Vliet (Eds.), In ASCI 2000 proceedings p.343-349.

JA Pouwelse (2000), Open information pools, In Conference proceedings FREENIX track 2000 USENIX annual technical conference p.153-164.

MP van Lohuizen (2000), Parallel processing of natural language parsers, In Proceedings of the international conference ParCo99 p.168-175.

AJC van Gemund, H Gautama (2000), Performance estimation for embedded systems: Deliverable D5.3.1/1.

H Gautama, AJC van Gemund (2000), Performance prediction of parallel programs based on the use of Lambda distributions, Mustofa (Eds.), In ISTECS Europe & PPI Francis: proceeding, selected scientific papers p.313-316.

A González-Escribano, AJC van Gemund, V Cardeñoso-Payo (2000), Performance trade-offs in series-parallel programming models, In CPC 2000 p.183-189.

JA Pouwelse, KG Langendoen, HJ Sips (2000), Power consumption trade-offs for wireless audio access, In The 7th international workshop on mobile multimedia communications p.P6-1-P6-6.