???global.info.a_carregar???
HUGO ALEXANDRE TAVARES MIRANDA. got his PhD in 2007 by Universidade de Lisboa, He is an associate professor at the Faculdade de Ciências da Universidade de Lisboa, (FCUL) where he teaches courses on Middleware and IT management. His research interests include middleware for mobile ad hoc networks, fog/edge computing and protocol composition frameworks. He authored or co-authored 40+ papers on these subjects and was a co-editor of the Middleware for Network Eccentric Mobile Ad Hoc Networks, published by Springer. Since 2007, Hugo is an integrated researcher of LASIGE, currently integrating the Cyber-Physical Systems research line. Hugo is currently serving as a vice-dean of FCUL, in charge of the IT administration team.
Identificação

Identificação pessoal

Nome completo
HUGO ALEXANDRE TAVARES MIRANDA

Nomes de citação

  • MIRANDA, HUGO
  • Hugo Miranda
  • H Miranda

Identificadores de autor

Ciência ID
8B1A-2030-1BD2
ORCID iD
0000-0002-5899-9676
Google Scholar ID
hywVBUIAAAAJ
Researcher Id
H-5175-2012
Scopus Author Id
23393046200

Endereços de correio eletrónico

  • hamiranda@ciencias.ulisboa.pt (Profissional)

Moradas

  • Faculdade de Ciências da Universidade de Lisboa - Departamento de Informática - Edif C6 - Piso 3, 1749-016, LISBOA, Lisboa, Portugal (Profissional)

Websites

  • ciencias.ulisboa.pt/perfil/hamiranda (Profissional)

Domínios de atuação

  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática - Engenharia de Comunicações e de Sistemas

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador independente (B1) Utilizador proficiente (C1) Utilizador independente (B1) Utilizador independente (B1)
Formação
Grau Classificação
2007
Concluído
Informática (Doutoramento)
Especialização em Especialidade: Engenharia Informática
Universidade de Lisboa, Portugal
"Gossip-based Data Distribution in Mobile Adhoc Networks" (TESE/DISSERTAÇÃO)
Muito bom com distinção e Louvor
2001
Concluído
Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
"Plataforma de suporte ao desenvolvimento e composição de malhas de protocolos" (TESE/DISSERTAÇÃO)
Muito Bom
1998
Concluído
Informática (Licenciatura)
Universidade de Lisboa Faculdade de Ciências, Portugal
16
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento
Empregador
2020/09/08 - Atual Professor Associado (Docente Universitário) Universidade de Lisboa Faculdade de Ciências, Portugal
2007/10/10 - 2020/09/07 Professor Auxiliar (Docente Universitário) Universidade de Lisboa Faculdade de Ciências, Portugal
2001/05/01 - 2007/10/09 Assistente (Docente Universitário) Universidade de Lisboa Faculdade de Ciências, Portugal
1999/01/01 - 2001/05/01 Assistente Estagiário (Docente Universitário) Universidade de Lisboa Faculdade de Ciências, Portugal

Cargos e Funções

Categoria Profissional
Instituição de acolhimento
Empregador
2018/04 - Atual Subdirector de Unidade Orgânica Universidade de Lisboa Faculdade de Ciências, Portugal
Universidade de Lisboa Faculdade de Ciências, Portugal
2008 - 2010 Dirigente de laboratório, instituto, museu, centro ou observatório Universidade de Lisboa Faculdade de Ciências, Portugal
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Projetos

Bolsa

Designação Financiadores
2010/01 - 2013/06 PATI - IoT-Aware business Processes Fundação para a Ciência e a Tecnologia, I.P.
2008/01 - 2010/12 Redico: Dynamic Reconfiguration of Communication Protocols Fundação para a Ciência e a Tecnologia, I.P.
2005/07 - 2008/06 P-SON: Probabilistically-Structured Overlay Networks Fundação para a Ciência e a Tecnologia, I.P.
2005/05 - 2008/06 MICAS, MIddleware for Context-aware and Adaptive Systems Fundação para a Ciência e a Tecnologia, I.P.

Projeto

Designação Financiadores
2018/11/01 - 2019/12/31 Abyss: Autonomic Byzantine Fault-Tolerant Systems
PTDC/EEI-SCR/1741/2014
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2016 - 2018 DoIT - Descentralização e otimização de processos de negócio dependentes da Internet das coisas
PTDC/EEI-ESS/5863/2014
Fundação para a Ciência e a Tecnologia
2016 - 2018 Abyss - Sistemas Autonómicos Tolerantes a Falhas Maliciosas
PTDC/EEI- ESS/5863/2014
Fundação para a Ciência e a Tecnologia
2010/01/01 - 2013/06/30 PATI - Processos de negócio dependentes da IoT
PTDC/EIA-EIA/103751/2008
Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal

LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2008 - 2008 P-SON: Redes Sobrepostas com Estrutura Probabilista
POSC/EIA/60941/2004
Universidade do Minho, Portugal

