rel="stylesheet">
Creating and sharing knowledge in communications and information technology

Applied Mathematics

Theses

Running PhD Theses: 7

Student Supervisor Co-Supervisor Title End date
Komalben Uttambhai Kukadiya Ivan Miguel Serrano Pires Paulo Coelho Resource-Efficient Quantum-Inspired Machine Learning on Edge Devices for Breast Cancer Imaging 12 / 2028
Adelson Fernando Ntyamba Cambinda Silvério Simões Rosa Modelling and Analysis of Complex Systems Using Fractional Differential Equations 9 / 2028
Hanna Vitaliyivna Denysyuk Nuno Manuel Garcia dos Santos Ivan Miguel Serrano Pires Empowering Cardio-Vascular patients' through wearables and smart devices: a 5P Medicine approach 12 / 2026
Raul Barbosa Susana Isabel Barreto Miranda Sargento Petia Georgieva AI-enabled mechanisms to automate 5G networks for mobility infrastructure 12 / 2026
Marianus Magno Seran Bria Ivan Miguel Serrano Pires Frederico Branco Designing a Blockchain-based Framework to Enhance Trust and Security in Marriage Dowry Transactions: A Contextual Study in Timor-Leste 12 / 2026
Rita Pires Soares Ivan Miguel Serrano Pires Frederico Branco Bridging the Digital Divide: A Study on the Feasibility of Smart and Sustainable University Integration in Timor-Leste 12 / 2026
Mojgan Ghanbari Pedro Nicolau Faria da Fonseca Amaro Fernandes de Sousa Cooperation strategies in dynamic wireless charging of mobile service robots for “always-on” operation 9 / 2026

Running MSc Theses: 7

Student Supervisor Co-Supervisor Title End date
José Tiago Fernandes Moniz Guilherme Henrique Cacador Ramos Sérgio Pequito Accelerating Average Consensus in Dynamical Networks Without Compromising Accuracy, Privacy or Resilience 12 / 2026
Luis Pimenta Ivan Miguel Serrano Pires Frederico Branco Methods of Data Analysis for Y Balance Test Results 10 / 2026
Francisco Lourenço Silva Filipe Alexandre Pedra Aguiar de Moura Spectroscopy of accelerating black holes 8 / 2026
Oskar Manuel Borgvall González Filipe Alexandre Pedra Aguiar de Moura Superradiance in Einstein-Gauss-Bonnet gravity with Born-Infeld electrodynamics 8 / 2026
Diego Estuardo Sánchez Vásquez Chrysoula Vlachou Paulo Alexandre Carreira Mateus Quantum physical uncloneable functions for secure multi-party computation 7 / 2026
Nuno André Parreira Honrado Ivan Miguel Serrano Pires Filipe Madeira Desenvolvimento de uma Plataforma para Predição de Lesões: Identificação Precoce de Fatores de Risco e Prevenção de lesões em Atletas 7 / 2026
João Luís Ribeiro Martins Ivan Miguel Serrano Pires Paulo Coelho Intelligent Segmentation of Skin Lesions for Early Melanoma Prediction 7 / 2026

Completed PhD Theses: 39

