Nuno Lopes

Contact

E-mail: nuno.lopes@ist.utl.pt
Fax: +351 213 145 843
Mail:
INESC-ID, Room 130
Rua Alves Redol, 9
1000-029 Lisbon, Portugal

Last 3:

N. P. Lopes. Practical Executable Specifications for Distributed Systems. Master thesis, Instituto Superior Técnico, Oct. 2009.
F. Cabecinhas, N. P. Lopes, R. Crisóstomo, L. Veiga. Optimizing Binary Code Produced by Valgrind. Technical Report RT/46/2008, INESC-ID, Aug. 2008.
N. P. Lopes and P. U. Lima. openSDK: an open-source implementation of OPEN-R. In Proc. of the 7th International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS), pages 1207-1210, 2008.