Universidade do Minho Centro ALGORITMI, Portugal

Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2001 - 2003 MOOSCo: Multi-user Object-Oriented environ- ments with Separation of Concerns
POSI/CHS/33127/99
Fundação para a Ciência e a Tecnologia
2000 - 2002 GLOBDATA: An Efficient Software Tool for Global Data Access
IST-1999-20997
European Commission
1999 - 2001 TOPCOM: Topology-Aware Reliable Group Commu- nication in Geographically Large-Scale Systems
PRAXIS/P/EEI/12202/1998
Fundação para a Ciência e a Tecnologia
Produções

Publicações

Artigo em conferência
  1. "Applicability of Lightweight Groups to Fog Computing Systems". 2021.
    10.1109/wimob52687.2021.9606414
  2. "State Deployment in Fog Computing". 2020.
    10.1145/3448891.3448955
  3. MIRANDA, HUGO. "Support of Strong Consistency on Fog Applications". 2019.
    10.1145/3301419.3323969
  4. Lima, D.; Miranda, H.; Taiani, F.. "Weighting Past on the Geo-Aware State Deployment Problem". 2018.
    10.1109/WoWMoM.2018.8449808
  5. Diogo Lima; Hugo Miranda; Francois Taiani; Lima, D.; Miranda, H.; Taiani, F.. "Simulation of partial replication in Distributed Transactional Memory". 2017.
    10.1109/wd.2017.7918115
  6. Vilaça, X.; Rodrigues, L.; Silva, J.; Miranda, H.. "Fastrank: Practical lightweight tolerance to rational behaviour in edge assisted streaming". 2017.
    10.1145/3007748.3007750
  7. Silva, J.; Vilaca, X.; Miranda, H.; Rodrigues, L.; Joao Silva; Xavier Vilaca; Hugo Miranda; Luis Rodrigues. "Efficient Free-Rider Detection Using Symmetric Overlays". 2016.
    10.1109/ICDCS.2016.17
  8. Silva, J.; Vilaça, X.; Miranda, H.; Rodrigues, L.. "Efficient free-rider detection using symmetric overlays". 2016.
    10.1109/NCA.2015.21
  9. Lima, D.; Miranda, H.; Taïani, F.. "Partial Replication Policies for Dynamic Distributed Transactional Memory in Edge Clouds". 2016.
    10.1145/3017116.3022872
  10. Lima, Rui Alberto Madeira Macedo; Baquero, Carlos; Miranda, Hugo; Lima, R.; Baquero, C.; Miranda, H.. "Adaptive broadcast cancellation query mechanism for unstructured networks". 2016.
    10.1109/NGMAST.2015.41
  11. Cruz, Nuno; Miranda, Hugo; Cruz, N.; Miranda, H.. "Recurring contact opportunities within groups of devices". 2015.
    10.4108/icst.mobiquitous.2015.260048
  12. Cruz, N.; Miranda, H.. "MobIPLity: A trace-based mobility scenario generator for mobile applications". 2014.
    10.4108/icst.mobiquitous.2014.257986
  13. Lima, D.; Miranda, H.; Taïani, F.. "Towards a new model for cyber foraging". 2014.
    10.1145/2677017.2677023
  14. Cruz, N.; Miranda, H.; Ribeiro, P.. "The evolution of user mobility on the eduroam network". 2014.
    10.1109/PerComW.2014.6815212
  15. Yann Busnel; Nuno Cruz; Denis Gillet; Adrian Holzer; Hugo Miranda; Busnel, Y.; Cruz, N.; et al. "Reinventing Mobile Community Computing and Communication". 2013.
    10.1109/trustcom.2013.175
  16. Cruz, N.; Miranda, H.. "A hybrid trust and trade service for mobile collaborative computing". 2013.
    10.1109/NGMAST.2013.10
  17. Lima, R.; Baquero, Carlos; Miranda, Hugo; Lima, Rui. "Broadcast cancellation in search mechanisms". 2013.
    10.1145/2480362.2480467
  18. MIRANDA, HUGO. "PAMPA in the wild". 2012.
    10.1145/2405167.2405170
  19. Lima, D.; Miranda, H.. "Flow-aware broadcasting algorithm". 2012.
    10.1109/TrustCom.2012.162
  20. Schnitzer, S.; Miranda, H.; Koldehofe, B.. "Content routing algorithms to support Publish/Subscribe in Mobile Ad Hoc Networks". 2012.
    10.1109/LCNW.2012.6424043
  21. Reis, Diogo; Miranda, Hugo. "FTRMI". 2012.
    10.1145/2245276.2245374
  22. Lima, Rui; Baquero, Carlos; Miranda, Hugo. "Stopping ongoing broadcasts in large MANETs". 2012.
    10.1145/2222436.2222440
  23. Matos, J.; Miranda, H.. "Contribution of broadcast algorithms to reactive Ad Hoc routing". 2011.
    10.1109/NGMAST.2011.28
  24. Mocito, J.; Denysyuk, O.; Rodrigues, L.; Miranda, H.. "Topology stability-aware multicast protocol for MANETs". 2011.
    10.1109/LCN.2011.6115305
  25. Reis, D.; Miranda, H.. "A framework for transparent active replication in remote method invocation". 2011.
    10.1109/NCA.2011.47
  26. MIRANDA, HUGO. "Communication and coordination support in ad hoc networks for emergency management scenarios". 2010.
    10.1145/1815396.1815512
  27. Alves, S.; Koldehofe, B.; Miranda, H.; Taiani, F.. "Design of a backup network for catastrophe scenarios". 2009.
    10.1145/1582379.1582512
  28. Ellis, Carl; Miranda, Hugo; Taïani, François. "Count on me". 2009.
    10.1145/1657127.1657129
  29. Mocito, José; Briones-García, J. Alfonso; Koldehofe, Boris; Miranda, Hugo; Rodrigues, Luís. "Geographical distribution of subscriptions for content-based publish/subscribe in MANETs". 2008.
    10.1145/1462735.1462764
  30. Costa, Paolo; Gavidia, Daniela; Koldehofe, Boris; Miranda, Hugo; Musolesi, Mirco; Riva, Oriana. "When cars start gossiping". 2008.
    10.1145/1435467.1435468
  31. Ellis, Carl; Miranda, Hugo; Taïani, François. "Tailoring a broadcast algorithm to particular network conditions". 2008.
    10.1145/1435467.1435472
  32. Costa, P.; Gavidia, D.; Koldehofe, B.; Miranda, H.; Musolesi, M.; Riva, O.. "When cars start gossiping". 2008.
  33. Ellis, C.; Miranda, H.; Taïani, F.. "Tailoring a broadcast algorithm to particular network conditions". 2008.
  34. Miranda, H.; Leggio, S.; Rodrigues, L.; Raatikainen, K.. "An algorithm for dissemination and retrieval of information in wireless ad hoc networks". 2007.
  35. Hugo Miranda; Simone Leggio; Luis Rodrigues; Kimmo Raatikainen. "A Power-Aware Broadcasting Algorithm". 2006.
    10.1109/pimrc.2006.254191
  36. Hugo Miranda; Luis Rodrigues. "A Framework to Provide Anonymity in Reputation Systems". 2006.
    10.1109/mobiqw.2006.361723
  37. Leggio, S.; Miranda, H.; Raatikainen, K.; Rodrigues, L.; Simone Leggio; Hugo Miranda; Kimmo Raatikainen; Luis Rodrigues. "SIPCache: A distributed SIP location service for mobile ad-hoc networks". 2006.
    10.1109/MOBIQW.2006.361724
  38. Miranda, H.; Rodrigues, L.. "A framework to provide anonymity in reputation systems". 2006.
    10.1109/MOBIQ.2006.340391
  39. Miranda, H.; Leggio, S.; Rodrigues, L.; Raatikainen, K.. "A power-aware broadcasting algorithm". 2006.
    10.1109/PIMRC.2006.254191
  40. Miranda, H.; Rodrigues, L.. "Friends and foes: Preventing selfishness in open mobile ad hoc networks". 2003.
    10.1109/ICDCSW.2003.1203592
  41. Teixeira, S.; Vicente, P.; Pinto, A.; Miranda, H.; Rodrigues, L.; Martins, J.; Rito-Silva, A.. "Configuring the communication middleware to support multi-user object-oriented environments". Trabalho apresentado em 10th Int. Conference on Cooperative Information Systems, CoopIS 2002, Jointly with the 4th Int. Symp. on, DOA 2002 and the 1st Int. Conf. on Ontologies, Databases, and Applications of Semantics for Large-Scale Information Systems, ODBASE 2002, 2002.
  42. Antunes, M.; Miranda, H.; Silva, A.R.; Rodrigues, L.; Martins, J.. "Separating replication from distributed communication: Problems and solutions". 2001.
    10.1109/CDCS.2001.918693
  43. Rodrigues, J.; Miranda, H.; Ventura, J.; Rodrigues, L.. "The design of RT-Appia". 2001.
  44. Miranda, H.; Pinto, A.; Rodrigues, L.. "Appia, a flexible protocol kernel supporting multiple coordinated channels". 2001.
  45. Pedro Vicente; Hugo Miranda; Luís Rodrigues. "Protocolo Híbrido de Ordem Total Uniforme com entrega Optimista". 2001.
  46. Miranda, H.; Rodrigues, L.. "Balancing configurability and efficiency in network support tools". 2000.
    10.1145/566726.566771
  47. Miranda, H.; Rodrigues, L.. "Flexible communication support for CSCW applications". 1999.
    10.1109/SPIRE.1999.796612
