H Gautama, AJC van Gemund (2003), Symbolic performance prediction of speculative parallel programs, H Kosch, L Böszörményi, H Hellwagner (Eds.), In Euro-Par 2003 Parallel Processing p.88-97, Springer.

AID Bucur, DHJ Epema (2003), The maximal utilization of processor co-allocation in multicluster systems, B Werner (Eds.), In Proceedings international parallel and distributed processing symposium p.60-69, IEEE Society.

AID Bucur, DHJ Epema (2003), The performance of processor co-allocation in multicluster systems, s.n. (Eds.), In CCGrid 2003 Third IEEE/ACM international symposium on cluster computing and the grid p.302-309, IEEE Society.

AID Bucur, DHJ Epema (2003), Trace-based simulations of processor co-allocation policies in multiclusters, s.n. (Eds.), In HPDC 2003 Proceedings of the Twelfth IEEE international symposium on high performance distributed computing p.70-79, IEEE Society.

A González-Escribano, AJC van Gemund, V Cardeñoso-Payo (2003), Using graph transformation techniques to predict the impact of mapping applications to nested parallelism, P Knijnenburg, P van der Mark (Eds.), In CPC 2003; Proceedings of the tenth international workshop on compilers for parallel computers p.311-320.

A Gonzalez-Escribano, AJC van Gemund, V Cardenoso-Payo (2002), A classification of parallel applications in terms of nested parallelism, In XIII Jornadas de paralelismo p.159-164, Universitat de Lleida.

P Harrenstein (2002), A game theoretical notion of consequence, G Bonanno, E Colombatto, W van der Hoek (Eds.), In LOFT5 p.1-21, ICER.

L van Norden, H van Maaren (2002), A linear programming based satisfiability solver using a new horn-driven search tree design, P Van Hentenryck (Eds.), In Principles and practice of constraint programming - CP 2002 p.775-776, Springer.

MM de Weerdt, RPJ van der Krogt (2002), A method to integrate planning and coordination, M Brenner, M desJardins (Eds.), In Planning with and for multiagent systems p.83-88, American Association for Artificial Intelligence (AAAI).

MM de Weerdt, A Bos, JFM Tonino, C Witteveen (2002), A resource logic for multi-agent plan merging, In Annals of Mathematics and Artificial Intelligence Volume 37 p.93-131.