H Gautama, AJC van Gemund (2001), Static cost estimation of data-dependent parallel programs, In CPC 2001: proceedings p.345-355, s.n..

A Bos, AJC van Gemund (2001), System health tracking and safe testing, In ESA WPP 191: proceedings. p.1-8, s.n..

AJC van Gemund, H Gautama (2001), Trade-offs in symbolic cost estimation of parallel programs, In ETAPS 2001: p.1-10, s.n..

AJC van Gemund, H Gautama (2001), Validation of results performance estimator, JOSES Consortium.

BJ Overeinde, HJ Sips (2001), Wide-area distributed applications in high performance computing, In Future Generation Computer Systems: the international journal of grid computing: theory, methods and applications Volume 17 p.767-768.

I Kuz, P Verkaik, M van Steen, HJ Sips (2000), A distributed-object infrastructure for corporate websites, P Drew (Eds.), In DOA'00: International symposium on distributed objects and applications p.165-176, IEEE.

P Harrenstein, W van der Hoek, JJ Meyer, C Witteveen (2000), A model interpretation of nash-equilibria and some related concepts, In Fourth conference on logic and the foundations of game and decision theory p.1-21, ICER.

MM de Weerdt, A Bos, JFM Tonino, C Witteveen (2000), A plan fusion algorithm for multi-agent systems, K Satoh, F Sadri (Eds.), In First international conference on computational logic p.56-65, CL 2000.

RPJ van der Krogt, A Bos, MM de Weerdt, C Witteveen (2000), An algorithm for replanning, van den A Bosch, H Weigand (Eds.), In Proceedings of the twelfth Belgium-Nethelands artificial intelligence conference p.21-28, BNAIC.

JM Valk, A Bos, J Rogier, JFM Tonino, C Witteveen (2000), An approximation algorithm for a logistic planning problem, van den A Bosch, H Weigand (Eds.), In Proceedings of the twelfth Belgium-Nethelands artificial intelligence conference p.251-259, BNAIC.