Artigo em revista
  1. Lima, Diogo; Miranda, Hugo. "A geographical-aware state deployment service for Fog Computing". Computer Networks 216 (2022): 109208. http://dx.doi.org/10.1016/j.comnet.2022.109208.
    Acesso aberto • Publicado • 10.1016/j.comnet.2022.109208
  2. Nuno Cruz; Hugo Miranda. "Recurring Contacts between Groups of Devices: Analysis and Application". IEEE Transactions on Mobile Computing (2018): 1-1. https://doi.org/10.1109/TMC.2017.2722408.
    10.1109/TMC.2017.2722408
  3. Xavier Vilaça; Luís Rodrigues; João Silva; Hugo Miranda; Gustavo Correia; Tiago Maurício. "FastRank: Practical lightweight tolerance to rational behavior in edge assisted streaming". Pervasive and Mobile Computing 46 (2018): 18-33. https://doi.org/10.1016/j.pmcj.2018.02.005.
    10.1016/j.pmcj.2018.02.005
  4. Cruz, Nuno; Miranda, Hugo. "Recurring contacts between groups of devices: analysis and application". (2017): http://hdl.handle.net/10400.21/7608.
    10.1109/TMC.2017.2722408
  5. Nuno Cruz; Hugo Miranda. "MobIPLity: A trace-based mobility scenario generator for mobile applications". ICST Transactions on Ubiquitous Environments 2 5 (2015): e2-e2. https://doi.org/10.4108%2Fue.2.5.e2.
    10.4108/ue.2.5.e2
  6. Winstanley, C.; Ramdhany, R.; Taïani, F.; Porter, B.; Miranda, H.. "PAMPA in the wild: A real-life evaluation of a lightweight ad-hoc broadcasting family". Journal of Internet Services and Applications 5 1 (2014): http://www.scopus.com/inward/record.url?eid=2-s2.0-84899419038&partnerID=MN8TOARS.
    10.1186/1869-0238-5-5
  7. Cruz, Nuno; Miranda, Hugo; Ribeiro, Pedro António Marques. "The evolution of user mobility on the Eduroam network". (2014): http://hdl.handle.net/10400.21/4837.
    10.1109/PerComW.2014.6815212
  8. Reis, Diogo; Miranda, Hugo. "Transparently increasing RMI fault tolerance". ACM SIGAPP Applied Computing Review 12 2 (2012): 18-26. http://dx.doi.org/10.1145/2340416.2340418.
    10.1145/2340416.2340418
  9. Miranda, H.; Rodrigues, L.; Miranda, Hugo; Rodrigues, Luis. "Reputation in anonymous vehicular networks". International Journal of Autonomous and Adaptive Communications Systems 3 2 (2010): 178-197. http://www.scopus.com/inward/record.url?eid=2-s2.0-81855206103&partnerID=MN8TOARS.
    10.1504/IJAACS.2010.031090
  10. Miranda, H.; Leggio, S.; Rodrigues, L.; Raatikainen, K.. "An algorithm for dissemination and retrieval of information in wireless ad hoc networks". Concurrency Computation Practice and Experience 21 7 (2009): 889-904. http://www.scopus.com/inward/record.url?eid=2-s2.0-67049100021&partnerID=MN8TOARS.
    10.1002/cpe.1380
  11. João Matos; Hugo Miranda. "Algoritmos de Difusão para Protocolos de Encaminhamento em Redes Ad Hoc sem Fios". (2009): http://hdl.handle.net/10451/14443.
  12. Sérgio Alves; Boris Koldehofe; Hugo Miranda; François Taiani. "Design of a backup network for catastrophe scenarios". (2009): http://hdl.handle.net/10451/15055.
  13. Carl Ellis; Hugo Miranda; François Taïani. "Count on me: lightweight ad-hoc broadcasting in heterogeneous topologies". (2009): http://hdl.handle.net/10451/14754.
  14. Pedro Fonseca; Hugo Miranda. "Improving scalability of Autonomic Systems: The Frequency-Aware Search Approach". (2008): http://hdl.handle.net/10451/14632.
  15. Hugo Miranda. "Data Dissemination in Mobile Ad Hoc Networks". (2008): http://hdl.handle.net/10451/14979.
  16. Carl Ellis; Hugo Miranda; François Taïani. "Tailoring a broadcast algorithm to particular network conditions". (2008): http://hdl.handle.net/10451/14484.
  17. Pedro Fonseca; Hugo Miranda. "FASE: Reaching Scalability in Unstructured P2P Networks Using a Divide and Conquer Strategy". (2008): http://hdl.handle.net/10451/14809.
  18. José Mocito; J. Alfonso Briones-García; Boris Koldehofe; Hugo Miranda; Luís Rodri-gues. "Geographical distribution of subscriptions for content-based publish/subscribe in MANETs,". (2008): http://hdl.handle.net/10451/14986.
  19. Paolo Costa; Daniela Gavidia; Boris Koldehofe; Hugo Miranda; Mirco Musolesi; Oriana Riva. "When cars start gossiping". (2008): http://hdl.handle.net/10451/14416.
  20. Weatherspoon, Hakim; Miranda, Hugo; Iwanicki, Konrad; Ghodsi, Ali; Busnel, Yann; Hakim Weatherspoon; Hugo Miranda; et al. "Gossiping over storage systems is practical". ACM SIGOPS Operating Systems Review 41 5 (2007): 75-75. http://dx.doi.org/10.1145/1317379.1317391.
    10.1145/1317379.1317391
  21. Hugo Miranda; Simone Leggio; Luís Rodrigues; Kimmo Raatikainen. "An Algorithm for Dissemination and Retrieval of Information in Wireless Ad Hoc Networks". (2007): http://hdl.handle.net/10451/14711.
  22. Mocito, Jose; Rosa, Liliana; Almeida, Nuno; Miranda, Hugo; Rodrigues, Luis; Lopes, Antonia. "Context adaptation of the communication stack". International Journal of Parallel, Emergent and Distributed Systems 21 3 (2006): 169-181. http://dx.doi.org/10.1080/17445760500356098.
    10.1080/17445760500356098
  23. Hugo Miranda; Luís Rodrigues. "Using a Fairness Monitoring Service to Improve Load-Balancing in DSR". (2005): http://hdl.handle.net/10451/14468.
  24. José Mocito; Liliana Rosa. N. Almeida; Hugo Miranda; Luís Rodrigues; Antónia Lopes. "Context Adaptation of the Communication Stack". (2005): http://hdl.handle.net/10451/14519.
  25. Hugo Miranda; Luís Rodrigues. "Friends and Foes: Preventing Selfishness in Open Mobile Ad Hoc Networks". (2003): http://hdl.handle.net/10451/14412.
  26. Rodrigues, L.; Miranda, H.; Almeida, R.; Martins, J.; Vicente, P.. "The GlobData fault-tolerant replicated distributed object database". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2510 (2002): 426-433. http://www.scopus.com/inward/record.url?eid=2-s2.0-84896971106&partnerID=MN8TOARS.
  27. Sandra Teixeira; Pedro Vicente; Alexandre Pinto; Hugo Miranda; Luis Rodrigues; Jorge Martins; Rito Silva. "Configuração do Suporte de Comunicação em Ambientes Multi-Utilizador Orientados aos Objectos". (2002): http://hdl.handle.net/10451/14951.
  28. Maria João Monteiro; Sandra Teixeira; Hugo Miranda; Luís Rodrigues. "Um serviço de replicação transparente de servidores CORBA utilizando sincronia virtual". (2001): http://hdl.handle.net/10451/14431.
  29. João Martins; Ricardo Almeida; Hugo Miranda; Luís Rodrigues. "Coerência num sistema transaccional de replicação de objectos em grande-escala". (2001): http://hdl.handle.net/10451/14749.
