In: VECPAR 2006. High performance computing for computational science. 7th international conference. Rio de Janeiro, 2006. (Lecture notes in computer science 4395.).
Extending the services and sites of production grids by the support of advanced portals
In: Recent advances in parallel virtual machine and message passing interface. 14th European PVM/MPI User's Group meeting. Paris, 2007. (Lecture notes in computer science 4757.).
Correctness debugging of message passing programs using model verification techniques