Student Supervisor Co-Supervisor Title End date
Nuno Miguel da Silva Sabino Pedro Miguel dos Santos Alves Madeira Adão Rui Abreu Improving Code-Injection Vulnerability Detection and Confirmation in JS Programs 12 / 2025
Manuel Maria Trigueiros Sampaio Batalha dos Santos Paulo Alexandre Carreira Mateus Armando Humberto Moreira Nolasco Pinto Quantum Private Data Mining 1 / 2025
Fábio Daniel Lopes Coutinho Arnaldo da Silva Rodrigues de Oliveira Petia Georgieva Deep Learning-based Channel Estimation for the 5G+ Physical Layer 12 / 2024
Pedro de Melo Branco Paulo Alexandre Carreira Mateus Reducing the Communication in Secure Computation 10 / 2023
Abrantes Malaquias Belo Caiúve Celino José Martins Miguel Identidades do tipo Menon relaticas a subconjuntos de unidades 10 / 2023
Pedro Gonçalo Godinho Filipe Carlos Manuel Costa Lourenco Caleiro Sérgio Roseiro Teles Marcelino Computability of logical problems associated to partial non-deterministic matrices 11 / 2022
Mariana Ferreira Ramos Armando Humberto Moreira Nolasco Pinto Nuno Alexandre Peixoto Silva Quantum Oblivious Key Distribution 5 / 2022
Ricardo André Faleiro Miguel Paulo Alexandre Carreira Mateus Nikola Paunkovic Nonlocality and Contextuality: Concepts and Applications in Quantum Information 3 / 2022
Mariano José Lemus Hernández Paulo Alexandre Carreira Mateus Nikola Paunkovic Asymmetric Quantum Cryptography and Multipartite Correlations 3 / 2022
Riccardo Gozzi João Filipe Quintas dos Santos Rasga Daniel da Silva Graça Analog Characterization of Complexity Classes 2 / 2022
Fábio Daniel Moreira Barbosa Amaro Fernandes de Sousa Agostinho Miguel Mendes Agra Disaster-resilient Network Design and Resource Management of Elastic Optical Networks 1 / 2022
Serena Di Giorgio Paulo Alexandre Carreira Mateus Bruno Miguel Santos Mera On the efficiency of recovering density operators from direct quantum correlations via Jaynes principle 12 / 2020
Preeti Yadav Paulo Alexandre Carreira Mateus André Nuno Carvalho Souto Practical Quantum Privacy Protocols 12 / 2020
Nuno Lopes Martins Fernando Manuel Lourenço Martins Um modelo de prática pedagógica de articulação entre conteúdo, pedagogia e tecnologia na formação inicial de professores 2 / 2020
Cláudia Sofia Marques Fernandes Fernando Manuel Lourenço Martins Virgilio Rato Conhecimento Estatístico para Ensinar de uma Professora Estagiária a partir da análise das suas práticas relacionadas com a promoção da literacia estatística 5 / 2019
Guilherme Henrique Cacador Ramos Carlos Manuel Costa Lourenco Caleiro Improving information security in ranking, recommender and control systems 11 / 2018
Filipe Manuel Rodrigues Casal João Filipe Quintas dos Santos Rasga Combining Satisfiability Procedures and Probabilistic Satisfiability 9 / 2018
Chrysoula Vlachou Paulo Alexandre Carreira Mateus Nikola Paunkovic Quantum walks in cryptography and finite-temperature topological phase transitions 9 / 2018
Luís Miguel Lopes de Oliveira Joel José Puga Coelho Rodrigues Amaro Fernandes de Sousa Routing and Mobility on 6LoWPAN Wireless Sensor Networks 6 / 2018
Ricardo Loura Paulo Alexandre Carreira Mateus Vítor Rocha Vieira Quantum Adiabatic Computation 4 / 2017
Andreia Filipa Torcato Mordido Carlos Manuel Costa Lourenco Caleiro A probabilistic logic over equations and domain restrictions 3 / 2017
João Paulo do Amaral de Jesus Rodrigues Paulo Alexandre Carreira Mateus Nikola Paunkovic Quantum oblivious transfer 3 / 2017
David João Barros Henriques Paulo Alexandre Carreira Mateus Formal Reasoning About Temporal Properties in Dynamic Stochastic Systems. 9 / 2016
Manuel Biscaia Paulo Alexandre Carreira Mateus Interplay between Probabilistic and Temporal Reasoning 6 / 2016
Amaury Pouly Daniel da Silva Graça Olivier Bournez Continuous-time computation models: from computability to computational complexity 7 / 2015
José Faustino Santos Ana Gualdina Almeida Matos Tamara Rezk Enforcing Secure Information Flow in Client-Side Web Applications 12 / 2014
Bruno José Conchinha Montalto Carlos Manuel Costa Lourenco Caleiro David Basin Equivalence properties and probabilistic reasoning in symbolic security protocol analysis 6 / 2014
Maxime Emile Gamboni Carlos Manuel Costa Lourenco Caleiro António Maria Alarcão Ravara Models and Proof Methods for Information Protection 12 / 2010
Pedro Alexandre Cardoso Baltazar Paulo Alexandre Carreira Mateus Model Checking of Quantum Security Protocols 7 / 2010
S. Rosa Joaquim Joao Alarcao Judice The Eigenvalue Complementarity Problem 10 / 2009
Ricardo João Rodrigues Gonçalves Carlos Manuel Costa Lourenco Caleiro Algebraizability of Quantum Logics 7 / 2008
Luís Filipe Silva Camacho Francisco Miguel Alves Campos de Sousa Dionísio Pedro Lopes Colorings of Knots versus Polynomial Invariants 7 / 2008
P. Tavares Joaquim Joao Alarcao Judice Optimização de Gestão de Lamas de ETAR numa Perspectiva Regional 2 / 2008
Carlos Borges Lopes Amaro Fernandes de Sousa Dimensioning and Resource Management of Multi-Service Networks 11 / 2007
J. M. Patrício Joaquim Joao Alarcao Judice Algoritmos de Pontos Interiores para Problemas Complementares Monótonos e suas Aplicações 4 / 2007
M. C. Brás Joaquim Joao Alarcao Judice Problemas de Programação Matemática com Restrições Lineares de Equilíbrio e Aplicações 4 / 2007
P. Monteiro Joaquim Joao Alarcao Judice Optimization models for filtering in telecommunications 10 / 2006
I. Ribeiro Joaquim Joao Alarcao Judice Global optimization and applications to structural engineering models 2 / 2005
L. M. Fernandes Joaquim Joao Alarcao Judice Analysis of Complementarity Algorithms and Equilibrium Models 7 / 2002