Capítulo de livro
  1. Miranda, H.; Leggio, S.; Rodrigues, L.; Raatikainen, K.. "Epidemic dissemination for probabilistic data storage". 2012.
  2. Roy Friedman; Anne-Marie Kermarrec; Hugo Miranda; Luís Rodrigues. "Gossip-Based Dissemination". Middleware for Network Eccentric and Mobile Applications, 2009.
  3. Filipe Araujo; Hugo Miranda. "Ad Hoc Routing". Middleware for Network Eccentric and Mobile Applications, 2009.
Livro
  1. MIRANDA, HUGO; Benoît Garbinato; Hugo Miranda; Luís Rodrigues. Middleware for Network Eccentric and Mobile Applications. Springer-Verlag. 2009.
    10.1007/978-3-540-89707-1_8
Relatório
  1. Fonseca, Pedro; Miranda, Hugo. 2008. Reaching Scalability in Unstructured P2P Networks Using a Divide and Conquer Strategy. http://hdl.handle.net/10451/14150.
  2. Miranda, Hugo; Leggio, Simone; Rodrigues, Luís; Raatikainen, Kimmo. 2006. A Power-Aware Broadcasting Algorithm. http://hdl.handle.net/10451/14071.
  3. Miranda, Hugo; Leggio, Simone; Rodrigues, Luís; Raatikainen, Kimmo. 2005. A Stateless Neighbour-Aware Cooperative Caching Protocol for Ad-Hoc Networks. http://hdl.handle.net/10451/14230.
  4. Mocito, José; Rosa, Liliana; Almeida, Nuno; Miranda, Hugo; Rodrigues, Luís; Lopes, Antónia. 2005. Context Adaptation of the Communication Stack. http://hdl.handle.net/10451/14265.
  5. Mocito, José; Rosa, Liliana; Almeida, Nuno; Miranda, Hugo; Rodrigues, Luís. 2004. Adaptação ao Contexto em Sistemas de Comunicação Heterogéneos. http://hdl.handle.net/10451/14268.
  6. Teixeira, Sandra; Vicente, Pedro; Pinto, Alexandre; Miranda, Hugo; Rodrigues, Luís; Martins, Jorge; Silva, Rito. 2002. Configuração do Suporte de Comunicação em Ambientes Multi-Utilizador Orientados aos Objectos. http://hdl.handle.net/10451/14252.
  7. Armstrong, J.; Cachin, C.; Correia, Miguel; Costa, A.; Miranda, Hugo; Neves, Nuno Ferreira; Neves, Nuno M.; et al. 2002. Complete Specification of APIs and Protocols for the MAFTIA Middleware. http://hdl.handle.net/10451/14207.
  8. Monteiro, M. João; Teixeira, Sandra; Miranda, Hugo; Rodrigues, Luís. 2001. Um serviço de replicação transparente de servidores CORBA utilizando sincronia virtual. http://hdl.handle.net/10451/14081.
  9. Armstrong, J.; Cachin, C.; Correia, Miguel; Costa, A.; Miranda, Hugo; Neves, Nuno Ferreira; Neves, Nuno M.; et al. 2001. First Specification of APIs and Protocols for the MAFTIA Middleware. http://hdl.handle.net/10451/14072.
  10. Vicente, Pedro; Miranda, Hugo; Rodrigues, Luís. 2001. Protocolo Híbrido de Ordem Total Uniforme com entrega Optimista. http://hdl.handle.net/10451/14151.
  11. Martins, João; Almeida, Ricardo; Miranda, Hugo; Rodrigues, Luís. 2001. Coerência num sistema transaccional de replicação de objectos em grande-escala. http://hdl.handle.net/10451/14257.
