Hugo Miranda

Past member

Hugo Miranda is no longer with the Navigators.

File:Hugo Miranda.jpg

Hugo Miranda

Projects

MOOSCO (MOO with Separation of Concerns)
TOPCOM (Topology-Aware Reliable Group Communication in Geographically Large-Scale Systems)

J. Armstrong, C. Cachin, Miguel Correia, A. Costa, Hugo Miranda, Nuno Ferreira Neves, Nuno Miguel Neves, J. A. Poritz, B. Randell, Lau Cheuk Lung, Luís Rodrigues, R. J. Stroud, Paulo Verissimo, M. Waidner, I. S. Welch, “Complete Specification of APIs and Protocols for the MAFTIA Middleware”, Missing institution, Tech. Rep., Jul. 2002. Technical Report DI/FCUL TR-02-11, Department of Computer Science, University of Lisbon. jULY 2002

Alexandre Pinto, Hugo Miranda, Luís Rodrigues, “Light-Weight Groups: an implementation in Ensemble”, in in Proceedings of the Ersads 2001, European Research Seminar on Advances in Distributed Systems, 14-18 May 2001, Bertinoro (Forlì), Italy., May 2001.

Miguel Antunes, Hugo Miranda, António Rito Silva, Luís Rodrigues, Jorge Martins, “Separating Replication from Distributed Communication: Problems and Solutions”, in in Proceedings of the International Workshop on Distributed Dynamic Multiservice Architectures (DDMA), in conjunction with the 21st International Conference on Distributed Computing Systems (ICDCS-21) April 16-19, 2001, pp 103-108Phoenix, Arizona, USA, Apr. 2001.

Hugo Miranda, Alexandre Pinto, Luís Rodrigues, “Appia, a flexible protocol kernel supporting multiple coordinated channels”, in in Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS-21) April 16-19, 2001, pp 707-710.Phoenix, Arizona, USA (Poster session)., Apr. 2001.

João Rodrigues, Hugo Miranda, João Ventura, Luís Rodrigues, “The design of RTAppia”, in in Proceedings of the Sixth IEEE International Workshop on Object-oriented Real-Time Dependable Systems, Rome, 8-10 January 2001., Jan. 2001.

Hugo Miranda, Miguel Antunes, Luís Rodrigues, António Rito Silva, “Group Communication Support for Dependable Multi-User Object Oriented Environments”, in in Proceedings of the International SRDS Workshop on Dependable System Middleware and Group Communication (DSMGC 2000), in conjunction with the 19th IEEE Symposium on Reliable Distributed Systems, Nurnberg, Germany, October 2000., Oct. 2000.

Hugo Miranda, Luís Rodrigues, “Flexible Communication Support for CSCW Applications”, in 5th International Workshop on Groupware, Cacún, México, September 22-24, 1999, Sept. 1999.

Hugo Miranda, Luís Rodrigues, “Communication support for multiple QoS requirements”, in 3rd European Research Seminar on Advances in Distributed Systems (ERSADS'99), Madeira Island, Portugal, April 23-28, 1999, Apr. 1999.

Faculty members	Alan Oliveira, Alysson Bessani, Ana Respício, António Casimiro, Bernardo Ferreira, Ibéria Medeiros, José Cecílio, Nuno Ferreira Neves, Pedro M. Ferreira, Vinicius Vielmo Cogo
Post-doc researchers	David Matos
PhD students	Adriano Mão de Ferro, AdrianoSerckumecka, Allan Espíndola, Ana Fidalgo, Carlos Mão de Ferro, Fernando Alves, Joel Samper, Miracle Aniakor, Nuno Dionísio, Paulo Antunes, Regivaldo Costa, Robin Vassantlal, Rohit Kumar, Samaneh Shafee, Žygimantas Jasiūnas
Hired researchers	(none)
MSc students	Alexandre Nascimento, André Gil, Bruno Matos, David Silva, Diogo Avelãs, Diogo Duarte, Diogo Pires, Diogo Ferreira, Frederico Apolónia, Gonçalo Reis, Inês Sousa, João Loureiro, João Queimado, João Silva, João Valente, Lívio Rodrigues, Miguel Oliveira, Pedro Alves, Pedro Rosa, Rafael Ramires … further results
Undergraduate students	(none)
Management	(none)