Completed MSc Theses: 112

Student Supervisor Co-Supervisor Title End date
António Oseas Pataca Ivan Miguel Serrano Pires Carlos Albuquerque Utilização de Machine Learning para Previsão de Episódios de Stress Baseado em Dados de Sensores Wearables 12 / 2025
Gonçalo Rodrigues Silva Petia Georgieva Skin Disease Diagnosis with Adversarial Training and Diffusion Models. 09/December/2025, Grade 18. 12 / 2025
Lucas Figueiredo Leitao Guilherme Henrique Cacador Ramos Daniel Silvestre Dissertation 11 / 2025
Martim Nunes Silva Baltazar Guilherme Henrique Cacador Ramos Dissertation 11 / 2025
João Pedro Barbosa Morujão Barros Leite Guilherme Henrique Cacador Ramos David R. Matos Dissertation 11 / 2025
Maykol Stephano da Silva dos Santos Ivan Miguel Serrano Pires Paulo Coelho Análise de movimento de membros inferiores em Ten Meter Walk de pacientes em Fisioterapia 12 / 2024
Diogo Sousa Cruz Alexandra Sofia Martins de Carvalho Paulo Alexandre Carreira Mateus Causal Discovery on Categorical Data with Geometric Complexity 7 / 2024
Mariana Santos Simões Fernando Manuel Lourenço Martins A applet Divisão I da Plataforma Hypatiamat na compreensão dos sentidos da operação aritmética divisão 7 / 2024
Beatriz Medeiros Guiomar Fernando Manuel Lourenço Martins Serious Games da Plataforma Hypatiamat para promover a aritmética mental usando a adição 6 / 2024
João Pedro da Silva Baiense Ivan Miguel Serrano Pires Fernando Jose da Silva Velez Development of a driving healthcare monitoring device 6 / 2024
Mariana Chagas da Cunha Fernando Manuel Lourenço Martins Aprendizagens Matemáticas num contexto envolvendo a Educação Rodoviária e a Robótica Educativa: um cenário de aprendizagem em Educação Pré-Escolar 5 / 2024
Yelitza Freitas Fernando Manuel Lourenço Martins A applet multiplicação da Plataforma Hypatiamat na compreensão dos sentidos da operação aritmética multiplicação 2 / 2024
Pedro Henriques Marques Jan Gunnar Cederquist Ana Gualdina Almeida Matos Leveraging a generic type system of an object-oriented language to enforce security 1 / 2024
Andre Jorge Vinagre Roque Bruno Gabriel Coelho Coutinho Francisco Miguel Alves Campos de Sousa Dionísio Quantum Entanglement Purification using Hashing and Noise Guessing Decoding 12 / 2023
David Emanuel Da Graça Pardal Domingues Miranda Jan Gunnar Cederquist Ana Gualdina Almeida Matos Information Flow Security For a Concurrent Language With Lock-based Synchronization 12 / 2023
A Fernando Pedro Pereira Guiomar Petia Georgieva Computer Vision for Automatic Optical Beam Steering in FSO Systems 12 / 2023
Diogo Emanuel Nascimento Mendonça Miguel Vidal Drummond Petia Georgieva Next-generation 3D object detection and tracking for self-driving vehicles using object velocity 12 / 2023
Bruno Dias Ana Gualdina Almeida Matos Miguel Souto Algorithm to support the extension of the Portuguese continental shelf beyond 200 nautical miles 11 / 2023
Vasco Miguel Marques Pais Cabral Ana Gualdina Almeida Matos Paulo Alexandre Vieira Borges Species distribution modeling in small oceanic islands: A comprehensive methodology A case study in the Azores Archipelago 11 / 2023
Tiago Mamouros Ana Gualdina Almeida Matos Platform for Collaborative Waste Management in an Academic Campus 11 / 2023
Tiago Miguel Imaginário Leitão Ana Gualdina Almeida Matos Signaling Favouritism in Portuguese Local Public Procurement 11 / 2023
Miguel Quinteiro Ribeiro Rui Jorge Morais Tomaz Valadas Amaro Fernandes de Sousa Micro-Services Based Application for Data Center Dimensioning 11 / 2023
Luís Francisco Bernardes Antunes Ana Gualdina Almeida Matos Miguel Souto A data management system for the ROV Luso 6 / 2023
Ana Margarida Martins Gomes Fernando Manuel Lourenço Martins Desenvolvimento da aritmética mental utilizando o jogo SAM da plataforma Hypatiamat 6 / 2023
Carolina de Sousa Rodrigues Fernando Manuel Lourenço Martins Uso da Narração Multimodal na Análise do Conhecimento Didático em Estatística de Professoras Estagiárias Departamento 6 / 2023
Ângela Escaroupa Fernando Manuel Lourenço Martins O uso da applet CalcRapid da plataforma Hypatiamat na promoção do Cálculo Mental 2 / 2023
Leandro Miguel Ferreira Alexandrino Miguel Vidal Drummond Petia Georgieva 3D object detection for self-driving vehicles aided by object velocity 12 / 2022
Alexandru Marian Pena Pedro Miguel dos Santos Alves Madeira Adão Automatic Exploit Generation: A modular approach for vulnerability validation 11 / 2022
Duarte Manuel Coelho dos Santos Pedro Miguel dos Santos Alves Madeira Adão Automatic Patch Generation: Using Safety Properties to Extract Crash Constraints 11 / 2022
Alípio Fernandes Arruda Paulo Sérgio de Brito André Petia Georgieva Awareness of optical network performance with machine learning methods 8 / 2022
Filipa Inês Tavares Vilhena Ana Gualdina Almeida Matos Ana Patrícia Subtil da Graça Freitas Garcia Statistical analysis of semi-natural areas and unsupervised climate clustering for the Alentejo region, Portugal 6 / 2022
Rodrigo Rolim Fialho Nunes de Freitas Ana Gualdina Almeida Matos Visualizing Strengths and Limitations of Semi-Structured Versus Structured Approaches on eBird 5 / 2022
Jorge Cardoso Martins Pedro Miguel dos Santos Alves Madeira Adão HeapDUO: Finding Heap Vulnerabilities in Binary Code 12 / 2021
João Halm Gomes da Costa Pedro Miguel dos Santos Alves Madeira Adão Análise ao Quadro Nacional de Referência de Cibersegurança - Implementação no QNRCS em PMEs 12 / 2021
Xavier Pinto Santos Miguel Vidal Drummond Petia Georgieva Evaluation of data augmentation techniques in 3D object detection for self-driving vehicles 12 / 2021
Frederico Duarte Ramos Pedro Miguel dos Santos Alves Madeira Adão José Faustino Fragoso Femenin dos Santos Toward Tool-Independent Summaries for Symbolic Execution 11 / 2021
Pedro Miguel Sousa Bernardo Pedro Miguel dos Santos Alves Madeira Adão SpecTacle - A platform agnostic analysis tool for detecting Spectre-PHT gadgets in binaries 11 / 2021
Pedro Alexandre Paixão Alves Pedro Miguel dos Santos Alves Madeira Adão MockingPot: Generate and Integrate Honeypots Into Existing Web Applications 11 / 2021
José Armando Marques da Silva Pedro Miguel dos Santos Alves Madeira Adão XS-Leaks protections deployment and Development of a Configurable Fetchmetadata Middleware 11 / 2021
João Carlos Marques Alves Ana Gualdina Almeida Matos Ana Patrícia Subtil da Graça Freitas Garcia Bias in Citizen Science: an application to the BioDiversity4All project 9 / 2021
Guilherme Crespo Rodrigues Antunes Correia Ana Gualdina Almeida Matos The Shape of Collaboration Networks in Citizen Science Projects 9 / 2021
Ana Sofia Ferreira Serra Fernando Manuel Lourenço Martins Uso da Plataforma Hypatiamat e de Artefactos Concretos na Compreensão dos Números Racionais Não Negativos 6 / 2021
Mariana Borges Ramos Dinis Fernando Manuel Lourenço Martins Exploração de conceitos de Geometria e Medida através da Expressão Plástica: Práticas Interdisciplinares no 4.º ano de escolaridade 6 / 2021
Sara Raquel Silva Marques Maria Cecilia dos Santos Rosa Inovação nas Instituições Públicas Locais-Autarquias da Beira e Serra da Estrela 5 / 2021
João Pedro Pires Carrapiço de Almeida Meira Pedro Miguel dos Santos Alves Madeira Adão Structured Behavior Analysis on Encrypted Traffic: Understanding and Detecting Network Attacks 1 / 2021
Pedro Miguel Forjaz de Sampaio Narra de Figueiredo Pedro Miguel dos Santos Alves Madeira Adão Addressing Disinformation With Open-Ended Internet Voting Using Ring Signatures 1 / 2021
Manuel Vítor Dias de Sousa Pedro Miguel dos Santos Alves Madeira Adão XS-Leaks Crutch: Assisted Detection & Exploitation of Cross-Site Leaks 1 / 2021
Nuno Miguel Gião de Alcácer Bombico Pedro Miguel dos Santos Alves Madeira Adão Rui Abreu Griffin: specification-based RASP approach against SQL injections in MySQL 1 / 2021
Nuno Manuel Olival Veloso Pedro Miguel dos Santos Alves Madeira Adão Análise Estática de Smart Contracts 1 / 2021
Rita Neves Rodrigues Fernando Manuel Lourenço Martins O uso do Tabuleiro Decimal na compreensão dos princípios do sistema de numeração decimal e dos sentidos das operações 1 / 2021
João Carlos Vieira Rodrigues Filipe Alexandre Pedra Aguiar de Moura Black holes in string theory: quasinormal modes and greybody factors 11 / 2020
Catarina Joana dos Santos Graça Fernando Manuel Lourenço Martins Propriedades dos ângulos de triângulos: uma experiência de ensino no 5º ano de escolaridade com recurso aos Anglegs Catarina Joana dos Santos Graça Coimbra, 11 / 2020
Beatriz Antunes Costa Fernando Manuel Lourenço Martins A Expressão e Educação Físico-Motora para promover a Educação Financeira: uma experiência de ensino no 3.º ano do 1.º CEB 11 / 2020
Sónia Catarina Palmeirão Bidarra Maria Cecilia dos Santos Rosa PROPOSTA DE AVALIAÇÃO DE ESTRATÉGIAS LOCAIS DE HABITAÇÃO 9 / 2020
Ana Rita Mota Hortênsio Fernando Manuel Lourenço Martins A Influência da Plataforma Hypatiamat na Resolução de Situações Problemáticas Envolvendo a Adição e Subtração 7 / 2020
Pedro José Jorge Barata Nunes Amaro Fernandes de Sousa Upgrade Methods for Improving Availability and Disaster Resilience in Telecommunication Networks 7 / 2020
João Ricardo Sares Teles de Matos Ana Gualdina Almeida Matos Jan Gunnar Cederquist Information Flow Analysis for Logic Programs 6 / 2020
Daniel José Nazaré Madruga Jan Gunnar Cederquist Ana Gualdina Almeida Matos Extension and deployment of an i-voting system 6 / 2020
João de Araujo Correia Neto Lopes Ana Gualdina Almeida Matos Jan Gunnar Cederquist Verification of the back-end of an i-voting system 2 / 2020
João Henrique Fialho Rodrigues Alexandra Sofia Martins de Carvalho Paulo Alexandre Carreira Mateus Time series analysis using restricted Boltzmann machines and dynamic Bayesian networks 12 / 2019
Bernardo Gastão Varanda da Silva Prates Pedro Miguel dos Santos Alves Madeira Adão Paulo Alexandre Carreira Mateus Formal Analysis of Ethereum Virtual Machine Bytecode Patterns 12 / 2019
Maria Saraiva de Campos Mendes Ribeiro Pedro Miguel dos Santos Alves Madeira Adão Paulo Alexandre Carreira Mateus Formal verification of Ethereum smart contracts using Isabelle/HOL 12 / 2019
Francisco Moreira da Silva Rogado Domingues Pedro Miguel dos Santos Alves Madeira Adão Paulo Alexandre Carreira Mateus Model-checking Ethereum smart contracts written in Vyper 12 / 2019
Rodrigo Miguel Corredoura Janota Rato Pedro Miguel dos Santos Alves Madeira Adão SORA - Finding Workflow Violation Attacks in REST APIs 11 / 2019
Nuno Miguel da Silva Sabino Pedro Miguel dos Santos Alves Madeira Adão Automatic Vulnerability Detection: Using Compressed Execution Traces to Guide Symbolic Execution 11 / 2019
Marco da Silva Teles Coelho Pedro Miguel dos Santos Alves Madeira Adão Privacy Guarantees in Geolocation Services 11 / 2019
Sofia Laura Nogueira da Costa Fernando Manuel Lourenço Martins Promoção da Literacia Estatística em contextos Interdisciplinares: uma experiência de ensino no 3.º ano de escolaridade 7 / 2019
Beatriz Abecasis Gomes Ferreira Jan Gunnar Cederquist Ana Gualdina Almeida Matos Resource-Centered Concurrency Control - Proving Type Safety 6 / 2019
Raquel Sofia Delgado dos Santos Fernando Manuel Lourenço Martins O uso do Material Multibásico e das Representações na compreensão do Algoritmo Usual da Subtração 5 / 2019
Ana Maria Peixoto Alegre Marques Fernando Manuel Lourenço Martins A Modelação Matemática como Ambiente de Aprendizagem e o uso do Material Multibásico na Divisão Inteira: uma experiência de ensino no 3.º ano do 1.º CE 10 / 2018
Ricardo Jorge Pratas da Silva Fernando Manuel Lourenço Martins Modelação Matemática Como Ambiente de Aprendizagem: O Uso De Manipulativos Virtuais No Desenvolvimento Dos Sentidos Da Adição E Da Subtração 6 / 2018
João Pedro Carriço Beirão Alexandra Sofia Martins de Carvalho Paulo Alexandre Carreira Mateus Multivariate Correlations for Early Classification 5 / 2018
Margarida Nunes de Almeida Rodrigues de Sousa Alexandra Sofia Martins de Carvalho Mario Alexandre Teles de Figueiredo Advances in Probabilistic Graphical Models 12 / 2017
David António Sacadura de Melo Amaro Fernandes de Sousa Paulo Miguel Nepomuceno Pereira Monteiro Radio over Ethernet (RoE) based Fronthaul 12 / 2017
Rui Pedro Pimentel de Almeida Guerra Alexandra Sofia Martins de Carvalho Paulo Alexandre Carreira Mateus Model Selection for Clustering of Pharmacokinetic Responses with the Minimum Description Length 11 / 2017
Fernando Mário Machado Marques Ana Gualdina Almeida Matos Jan Gunnar Cederquist E-voting, on Fenix 9 / 2017
Soraia Filipa Moreira da Silva Fernando Manuel Lourenço Martins Filipe Manuel Batista Clemente Efeito de jogos lúdico-recreativos de cooperação-oposição no nível de atividade física e nas interações em crianças no 1ºCiclo do Ensino Básico 7 / 2017
Oriana Salomé Marques Ferreira Fernando Manuel Lourenço Martins Filipe Manuel Batista Clemente Efeito de jogos lúdico-recreativos de cooperação no nível da atividade física e nas interações em crianças no 1ºCiclo do Ensino Básico 7 / 2017
Andreia Sofia Pereira dos Santos Fernando Manuel Lourenço Martins Filipe Manuel Batista Clemente Comparação entre jogos de cooperação e jogos de cooperação-oposição ao nível da atividade física e da interação em crianças do 1º Ciclo do Ensino Básico 7 / 2017
Helga Cristina Oliveira Coelho Maria Cecilia dos Santos Rosa Sistema de Gestão de Qualidade: Proposta para a Fundação Aurora Borges 10 / 2016
Bruno Filipe Guia de Sousa Pedro Miguel dos Santos Alves Madeira Adão João Carlos Serrenho Dias Pereira Keyword Based Framework for DLNA Acceptance Testing 11 / 2015
Rafael Vassalo Cortês Pedro Miguel dos Santos Alves Madeira Adão Luís Manuel Antunes Veiga CloudBox: Private, Reliable and Distributed Storage 11 / 2015
Rafael Farias Baltazar Pedro Miguel dos Santos Alves Madeira Adão João Carlos Serrenho Dias Pereira JMLCUTE: Automated JML-Based Unit Test Case Generation 11 / 2015
Miguel Abreu Malafaia Mendes Belo Pedro Miguel dos Santos Alves Madeira Adão Automation of Secrecy Proofs for Security of Protocols 11 / 2015
Tiago Ferreira Grade Dinis Trota Paulo Miguel Nepomuceno Pereira Monteiro Amaro Fernandes de Sousa Design and Optimization of Elastic Optical Networks 12 / 2013
Marco Ribeiro Paulo Miguel Nepomuceno Pereira Monteiro Amaro Fernandes de Sousa Optimization algorithms applied to Optical Transport Networks 12 / 2013
Pedro faria Carlos Eduardo Ramos dos Santos Lourenço Carlos Eduardo Ramos dos Santos Lourenço An Artificial Bidimensional Model for Bursting Behaviour in Neurons 9 / 2013
Manuel Nunes Farinha Correia Rego Pedro Miguel dos Santos Alves Madeira Adão Ricardo Jorge Fernandes Chaves Security and Privacy in Identification and Micro-Payment Systems 11 / 2012
Maria Ana Casal Cunha Pedro Miguel dos Santos Alves Madeira Adão João Carlos Serrenho Dias Pereira Integration and Support for Automatic Generation of Test Cases using AnyTestes Framework 11 / 2012
Anabela Sequeira Damas Amaro Fernandes de Sousa Anibal Manuel de Oliveira Duarte Fiber based Access Networks: Planning and Cost Optimization 12 / 2011
Cristina Sofia Ramos dos Santos Luís Alberto da Silva Cruz Luis Miguel Merca Fernandes Coverage Optimization for 3D RFID-based Location 9 / 2011
João Miguel Barros Silva Mendes Pedro Miguel dos Santos Alves Madeira Adão Electronic Voting 6 / 2011
Elton Pedro Sixpence Pedro Miguel dos Santos Alves Madeira Adão Projecto de implementação de Testes Automatizados para a Aplicacão Web ISUPAC3 no ISUTC 12 / 2010
Jorge Miguel Saavedra dos Santos Oliveira Amaro Fernandes de Sousa Maximum Protection of Telecommunication Networks 12 / 2010
Nuno Gonçalo da Silva Lourenço Amaro Fernandes de Sousa Linux Solution for Backhaul of Mobile Networks using IP/MPLS 12 / 2010
Ana Francisca Carvalho de Almeida Sampaio e Melo Amaro Fernandes de Sousa Traffic Engineering of Ethernet Networks based on Spanning Trees 12 / 2009
João Carlos Cruz Borges Amaro Fernandes de Sousa Experimental Analysis of WiMAX and Meshed Wi-Fi Quality of Service 12 / 2009
Igor Alexandre Almeida Pais Amaro Fernandes de Sousa End User Behaviour and Performance Analysis in 3G Networks 12 / 2009
João Carlos Pereira Santos Amaro Fernandes de Sousa Resource Management of Telecommunication Networks based on Minimum Interference Routing 11 / 2009
Nuno Filipe Oliveira Novo Amaro Fernandes de Sousa Management of IP Multimedia Sessions using IM-SSF 6 / 2009
Pedro Miguel Rocha Matos Amaro Fernandes de Sousa Joaquim João Estrela Ribeiro Silvestre Madeira Traffic Engineering of Ethernet Networks based on PBB-TE 6 / 2009
Gonçalo Pereira Amaro Fernandes de Sousa Optimization Tool for Video on Demand Server Placement 12 / 2008
Lidia Elena da Costa dos Reis Paulo Jorge Salvador Serra Ferreira Amaro Fernandes de Sousa Medição e caracterização de tráfego tempo-real em redes IP 7 / 2008
Ismael Everardo Bárcenas Patiño João Filipe Quintas dos Santos Rasga A Proof Theory of Interpolation 12 / 2007
Emanuel António Raimundo Moreira Amaro Fernandes de Sousa Survivable Routing on GMPLS over SDH Networks 11 / 2007
José Nuno Ferreira Maia Pereira Maria Paula Antunes Abrantes Gouveia Jaime Arsenio de Brito Ramos Abductive reasoning of agent specifications 10 / 2007
Daniel Correia Martins Amaro Fernandes de Sousa Anibal Manuel de Oliveira Duarte QoS Network Design: a Decision Supporting System 7 / 2007
António Manuel Nunes Carvalho Amaral Amaro Fernandes de Sousa Multicast Routing on IP Networks 3 / 2006
C. Baptista Joaquim Joao Alarcao Judice Solution of three global optimization problems arising in finance, hydraulics and telecommunications 2 / 2005
Luís Miguel Lopes de Oliveira Amaro Fernandes de Sousa Mobile IP on IPv4-IPv6 Transition Scenarios 7 / 2004
Jorge Patrão Amaro Fernandes de Sousa Dimensioning of MPLS Networks: Node and Link Optimization 12 / 2003
S. Rosa Joaquim Joao Alarcao Judice Analysis and Numerical Solution of some Structural Optimization Problems 2 / 2002
© 2026, IT - Instituto de Telecomunicações | All Rights Reserved