Tese / Dissertação
  1. Almeida, José Miguel Coutinho Marques de. "Sistema de Análise e Gestão de Vulnerabilidades: Implementação numa Instituição Bancária". Mestrado, 2019. http://hdl.handle.net/10451/41682.
  2. Correia, Gustavo dos Santos. "Resource savings in delay tolerant networks". Mestrado, 2018. http://hdl.handle.net/10451/36260.
  3. Maurício, Tiago Luís Calha. "Controlador de redes em código aberto". Mestrado, 2018. http://hdl.handle.net/10451/35316.
  4. Lima, Rui Manuel Dias Ferreira. "Broadcast cancellation in unstructured networks". Doutoramento, 2018. http://hdl.handle.net/1822/55772.
  5. Calado, João Paulo da Costa. "Open source IDS/IPS in a production environment: comparing, assessing and implementing". Mestrado, 2018. http://hdl.handle.net/10451/35418.
  6. Chipongue, Raimundo Henrique da Silva. "Indicadores de segurança em plataformas de monitorização". Mestrado, 2017. http://hdl.handle.net/10451/31731.
  7. Matias, João Filipe Santos. "Revisão da organização da infraestrutura de rede de ciências". Mestrado, 2016. http://hdl.handle.net/10451/26347.
  8. Jeichande, Dauto Ussene. "Redundant firewalls for web applications". Mestrado, 2016. http://hdl.handle.net/10451/24916.
  9. Cruz, Nuno Miguel Machado, 1978-. "Mobile collaborative cloudless computing". Doutoramento, 2015. http://hdl.handle.net/10451/20210.
  10. Soares, Francisco Guedes Lebre Bruno. "Integração de plataformas de apoio à aprendizagem com os sistemas de informação académicos da Universidade de Lisboa". Mestrado, 2014. http://hdl.handle.net/10451/15853.
  11. Pereira, Susana Bela Vinhas. "Integração de Ubuntu Linux em ambientes Microsoft". Mestrado, 2013. http://hdl.handle.net/10451/10325.
  12. Lima, Diogo Moutinho Saraiva. "Algoritmos de difusão cientes da topologia em redes não infraestruturadas". Mestrado, 2012. http://hdl.handle.net/10451/8465.
  13. Reis, Diogo André Mota dos. "FTRMI: plataforma transparente tolerante a faltas para invocações remotas". Mestrado, 2012. http://hdl.handle.net/10451/9328.
  14. Ludovico, João Luís Lopes. "Um algoritmo de difusão para redes sem fios não infraestruturadas". Mestrado, 2011. http://hdl.handle.net/10451/13899.
  15. Xavier, Pedro Miguel Correia. "Suporte à reconfiguração dinâmica de composições de serviços". Mestrado, 2010. http://hdl.handle.net/10451/9125.
  16. Xavier, Pedro Miguel Correia. "SUPORTE À RECONFIGURAÇÃO DINÂMICA DE COMPOSIÇÕES DE SERVIÇOS". Mestrado, 2010. http://hdl.handle.net/10451/14043.
  17. Mascarenhas, Ricardo Samuel da Silva. "DISSEMINAÇÃO DE DADOS EM REDES DE SENSORES". Mestrado, 2010. http://hdl.handle.net/10451/13880.
  18. Mascarenhas, Ricardo Samuel da Silva. "Disseminação de dados em redes de sensores". Mestrado, 2010. http://hdl.handle.net/10451/5497.
  19. Matos, João Pedro Gomes Gouveia de. "Contribuição dos Algoritmos de Difusão para o Desempenho dos Protocolos de Encaminhamento para Redes Ad Hoc Móveis". Mestrado, 2009. http://hdl.handle.net/10451/13871.
  20. Fonseca, Pedro; Fonseca, Pedro Marques. "Search Strategies in Unstructured Overlays". Mestrado, 2008. http://hdl.handle.net/10451/13892.
  21. Duarte, Leonel Martins da Costa. "Portagem da aplicação ODS para Linux". Mestrado, 2008. http://hdl.handle.net/10451/5113.
  22. Morgado, Fernando Manuel Ramos. "DESACTIVAÇÕES DE CLIENTES SONAECOM FIXO". Mestrado, 2008. http://hdl.handle.net/10451/15257.
  23. Miranda, Hugo. "Gossip-Based Data Distribution in Mobile Ad Hoc Networks". Doutoramento, 2007. http://hdl.handle.net/10451/14290.
  24. Miranda, Hugo Alexandre Tavares. "Plataforma de suporte ao desenvolvimento e composição de malhas de protocolos". Mestrado, 2001. http://hdl.handle.net/10451/13975.

Outros

Outra produção
  1. An Algorithm for Dissemination and Retrieval of Information in Wireless Ad Hoc Networks. Lecture Notes in Computer Science. 2007. MIRANDA, HUGO.
    10.1007/978-3-540-74466-5_96
  2. Configuring the Communication Middleware to Support Multi-user Object-Oriented Environments. Lecture Notes in Computer Science. 2002. MIRANDA, HUGO.
    10.1007/3-540-36124-3_62
  3. The GlobData Fault-Tolerant Replicated Distributed Object Database. Lecture Notes in Computer Science. 2002. Rodrigues, Luís; Miranda, Hugo; Almeida, Ricardo; Martins, João; Vicente, Pedro. http://dx.doi.org/10.1007/3-540-36087-5_50.
    10.1007/3-540-36087-5_50
Atividades

Orientação

Título / Tema
Papel desempenhado
Curso (Tipo)
Instituição / Organização
2019 - Atual Single Sign-On 2.0: Autenticação Centralizada e Integração com a Chave Móvel Digital
Orientador
Segurança Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2015 - Atual Cloudlets: a new programming paradigm for smartphones
Orientador
Informática (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
2021 - 2023 Atualização do Portal de Ciências
Orientador
Mestrado em Engenharia Informática (Mestrado)
2019 - 2022 Análise e Correção de Vulnerabilidades na Infraestrutura Tecnológica da FCUL
Orientador
Segurança Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2019/09 - 2020/12 Modelação e implementação de fluxos de trabalho transversais: processos de extensão
Orientador
Engenharia Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2019 - 2019 Sistema de Analise e Gestão de Vulnerabilidades: Implementação numa Instituição Bancária
Orientador
Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2018 - 2018 Controlador de redes em código aberto
Orientador
Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2018 - 2018 Open source IDS/IPS in a production environment: comparing, assessing and implementing
Orientador
Segurança Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2018 - 2018 Resource savings in delay tolerant networks
Orientador
Engenharia Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2011 - 2018 Broadcast cancellation in unstructured networks
Coorientador
Informática (Doutoramento)
Universidade do Minho, Portugal
2017 - 2017 Indicadores de segurança em plataformas de monitorização
Orientador
Segurança Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2016 - 2016 "Modelo de Partilha de Estado para Aplicações Distribuídas Móveis"
Orientador
Informática (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
2016 - 2016 Redundant firewalls for web applications
Orientador
Segurança Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2016 - 2016 Revisão da organização da infraestrutura de rede de Ciências
Orientador
Segurança Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2011 - 2015 Mobile Collaborative Cloudless Computing
Orientador
Informática (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
2014 - 2014 Integração de plataformas de apoio à aprendizagem com os sistemas de informação académicos da Universidade de Lisboa
Orientador
Engenharia Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2013 - 2013 Integração de Ubuntu Linux em ambientes Microsoft
Coorientador
Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2011 - 2012 Algoritmos de difusão cientes da topologia em redes não infraestruturadas
Orientador
Engenharia Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2010 - 2012 FTRMI: Plataforma Transparente Tolerante a Faltas para Invocações Remotas
Orientador
Engenharia Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2010 - 2011 Um Algoritmo de Difusão para Redes Sem Fios Não Infraestruturadas
Orientador
Engenharia Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2009 - 2010 Disseminação de dados em redes de sensores
Orientador
Engenharia Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2008 - 2010 Suporte à Reconfiguração Dinâmica de Composições de Serviços
Orientador
Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2008 - 2009 Contribuição dos Algoritmos de Difusão para o Desempenho dos Protocolos de Encaminhamento para Redes Ad Hoc Móveis
Orientador
Engenharia Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2007 - 2008 Search Strategies in Unstructured Overlays
Orientador
Engenharia Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2007 - 2008 Desactivações de Clientes SONAECOM Fixo
Coorientador
Engenharia Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
2007 - 2008 Portagem da aplicação ODS para Linux
Coorientador
Engenharia Informática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal

Arbitragem científica em conferência

Nome da conferência Local da conferência
2019 - Atual INForum 2019 - Simpósio de Informática
2018 - Atual INForum 2018 - Simpósio de Informática
2017 - Atual INForum 2017 - Simpósio de Informática
2016 - Atual Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2016)
2016 - Atual Second International Conference on Human and Social Analytics (HUSO 2016)
2016 - Atual INForum 2016 - Simpósio de Informática
2015 - Atual First International Symposium on Dependability in Sensor, Cloud, and Big Data Systems and Applications (DependSys2015)
2015 - Atual Ninth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2015)
2015 - Atual Eighth International Conference on Dependability (DEPEND 2015)
2015 - Atual INForum 2015 - Simpósio de Informática
2014 - Atual 5th International Conference on Information Science & Applications (ICISA)
2014 - Atual 8th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM)
2014 - Atual First International Conference on Human and Social Analytics (HUSO 2015)
2014 - Atual INForum 2014 - Simpósio de Informática
2013 - Atual IEEE Symposium on Wireless Technology & Applications (ISWTA)
2013 - Atual International Conference on P2P, Parallel, Grid, Cloud and Internet Computing
2013 - Atual International Conference on IT Convergence and Security (ICITCS 2013)
2013 - Atual Workshop on Planetary Scale Distributed Systems (W-PSDS)
2013 - Atual INForum 2013 - Simpósio de Informática
2012 - Atual 5th Int. Workshop on Architectures, Services, and Applications for the Next Generation Internet (WASA-NGI-V). Collocated with IEEE LCN 2012
2012 - Atual INForum 2012 - Simpósio de Informática
2011 - Atual 4th Int. Workshop on Architectures, Services, and Applications for the Next Generation Internet (WASA-NGI-IV). Collocated with IEEE LCN 2011
2011 - Atual INForum 2011 - Simpósio de Informática
2010 - Atual INForum 2010 - Simpósio de Informática
2009 - Atual IEEE 69th Vehicular Technology Conference (VTC’09 Spring)
2009 - Atual INForum 2009 - Simpósio de Informática
2008 - Atual IEEE 68th Vehicular Technology Conference (VTC’08 Fall)
2008 - Atual International workshop on Middleware for Network Eccentric & Mobile Applications (MiNEMA’08)
2007 - Atual 23rd Annual ACM Symposium on Applied Computing
2006 - Atual 22nd Annual ACM Symposium on Applied Computing
2005 - Atual 21st Annual ACM Symposium on Applied Computing

Arbitragem científica em revista

Nome da revista (ISSN) Editora
2019 - 2019 Ad Hoc Networks (1570-8705) Elsevier
2019 - 2019 IEEE Transactions on Mobile Computing (1558-0660) Institute of Electrical and Electronics Engineers
2012 - 2019 Peer-to-Peer Networking and Applications (1936-6450) Springer-Verlag
2018 - 2018 IEEE Software (1937-4194) Institute of Electrical and Electronics Engineers
2017 - 2017 Computer Networks (1389-1286) Elsevier
2015 - 2017 The Journal of Supercomputing (1573-0484) Springer-Verlag
2016 - 2016 Ad Hoc Networks (1570-8705) Elsevier
2014 - 2015 Simulation Modelling Practice and Theory (1569-190X) Elsevier
2014 - 2015 Computer Networks (1389-1286) Elsevier
2014 - 2014 International Journal of Ad Hoc and Ubiquitous Computing (1743-8233) Inderscience Enterprises Ltd.
2013 - 2013 Wireless Networks (1572-8196) Springer-Verlag
2013 - 2013 JUCS - Journal of Universal Computer Science (0948-6968) Verlag der Technischen Universitat Graz
2012 - 2013 Journal of Systems and Software (0164-1212) Elsevier
2012 - 2012 Journal of Parallel and Distributed Computing (1096-0848) Elsevier
2011 - 2011 European Transactions on Telecommunications (1541-8251) Wiley (John Wiley & Sons)
2010 - 2010 IEEE Transactions on Mobile Computing (1558-0660) Institute of Electrical and Electronics Engineers
2010 - 2010 Computer Communications (0140-3664) Elsevier
2010 - 2010 ETRI Journal (2233-7326) Electronics and Telecommunications Research Institute
2009 - 2009 Future Generation Computer Systems (0167-739X) Elsevier
2008 - 2008 Computer Networks (1389-1286) Elsevier
2007 - 2007 IEEE Transactions on Dependable and Secure Computing (1941-0018) Institute of Electrical and Electronics Engineers

Revisão ad hoc de artigos em revista

Nome da revista (ISSN) Editora
2023 - 2024 Computer Networks (1389-1286) Elsevier
2020 - 2021 Peer-to-Peer Networking and Applications (1936-6442) Springer