Dissertações de Mestrado

Repositório de dissertações de mestrado orientadas ou co-orientadas por membros do Departamento de Informática (Mestrado em Engenharia Informática, etc). (NB:: em construção.)

TítuloAlunoSupervisãoData
Realistic Fault Assessment in SPDK-enabled Storage StacksAlexandre Esteves MirandaJoão Tiago Medeiros Paulo2023
Armazenamento confiável e em larga escala para aplicações compatíveis com POSIXAlexandre José Branco FerreiraJoão Tiago Medeiros Paulo2023
Exploring the Use of Serious Videogames in a Robotic Walker to Improve Ataxic GaitAlexandre Rzepecki RodriguesCristina Manuela Peixoto dos Santos2023
Breast tumor segmentation and classification using deep learning methodsAna Margarida da Rocha FerreiraPaulo Jorge Freitas de Oliveira Novais2023
Simulating BuoyancyBruna Vieira CruzAntónio José Borba Ramires Fernandes2023
Análise de algoritmos de machine learning para deteção de violência em áudioBruno Cruz VelosoPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Dalila Alves Durães)2023
Adaptive Questionnaires using an Workflow EngineDiogo Paulo da Costa PereiraAntónio Luís Pinto Ferreira de Sousa2023
Arquitetura de micro-serviços e o caso da Framework Lithium da PRIMAVERA BSSFábio Daniel de Sá GonçalvesAntónio Manuel Nestor Ribeiro2023
Quantum bayesian reinforcement learningGilberto Rui Nogueira CunhaLuís Soares Barbosa (co-supervisão: André Manuel Resende Sequeira; Michael Oliveira)2023
Automate the learning process of an item identification model in palletized packagesGonçalo Jorge Vilas Boas VelosoLuís Gonzaga Mendes Magalhães2023
Functional Programming for Explainable AIGonçalo José Azevedo EstevesJosé Nuno Fonseca de Oliveira2023
Otimização de protocolo para distribuição sincronizada de áudio multicanal em redes sem fiosHugo Daniel da Costa Cunha MachadoBruno Alexandre Fernandes Dias2023
Desenvolvimento de uma plataforma de FidelizaçãoHugo Filipe Duarte CarvalhoJosé Bernardo Santos Monteiro Vieira Barros2023
High Performance Fourier Transforms on GPUs with GLJorge Francisco Teixeira Bastos da MotaAntónio José Borba Ramires Fernandes2023
Estudo sobre a importância dos Princípios e Padrões das Arquitecturas Orientadas a MicrosserviçosJosé André Martins PereiraAntónio Manuel Nestor Ribeiro2023
Improving Digital Image Correlation in the TopoSEM Software PackageJosé Filipe de Sousa Matos FerreiraAlberto José Gonçalves Carvalho Proença2023
Sensor fusion for impact detection in vehiclesJosé Gabriel Correia Neves ParpotJoão Miguel Lobo Fernandes2023
CLAV: Nova OntologiaJosé Ricardo Sousa Mendes da CunhaJosé Carlos Leite Ramalho2023
Cloud Modeling and RenderingMariana Lino Lopes CostaAntónio José Borba Ramires Fernandes2023
Avaliação Automática de Testes de Atenção e de Acuidade VisualMariana de Oliveira PereiraPedro Manuel Rangel Santos Henriques (co-supervisão: Maria João Tinoco Varanda Pereira)2023
A novel system for managing OpenEHR structuresMiguel André Rocha DiasJosé Manuel Ferreira Machado2023
Structural cognitive training with immersive virtual realityNuno Afonso Araújo PereiraNuno Miguel Feixa Rodrigues (co-supervisão: Pedro Manuel Rangel Santos Henriques)2023
Back to Programming from Galois ConnectionsPaulo Ricardo Antunes PereiraJosé Nuno Fonseca de Oliveira2023
Automatic generation of ASTs from a programming language grammarPedro Miguel Mimoso Lopes Ferreira da SilvaPedro Manuel Rangel Santos Henriques (co-supervisão: Daniela Carneiro da Cruz)2023
Decoding human movement intentions and postural reactions through brain signalsRaimundo Nonato Barros NetoCristina Manuela Peixoto dos Santos2023
Anotação automática de informação clínicaRicardo Filipe Sousa CaçadorPaulo Jorge Freitas de Oliveira Novais2023
Aplicação Móvel para InventárioRicardo Loureiro da SilvaJosé Francisco Creissac Freitas de Campos2023
Inteligência Artificial aplicada à Infraestrutura e Carregamentos para Veículos ElétricosRodolfo António Vieira da SilvaCésar Analise de Freitas e Silva da Costa Rodrigues2023
Towards a Typed Linear Algebra Formal Semantics for SpreadsheetsRui Filipe Brito AzevedoJosé Nuno Fonseca de Oliveira2023
ChatbotWizard – o orquestrador de ChatbotsRui Miguel da Costa MeiraJosé João Antunes Guimarães Dias de Almeida (co-supervisão: Alberto Manuel Brandão Simões)2023
Green communications: An environment to support energy-aware networks developmentsRui Pedro da Cunha MonteiroJoão Marco Cardoso da Silva (co-supervisão: Fábio André Castanheira Luís Coelho)2023
Implementation of a virtualized 5G networkTiago Henrique de Oliveira MagalhãesAntónio Luís Duarte Costa2023
Using Machine Learning to automatically infer an approximation of a physical systemAfonso João Borges Cabral Cerejeira da SilvaJosé Nuno Fonseca de Oliveira (co-supervisão: Larsen, Peter Gorm)2022
Orchestrator selection process for cloud-native machine learning experimentationAfonso Rafael Carvalho SousaJoão Miguel Lobo Fernandes (co-supervisão: André Leite Ferreira)2022
Generic SAST tool ComparerAlexandra de Barros ReigadaPedro Manuel Rangel Santos Henriques (co-supervisão: Oliveira, Nuno)2022
Greedy and dynamic programming by calculationAlexandre Mendonça PinhoJosé Nuno Fonseca de Oliveira2022
Desenvolvimento da Plataforma “Portugal Athletics FPA”Alexandre de Freitas Ferreira PachecoJosé Orlando Roque Nascimento Pereira2022
Plataforma de Registo Clínico para Medicina Física e ReabilitaçãoAlexandru DomenteAntónio Carlos da Silva Abelha (co-supervisão: Hugo Daniel Abreu Peixoto)2022
Plataforma multidisciplinar de registo e monitorização de cirurgia bariátrica baseada em OpenEHRAna Beatriz Castro AfonsoHugo Daniel Abreu Peixoto2022
Decoding human motion intentions from brain signalsAna Catarina Cardoso GilCristina Manuela Peixoto dos Santos (co-supervisão: Joana Figueiredo)2022
Analysis of the impact of remote work on Portuguese software professionals during the COVID-19 pandemicAna João Dias de AlmeidaJoão Miguel Lobo Fernandes2022
A software to manage rehabilitation sessions with a robotic walkerAna Margarida Reis Maia CamposCristina Manuela Peixoto dos Santos2022
Conceção e Implementação de Data Warehouses Baseados em GrafosAna Marta Santos RibeiroOrlando Manuel de Oliveira Belo2022
LiDAR based 3D object tracking for autonomous drivingAndré Sousa FigueiredoPaulo Jorge Freitas de Oliveira Novais2022
Concepção e desenvolvimento de uma API REST com incorporação de mecanismos de segurança aplicacionalAndré da Silva GonçalvesJosé Manuel Ferreira Machado (co-supervisão: Silva, Ana Eduarda de Sá)2022
CLAV: Gestão de Backups e Importação de DadosAntónio Alexandre Carvalho LindoJosé Carlos Leite Ramalho2022
Automation of companies’ recruitment process: development of an algorithm capable of ranking CVs according to job offersBeatriz de Freitas RochaPedro Manuel Rangel Santos Henriques (co-supervisão: Hugo Paulino Santos)2022
Automated and intelligent hacking detection systemBruno Alves Martins CarvalhoJosé Carlos Bacelar Ferreira Junqueira Almeida2022
Detection and classification of small impacts on vehicles based on deep learning algorithmsBruno Manuel Macedo do NascimentoJoão Miguel Lobo Fernandes (co-supervisão: André Leite Ferreira)2022
Automação de testes de carga a partir da interface gráfica com o utilizadorBruno Miguel Fernandes TeixeiraJosé Francisco Creissac Freitas de Campos2022
Verification of Distributed Algorithms with the Why3 ToolCarla Isabel Novais da CruzJorge Miguel Matos Sousa Pinto (co-supervisão: Georg Weissenbacher)2022
Spatio-temporal Action Localization with Deep LearningCarlos Filipe Batista Cardoso MonteiroPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Dalila Alves Durães)2022
Development of a fraud detection microservice platformCarlos Manuel Marques AfonsoJosé Carlos Leite Ramalho (co-supervisão: Lopes, Nuno Vasco)2022
Implementação de serviços Confort@HomeCarlos Miguel Azevedo MagalhãesJosé Manuel Ferreira Machado2022
Shallow waters simulationCarlos Peixoto Antunes de CastroAntónio José Borba Ramires Fernandes2022
Graph databases for HR relationshipsCarolina Alves da CunhaAntónio Carlos da Silva Abelha2022
Multiplatform application for monitoring services in a hospital environmentCarolina Resende MarquesHugo Daniel Abreu Peixoto2022
Geração automática de interfaces de utilizador para aplicações webCatarina Araújo MachadoJosé Francisco Creissac Freitas de Campos2022
Framework para análise de comportamentos de objetos interativos em vídeo jogosCatarina Freitas da CruzPaulo Jorge Freitas de Oliveira Novais2022
Formalização da reconfiguração de protocolos de consenso usando AlloyCecília da Conceição de Oliveira SoaresManuel Alcino Pereira da Cunha2022
Twitter Observatory: developing tools to recover and classify information for the social network TwitterConstança Machado Aires Lobo EliasMiguel Francisco de Almeida Pereira da Rocha2022
On conditional quantum controlDaniel Almeida CarvalhoJosé Nuno Fonseca de Oliveira (co-supervisão: Rui Soares Barbosa)2022
Opportunistic Wi-Fi network selection in heterogeneous vehicular wireless networks for detecting VRUs through edge computingDaniel Filipe da Rocha TeixeiraBruno Alexandre Fernandes Dias (co-supervisão: Ana Cristina Aguiar)2022
Data Lakes em ambientes híbridos Cloud/EdgeDaniel Vilar da CostaRicardo Manuel Pereira Vilaça (co-supervisão: José Orlando Roque Nascimento Pereira)2022
E•CVoltera, Competence Assessment SystemDiana Cristina Abreu LopesPedro Manuel Rangel Santos Henriques (co-supervisão: António Rui Silva Gomes)2022
Development of a marketing automation platform to integrate online e-commerce servicesDiogo Alexandre Domingues GonçalvesJosé Manuel Ferreira Machado2022
Automatic Quantification of Microglial Cells from Brain ImagesDiogo Alexandre Rodrigues LopesPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Bruno Fernandes)2022
Plataformas Móveis Adaptativas para Sistemas de AvaliaçãoDiogo Emanuel da Silva NogueiraOrlando Manuel de Oliveira Belo2022
Deteção de anomalias em estações de tratamento de águas residuaisDiogo Filipe Gigante da SilvaPaulo Jorge Freitas de Oliveira Novais2022
Decisões automatizadas e scoring no crédito ao consumoDiogo José Morgado RebeloFrancisco Carneiro Pacheco Andrade (co-supervisão: Paulo Jorge Freitas de Oliveira Novais)2022
Chatbot for VILT’S Helpdesk TeamDiogo Pinto RibeiroPedro Manuel Rangel Santos Henriques2022
Algoritmos de aprendizagem automática para previsão de AVCEduardo João Gomes Teixeira da CostaJosé Manuel Ferreira Machado2022
CLAV – processamento dos autos de eliminaçãoFilipa Alves dos SantosJosé Carlos Leite Ramalho2022
Mobile ID como um serviço – Generalização de aplicações Mobile ID baseadas na norma ISO/IEC DIS 18013-5Filipa Correia ParenteVitor Francisco Mendes Freitas Gomes Fonte2022
Wintouch Cloud – Delivery ModuleFilipe José da Silva FreitasPedro Manuel Rangel Santos Henriques2022
Deep Learning for activity recognition in real-time video streamsFrancisco André Vieira ReinoldsJosé Manuel Ferreira Machado2022
PAdES Server SignerFrancisco Fernando Vilela AraújoJosé Carlos Bacelar Ferreira Junqueira Almeida2022
Refactoring Java Monoliths into Executable Microservice-Based ApplicationsFrancisco José Oliveira FreitasJácome Miguel Costa Cunha (co-supervisão: André Leite Ferreira)2022
Building a game with augmented reality: for training computational thinkingFrancisco Manuel Vital SaraivaPedro Manuel Rangel Santos Henriques (co-supervisão: Lima, Lázaro Vinícius de Oliveira)2022
CLAV: especificação e implementação do RADAFrederico Daniel Pereira PintoJosé Carlos Leite Ramalho2022
Efficient execution of Java programs on GPUGonçalo Medeiros São Pedro RaposoJoão Luís Ferreira Sobral2022
Programming language complexity analysis and its impact on Checkmarx activitiesGonçalo Rodrigues PintoPedro Manuel Rangel Santos Henriques2022
Monitoring and optimization of an autonomous learning systemGuilherme Fraga PalumboVictor Manuel Rodrigues Alves2022
Robi: a Visual Programming Language for Educational RoboticsGustavo Linhares GalvãoPedro Manuel Rangel Santos Henriques2022
LPBlocks: a block-based language for linear programmingHugo Afonso da GiãoJácome Miguel Costa Cunha (co-supervisão: Rui Alexandre Afonso Pereira)2022
Synthetic data generation from JSON/XML schemasHugo André Coelho CardosoJosé Carlos Leite Ramalho2022
MLOps aplicado à análise comportamental dos clientes no ambiente de um ERPJoel Costa CarvalhoRui Manuel Ribeiro Castro Mendes2022
Otimização de processos de amostragem de tráfegoJoel Filipe Esteves GamaJoão Marco Cardoso da Silva (co-supervisão: Maria Solange Pires Ferreira Rito Lima)2022
Vulnerabilities preservation using code mutationJorge Fernando Alves da CruzJorge Miguel Matos Sousa Pinto2022
Automatic Repair of Behavioural SpecificationsJorge Gabriel Alves CerqueiraManuel Alcino Pereira da Cunha (co-supervisão: Nuno Filipe Moreira Macedo)2022
Development of tools for sentiment analysis in the Portuguese languageJorge Miguel da Silva Brandão GonçalvesMiguel Francisco de Almeida Pereira da Rocha2022
HpxTrace: monitorização de aplicações em HPXJosé António Pereira PintoAntónio Manuel da Silva Pina2022
Real-time rendering of particle based fluid simulationsJosé Carlos Pereira FernandesAntónio José Borba Ramires Fernandes2022
CLAV: Planos de preservação digitalJosé Duarte Santos FreitasJosé Carlos Leite Ramalho2022
Quantum error-correcting codesJosé Eduardo Moreira Barros PereiraJosé Carlos Bacelar Ferreira Junqueira Almeida (co-supervisão: Pedro Patrício)2022
On the performance of strategic attribute grammarsJosé Emanuel Silva RodriguesJoão Alexandre Baptista Vieira Saraiva2022
Automatic Driving: 2D Detection and Tracking using Artificial Intelligence TechniquesJosé Miguel Fernandes Madeira PintoVictor Manuel Rodrigues Alves (co-supervisão: Helena Fernandez Lopez)2022
Modular framework for a breast biopsy smart navigation systemJosé Nuno Martins da CostaVictor Manuel Rodrigues Alves2022
Icarus – A Cloud Security PerspectiveJoão Aloísio Sousa AraújoJosé Carlos Bacelar Ferreira Junqueira Almeida2022
In memory data grid clusters – HR employee data fusionJoão Diogo Mendes Teixeira da MotaHugo Daniel Abreu Peixoto2022
Evaluating the impact of traffic sampling in network analysisJoão Emanuel da Silva MendesMaria Solange Pires Ferreira Rito Lima2022
Sensor fusion for detection and classification of vehicle impactsJoão Gabriel Lopes dos SantosJoão Miguel Lobo Fernandes (co-supervisão: André Leite Ferreira)2022
On the performance of WebAssemblyJoão Gonçalves de MacedoJoão Alexandre Baptista Vieira Saraiva (co-supervisão: Rui Alexandre Afonso Pereira)2022
Development of DNA sequence classifiers based on deep learningJoão Nuno Cardoso Gonçalves de AbreuMiguel Francisco de Almeida Pereira da Rocha2022
Gestão de permissões e acesso a dados para Hyperledger FabricJoão Pedro Araújo ParenteFábio André Castanheira Luís Coelho2022
Security analysis of NIST-LWC contest finalistsJoão Pedro Dias FernandesJosé Manuel Esgalhado Valença2022
Automatic defect detection in leatherJoão Pedro Matos Ribeiro SoaresLuís Gonzaga Mendes Magalhães2022
Acordo Distribuído para Arquiteturas de MicrosserviçosJoão Pedro Oliveira da SilvaJosé Orlando Roque Nascimento Pereira (co-supervisão: Ana Luísa Parreira Nunes Alonso)2022
LazyFS: a file system for assessing applications data durabilityJoão Pedro Rodrigues AzevedoJoão Tiago Medeiros Paulo2022
OMT, an Ontology Matching SystemJoão Pedro Rodrigues GomesPedro Manuel Rangel Santos Henriques2022
Desenho e implementação de processos de automação de IaaS em ambientes CloudJoão Pedro de Vasconcelos Cadavez FerreiraPedro Nuno Miranda de Sousa (co-supervisão: Magalhães, Marco André)2022
Hypatiamat: a funcionalidade de multijogador em jogos onlineJoão da Cunha e CostaJosé Carlos Leite Ramalho2022
Automatic detection of daily living activities in people with Parkinson’s disease using kinematic-driven dataLuís Filipe Simões de AbreuCristina Manuela Peixoto dos Santos2022
Integration of ROS2 with a simulation environmentLuís Filipe da Costa CapaPaulo Francisco Silva Cardoso (co-supervisão: Adriano Dídimo Machado Carvalho)2022
Entity Recognition in Archival DescriptionsLuís Filipe da Costa CunhaJosé Carlos Leite Ramalho2022
Automated driving: an approach to automated guided vehicles in a controlled environmentLuís Francisco Mendes LopesPedro Manuel Rangel Santos Henriques (co-supervisão: Ponte, Nuno Viveiros)2022
Hypatiamat: Api de Dados e EscritórioLuís Guilherme Gonçalves Macedo da Silva MartinsJosé Carlos Leite Ramalho2022
Software defined applications: A DevOps approach to monitoringLuís Miguel Andrade AlvesAntónio Luís Pinto Ferreira de Sousa2022
CLAV: especificação dos workflows (BPMN)Luís Miguel Arieira RamosJosé Carlos Leite Ramalho2022
Using container-based virtualization on web apps production environment: dipcode development cycleLuís Miguel Pinheiro GuimarãesAntónio Luís Pinto Ferreira de Sousa2022
Formalizing ROS2 security configuration with AlloyLuís Mário Macedo RibeiroManuel Alcino Pereira da Cunha2022
Temporal object detection for autonomous drivingLuís Pedro Barbosa FerreiraPaulo Jorge Freitas de Oliveira Novais2022
Accelerating deep learning training on high-performance computing with storage tieringMarco Filipe Leitão DantasJoão Tiago Medeiros Paulo (co-supervisão: Rui Carlos Mendes Oliveira)2022
Plataforma online para visualização de tendências e opiniões de eventos desportivos com base em redes sociaisMaria Inês Vieira PintoJosé Manuel Ferreira Machado2022
Post generator for social media based on emotions and personalityMaria Laura de Araújo BarbosaPaulo Jorge Freitas de Oliveira Novais2022
Improve human resources management via UX/UIMaria Moutinho Figueiredo da SilvaJosé Francisco Creissac Freitas de Campos2022
Comparação de plataformas low-codeMariana Gonçalves MarquesJoão Alexandre Baptista Vieira Saraiva (co-supervisão: Jácome Miguel Costa Cunha)2022
Traceability and safety tradeoffs in modern vehiclesMariana Pereira FernandesJosé Carlos Bacelar Ferreira Junqueira Almeida (co-supervisão: Ali Shoker)2022
Formal models based interactive prototypesMiguel André da Silva SolinoJosé Francisco Creissac Freitas de Campos2022
Tool for semi automated building of traffic sign images repositoriesMiguel Dias MirandaAntónio José Borba Ramires Fernandes2022
Your Travel: plataforma de agendamento de viagens personalizadasMiguel Mateus RibeiroJosé Manuel Ferreira Machado2022
Development of a deep learning-based computational framework for the classification of protein sequencesMiguel Ângelo Pereira BarrosMiguel Francisco de Almeida Pereira da Rocha (co-supervisão: Óscar Manuel Lima Dias)2022
Two-level fingerprint-based indoor positioning using advanced Machine LearningMoisés Manuel Borba Roriz RamiresAdriano Jorge Cardoso Moreira2022
Browser Energy Efficiency in AndroidNelson Adriano Sequeira GonçalvesJoão Alexandre Baptista Vieira Saraiva (co-supervisão: Rui Alexandre Afonso Pereira)2022
Estratégia de cibersegurançaNelson Correia FariaJosé Carlos Bacelar Ferreira Junqueira Almeida2022
Sistematização do desenvolvimento de interfaces webNelson Tiago da Silva SousaJosé Francisco Creissac Freitas de Campos2022
Geração automática dum mapa do coberto do solo portuguêsNuno Afonso Gonçalves Solha Moreira ValenteAntónio Joaquim André Esteves2022
Ulisses NextGenNuno Azevedo Alves da CunhaJosé Carlos Leite Ramalho2022
Space colonization for the procedural generation of lightningNuno Filipe Maranhão dos ReisAntónio José Borba Ramires Fernandes2022
Age prediction through the influence of fatigue levels in human-computer interactionNuno Ricardo Araújo da SilvaPaulo Jorge Freitas de Oliveira Novais (co-supervisão: André Pimenta Ribeiro)2022
Characterizing Data Scientists in the Real WorldPaula Sofia da Cunha PereiraJoão Alexandre Baptista Vieira Saraiva (co-supervisão: Jácome Miguel Costa Cunha)2022
Smart irrigation system: otimização do sistema de rega em espaços verdesPaulo Filipe Moreira BarrosPaulo Manuel Martins de Carvalho2022
Online-SoBA: text analysis to study social behaviorsPaulo Jorge MendesPedro Manuel Rangel Santos Henriques (co-supervisão: Cristiana Esteves Araújo)2022
Development of film production software for a clinical application of advanced MRI technologiesPedro Afonso Rodrigues SantosJosé Manuel Ferreira Machado (co-supervisão: Nicolas Francisco Lori)2022
Configuração Zero TouchPedro Alexandre Gonçalves RibeiroAntónio Luís Pinto Ferreira de Sousa2022
The Role of an API Gateway in a Microservice ArchitecturePedro Dias ParenteJosé Carlos Leite Ramalho2022
Conception and evaluation of data augmentation techniques for tabular dataPedro Filipe Costa MachadoPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Bruno Fernandes)2022
Artificial intelligence-based software for recognizing parkinsonian gait patterns based on wearable miniaturized sensorsPedro Gonçalo dos Santos Pires PinheiroCristina Manuela Peixoto dos Santos2022
Machine learning applied to companies managementPedro Miguel Ferreira RibeiroRui Manuel Ribeiro Castro Mendes2022
Implementação certificada da componente criptográfica do gestor de passwords KeePassPedro Miguel Marques FreitasJosé Carlos Bacelar Ferreira Junqueira Almeida2022
Aplicação mobile para gestão e telemonitorização de hipertensos e diabéticosPedro Miguel Queirós GomesAntónio Manuel Nestor Ribeiro2022
Real-Time Implementation of LiDAR Point Cloud Semantic Segmentation in an FPGAPedro Paulo Fontes DelgadoVictor Manuel Rodrigues Alves2022
Biometric analysis of behaviours in serious gamesRafaela Pinto de PinhoPedro Manuel Rangel Santos Henriques (co-supervisão: Maria João Varanda)2022
Quantum reinforcement learning: a heuristic approach to solve deterministic MDPsRenato Alberto Soares de BritoLuís Paulo Peixoto dos Santos2022
Arquiteturas assíncronas na comunicação entre serviços frontend e backendRicardo André Gomes PetronilhoAntónio Manuel Nestor Ribeiro2022
CLAV: Interface e Sistema de notificaçõesRicardo Manuel Cerineu CanelaJosé Carlos Leite Ramalho2022
Análise de sentimentos para a geração de índices de bem-estarRicardo Milhazes VelosoOrlando Manuel de Oliveira Belo2022
An HAROS extension for variability aware ROS code analysisRicardo Ribeiro PereiraManuel Alcino Pereira da Cunha2022
Development of a classification algorithm for vehicle impacts: an anomaly detection approachRita Alexandra Ferreira PereiraJoão Miguel Lobo Fernandes (co-supervisão: André Leite Ferreira)2022
Melodic, using music to train visually impaired kids in computational thinkingRui Diogo da Silva CostaPedro Manuel Rangel Santos Henriques (co-supervisão: Cristiana Esteves Araújo)2022
Microservices architectures in healthcare with Apache KafkaRui Fernando Carvas dos SantosAntónio Carlos da Silva Abelha (co-supervisão: Hugo Peixoto)2022
A new models editor for the IVY WorkbenchRui Filipe Moreira MendesJosé Francisco Creissac Freitas de Campos2022
Scientific data managementRui Nuno Borges Cruz OliveiraJosé Orlando Roque Nascimento Pereira2022
eHealth and patient relationship managementRui Paulo Couto Brandão PereiraJosé Manuel Ferreira Machado2022
NetLangEd, an editor to support comment analysisRui Pedro Barbosa RodriguesPedro Manuel Rangel Santos Henriques (co-supervisão: Cristiana Esteves Araújo)2022
Genome-scale metabolic modelling of an extremophile microbial communityRui Ricardo Barros NunesÓscar Manuel Lima Dias2022
Regulamento Geral de Protecção de Dados: uma plataforma de apoio à certificaçãoSandra Clemente BaptistaPedro Manuel Rangel Santos Henriques2022
Sistema de apoio à decisão clínica baseado em regras utilizando o modelo openEHRSarah Tifany da SilvaJosé Manuel Ferreira Machado2022
Uma ontologia para a descrição de conteúdos de testamentosShahzod YusupovOrlando Manuel de Oliveira Belo2022
EWVM – an Educational Web Virtual MachineSofia Almeida TeixeiraJosé Carlos Leite Ramalho2022
Autonomous optimization for a transactional middlewareSusana Vitória Sá Silva MarquesFábio André Castanheira Luís Coelho (co-supervisão: José Orlando Roque Nascimento Pereira)2022
Aplicação de técnicas de IA na deteção de irregularidades em contratos públicosTiago Dias de SousaPaulo Jorge Freitas de Oliveira Novais2022
Fast scan, an improved approach using machine learning for vulnerability identificationTiago João Fernandes BaptistaPedro Manuel Rangel Santos Henriques (co-supervisão: Nuno Oliveira)2022
Anotação Automática de Textos para Análise e identificação de conteúdosTiago Miguel Fraga SantosOrlando Manuel de Oliveira Belo2022
Epidemic broadcast algorithms in a Byzantine environmentTomás Francisco Cruz CostaJosé Orlando Roque Nascimento Pereira2022
ATOMIUS – An application to support Bosch internal processesTânia Filipa Amorim da RochaAntónio Manuel Nestor Ribeiro2022
Where@UM – Where is the classroom for my next lecture? The problem of the space’s geometryUlisses Tiago Simões AraújoAdriano Jorge Cardoso Moreira (co-supervisão: Filipe Meneses)2022
Monitoring architecture for services and servers in healthcare environmentVasco António Lopes RamosHugo Daniel Abreu Peixoto2022
Hypatiamat – I want to solve questions about…Válter Ferreira Picas CarvalhoJosé Carlos Leite Ramalho (co-supervisão: Ricardo Manuel Neves Pinto)2022
A portabilidade de dados de saúde dentro e fora da União Europeia – desafios jurídicos e técnicos no âmbito da proteção de dadosYuri Rodrigues LadeiaTeresa Alexandra Coelho Moreira (co-supervisão: José Manuel Ferreira Machado)2022
Automatic Speech Recognition for European PortugueseAdriano Vaz de Carvalho CampinhoPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Carlos Miguel Silva Pereira)2021
Learning the physics of open quantum systems from experimentsAlexandra Francisco Ramôa da Costa AlvesErnesto Galvão (co-supervisão: Luís Soares Barbosa)2021
ONTODL+: an ontology description language and its compilerAlexandre Costa DiasPedro Manuel Rangel Santos Henriques (co-supervisão: Cristiana Esteves Araújo)2021
SAQL: query language for corpora with morpho-syntactic annotationAna Filipa Vilela PereiraPedro Manuel Rangel Santos Henriques2021
Exploring paraconsistent logics for quantum programsAna Luzia CruzLuís Soares Barbosa (co-supervisão: Alexandre Madeira)2021
Reinforcement Learning on Self-Organizing Networks for Dynamic Channel SelectionAndré Guilherme Nunes ViveirosVictor Manuel Rodrigues Alves2021
Quantum-enhanced reinforcement learningAndré Manuel Resende SequeiraLuís Soares Barbosa (co-supervisão: Luís Paulo Peixoto dos Santos)2021
Conceção e desenvolvimento de uma plataforma para a democratização de APIsAndré Rodrigues CoutinhoAntónio Manuel Nestor Ribeiro2021
Automação de TestesAndré Tiago Gonçalves RamalhoRui Manuel Ribeiro Castro Mendes2021
Selective applicative functors & probabilistic programmingArmando João Isaías Ferreira dos SantosJosé Nuno Fonseca de Oliveira (co-supervisão: Andrey Mokhov – U.Newcastle)2021
Combining paraconsistent and dynamic logic for QiskitBernardo FariaLuís Soares Barbosa (co-supervisão: Alexandre Madeira)2021
ROS-based Data Acquisition SystemBruno José Infante de SousaPaulo Francisco Silva Cardoso2021
Cloud-based IoT as a serviceBruno Manuel Chaves MartinsPaulo Jorge Freitas de Oliveira Novais (co-supervisão: B. Fernandes)2021
Self-sovereign identity decentralized identifiers, claims and credentials using non decentralized ledger technologyBruno Miguel Gomes OliveiraJosé Carlos Bacelar Ferreira Junqueira Almeida2021
Extração automática de ontologias em textos de culinária não estruturadosBruno Vilas Boas da SilvaOrlando Manuel de Oliveira Belo2021
Conversão para Why3 de Formalizações em CoqBárbara Andreia Cardoso FerreiraJorge Miguel Matos Sousa Pinto (co-supervisão: Maria João Gomes Frade)2021
Data Science para o Controlo Analítico e Eficiência Energética numa ETARCarlos Daniel Coutinho FariaPaulo Jorge Freitas de Oliveira Novais2021
Meta Data MigratorCarlos Miguel Lopes Sá BarbosaJosé Carlos Leite Ramalho2021
iOS Development: Increasing Home Banking Reliability with Integration of Strong Authentication MechanismCarlos Miguel Rebelo SolansJosé Carlos Leite Ramalho2021
PRISMA: a prefetching storage middleware for accelerating deep learning frameworksCláudia Sofia Mendonça de Sá CorreiaJoão Tiago Medeiros Paulo (co-supervisão: António Sousa)2021
IoT platform for the aerospace industryDaniel Camelo RodriguesPaulo Manuel Martins de Carvalho2021
Automated order processing and responsesDaniel Jorge Barros TinocoAntónio Luís Pinto Ferreira de Sousa2021
Learning user well-being and comfort through smart devicesDavid José Teixeira de SousaCésar Analise de Freitas e Silva da Costa Rodrigues (co-supervisão: Silva, Fábio André Souto)2021
Dynamic genome-scale modelling of the Saccharomyces non-cerevisiae yeasts metabolism in wine fermentationDavid Miguel Ferreira dos SantosMiguel Francisco de Almeida Pereira da Rocha (co-supervisão: Eva Balsa-Canto, Researcher, IIM-CSIC, Spanish Council for Scientific)2021
Adequacy analysis of learning resources in adult educationDiana Ribeiro BarbosaPedro Manuel Rangel Santos Henriques (co-supervisão: Cristiana Esteves Araújo)2021
Optimization of epidemic multicast protocolsDiogo André Teles FernandesJosé Orlando Roque Nascimento Pereira (co-supervisão: Ana Luísa Parreira Nunes Alonso)2021
Teoria de Machine Learning aplicada a Algoritmos de Aprendizagem Eficientes e EfetivosDiogo Filipe Ribeiro Ferreira BragaCésar Analise de Freitas e Silva da Costa Rodrigues2021
Geração de Índices de Saúde em Tempo RealDiogo Francisco Araújo Leite CostaOrlando Manuel de Oliveira Belo2021
Acordo distribuído em sistemas de computação de alto desempenhoDiogo José Cruz SobralJosé Orlando Roque Nascimento Pereira2021
Monotorização de segurança para sistemas de identificação pessoal digital e móvel baseado em modelosDiogo Rafael Ferraz DuarteVitor Francisco Mendes Freitas Gomes Fonte2021
Parallelization of the ADI Method Exploring Vector Computing in GPUsFilipe Pereira da SilvaAlberto José Gonçalves Carvalho Proença (co-supervisão: Diogo Alberto Rocha Lopes)2021
Aplicação de Segmentação Semântica através de dados adquiridos por sensoresFilipe Pimenta Oliveira MonteiroPaulo Jorge Freitas de Oliveira Novais2021
Eficiência energética em Redes de Sensores sem Fios – Medição adaptativa num sistema de rega inteligente usando o CupCarbonFilipe Vieira FortunatoPaulo Manuel Martins de Carvalho (co-supervisão: Solange Lima)2021
Developing a RDF4J FrontendFrancisco José Moreira OliveiraJosé Carlos Leite Ramalho2021
Índices de bem-estar para sistemas de avaliaçãoFábio Carvalho SenraOrlando Manuel de Oliveira Belo2021
E-anamnesis: a clinical observation electronic platform for emergency departmentsFátima Jacinta Pereira dos SantosJosé Manuel Ferreira Machado (co-supervisão: Rodrigues, Nuno Miguel Feixa)2021
Caracterização de tráfego de serviços de streaming em dispositivos móveisGabriela Sá MartinsPaulo Manuel Martins de Carvalho (co-supervisão: Maria Solange Pires Ferreira Rito Lima)2021
Reconhecimento de emoções através da vozGuilherme Marques AndradePaulo Jorge Freitas de Oliveira Novais2021
Lightweight + post-quantum cryptographiesHenrique José Carvalho FariaJosé Manuel Esgalhado Valença2021
Avoiding Question-Answering Congestion on Health Services using ChatbotsHenrique Manuel Palmeira PereiraJoaquim Melo Henriques Macedo2021
LPBlocks – A Block-based Language for Linear ProgrammingHugo Afonso da GiãoJácome Miguel Costa Cunha2021
Intelligent Data Analysis from the Financial Excecution of Research Projects of University of MinhoInês Lucas Amorim AlvesCésar Analise de Freitas e Silva da Costa Rodrigues2021
Quantum random walks: simulations and physical realizationsJaime Pereira SantosLuís Soares Barbosa (co-supervisão: Chagas, Bruno)2021
Integração de mecanismos de raciocínio adaptativo em sistemas de avaliaçãoJaime Ricardo Faria LeiteOrlando Manuel de Oliveira Belo2021
Quantum random walksJaime SantosLuís Soares Barbosa (co-supervisão: Bruno Chagas)2021
Gestão de segurança de informação para sistemas de Confiança SegurosJoana Fernandes CunhaJosé Carlos Bacelar Ferreira Junqueira Almeida2021
Modelling and Predicting Judicial Decisions using a Sentence Repository: Sentencing Multiple CrimesJoana Isabel Albuquerque Silva MatosPaulo Jorge Freitas de Oliveira Novais2021
Análise e optimização de protocolos de Acordo Distribuído AproximadoJoaquim Manuel Gonçalves OliveiraJosé Orlando Roque Nascimento Pereira (co-supervisão: Ana Luísa Parreira Nunes Alonso)2021
Monitorizações na camada Middleware e os seus desafiosJosé Lopes RamosJosé Manuel Ferreira Machado2021
Data Mining: Modelação de Algoritmos para Automação de MarketingJosé Luís Sousa CostaCésar Analise de Freitas e Silva da Costa Rodrigues2021
RDMA mechanisms for columnar data in analytic environmentJosé Miguel Ribeiro da SilvaJosé Orlando Roque Nascimento Pereira (co-supervisão: Fábio André Castanheira Luís Coelho)2021
Analysis of human-computer interaction time series using Deep LearningJosé Pedro Milhazes Carvalho PintoPaulo Jorge Freitas de Oliveira Novais (co-supervisão: André Pimenta)2021
Uma Ontologia para o Livro das Propriedades da Mesa Arcebispal de BragaJosé Pedro Saraiva de CarvalhoOrlando Manuel de Oliveira Belo2021
Hypatiamat – Especificação e Implementação de um Componente para Gestão de Trabalhos de CasaJoão António Cidade VieiraJosé Carlos Leite Ramalho (co-supervisão: Ricardo Manuel Neves Pinto)2021
Agente SNMP para On-Board-Units em Sistemas VeicularesJoão Bernardo Coutinho Barreiros de FreitasBruno Alexandre Fernandes Dias2021
Deteção de Padrões em Imagens SARJoão Carlos da Silva CostaCésar Analise de Freitas e Silva da Costa Rodrigues2021
Exploration of documents concerning Foundlings in Fafe along XIX CenturyJoão Costeira Faria GomesPedro Manuel Rangel Santos Henriques2021
Elaboração semiautomática de uma ontologia para remédios a partir de textos antigos de medicina e de culináriaJoão Filipe da Costa NunesOrlando Manuel de Oliveira Belo2021
Cálculo do poder de disseminação de um utilizador numa Rede Social Online como fator de determinação de risco para a sua privacidade digitalJoão Lobarinhas Fernandes MirandaPaulo Jorge Freitas de Oliveira Novais2021
Ancestors note bookJoão Manuel Pós de Mina GrenhasJosé João Antunes Guimarães Dias de Almeida2021
eIDAS qualified trust services: serviço de preservaçãoJoão Manuel da Silva Gomes FernandesJosé Carlos Bacelar Ferreira Junqueira Almeida2021
HC2 – Highly configurable connector for data collection in Industry 4.0 contextJoão Miguel Freitas PalmeiraPaulo Francisco Silva Cardoso2021
Implementação de métodos práticos e seguros para o armazenamento de chaves criptográficas em aplicaçõesJoão Nuno Alves LopesRui Carlos Mendes Oliveira2021
Middleware para integração com Sistemas de QueuesJoão Paulo Oliveira de Andrade MarquesAntónio Manuel Nestor Ribeiro2021
Automation of machine learning models benchmarkingJoão Pedro Barros SáJoão Miguel Lobo Fernandes2021
Orchestration and distribution of services in hybrid cloud/edge environmentsJoão Pedro Machado VilaçaRicardo Manuel Pereira Vilaça2021
Interpretabilidade em Aprendizagem Máquina num Contexto de Modelos de Regressão Caixa NegraJoão Pedro Torres PimentelPaulo Jorge Sousa Azevedo2021
Análise e Avaliação de Desempenho através de Dashboards MultidimensionaisJéssica Andreia Fernandes LemosOrlando Manuel de Oliveira Belo2021
O impacto dos microserviços: uma análise empírica da emergente arquitetura de softwareLeandro José Abreu Dias CostaAntónio Manuel Nestor Ribeiro2021
Detetor de conteúdo multimédia falso gerado através de algoritmos Deep FakeLeonardo de Jesus SilvaPaulo Jorge Freitas de Oliveira Novais2021
Analytical querying with typed linear algebra: integration with MonetDBLucas Ribeiro PereiraJosé Nuno Fonseca de Oliveira (co-supervisão: Alberto José Gonçalves Carvalho Proença)2021
Visual Semantic Embedding Model Based on DeViSE for Medical ImagingLudgero da Silva DiogoVictor Manuel Rodrigues Alves2021
Connectionist systems for Image Processing and Anomaly DetectionLuís Filipe Fernandes GomesCésar Analise de Freitas e Silva da Costa Rodrigues2021
Plataforma de ingestão de dados para desenvolvimento de sistemas baseados em grandes quantidades de dadosLuís Miguel Fontão Coelho Moreira PeixotoJoão Miguel Lobo Fernandes2021
Construção de uma plataforma de e-commerce: uma abordagem baseada numa arquitetura de microsserviçosLuís Rafael Barbosa CorreiaAntónio Manuel Nestor Ribeiro2021
Otimização na alocação de recursos de cloud computing para um serviço de autenticação de produtosLuís Tiago Machado BragaJosé Manuel Ferreira Machado (co-supervisão: Ana Eduarda de Sá e Silva)2021
Ansätze for noisy variational quantum EigensolversMafalda Francisco Ramôa da Costa AlvesErnesto Galvão (co-supervisão: Vasilevskiy, Mikhail)2021
Privacy and security in Data MiningMafalda Guimarães NunesJosé Carlos Bacelar Ferreira Junqueira Almeida2021
CLAV: tabelas de seleçãoManuel João Curopos MonteiroJosé Carlos Leite Ramalho2021
Improving the resilience of microservices-based applicationsMarco António Rodrigues Oliveira SilvaAndré Leite Ferreira (co-supervisão: Jácome Miguel Costa Cunha)2021
Persistência Dinâmica de Dados para Soluções de Business IntelligenceMarcos de Morais LuísAntónio Manuel Nestor Ribeiro2021
StableHand VR: a virtual reality serious game for hand rehabilitationMargarida Inês Fernandes PereiraJosé Manuel Ferreira Machado (co-supervisão: Nuno Feixa Rodrigues)2021
Adequa, a platform for choosing games suitable to students’ profileMaria de La Salete Dias TeixeiraPedro Manuel Rangel Santos Henriques (co-supervisão: Cristiana Esteves Araújo)2021
Diagnóstico da Doença de Alzheimer com Redes Neuronais ProfundasMateus Ferreira da SilvaAntónio Joaquim André Esteves2021
Otimização distribuída de indicadores logísticos com recurso a ferramentas ApacheMiguel Pimentel de OliveiraJoão Miguel Lobo Fernandes2021
Exploring mesh shadersMiguel Ângelo Abreu de CarvalhoAntónio José Borba Ramires Fernandes2021
Formalization of Deep Learning Techniques with the Why3 Proof PlatformMárcio Alexandre Mota SousaJorge Miguel Matos Sousa Pinto (co-supervisão: Paulo Jorge Sousa Azevedo)2021
Distributed gameMárcio da Silva RochaJosé Orlando Roque Nascimento Pereira2021
OLTPLakes – Suporte transacional para sistemas distribuídos analíticosNelson José Dias TeixeiraJosé Orlando Roque Nascimento Pereira2021
Data Structure Centered SPH Performance EvaluationPaulo Alexandre Ferreira BarbosaAntónio José Borba Ramires Fernandes2021
Aprendizagem automática aplicada à deteção de vulnerabilidadesPaulo Filipe Silva RibeiroRui Manuel Ribeiro Castro Mendes2021
Shopping Trends: Aperfeiçoamento de um conceito para melhorar a experiência dos utilizadores .Paulo Henrique Alves de LacerdaJoão Miguel Lobo Fernandes2021
Análise de textos para o estudo de comportamentos sociaisPaulo Jorge Costa da Conceição MendesPedro Manuel Rangel Santos Henriques2021
Development of an e-portfolio social network using emerging web technologiesPaulo Jorge Pereira MartinsJosé Carlos Leite Ramalho2021
Information security monitoring systems in digital and mobile identification environmentsPaulo Miguel Novais GameiroVitor Francisco Mendes Freitas Gomes Fonte (co-supervisão: João Marco Cardoso da Silva)2021
Regular expressions for timed automataPaulo RibeiroLuís Soares Barbosa (co-supervisão: Renato Jorge Araújo Neves)2021
Integração de aceleradores locais/remotos em aplicações paralela e distribuídas com HPXPedro André Dias BarbosaAntónio Manuel da Silva Pina2021
Towards a quantitative AlloyPedro Faria Durães da SilvaJosé Nuno Fonseca de Oliveira (co-supervisão: Nuno Filipe Moreira Macedo)2021
Bacteriophage-host determinants: identification of bacteriophage receptors through machine learning techniquesPedro Henrique Matela Aidos Manso de AraújoÓscar Manuel Lima Dias (co-supervisão: Hugo Alexandre Mendes de Oliveira)2021
Probabilistic data typesPedro Henrique Moreira Gomes FernandesCarlos Miguel Ferraz Baquero Moreno2021
Q-Learning applied to games: a reward focused studyPedro Henrique de Passos FerreiraAntónio José Borba Ramires Fernandes2021
Machine learning applied to fault correlationPedro Jorge Rito LimaRui Manuel Ribeiro Castro Mendes2021
Automatic Performance evaluation of API Gateways based on architectural modelsPedro Miguel Braga MoreiraAntónio Manuel Nestor Ribeiro2021
Visualização de centro de dadosPedro Miguel da Costa CapaJosé Orlando Roque Nascimento Pereira2021
Nutritional Management and Recommendations For Hospital Users and Medical InpatientsPedro Miguel de Mata RodriguesJosé Manuel Ferreira Machado (co-supervisão: António Carlos da Silva Abelha)2021
Codificação e análise de grafos de computação ROS variacionaisPedro Rafael Paiva MouraManuel Alcino Pereira da Cunha2021
Mobile Application for tracking cycling activityRafael Machado da SilvaRui João Peixoto José2021
Mobile Identification as a ServiceRafaela Cristina Riço RodriguesAntónio Luís Pinto Ferreira de Sousa2021
Análise de Problemas de Configuração e Conformidade em Infrastructure-as-CodeRafaela Maria Soares da SilvaVitor Francisco Mendes Freitas Gomes Fonte (co-supervisão: João Marco Cardoso da Silva)2021
Análise biométrica de comportamentos em jogos terapêuticosRafaela Pinto De PinhoPedro Manuel Rangel Santos Henriques2021
Emigration tales: automatic generation of texts, from ontological descriptions of emmigration resources, to tell life storiesRicardo André Araújo NevesPedro Manuel Rangel Santos Henriques2021
Development of a Self-diagnosis Tests System for Integration in a Cyber-physical SystemRicardo Barros PereiraJosé Carlos Leite Ramalho2021
Utilização de Algoritmos de Sketching na Análise de Streams de Dados – Um Caso de EstudoRicardo Jorge Barroso CertoOrlando Manuel de Oliveira Belo2021
DIDs, Claims, Credentials e Blockchains (Self-sovereign Identity)Ricardo Jorge Marques PeixotoJosé Carlos Bacelar Ferreira Junqueira Almeida2021
Cidades inteligentes avaliação e comparação de simuladoresRodrigo Teixeira PereiraPaulo Manuel Martins de Carvalho2021
Microservices architectures in healthcare with Apache KafkaRui Fernando Carvas SantosAntónio Carlos da Silva Abelha2021
A Data Science Approach to Portuguese Road Accidents’ DataRui Nuno Vilaça RibeiroCésar Analise de Freitas e Silva da Costa Rodrigues2021
Process Mining applied to BPMN-E2Rui Pedro Abreu CalhenoMaria Solange Pires Ferreira Rito Lima (co-supervisão: Pedro Manuel Rangel Santos Henriques)2021
Chatbot Assistant Para Pacientes DiabéticosSandro Emanuel Machado CruzRui Manuel Ribeiro Castro Mendes2021
Improving the efficiency of the Energy-Split tool to compute the energy of very large molecular systemsSara Alexandra Silva PereiraAlberto José Gonçalves Carvalho Proença (co-supervisão: André Martins Pereira; Henrique Fernandes; Sérgio Sousa)2021
Estudo empírico da variabilidade em sistemas ROSSara Maria Barreira MeloManuel Alcino Pereira da Cunha2021
Sistema de recomendação para uma loja online de livrosTelmo André Moreira CardosoPaulo Jorge Freitas de Oliveira Novais2021
Tracking 3D de objetos deformáveis em tempo realTiago Miguel da Cunha SilvaLuís Gonzaga Mendes Magalhães2021
Bike-sharing docking stations identification using clustering methods in Lisbon cityTiago Rafael da Fonseca FontesPaulo Jorge Freitas de Oliveira Novais2021
Padrões arquitecturais e de desenho para aplicações paralelasVasco Luzio LeitãoJoão Luís Ferreira Sobral2021
Ferramenta de análise do perfil de execução para JavaVítor Domingos Araújo GomesJoão Luís Ferreira Sobral2021
CLAV: autos de eliminaçãoAlexandre Nunes da Costa Morango TeixeiraJosé Carlos Leite Ramalho2020
Bloom filters for stream windowsAna Catarina Gomes RodriguesCarlos Miguel Ferraz Baquero Moreno2020
On pattern recognition of brain connectivity in resting-state functional MRIAna Catarina Salgueiro CardosoVictor Manuel Rodrigues Alves (co-supervisão: José Miguel Montenegro Soares)2020
Micas, a web platform to support teachers of computing at schoolAna Cristina Branco AzevedoPedro Manuel Rangel Santos Henriques (co-supervisão: Cristiana Esteves Araújo)2020
Development of polymer-based electrodes/sensors, functionalized with Ti (N) Cu thin films, integrated with a system for the acquisition of muscle activity for biomedical applications.Ana Rita Ferreira da Costa MachadoJosé Filipe Vilela Vaz (co-supervisão: Doutora Cláudia de Jesus Ribeiro Lopes)2020
Exploring Rust for embedded and critical systemsAndré Brandão de PinhoJosé Nuno Fonseca de Oliveira (co-supervisão: Luís Diogo Couto)2020
Optimization of deep learning algorithms for an autonomous RC vehicleAndré Filipe Amorim PereiraAlberto José Gonçalves Carvalho Proença2020
Plataforma de agendamento em ambiente hospitalarAntónio Jorge Monteiro ChavesJosé Manuel Ferreira Machado2020
Implementação de sistemas de monitorização e controlo de interoperabilidade clínicaAntónio Manuel de Melo CastanheiraJosé Manuel Ferreira Machado2020
Chatbot Development to Assist Patients in Health Care ServicesAntónio Pedro Mesquita BarbosaJoaquim Melo Henriques Macedo2020
Tagus: an IoT data ingestion pipeline for MonetDBBernardo Braga Bastos MotaJosé Orlando Roque Nascimento Pereira2020
Indicadores de desempenho em plataformas HL7Bruno Manuel Borlido ArieiraJosé Manuel Ferreira Machado2020
Transformers for sentiment analysis on social mediaBruno Rafael Mendes MagalhãesMiguel Francisco de Almeida Pereira da Rocha2020
Analysis of message passing software using ElectrumBruno Renato Fernandes CarvalhoManuel Alcino Pereira da Cunha (co-supervisão: Nuno Filipe Moreira Macedo)2020
Genomes comparisons through immune related genes in mammalian speciesBárbara Cláudia Usha Ochs da FonsecaAgostinho Antunes (co-supervisão: Miguel Francisco de Almeida Pereira da Rocha)2020
Incorporação de um sistema analítico numa plataforma computacional de avaliaçãoBárbara Nadine Freitas OliveiraOrlando Manuel de Oliveira Belo2020
Desenho e desenvolvimento de novos módulos para apoiar os auxiliares de saúde em laresCarla Filipa Lopes Monteiro CostaJosé Manuel Ferreira Machado2020
Continuous monitoring of door-to-door postal serviceCarlos Daniel Martins da CostaPedro Manuel Rangel Santos Henriques (co-supervisão: Nuno Feixa Rodrigues)2020
Navegação segura – análise do uso de HTTPS na perspectiva do utilizador finalCarlos Eduardo Ribeiro MachadoMaria Solange Pires Ferreira Rito Lima (co-supervisão: Paulo Manuel Martins de Carvalho)2020
A machine learning approach to boredom detection in smartphonesCarlos José Gomes CamposCésar Analise de Freitas e Silva da Costa Rodrigues2020
Sistema de deduplicação reconfigurávelCarlos Pinto PedrosaJoão Tiago Medeiros Paulo2020
Assessment of microbial community interactions using different toolsCatarina Moreira RibeiroÓscar Manuel Lima Dias (co-supervisão: Ahmad Zeidan)2020
Aplicação móvel inovadora de apoio ao planeamento e administração de medicação em laresCesário Miguel Pereira PernetaJosé Manuel Ferreira Machado2020
Children dyscalculia: a web system for diagnosis and treatmentCésar Augusto Lourenço CachuloVictor Manuel Rodrigues Alves (co-supervisão: Ferraz, Filipa Tinoco)2020
Monitorização e Controlo de Aplicações na NuvemDaniel António Landeira da SilvaJosé Orlando Roque Nascimento Pereira2020
Energy debt: applying technical debt to energy consumptionDaniel Fernandes Veiga MaiaJoão Alexandre Baptista Vieira Saraiva (co-supervisão: Rui Alexandre Afonso Pereira)2020
LSFS: sistema de ficheiros tolerante a faltas para armazenamento em larga escalaDaniel da Silva FernandesJoão Tiago Medeiros Paulo2020
Crowd Sensing and Forecasting for Smart CitiesDavid Daniel Pinto Coelho KramerCésar Analise de Freitas e Silva da Costa Rodrigues2020
Predicting problems from Telecom installation processesDiana Sofia Nogueira CostaHugo Daniel Abreu Peixoto2020
Data augmentation for improving robustness of image based deep learning algorithmsDiogo Afonso da Silva CostaAndré Leite Ferreira2020
Python-tutor on program comprehensionDiogo Filipe Lopes SoaresPedro Manuel Rangel Santos Henriques (co-supervisão: Maria João Varanda)2020
RSafeFS: sistema de ficheiros modular para armazenamento remotoDiogo Luzio LeitãoJoão Tiago Medeiros Paulo2020
SPARQL versus CYPHER: um estudo comparativoEzequiel José Veloso Ferreira MoreiraJosé Carlos Leite Ramalho2020
New generation of interoperable artefacts in medical informaticsFilipe André Martins NunesJosé Manuel Ferreira Machado2020
Data Market for Energy Industry ForecastingFilipe Daniel Vieira da SilvaFábio André Castanheira Luís Coelho2020
Classificador da condição do piso para um sistema de condução autónomaFlávio Joel Martins PeixotoAntónio Joaquim André Esteves2020
FREND PlatformFrancisco José Pires MoraisAntónio Luís Pinto Ferreira de Sousa2020
RealROC: a shiny based application for ROC curve study with covariate adjustmentFrancisco Luís do Amaral Ribeiro Machado e CostaAna Cristina da Silva Braga2020
Characterizing and revealing biomarkers on patients with Cerebral Amyloid Angiopathy using artificial intelligenceFátima Solange Lima Rezende da SilvaVictor Manuel Rodrigues Alves (co-supervisão: Oliveira, Tiago Gil)2020
Data Analysis and Recommender System Architecture for E-Commerce PlatformsGil Fernando Ferreira da CunhaHugo Daniel Abreu Peixoto2020
Otimização de recursos de rede para encadeamento de serviços em Segment RoutingGonçalo Dias Camaz MoreiraPedro Nuno Miranda de Sousa2020
HealthAdvisor – Mobile SolutionsHenrique José Leão Costa Santos RibeiroCésar Analise de Freitas e Silva da Costa Rodrigues2020
Patterns and development strategies used on a microservices architectureHugo Manuel Coelho de OliveiraAntónio Manuel Nestor Ribeiro2020
Knowledge analysis in code mapping graphsIsabel Sofia da Costa PereiraOrlando Manuel de Oliveira Belo2020
Construção Automática de CMDBJoana Catarina Maciel PereiraAntónio Luís Pinto Ferreira de Sousa2020
Network and cross-platform SaaS performance: a case studyJoana Lourenço CarreiraMaria Solange Pires Ferreira Rito Lima2020
Privas: assegurando a privacidade em sistemas de exploração de bases de dadosJoana Margarida MiguelPedro Manuel Rangel Santos Henriques (co-supervisão: Varanda, Maria João)2020
Modelação e previsão de decisões judiciais utilizando um repositorio de sentençasJoel Soares RodriguesPaulo Jorge Freitas de Oliveira Novais2020
Improving Bouding Boxes annotation for object detection in fleet service vehiclesJoel Tomás MoraisAntónio José Borba Ramires Fernandes2020
Serviço de acesso remoto a coleções musicais em servidores privadosJorge Miguel da Silva OliveiraBruno Alexandre Fernandes Dias2020
CLAV: API de dados e autenticaçãoJosé Carlos Lima MartinsJosé Carlos Leite Ramalho2020
Ambient Occlusion in real timeJosé Carlos da Silva AlvesAntónio José Borba Ramires Fernandes2020
Simulation of Quantum Biology: Quantum simulation of photosynthesisJosé Diogo GuimarãesLuís Soares Barbosa (co-supervisão: Carlos Eduardo Teixeira Tavares)2020
Monitoring and real-time simulation of an industrial production pipelineJosé Diogo Lago VianaAntónio Luís Pinto Ferreira de Sousa2020
System integration in DataJosé Francisco Gonçalves Petejo e Igreja MatosJosé Manuel Ferreira Machado2020
Humanized data cleaningJosé Miguel Silva DiasJácome Miguel Costa Cunha2020
HealthAdvisor – Development of Central ServicesJoão Miguel Pires BarreiraCésar Analise de Freitas e Silva da Costa Rodrigues2020
Georreferenciação de Conteúdos de Bases de Dados DocumentaisJoão Pedro Carvalho GomesOrlando Manuel de Oliveira Belo2020
Mashup de serviços de meteorologiaJoão Pedro Ferreira VieiraAntónio Manuel Nestor Ribeiro2020
Framework de Rede Tolerante a FalhasJoão Pedro de Moura Pereira e Ferreira CarvalhoAntónio Luís Duarte Costa2020
GSD: a web application for teacher timetable management – dissertation reportJoão ReisPedro Manuel Rangel Santos Henriques (co-supervisão: Varanda, Maria João)2020
Aplicações híbridas para smart homesLeonel da Cruz GonçalvesAntónio Manuel Nestor Ribeiro2020
Formal Verification in Blockchains and Related TechnologiesLisandra Maria Pereira da SilvaJosé Carlos Bacelar Ferreira Junqueira Almeida2020
Inteligência Artificial Aplicada ao eCommerceLuís Gonçalo Ferreira MendesVictor Manuel Rodrigues Alves2020
Gestão de Informação em Contexto HospitalarLuís Manuel Cachada DiasJosé Manuel Ferreira Machado2020
Sistemas de Conversação para Software EducacionalLuís Manuel Leite CostaOrlando Manuel de Oliveira Belo2020
Automatic parameter tuning using reinforcement learningLuís Manuel Meruje FerreiraFábio André Castanheira Luís Coelho2020
An efficient and accurate framework for large-scale sequences of DNA barcodesLuís Manuel Pacheco NetoAlberto José Gonçalves Carvalho Proença2020
Intelligent feedback system for programmer’s profile improvementLuís Martinho de Aragão Rego da SilvaPedro Manuel Rangel Santos Henriques (co-supervisão: Maria João Varanda)2020
Applying attribute grammars to teach linguistic rulesManuel Gouveia Carneiro de SousaPedro Manuel Rangel Santos Henriques2020
Network anomaly detection using adversarial deep learningMaria Elisa Maciel ValenteMiguel Francisco de Almeida Pereira da Rocha2020
Programmable environments for quick orchestration of deploymentsMaria Helena Ribeiro PoleriAntónio Manuel Nestor Ribeiro2020
Business Intelligence na Logística – Criação e Otimização de DashboardsMaria Matilde Gomes da SilvaJosé Manuel Ferreira Machado2020
Esquemas de assinatura digital Lattice-based e experimentação de certificados híbridos com criptografia pós-quânticaMaria Zita Fiqueli de AbreuJosé Pedro Miranda Mourão Patrício (co-supervisão: José Carlos Bacelar Ferreira Junqueira Almeida e Carla Coutinho)2020
S2Dedup: SGX-enabled secure deduplication systemMariana Martins de Sá MirandaJoão Tiago Medeiros Paulo (co-supervisão: Oliveira, Rui Carlos Mendes de)2020
Flexible molecular alignment: an industrial case study on quantum algorithmic techniquesMarta Sofia Saraiva OliveiraLuís Soares Barbosa2020
Aplicação de técnicas de gamificação em sistemas educacionaisMiguel Afonso Machado da CunhaOrlando Manuel de Oliveira Belo2020
Identification of microservices from monolithic applications through topic modellingMiguel António Ferrão BritoJácome Miguel Costa Cunha2020
Augmented reality over mapsMiguel Jorge da Lomba MagalhaesAntónio Luís Pinto Ferreira de Sousa (co-supervisão: Vaz, David Manuel Gonçalves)2020
Active learning for fraud detectionMiguel Lobo Pinto LeitePaulo Jorge Sousa Azevedo2020
TrustZone based attestation in secure runtime verification for embedded systemsMiguel Miranda QuaresmaJosé Carlos Bacelar Ferreira Junqueira Almeida2020
A secure IoT communication system for smart contractsNuno André Lopes LeiteAlexandre Júlio Teixeira dos Santos2020
High performance data processingNuno Filipe Pinto FariaJosé Orlando Roque Nascimento Pereira2020
Self-service kiosk-based anamnesis system for emergency departmentsPaulo Alexandre Gonçalves PachecoPedro Manuel Rangel Santos Henriques2020
Development of a System Compliant with the Application-layer Traffic Optimization ProtocolPaulo Edgar Mendes CaldasPedro Nuno Miranda de Sousa2020
Musikla: music and keyboard languagePedro Miguel Oliveira da SilvaJosé João Antunes Guimarães Dias de Almeida2020
Prototipagem de InterfacesRafael Braga Gomes da CostaJosé Francisco Creissac Freitas de Campos2020
PhobiAR, an artefact of augmented reality to support the exposure therapy of specific phobiasRaul Vilas BoasPedro Manuel Rangel Santos Henriques (co-supervisão: Lázaro Lima)2020
PhobiAR, an artefact of augmented reality to support the exposure therapy of specific phobiasRaúl Vilas BoasPedro Manuel Rangel Santos Henriques2020
Um sistema P2P para detecção de anomalias de redeRicardo César Cangueiro MendonçaPedro Nuno Miranda de Sousa2020
Especificação e implementação de workflows numa plataforma para classificação e avaliação documentalRui Filipe Ferreira AraújoJosé Carlos Leite Ramalho2020
Query optimizers based on machine learning techniquesRui Pedro Sousa Rodrigues do SoutoFábio André Castanheira Luís Coelho2020
Regulamento Geral de Proteção de Dados uma Plataforma de Apoio à CertificaçãoSandra Clemente Marques BaptistaPedro Manuel Rangel Santos Henriques2020
Serviço que auxilie na comunicação entre profissionais da área da educação, pais/encarregados de educação e eventualmente o serviço de urgência na ala de pediatriaSandra Teixeira Marques de SousaJosé Manuel Ferreira Machado2020
Improving the efficiency of the Energy-Split tool to compute the energy of a very large molecular systemSara Alexandra da Silva PereiraAndré Martins Pereira; Henrique Fernandes; Sérgio Sousa (co-supervisão: André Pereira)2020
Desenvolvimento de uma plataforma de apoio à decisão clínica relativamente ao problema do absentismo numa empresaSara Daniela Oliveira da SilvaJosé Manuel Ferreira Machado2020
Shopping Trends: aperfeiçoamento de um conceito para melhorar a experiência dos consumidoresSofia Dores Mendes da SilvaJosé Manuel Ferreira Machado2020
Development of algorithms for the analysis and data mining of chemical compound pricesSofia Maria Alves FariaMiguel Francisco de Almeida Pereira da Rocha2020
Roteamento Inteligente de ChamadasSérgio Tiago Oliveira JorgePaulo Jorge Freitas de Oliveira Novais2020
Conversão de esboços de páginas Web para HTML usando aprendizagem automáticaTiago André Alves BouçasAntónio Joaquim André Esteves2020
Análise do consumo de energia de sistemas de gestão de bases de dadosTiago André Araújo MonteiroJoão Alexandre Baptista Vieira Saraiva2020
CoR-HPX Uma nova abordagem à computação orientada ao recursoTiago Fernandes GonçalvesAntónio Manuel da Silva Pina2020
Intelligent Auto Scalling (Dev Ops)Tiago Manuel Gonçalves LameiraJosé Orlando Roque Nascimento Pereira2020
Kiko, a lesson planner system to enhance classesTiago Miguel Alves CruzPedro Manuel Rangel Santos Henriques (co-supervisão: Cristiana Esteves Araújo)2020
Benchmarking deep learning for predicting telecommunications recurring problemsVitor José Ribeiro CastroVictor Manuel Rodrigues Alves (co-supervisão: Pereira, Carlos Miguel Silva Couto)2020
Feasability of using autoencoders for learning car interior background modelsVítor Bruno Martins FigueiredoAndré Leite Ferreira2020
Building a hybrid recommender engine for e-commerceVítor Emanuel Carvalho PeixotoHugo Daniel Abreu Peixoto (co-supervisão: José Manuel Ferreira Machado)2020
Cidades Inteligentes – Sistema de Monitorização de Pavimento e TráfegoVítor Hugo de Castro RodriguesMaria Solange Pires Ferreira Rito Lima2020
Previsão de reincidência da mesma tipologia de problemaVítor José Ribeiro CastroVictor Manuel Rodrigues Alves2020
Monitorização de saúde física e psicológica utilizando dispositivos móveisAdriana Eliana Fernandes PereiraCésar Analise de Freitas e Silva da Costa Rodrigues2019
Integrating post-quantum cryptography (NTRU) in the TLS protocolAfonso Pires FontesJosé Manuel Esgalhado Valença2019
DEDISbench++: Avaliação realista de deduplicação e compreensão em sistemas de armazenamentoAlexandre Lopes Mandim da SilvaJoão Tiago Medeiros Paulo2019
A kinetic model of the central carbon metabolism for acrylic acid production in Escherichia coliAlexandre Rafael Machado OliveiraÓscar Manuel Lima Dias (co-supervisão: Joana Lúcia de Lima Correia Rodrigues)2019
CLAV: Avaliação da informação públicaAlfredo Miguel Macedo GomesJosé Carlos Leite Ramalho2019
Predict immune responses to neoantigens using Machine LearningAna Carolina Dias SilvaDina Ruano (co-supervisão: Miguel Francisco de Almeida Pereira da Rocha)2019
Software development for monitoring and supporting intralogistics vehicles: From a laboratory prototype to an industrial prototypeAna Esmeralda Alves FernandesJoão Miguel Lobo Fernandes (co-supervisão: Machado, Toni Daniel Neto Machado)2019
Deep Learning Applied to Medical ImagingAna Filipa de Oliveira RamosVictor Manuel Rodrigues Alves (co-supervisão: Patrícia Sanchez González)2019
Distributed deep learning for sleep apnea detection on ECG signalsAna Margarida da Silva MachadoAntónio Luís Pinto Ferreira de Sousa2019
Building an automated platform for the classification of peptides/proteins using machine learningAna Marta Fernandes Tavares SequeiraMiguel Francisco de Almeida Pereira da Rocha (co-supervisão: Diana Andreia Pereira Lousa)2019
Development of a framework for identification of Candida species and detection of antifungal resistanceAna Patrícia Mota de OliveiraMiguel Francisco de Almeida Pereira da Rocha (co-supervisão: Ana Sofia da Quinta e Costa Neves de Oliveira)2019
Intelligent Monitoring of Interoperability in hospital environmentAna Regina Coelho de SousaJosé Manuel Ferreira Machado (co-supervisão: Diana Ferreira)2019
Applying clinical onthologies in Anatomical Pathology using SNOMEDAndrea DominguesAntónio Carlos da Silva Abelha (co-supervisão: Júlio Miguel Marques Duarte)2019
Identification and classification of transporter proteins using deep learning modelsAndrea Ferreira Meireles da SilvaMiguel Francisco de Almeida Pereira da Rocha2019
Aprendendo a jogar DCSS com Deep reinforcement learningAndré Almeida GonçalvesRui Manuel Ribeiro Castro Mendes2019
A digital image based method to quantify intracellular polyphosphates in microbial aggregatesAndré Paço da FonsecaDaniela Patrícia Bernardino Mesquita (co-supervisão: Eugénio Manuel de Faria Campos Ferreira )2019
Scene text detection and recognitionAndré Ricardo Covelo GermanoAntónio José Borba Ramires Fernandes (co-supervisão: Ferreira, Manuel João)2019
Retopologia: um estudo compreensivo das soluções atuais de automatização do ponto de vista da workflow de um artistaAntónio Pedro Carvalho Machado da SilvaAntónio José Borba Ramires Fernandes2019
Retopology: a comprehensive study of current automation solutions from an artist’s workflow perspectiveAntónio Pedro Carvalho Machado da SilvaAntónio José Borba Ramires Fernandes2019
Development of a software system for monitoring outbound logisticsBeatriz Ribeiro Pires LoureiroJoão Miguel Lobo Fernandes2019
Sistemas de Análise e Previsão de Consumo Enregético para uma Cidade InteligenteBruno Alexandre Almeida SousaOrlando Manuel de Oliveira Belo2019
Energy-aware gossip protocol for Wireless Sensor NetworksBruno Chianca FerreiraJoão Marco Cardoso da Silva2019
Improving the response time of emergency vehicles using V2X communicationsBruno Martins PereiraBruno Alexandre Fernandes Dias (co-supervisão: Paulo Martins de Carvalho)2019
Framework de Segurança com Balanceamento de Carga no Contexto de SDNBruno Miguel Salgado MachadoMaria Solange Pires Ferreira Rito Lima2019
Towards model checking Electrum specifications with LTSminBruno Miguel Sousa CancelinhaManuel Alcino Pereira da Cunha (co-supervisão: Paulo Sérgio Soares Almeida)2019
Detection of anonymized traffic: Tor as case studyBruno Rafael Lamas Corredoura DantasMaria Solange Pires Ferreira Rito Lima (co-supervisão: Paulo Manuel Martins de Carvalho)2019
Implementation and Evaluation of Tagged Causal Multicast as a Rust LibraryCarlos Duarte Afonso PereiraPaulo Sérgio Soares Almeida2019
A Quantum Algorithm for Ray Casting using an Orthographic CameraCarolina Isabel Monteiro AlvesLuís Paulo Peixoto dos Santos2019
Cloud computing and GDPR: legal and technical implications of the new regulation on SAAS in the Portuguese contextCatarina Amaral da Costa Brás da CunhaFrancisco Carneiro Pacheco Andrade (co-supervisão: José Carlos Bacelar Ferreira Junqueira Almeida)2019
CLAV Editor genérico de XMLCláudia Azevedo MarquesJosé Carlos Leite Ramalho2019
Improving Saccharomyces cerevisiae xylose to ethanol fermentation yield by incorporating protein structural informationCláudio Filipe Ferreira NóvoaIsabel Cristina de Almeida Pereira da Rocha (co-supervisão: Cláudio Manuel Soares)2019
In silico investigation of drugs for the treatment of dengue fever diseaseDaniel Carpinteiro SoaresLuísa Mesquita Pereira (co-supervisão: Miguel Francisco de Almeida Pereira da Rocha)2019
Growth and characterization of Cu(In,Ga)Se_2 thin film for solar cells by pulsed hybrid reactive magnetron sputteringDaniel Portela de BritoSascha Sadewasser (co-supervisão: Pedro Alpuim)2019
Otimização de custos de operação de aplicações Web em cloudDiogo Alexandre Gonçalves MachadoAntónio Luís Pinto Ferreira de Sousa2019
Development and implementation of a repository for transcriptional regulatory informationDiogo Batista LimaÓscar Manuel Lima Dias2019
Discovery and Exploration of Features for Cancer Recurrence PredictionDiogo Francisco Pereira CoutoPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Tiago José Martins Oliveira)2019
Abordagem Baseada em Dados Sintéticos para Classificação de Sinais de TrânsitoDiogo Lopes da SilvaAntónio José Borba Ramires Fernandes2019
OntoReport: Gerador de relatórios sobre ontologiasDiogo Meira NevesJosé Carlos Leite Ramalho2019
Context Analysis for the Improvement of Intelligent Vehicles NetworksEduardo de Lima CunhaPedro Manuel Rangel Santos Henriques2019
Development of a web-based platform for Biomedical Text MiningEmanuel Queiroga Amorim FernandesMiguel Francisco de Almeida Pereira da Rocha2019
Genome-scale reconstruction of the metabolic model of the probiotic bacterium Lactobacillus acidophilusEmanuel Rodrigues da CunhaÓscar Manuel Lima Dias (co-supervisão: Zeidan, Ahmad Adel)2019
Solução de Análise Preditiva para Gestão de Tarefas e AvariasFlávia Daniela da SilvaPedro Manuel Rangel Santos Henriques2019
Acordo Bizantino Mutável para a BlockchainFábio Luís Baião da SilvaJosé Orlando Roque Nascimento Pereira (co-supervisão: Ana Luísa Parreira Nunes Alonso)2019
Técnicas de Deep Learning na determinação da Idade ÓsseaGonçalo Manuel Barbosa Teles PinheiroMiguel Angel Guevara Lopez (co-supervisão: Luís Gonzaga Mendes Magalhães)2019
Processamento Analítico de Dados SegurosHugo Alves CarvalhoJoão Tiago Medeiros Paulo2019
Arquitetura de Elevada Disponibilidade para Bases de Dados na CloudHugo Miguel Ferreira AbreuJosé Orlando Roque Nascimento Pereira2019
Chatbot for digital marketing and customer support: an artificial intelligence approachHumberto João Alves VazRui Manuel Ribeiro Castro Mendes (co-supervisão: Ana Anjo)2019
Automatic Extraction of Web Medical Documents for Textual AnalysisInês Fraga GomesVictor Manuel Rodrigues Alves2019
From Electronic Health Record to Assisted Drug Administration – A Case StudyInês São José Simões DiasJorge Gustavo Pereira Bastos Rocha2019
Requests Portal: Application Management Platform for Complementary Diagnostic and Therapeutic MeansInês da Costa e SilvaAntónio Carlos da Silva Abelha2019
Transformation of ETL processes from YAWL to KettleJanine Marlene Duarte da Silva FreitasOrlando Manuel de Oliveira Belo2019
Proof-of-concept of a Single-point Time-of-Flight LiDAR System and Guidelines towards Integrated High-accuracy Timing, Advanced Polarization Sensing and Scanning with a MEMS MicromirrorJoaquim Bernardino dos SantosEduardo Jorge Nunes Pereira2019
Modelling interspecies interactions of syntrophic communities of Syntrophobacter fumaroxidans and Methanospirillum hungateiJosé Jorge Sampaio BastosÓscar Manuel Lima Dias (co-supervisão: Alfons M.Stams)2019
Children dyscalculia: game based mobile application for learning mathematicsJosé Manuel Gonçalves Leitão da CunhaVictor Manuel Rodrigues Alves2019
In silico objective-driven optimization of microbial communitiesJosé Miguel Dantas de SousaÓscar Manuel Lima Dias (co-supervisão: Miguel Francisco de Almeida Pereira da Rocha)2019
Convergent types for shared memoryJosé Pedro Maia BrandãoCarlos Miguel Ferraz Baquero Moreno (co-supervisão: Bieniusa, Annette)2019
Caracterização de tráfego não solicitado em dispositivos móveisJosé Pedro Veiga da SilvaPaulo Manuel Martins de Carvalho (co-supervisão: Solange Lima)2019
Fault tolerant decentralized deep neural networksJoão Carlos Faria PadrãoCarlos Miguel Ferraz Baquero Moreno2019
Scalable Trace Analysis of Distributed Systems Finding data racesJoão Carlos Mendes PereiraJorge Miguel Matos Sousa Pinto2019
Evolução Urbanística de Fafe nos Séculos XIX e XXJoão Filipe Campos LameirasPedro Manuel Rangel Santos Henriques2019
Aplicação Web para especificação de Serviço DocenteJoão Ismael Barros dos ReisPedro Manuel Rangel Santos Henriques2019
Análise de Padrões Biométricos para Optimização do Desempenho AcadémicoJoão Miguel Amorim NoivoPaulo Jorge Freitas de Oliveira Novais2019
Gerador de protótipos de interfaces gráficas para IVY WorkbenchJoão Miguel Matela Aidos Manso de AraújoJosé Francisco Creissac Freitas de Campos (co-supervisão: Rui Couto)2019
Criação de aplicações Java a partir de requisitos expressos oralmenteJoão Nuno Gomes Rodrigues de AlmeidaAntónio Manuel Nestor Ribeiro2019
Reconstruction of the metabolic network of Lactobacillus RhamnosusJoão Pedro Bernardo MendesIsabel Cristina de Almeida Pereira da Rocha (co-supervisão: Óscar Manuel Lima Dias)2019
A web server to predict and annotate fungal secretomes or secreted proteins.João Pedro Rodrigues BaptistaAna Cristina Esteves (co-supervisão: Miguel Francisco de Almeida Pereira da Rocha)2019
Sistema de alerta rodoviário baseado em comunicações V2XJoão Rui de Sousa MiguelAntónio Luís Duarte Costa2019
Prometheus: a generic e-commerce crawler for the study of business markets and other e-commerce problemsJoão Tiago Pereira DiasAntónio José Borba Ramires Fernandes2019
Desenvolvimento de segurança e automatização de atualizações numa arquitetura de micro-serviçosJoão Tiago Rocha GomesJoão Miguel Lobo Fernandes2019
Mecanismos de Raciocínio para Sistemas de Avaliação do ConhecimentoJoão da Cunha CoelhoOrlando Manuel de Oliveira Belo2019
Gestão e controlo de dispositivos IoT através da interação com assistentes digitaisJúlio Dinis Sá PeixotoAntónio Manuel Nestor Ribeiro2019
The impact of applying maturity models in clinical areas of the National Health SystemLara Cristina Lopes Correia e SilvaJosé Manuel Ferreira Machado2019
Graphene Transistors for radio-frequency applicationsLucas Morais BaptistaPaulo Mendes (co-supervisão: João Pedro Alpuim)2019
Integração de criptografia pós-quântica (NTRU) no protocolo TLSLuís Alberto Oliveira Rocha Esquível CostaJosé Manuel Esgalhado Valença2019
Reengenharia de um sistema de software de gestão e ratreabilidade logísticaLuís Carlos da Silva MarquesJoão Miguel Lobo Fernandes2019
Encaminhamento de Tráfego em Redes SDN (Software-Defined Networking)Luís Gonçalo Epifânio PereiraPedro Nuno Miranda de Sousa2019
CortaColaEspia: Criação, integração e exploração de coleções digitaisLuís Miguel Fontão MartinsPedro Manuel Rangel Santos Henriques2019
Mecanismos de Profiling para Sistemas de Avaliação de ConhecimentoLuís Miguel Moreira FernandesOrlando Manuel de Oliveira Belo2019
Criação de uma câmara de serviço especificada em diagramas de sequência UMLMarcelo Alexandre Matos Fonseca LimaAntónio Manuel Nestor Ribeiro2019
Early validation of system requirements and designMarcelo António Caridade MirandaJorge Miguel Matos Sousa Pinto2019
Combining Data and Text Mining Techniques for automatic analysis of financial reportsMarcelo Queirós PintoPaulo Alexandre Ribeiro Cortez2019
Applying Machine Learning Algorithms to Medical KnowledgeMaria Ana da Cunha Monteiro Fernandes de BritoJosé Manuel Ferreira Machado2019
Automatic Gleason grading prostate tissue using convolutional neural netwoksMariana Gomes Oliveira de CastroVictor Manuel Rodrigues Alves (co-supervisão: Valeriana Naranjo Ornedo)2019
In silico characterization of microbial communities interaction in soil samplesMarta Lopes GomesÓscar Manuel Lima Dias (co-supervisão: Ulisses Nunes da Rocha)2019
Desmaterialização de documentos de identificaçãoMatias Nicolau AraújoJosé Carlos Bacelar Ferreira Junqueira Almeida2019
On quantum bayesian networksMichael de OliveiraLuís Soares Barbosa2019
A Machine Learning Approach to the Big Five Pernonality TestMiguel Campos Calafate Carneiro PerdigãoCésar Analise de Freitas e Silva da Costa Rodrigues2019
Desenvolvimento de algoritmo de contagem de veículos em vídeoMiguel Filipe Carvalhais dos Santos de MatosAntónio José Borba Ramires Fernandes2019
Uma Rede Overlay Controlada pelo ISP para partilha de conteúdosMiguel Gil Pires da SilvaPedro Nuno Miranda de Sousa2019
Genome-scale metabolic modelling of the pathogen Xylella FastidiosaMiguel Ângelo Fernandes da SilvaÓscar Manuel Lima Dias (co-supervisão: Cristiana Faria)2019
A mobile health application to assist professionals: a case study in a Portuguese nursing homeMárcia Annie Araújo EstevesJosé Manuel Ferreira Machado2019
Monitorização da rede Eduroam do Departamento de InformáticaMário Costa SilvaMaria Solange Pires Ferreira Rito Lima (co-supervisão: Paulo Manuel Martins de Carvalho)2019
A Comparative Study of Optical Recognition in Health Information SystemsMário Rafael Mendes RibeiroAntónio Carlos da Silva Abelha (co-supervisão: Júlio Miguel Duarte)2019
Sistema de Apoio à decisão na área da nutriçãoNelson Arieira ParenteJosé Manuel Ferreira Machado2019
Control of peripherals by voiceNelson Manuel Figueiredo SilvaPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Davide Rua Carneiro)2019
Controlo de periféricos por vozNelson Manuel Figueiredo da SilvaPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Davide Rua Carneiro)2019
Uma abordagem criptográfica a sistemas criptográficosNunes Tchimúa Mucuata RafaelJosé Carlos Bacelar Ferreira Junqueira Almeida (co-supervisão: José Pedro Miranda Mourão Patrício)2019
Conveniência e Segurança com SCMDNuno Cabral VieiraJosé Carlos Bacelar Ferreira Junqueira Almeida2019
Caracterização de Tráfego de Desempenho em Dispositivos Móveis: Web e AplicacionalNuno Gabriel da Silva ArealPaulo Manuel Martins de Carvalho (co-supervisão: Solange Lima)2019
CLAV: Autenticação e integração na plataforma iAPOctávio José Azevedo MaiaJosé Carlos Leite Ramalho2019
Context-aware system architecture to assist workout plansPaulo Alexandre Azevedo FerreiraPaulo Jorge Freitas de Oliveira Novais2019
AntiEgo: Protocolo Nash Equilibrium para Redes Ad Hoc com comportamentos RacionaisPaulo Jorge Machado GuedesJoão Marco Cardoso da Silva2019
Smart Cities Geofences for Vulnerable Road UsersPedro Daniel Gomes FonsecaCésar Analise de Freitas e Silva da Costa Rodrigues2019
Surgery process – an approach based on case-based reasoningPedro Filipe Pires FariaJosé Carlos Maia Neves (co-supervisão: António Carlos da Silva Abelha)2019
Resolução de conflitos em Tratamentos clínicosPedro José Costa de OliveiraPaulo Jorge Freitas de Oliveira Novais2019
Automatic fix of Source code vulnerabilitiesPedro Miguel Lopes PereiraPedro Manuel Rangel Santos Henriques2019
Analysis of Human Metabolic Models Using Machine Learning TechniquesPedro Miguel Serra MorimHuseyin Demirci2019
Adaptive consensus for the blockchainRicardo António Gonçalves PereiraJosé Orlando Roque Nascimento Pereira (co-supervisão: Ana Luísa Parreira Nunes Alonso)2019
Clinical Decision Support System in Organ TransplantationRita Soares ReisAntónio Carlos da Silva Abelha2019
Desenvolvimento de um processo para a criação de aplicações multi-plataforma de voz para a Amazon Alexa e o Google AssistantRita de Moura Machado Coelho CanavarroAntónio Manuel Nestor Ribeiro2019
Building an imagining-based research platform for the implementation of experiments with brain connectivity dataRogério Gomes Lopes MoreiraVictor Manuel Rodrigues Alves2019
Desenvolvimento de uma plataforma de serviços para facilitar a integração de aplicações empresariaisRui Filipe Castro LeiteAntónio Luís Pinto Ferreira de Sousa2019
Inteligência na Nutrição em Cuidados de Saúde e Cuidados ContinuadosRui Pedro Mesquita MirandaJosé Manuel Ferreira Machado2019
Deteção rápida de vulnerabilidades: Combate a problemas de desempenho do SAST com Machine LearningSamuel Gonçalves FerreiraPedro Manuel Rangel Santos Henriques2019
Building a database and development of a machine learning algorithm to identify and characterize viral fusion peptidesSara Catarina Monteiro PereiraDiana Lousa (co-supervisão: Isabel Cristina de Almeida Pereira da Rocha)2019
Car interior damage detection based on thermographic imagesSara Raquel Ramalho GonçalvesJaime Francisco Cruz Fonseca2019
Implementation of the object-relational mapping tool Hibernate in merlin’s frameworkSofia Raquel Lages PereiraÓscar Manuel Lima Dias2019
Proposal of a certification model for the maturity of hospital information systems in the Administrative fieldSoraia Inês Castro PereiraJosé Manuel Ferreira Machado2019
Intelligent System to Support Inpatient CareSónia Marisa Ferreira FariaAntónio Carlos da Silva Abelha (co-supervisão: Daniela Sofia Rijo Oliveira)2019
Optical properties of a composite layer containing graphene and plasmonic nanoparticlesTiago Alves QueirósMikhail Igorevich Vasilevskiy (co-supervisão: João Pedro dos Santos Hall Agorreta de Alpuim)2019
Comparative analysis and characterization of industrial Streptococcus thermophilus genomesTiago Filipe Pereira IsabelinhoÓscar Manuel Lima Dias (co-supervisão: Hüseyin Demirci)2019
Spatial Normalization and analysis of Brain MRI Studies. A Deep Neural Network Based ApproachTiago Rafael Andrade JesusVictor Manuel Rodrigues Alves (co-supervisão: Ricardo Magalhães)2019
Aplicações para TV baseado em Templates em várias plataformasVictor Manuel da CunhaAntónio Manuel Nestor Ribeiro2019
Integration of Quantum Processes in Cyber-Physical SystemsVítor Emanuel Gonçalves FernandesLuís Soares Barbosa (co-supervisão: Renato Neves)2019
Integration of time in a quantum process algebraVítor FernandesLuís Soares Barbosa (co-supervisão: Renato Jorge Araújo Neves)2019
Developing deep learning methods to predict cancer and its outcome from transcriptomics dataÓscar Marques SoaresMiguel Francisco de Almeida Pereira da Rocha2019
Aplicações Web seguras em DjangoAdriano Dias TeixeiraAntónio Joaquim André Esteves2018
Validation of quantum simulations: assessing efficiency and reliability in experimental implementationsAfonso Miguel Fernandes RodriguesLuís Soares Barbosa (co-supervisão: Carlos Eduardo Teixeira Tavares)2018
Um laboratório virtual de Mecânica Clássica totalmente configurávelAlexandre Romain Lucas Ventosa da SilvaAntónio José Borba Ramires Fernandes2018
A fully configurable virtual laboratory of classical mechanicsAlexandre Ventosa da SilvaAntónio José Borba Ramires Fernandes2018
Fall Detection Framework for Motion Sensing DevicesAna Filipa Afonso MendonçaCésar Analise de Freitas e Silva da Costa Rodrigues (co-supervisão: Fábio Silva)2018
Towards quantum program calculationAna Isabel Carvalho NeriJosé Nuno Fonseca de Oliveira (co-supervisão: Rui Soares Barbosa)2018
Building a database of common genetic variation in the Portuguese population using a WES approachAna Raquel Salgado RamosPaulo Filipe Pereira de Jesus Silva (co-supervisão: Miguel Francisco de Almeida Pereira da Rocha)2018
Automated Computer-aided Design of Cranial Implants – A Deep Learning ApproachAna Rita André MoraisVictor Manuel Rodrigues Alves (co-supervisão: Jan Egger)2018
Advanced Text Mining for Annotation of Genomic VariantsAna Rita Patrício MonteiroPatrícia Joana Morais Ferreira Oliveira (co-supervisão: Rui Manuel Ribeiro Castro Mendes)2018
Avaliação da Qualidade das imagens da retina usando Redes Neuronais ConvolucionáriasAna Rita Vieira RodriguesVictor Manuel Rodrigues Alves (co-supervisão: Manuel João Oliveira Ferreira)2018
Sistemas inovadores de segurança em bases de dadosAndré Alexandre Pinheiro MarinhoRui Carlos Mendes Oliveira2018
Apreensão e discretização de ambientes tangíveis em sistemas de realidade aumentadaAndré Filipe Proença e SilvaLuís Gonzaga Mendes Magalhães2018
The influence of Emotions on Human-Computer InteractionsAndré Francisco Soares Carvalho Alves TeixeiraPaulo Jorge Freitas de Oliveira Novais2018
Simulação de dispositivos médicos em AndroidAndré Miguel Bonjardim PintoJosé Francisco Creissac Freitas de Campos (co-supervisão: Masci, Paolo)2018
A text mining based approach for biomarker discoveryAndré Miguel Portugal Abrantes Cruzeiro SantiagoMiguel Francisco de Almeida Pereira da Rocha (co-supervisão: Joel Perdiz Arrais (Univ. Coimbra))2018
Desenvolvimento de um Chatbot para apoio clínicoAndré Portela de Lima DiasVictor Manuel Rodrigues Alves2018
Efficient computational methods to index crystallographic (S)TEM images and ED patternsAndré Sá SilvaAlberto José Gonçalves Carvalho Proença (co-supervisão: Daniel Grando Stroppa)2018
Modern Front-End Web DevelopmentAntónio Manuel Pereira do AnjoRui Couto (co-supervisão: José Francisco Creissac Freitas de Campos)2018
Mobile Patient Relationship Mangement – A Case StudyAntónio Pedro da Rocha MoreiraJosé Manuel Ferreira Machado2018
Desenvolvimento de um programa para comparação de curvas ROC: para amostras independentes e amostras relacionadasAugusto Daniel Teixeira MoreiraAna Cristina da Silva Braga2018
Aplicação de Software com Realidade Aumentada para Comércio Eletrónico: Identificação de PadrõesBeatriz Abreu AarãoJoão Miguel Lobo Fernandes2018
Development of a scoring system to assess potential biomarkers for atrial fibrillationBeatriz Teixeira de MagalhãesRui Miguel Pinheiro Vitorino (co-supervisão: Miguel Francisco de Almeida Pereira da Rocha)2018
PlaCor – Plataforma para a Computação Orientada ao RecursoBruno Manuel Gonçalves RibeiroAntónio Manuel da Silva Pina2018
Uma Arquitetura para Implementação NG-PON2Carlos Miguel Cerqueira Silva LopesPedro Nuno Miranda de Sousa (co-supervisão: Miguel Neto Gonçalves)2018
Sistema de Apoio à decisão na área da nutriçãoCarlos Vasco Pinheiro da Costa AbelhaJosé Manuel Ferreira Machado2018
Melhoria da qualidade de serviço e monitorização clínica da gravidezCatarina Sofia Alves PeixotoAntónio Carlos da Silva Abelha (co-supervisão: Manuel Santos)2018
A Gestão e Otimização de Preço no Retalho Especializado: Motores de Regras versus SolversCecília Catarina Domingues MarcielJosé Orlando Roque Nascimento Pereira2018
Cloud-based analytics for monitoring and classification of arrhythmiasCláudia Vanessa Martins de BritoAntónio Luís Pinto Ferreira de Sousa2018
Deep Neural Networks Applied to Medical ImagingCristiana Filipa Soares da SilvaVictor Manuel Rodrigues Alves (co-supervisão: Valery Naranjo)2018
AIDA-MCDT: New Approach to the Visualization of Complementary Means of Diagnosis and TherapyCristiana Marisa Pereira NetoAntónio Carlos da Silva Abelha2018
Processamento analítico seguroDaniel Carvalho da CruzJoão Tiago Medeiros Paulo2018
GPM: Generic Predictive Machine, Uma Framework Automatizada para Machine LearningDaniel Cerveira Furtado MalhadasPaulo Jorge Freitas de Oliveira Novais2018
Characterization of genetic variants in 70 Portuguese individualsDaniel Eduardo Fernandes MartinsRui Manuel Ribeiro Castro Mendes (co-supervisão: Maria da Conceição Venâncio Egas)2018
Armazenamento de Dados Colunar para Processamento AnalíticoDaniel Filipe Vilar TavaresJosé Orlando Roque Nascimento Pereira2018
A comprehensive phylogenetic analysis of Mycobacterium tuberculosis protein-coding genes: insights into evolution and virulenceDaniela Sofia Gaspar PereiraTeresa Sofia Teixeira Rito (co-supervisão: Pedro Alexandre Dias Soares)2018
Optimization in code generation to reduce energy consumptionDavid Luís Moniz BrancoPedro Manuel Rangel Santos Henriques2018
Development of Bioinformatics tools for the classification of transporter systemsDavide Rafael Santos LagoaÓscar Manuel Lima Dias2018
Interoperability and Knowledge Discovery in HealthcareDiana Lisandra Azevedo FerreiraJosé Manuel Ferreira Machado (co-supervisão: Filipe Manuel Mota Miranda)2018
Bidirectional finite state machine based testingDiogo Filipe Silva VilaçaJoão Alexandre Baptista Vieira Saraiva2018
Bidirecional Finite State Machine Based TestingDiogo Filipe da Silva VilaçaJoão Alexandre Baptista Vieira Saraiva (co-supervisão: Jorge Mendes)2018
Aplicações Web com requisitos de armazenamento e processamento privadosDiogo José Linhares CoutoJosé Orlando Roque Nascimento Pereira2018
Uma arquitetura para automatizar testes de aceitação em sistemas de softwareFernando Daniel Freitas da SilvaJoão Miguel Lobo Fernandes2018
Gestão inteligente de estacionamento em ambiente urbanoFilipe Manuel Gonçalves de OliveiraMaria Solange Pires Ferreira Rito Lima2018
Monitoring pregnant women lifestyleFrancisca Maria Salgado FonsecaJosé Manuel Ferreira Machado (co-supervisão: Hugo Daniel Peixoto)2018
Otimização de streams em Java através de fusão de programasFrancisco José Torres RibeiroJoão Alexandre Baptista Vieira Saraiva2018
Geração procedimental de estradas baseada na colonização de espaçosGabriel Dias FernandesAntónio José Borba Ramires Fernandes2018
Process Mining na Análise de Tráfego de RedeGil GonçalvesOrlando Manuel de Oliveira Belo2018
Mineração de Opiniões e Sentimentos para o Estabelecimento de Índices de SatisfaçãoHugo Alexandre Machado FernandesOrlando Manuel de Oliveira Belo2018
Aplicar Data Science e Machine Learning para prever o perfil psico-demográfico dos utilizadores da internetHugo Filipe da Silva RibeiroPaulo Jorge Freitas de Oliveira Novais2018
Polyglot – Sistema Poliglota de Processamento de DadosHugo Manuel Ramos Vilas Boas GonçalvesJosé Orlando Roque Nascimento Pereira2018
Local Analysis Strategies for Exudate Detection in Fundus ImagesJoana Daniela da Silva PereiraVictor Manuel Rodrigues Alves (co-supervisão: Valery Naranjo)2018
Developing methods for the context-specific reconstruction of metabolic models of cancer cellsJorge Alexandre Correia GomesMiguel Francisco de Almeida Pereira da Rocha (co-supervisão: Sara Alexandra Gomes Correia)2018
Importanto inteligência para infraestruturas através de sensorização e rotinas diáriasJosé Alexandre da Silva MirraCésar Analise de Freitas e Silva da Costa Rodrigues2018
Improving merlin’s framework for the reconstruction of Treponema pallidumJosé Amaro Ferreira MoraisÓscar Manuel Lima Dias2018
Design e Desenvolvimento de um simulador de Ambientes para PVSio-webJosé Carlos da Silva Brandão GonçalvesJosé Francisco Creissac Freitas de Campos2018
Desenvolvimento de uma plataforma de software IoT na área da saúdeJosé Duarte Mendes de AzevedoJoão Miguel Lobo Fernandes2018
Extending the BiYacc framework with ambiguous grammarsJosé Nuno Castro de MacedoJoão Alexandre Baptista Vieira Saraiva2018
A meta-learning approach for selecting machine learning algorithmsJosé Pedro Santos MonteiroJoão Miguel Lobo Fernandes (co-supervisão: Duarte, Francisco J.)2018
Integration and Customization of a Managment System for indoor Autonomous VehiclesJoão Carlos Silva MonteiroJoão Miguel Lobo Fernandes2018
HIV-TB-Host Protein Interaction NetworkJoão Filipe Silva CorreiaNuno Miguel Sampaio Osório (co-supervisão: Miguel Francisco de Almeida Pereira da Rocha)2018
Aplicação de MQTT em ambiente industrial, trazer indústrias legadas para a I4.0João Manuel Ferreira da SilvaPaulo Manuel Martins de Carvalho2018
Towards an efficient OLAP engine based on linear algebraJoão Miguel AfonsoAlberto José Gonçalves Carvalho Proença2018
Análise de sentimentos em conteúdos textuaisJoão Miguel Ferreira LopesOrlando Manuel de Oliveira Belo2018
Utilização dos templates e modelos de Django para desenvolver aplicações Web de elevado desempenhoJoão Miguel Gonçalves FernandesAntónio Joaquim André Esteves2018
Deeploy: uma ferramenta de visão por computador baseada em redes neuronais para o system embebido NVIDIA Jetson TX2João Pedro Alves FernandesAlberto José Gonçalves Carvalho Proença2018
Probabilistic Logic Programming for Cancer GenomicsJoão Pedro Alves FernandesPedro Gabriel Dias Ferreira (co-supervisão: Rui Manuel Ribeiro Castro Mendes)2018
Reconhecimento de Demonstração de Informação Técnica numa Solução de RealidadeJoão Pedro Monteiro MirandaJoão Miguel Lobo Fernandes2018
Study, selection and evaluation of an IoT platform for data collection and analysis for medical sensorsJoão Pedro Nóbrega ReiAntónio Luís Pinto Ferreira de Sousa (co-supervisão: Francisco Cruz)2018
Intelligent medical image analysis: a Deep Learning approach to breast cancer diagnosisJoão Pedro Pereira FontesMiguel Angel Guevara Lopez (co-supervisão: Luís Gonzaga Mendes Magalhães)2018
Uma abordagem de Continuous Delivery para desenvolvimento de sotwareJoão Rafael Rodrigues PintoJoão Miguel Lobo Fernandes2018
In-vehicle object detection with YOLO algorithmJoão Simões FarinhaPaulo Alexandre Ribeiro Cortez2018
A deep learning approach for quantification of brain characteristics using MRIJoão Vieira da Silva FernandesVictor Manuel Rodrigues Alves (co-supervisão: Pim Moeskops)2018
Sistemas de deteção de Branqueamento de CapitaisLara Costa RodriguesJosé Carlos Bacelar Ferreira Junqueira Almeida (co-supervisão: Pedro Freitas (Escola de Direito, UM))2018
EHealth: segurança, privacidade e proteção de dados pessoais no setor da saúdeLavinia Pinto MarquesJosé Carlos Bacelar Ferreira Junqueira Almeida (co-supervisão: Francisco Carneiro Pacheco Andrade)2018
Advanced Spreadsheet Functionality SpecificationLigia Iolanda Macedo ChiualeJoão Alexandre Baptista Vieira Saraiva (co-supervisão: Jorge Mendes)2018
Desenvolvimento de ferramentas para análise de sentimentos em redes sociais: a rede social TwitterLuís Filipe Ferreira BritoMiguel Francisco de Almeida Pereira da Rocha (co-supervisão: José João Antunes Guimarães Dias de Almeida)2018
Developing deep learning computational tools for cancer using omics dataLuís Miguel da Cunha PeixotoMiguel Francisco de Almeida Pereira da Rocha (co-supervisão: Pedro Gabriel Ferreira)2018
Big Data Warehousing num Contexto Logístico: Dos Requisitos à ImplementaçãoLuís Paulo Ferreira PedroJoão Miguel Lobo Fernandes2018
Using deep learning for unobtrusive sleep stage classificationMarco André Ramos Dias PrataPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Pedro Fonseca)2018
Ontology Translation ServiceMaria João Moreira dos SantosJorge Gustavo Pereira Bastos Rocha2018
Brain Semantic Segmentation: A DL approach in Human and Rat MRI studiesMariana Fontainhas RodriguesVictor Manuel Rodrigues Alves (co-supervisão: Ricardo Magalhães)2018
Comparison and implementation of variant calling pipelines in exome sequencing data with clinical applicationsMarta Carolina Cabral MorenoPedro Gabriel Dias Ferreira (co-supervisão: Miguel Francisco de Almeida Pereira da Rocha)2018
PhagePromoter: phage promoters online analysis toolMarta Sofia Costa SampaioÓscar Manuel Lima Dias (co-supervisão: Hugo Oliveira)2018
Wireless Power Transfer with a Wireless Communication Co-designMiguel Campos NogueiraPaulo Mateus Mendes2018
Integration of tactile sensing and feedback control of an under-actuated gripper with adjustable modes of operationMiguel Ângelo Silva SanchesCristina Manuela Peixoto dos Santos (co-supervisão: Jamie Paik)2018
A data analysis approach to study events’ influence in social networksNuno Miguel Vilela CarvalhoPaulo Jorge Freitas de Oliveira Novais2018
Progressive Web Development – a case study in ObstetricsPatrícia Alexandra Soares LoretoJosé Manuel Ferreira Machado (co-supervisão: Hugo Daniel Abreu Peixoto)2018
Data analytics in IoT FaaS with DataFlasksPaulo Ricardo Cunha Correia AraújoJosé Orlando Roque Nascimento Pereira (co-supervisão: Paulo, João Tiago Medeiros)2018
Plataforma de otimização de desempenhos e relatórios para EsportsPedro Daniel Pinto DuartePaulo Jorge Freitas de Oliveira Novais2018
Métodos de Otimização Moderna para Melhoria de Modelos de Machine Learning sobre Campanhas Publicitárias para Dispositivos MóveisPedro Daniel Silva PintoRui Manuel Ribeiro Castro Mendes2018
Teste baseado em modelos de aplicações AndroidPedro Miguel Braga do ValeJosé Francisco Creissac Freitas de Campos2018
Development of a tool for partial automated annotation of metabolic reactionsPedro Miguel Teixeira QueirósInes Thiele (co-supervisão: Miguel Francisco de Almeida Pereira da Rocha)2018
Influência da utilização de imagens near-infrared na tarefa de deteção de objetosPedro Nuno Rodrigues da SilvaPaulo Alexandre Ribeiro Cortez2018
Verificação Funcional de Controladores ArduinoRafael Alexandre Antunes BarbosaJorge Miguel Matos Sousa Pinto2018
Desenvolvimento de uma plataforma de software IoT na área das Smart CitiesRafael Mota OliveiraJoão Miguel Lobo Fernandes2018
Nitrobacter vulgaris: genome-scale model reconstruction and interactions with Nitrosomonas europaeaRenato Alexandre Azevedo CruzÓscar Manuel Lima Dias (co-supervisão: Jorge Manuel Padrão Ribeiro)2018
JxAppDev Framework para aplicações híbridasRicardo Ribeiro FerreiraJosé Francisco Creissac Freitas de Campos2018
GreenSource – repositório desenhado para Análise Verde de SoftwareRui António Ramada RuaJoão Alexandre Baptista Vieira Saraiva2018
Análise Inteligente de Dados na Área da Logística: um caso de estudoRui Filipe Borges MachadoJoão Miguel Lobo Fernandes2018
Pilldex: A pill classification system for mobile applications using Deep LearningRui Filipe Gonçalves MonteiroVictor Manuel Rodrigues Alves2018
Assistive autonomous smart walker in a hospital environment as a rehabilitation toolRui Jorge Cerqueira SoaresCristina Manuela Peixoto dos Santos2018
Sistema de recomendação de rotas em cidades inteligentesStéphane Alexandre Alves FernandesPaulo Manuel Martins de Carvalho2018
Development of intuitive graphical applications for interaction with a smart wearable orthotic systemTiago Alexandre Fernandes LimaCristina Manuela Peixoto dos Santos2018
Development of Intuitive graphical applications for interaction with a smart wearable orthotic systemTiago Alexandre Fernandes de LimaCristina Manuela Peixoto dos Santos2018
Reconhecimento e uso de emoções em jogosTiago João Lopes CarvalhaisLuís Gonzaga Mendes Magalhães2018
Sistemas de armazenamento configuráveis e segurosTânia da Conceição Araújo EstevesJoão Tiago Medeiros Paulo2018
Aproximação digital das populações às suas instituições públicasVasco F. S. MonteiroPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Silva, Fábio André Souto)2018
Development of a Client Application for Music Servers Access through the Simple Network Management ProtocolVasco Miguel Gonçalves CoelhoBruno Alexandre Fernandes Dias2018
Conceção de uma plataforma Genérica para as UtilitiesXavier Passos RodriguesAntónio Manuel Nestor Ribeiro2018
Emergent Behavior in Systems of Systems: Causes and ConsequencesAna Luísa da Cruz Pinheiro CoutinhoJosé Orlando Roque Nascimento Pereira2017
Analysis of the business strategy in software companiesAna Margarida Ferreira CruzJoão Miguel Lobo Fernandes (co-supervisão: Paulo Sérgio Lima Pereira Afonso)2017
Exploring heterogeneous computing with advanced path tracing algorithmsAndré David Gomes Monteiro OliveiraAlberto José Gonçalves Carvalho Proença (co-supervisão: Luís Paulo Peixoto dos Santos)2017
Visualization of Ontologies Evolution using OntoDiffGraphAndré Filipe Amorim LaraPedro Manuel Rangel Santos Henriques2017
Desenvolvimento de uma Rede Overlay Multicast Adaptável a diferentes contextos de UtilizaçãoAndré Filipe da Silva SampaioPedro Nuno Miranda de Sousa2017
Development and implementation of bioinformatics tools for the reconstruction of GiSMosAntónio Carlos Fortuna Ribeiro DiasÓscar Manuel Lima Dias2017
Desenvolvimento e prospeção de ferramentas colaborativas nos cuidados de neonatologia e pediatriaBia Soraia da Silva MartinsJosé Manuel Ferreira Machado (co-supervisão: Duarte, Júlio Miguel Marques)2017
Metagenomic analysis of a Nitritation/Anammox reactor: Community members and processesBruna Daniela Azevedo da SilvaBarth F. Smets (Denmark Tecnical University) (co-supervisão: Isabel Cristina Rocha, DEB)2017
Genomic comparisons of novel Providencia infecting bacteriophageBruna Lopes MendesHugo Alexandre Mendes Oliveira (co-supervisão: Óscar Manuel Lima Dias)2017
Dashboards para índices de bem-estar citadinosBruno Filipe Fernandes RebeloOrlando Manuel de Oliveira Belo2017
Efficiency Monitoring and Optiminzation in a clinical analysis laboratoryBruno Filipe Martins TeixeiraJoaquim Melo Henriques Macedo (co-supervisão: Bruno Abrantes (Siemens))2017
Inspeção de peles de estofos recorrendo a deep learningBruno Miguel da Silva BarbosaAntónio José Borba Ramires Fernandes2017
Inferring epidemiology and microevolution of Mycobacterium tuberculosis strains from deep-sequencing data of patient samplesBárbara Andreia Andrade BarbosaDouwe Molenaar (Vrije Universiteit Amsterdam) (co-supervisão: Isabel Pereira Rocha)2017
Otimização de aplicações para arquiteturas paralelas com acesso não uniforme à memóriaCarlos Diogo da Silva SáJoão Luís Ferreira Sobral2017
Animação Procedimental Baseada em MúsicaCarlos Faria Aquino de BritoAntónio José Borba Ramires Fernandes2017
Learning frequent behaviours patterns in intelligent environments for attentiveness levelCatarina CardosoPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Dalila Alves Durães)2017
Development of a database and web tool for the in silico characterization of plasmid dataCatarina Freitas de Sousa SantosMiguel Francisco de Almeida Pereira da Rocha (co-supervisão: Cláudia Sofia Soares de Oliveira)2017
Selection of differentially expressed genes based on ROC (Receiver Operating Characteristic) methodologyCatarina Isabel Ferreira Miranda LemosAna Cristina da Silva Braga2017
Using software defined networking for flexible network measurementsCatarina Isabel Pires da SilvaMaria Solange Pires Ferreira Rito Lima (co-supervisão: João Marco Cardoso da Silva)2017
Aprendizagem de padrões comportamentais em ambientes inteligentes para aumentar a atençãoCatarina Torres CardosoPaulo Jorge Freitas de Oliveira Novais2017
Escalonamento de pedidos para um serviço de bases de dados relacional externoCláudia Fernandes RibeiroJosé Orlando Roque Nascimento Pereira2017
Intelligent Schedule of Operative BlocksCélia Valéria da Costa OliveiraAntónio Carlos da Silva Abelha2017
Analysis of the effects of radiation therapy in cancer treatment by medical image processingCésar Fernando Vivo Ferreira de CatarinaCarlos Manuel González (Univ. Las Palmas, Gran Canárias) (co-supervisão: Isabel Pereira Rocha)2017
Online platform to characterize microbial communities of wastewater treatment plantDaniel Filipe Braga de OliveiraDaniela Patrícia Mesquita (co-supervisão: Eugénio Manuel de Faria Campos Ferreira)2017
Support Platform for Nursing Healthcare in Hospital ContextDaniela Sofia Rijo OliveiraAntónio Carlos da Silva Abelha (co-supervisão: Júlio Miguel Marques Duarte)2017
Modelação de um Sistema de Interação para o aumento do Nível de AçãoDavid Barbosa CastroPaulo Jorge Freitas de Oliveira Novais2017
Desenvolvimento de um Sistema de Ensino para Crianças com Perturbação do Espectro do Autismo com Recurso a um Robô HumanoideDavid Miguel Duarte Rodrigues AlvesCésar Analise de Freitas e Silva da Costa Rodrigues (co-supervisão: Filomena Maria Rocha Menezes Oliveira Soares)2017
Deploying time-based sampling techniques in Software-Defined NetworkingDavid Rodrigues TeixeiraMaria Solange Pires Ferreira Rito Lima (co-supervisão: Silva, João Marco Cardoso)2017
Software logical architecture for systematic data processing systems – Approach in a Cloud environment in the context of the automotive industryEduardo Manuel Oliveira PintoJoão Miguel Lobo Fernandes (co-supervisão: Helena Cristina Rodrigues)2017
Sensing, coordination and actuation in office spacesFernando José Ribeiro MendesCarlos Miguel Ferraz Baquero Moreno2017
Genome-Scale Metabolic Network Reconstruction of the dairy bacterium Streptococcus thermophilusFernando João Pereira da cruzÓscar Manuel Lima Dias (co-supervisão: Isabel Cristina de Almeida Pereira da Rocha)2017
Mineração de Processos na Definição de Ações para Web MarketingFilipe de Passos PintoOrlando Manuel de Oliveira Belo2017
Geração de aplicações multi-plataforma a partir de modelosFrederico Jorge Falcão Torres de Castro MendesAntónio Manuel Nestor Ribeiro2017
Especificação de uma ontologia para genealogiaFrederico Moreira RibeiroJosé Carlos Leite Ramalho2017
Um sistema de recomendação para o produto RAIDFábio Diogo Peixoto DiasOrlando Manuel de Oliveira Belo2017
Transações seguras em blockchainFátima Cristiana da Costa ConceiçãoJosé Carlos Bacelar Ferreira Junqueira Almeida (co-supervisão: José Pedro Miranda Mourão Patrício)2017
Community based repository of Georeferenced Traffic SignsHelder Manuel Pereira NovaisAntónio José Borba Ramires Fernandes2017
Widgets para Prototipagem de Paineis de AutomóveisHenrique Jorge Caldas PachecoJosé Francisco Creissac Freitas de Campos2017
Identification and characterization of structural variation in the cork oak genomeHugo Carvalho MagalhãesMiguel Francisco de Almeida Pereira da Rocha (co-supervisão: António Marcos Ramos)2017
Community based repository for georeferenced traffic signsHélder Manuel Pereira NovaisAntónio José Borba Ramires Fernandes2017
Assessment of external and internal determinants in the success of software start-ups: the case of Braga clusterIsabel Maria Ferreira CruzJoão Miguel Lobo Fernandes (co-supervisão: Paulo Sérgio Lima Pereira Afonso)2017
Analysis of brain connectivity in fMRI- a Deep Learning approachIvo Miguel Marques RamalhosaVictor Manuel Rodrigues Alves (co-supervisão: Paulo Marques)2017
Transformação de Especificações ETL em YAWL para Processos KettleJanine Marlene Duarte Silva FreitasOrlando Manuel de Oliveira Belo2017
HABIT (HLA Binding Intelligence) – an integrated web-server for generation and advanced interpretation of peptide-HLA binding predictionsJoana dos Santos MartinsNuno Miguel Sampaio Osório (co-supervisão: Miguel Francisco de Almeida Pereira da Rocha)2017
Analysis and visualization of dynamic social networksJorge CaldasPedro Manuel Rangel Santos Henriques (co-supervisão: Gançarski, Alda Lopes)2017
Analysis and Visualisation of Dynamic Social NetworksJorge Daniel da Costa Afonso CaldasPedro Manuel Rangel Santos Henriques (co-supervisão: Alda Lopes Gançarski)2017
Development of integrated models of hepatocyte cellsJorge Miguel Lourenço FerreiraMiguel Francisco de Almeida Pereira da Rocha (co-supervisão: Saez-Rodriguez, Julio)2017
A Syntax Directed Editor GeneratorJorge Miguel Sol FerreiraPedro Manuel Rangel Santos Henriques2017
Tutor Inteligente para o primeiro e segundo ciclosJorge Rafael Chaves OliveiraRui Manuel Ribeiro Castro Mendes2017
Intelligent Tutor System for 1º and 2º cycleJorge Rafael Chaves de OliveiraRui Manuel Ribeiro Castro Mendes2017
Augmented Reality in Mobile Applications for Orthopedic Surgery PlanningJosé Alberto Mestre Conceição InácioVictor Manuel Rodrigues Alves2017
Escalonamento de transações em bases de dados não-relacionaisJosé Carlos Vieira MoraisJosé Orlando Roque Nascimento Pereira2017
Definição de middleware ”cloud-based” para serviço a aplicações de monitorização de espaços físicosJosé Francisco Ferreira Alves de SousaAntónio Manuel Nestor Ribeiro2017
Coerência probabilística em sistemas chave-valor escaláveisJosé Luís Enes RibeiroRui Carlos Mendes Oliveira (co-supervisão: Miguel Matos)2017
Optimization of clustering algorithms for the ATLAS Experiment at the Large Hadron Collider (CERN)José Luís Rodrigues Sampaio da SilvaAntónio Manuel da Silva Pina2017
A web-based social environment for AlloyJosé Manuel Costa PereiraManuel Alcino Pereira da Cunha (co-supervisão: Nuno Filipe Moreira Macedo)2017
Desenvolvimento de uma aplicação de gestão comercialJosé Manuel Torres AlvesJoão Miguel Lobo Fernandes2017
Creating Qualified Electronic Signatures in a Cloud-based Hardware Security ModuleJosé Miguel Fernandes CarvalhoManuel Bernardo Martins Barbosa (co-supervisão: Francisco António Carneiro Pacheco de Andrade)2017
Reconstructing the metabolic network of Lactobacillus helveticus on a genome- wide scaleJosé Miguel Gonçalves DiasIsabel Cristina de Almeida Pereira da Rocha (co-supervisão: Óscar Manuel Lima Dias)2017
Software Process Improvement in na Agile EnvironmentJosé Pedro Castro e SousaJoão Miguel Lobo Fernandes2017
Historical Data Management on Big DatabasesJosé Pedro Ribeiro Nunes SimãoOrlando Manuel de Oliveira Belo2017
Mecanismos de Filiação baseados em Amostragem de RedeJosé Pedro de Castro PereiraRui Carlos Mendes Oliveira2017
Computação segura sobre sistemas de dados em ambientes cloudJoão Carlos Carvalho FerreiraJosé Carlos Bacelar Ferreira Junqueira Almeida (co-supervisão: Manuel Bernardo Martins Barbosa)2017
Development of an automated pipeline for meta-omics data analysisJoão Carlos Sequeira da CostaAndreia Filipa Ferreira Salvador (co-supervisão: Miguel Francisco de Almeida Pereira da Rocha)2017
Análise de segurança para soluções de software para a cloudJoão Diogo Pereira da RochaJosé Carlos Bacelar Ferreira Junqueira Almeida (co-supervisão: Manuel Bernardo Martins Barbosa)2017
Sistema de Armazenamento de Dados de Muito Larga Escala de Adaptação AutomáticaJoão Luís Almeida RodriguesJosé Orlando Roque Nascimento Pereira2017
A message-oriented middleware for autonomous industrial vehiclesJoão Manuel Oliveira GomesJoão Miguel Lobo Fernandes2017
Power aware scheduler for heterogeneous environmentsJoão Paulo Fontoura Moutinho MagalhãesAlberto José Gonçalves Carvalho Proença (co-supervisão: João Garcia Barbosa)2017
Dispositivo de Realidade Aumentada para melhoria da marcha em pacientes com doença de ParkinsonJoão Pedro Costa Ferreira DiasCristina Manuela Peixoto dos Santos2017
Geração de descrições de computação para a cloudLuís Henrique MartinsJosé Carlos Bacelar Ferreira Junqueira Almeida (co-supervisão: Manuel Bernardo Martins Barbosa)2017
Computation description generation to cloud computingLuís Henrique Sobral Araújo MartinsJosé Carlos Bacelar Ferreira Junqueira Almeida (co-supervisão: Manuel Bernardo Martins Barbosa)2017
TOM Framework: A model-based testing tool for web-based graphical interfacesLuís Miguel Carvalho PintoJosé Francisco Creissac Freitas de Campos2017
Professional activity detailed report for Master in Software EngineeringLuís Miguel Crespo de Magalhães BarrosPedro Manuel Rangel Santos Henriques2017
Especificação do modelo de folha de cálculo avançadoLígia Iolanda Macedo ChiualeJoão Alexandre Baptista Vieira Saraiva2017
Testes de interfaces baseados em modelosMarcelo José Rodrigues GonçalvesJosé Francisco Creissac Freitas de Campos2017
Question and Answer Systems – A Closed-Domain Question and Answer System for the Python Language DomainMarcos André Oliveira RamosPedro Manuel Rangel Santos Henriques (co-supervisão: Maria João Tinoco Varanda Pereira)2017
A Task recommendation system for children and youth with autism spectrum disordersMargarida Ferreira Salgado Oliveira CostaPaulo Jorge Freitas de Oliveira Novais2017
Especificação e validação de processos ETL em AlloyMariana Almeida Brandão CapeloOrlando Manuel de Oliveira Belo2017
Customer Service in Healthcare Units: : An Approach Based On Augmented RealityMarta Alexandra Serapicos GuerraVictor Manuel Rodrigues Alves2017
Correct translation of imperative programs to single assignment formMarta Vasconcelos Castro AzevedoMaria João Frade (co-supervisão: Luís F. Pinto)2017
Real-time MIDI device data analysis and context aware music generationMiguel Angelo Ferreira Dias RibeiroCésar Analise de Freitas e Silva da Costa Rodrigues (co-supervisão: Paulo Jorge Freitas de Oliveira Novais)2017
Sistema de Monitorização de Transportes Urbanos Utilizando SNMP e RF-IDMiguel Gomes ZenhaBruno Alexandre Fernandes Dias2017
Real-time MIDI device data analysis and context aware music generationMiguel Ângelo Ferreira Dias RibeiroCésar Analise de Freitas e Silva da Costa Rodrigues2017
Energy analysis in the CodeCompass systemMário Nelson Araújo SantosJoão Alexandre Baptista Vieira Saraiva2017
Plataforma autónoma de recolha e análise de infraestruturas tecnológicasNelson Duarte Cardoso da MotaJosé Orlando Roque Nascimento Pereira2017
Deteção de pontos negros em sistemas de ETLNuno Miguel Monteiro Soares DiasOrlando Manuel de Oliveira Belo2017
A feasibility study on the use of smartphone sensors for development of Advanced Driver Assistance SystemsNuno Miguel Teixeira dos SantosJoão Miguel Lobo Fernandes (co-supervisão: Rodrigues, Helena)2017
Fast deployment of modern applicationsNuno Silvino Santos DionísioAntónio Luís Pinto Ferreira de Sousa2017
Distribuição e Sincronização de Audio Digital em Redes sem FiosOleksii GylytskyyBruno Alexandre Fernandes Dias2017
Como compatibilizar paradigmas estruturados da gestão de projetos com metodologias ágeisPatrícia Sofia Duarte RochaJoão Varajão2017
Monitorização de Atenção e Performance em Ambientes de AtendimentoPaulo Gonçalves CardosoPaulo Jorge Freitas de Oliveira Novais2017
An efficient software tool to segment slice and view electron tomogramsPaulo Rafael da Costa e SousaAlberto José Gonçalves Carvalho Proença (co-supervisão: Daniel Grando Stroppa)2017
Um editor Tabular para MAL InteractorsPedro Filipe da Costa MachadoJosé Francisco Creissac Freitas de Campos2017
Análise de Repositórios de Software via Técnicas de Data MiningPedro José Freitas da CunhaPaulo Alexandre Ribeiro Cortez2017
Visual Awareness System for Emergency Response (VASER)Pedro Manuel Lopes BrancoPedro Manuel Rangel Santos Henriques2017
Reconstruction of the genome-scale metabolic model of Nitrosomonas europaeaPedro Miguel Brígida RaposoÓscar Manuel Lima Dias (co-supervisão: Jorge Manuel Padrão Ribeiro)2017
Augmented Reality on AndroidPedro Nicolau Machado CarvalhoAntónio José Borba Ramires Fernandes2017
REM sleep: a new hypothesis for its structure and further HRV characterizationPedro da Costa MateusPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Pedro Miguel Fonseca)2017
Combined MRI with non-image clinical data for brain tumor classification: a CNN/DL approachRaphael Alves EspanhaPerkuhn, Michael (co-supervisão: Victor Manuel Rodrigues Alves)2017
Forecast in the Pharmaceutical Area – Statistical Models vs Deep LearningRaquel Marques FerreiraVictor Manuel Rodrigues Alves2017
Distinguishing kinships beyond identity and paternityRaquel Sofia Miranda SimõesEduardo Conde-Sousa (co-supervisão: Nádia Pinto)2017
Mobile application for assessing auditory emotional recognitionRenato Brito RodriguesPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Davide Rua Carneiro)2017
Computação Segura em Bases de Dados NoSQLRicardo Gonçalves MacedoRui Carlos Mendes Oliveira2017
Definição e Caracterização de Assinaturas OLAPRicardo Manuel Arantes SilvaOrlando Manuel de Oliveira Belo2017
Common infrastructure provisioningRui Miguel Martins RibeiroAntónio Luís Pinto Ferreira de Sousa2017
Development of web-based tools for metabolomics data analysis and miningSara Manso de Sousa CardosoMiguel Francisco de Almeida Pereira da Rocha (co-supervisão: Maraschin, Marcelo)2017
A metagenomic approach to identify and characterize wastewater microbial populationsSara Patrícia Monteiro MartinsPedro Miguel Amadeu Costa Santos2017
Business intelligence: indicadores de desempenho num bloco operatórioSara Rafael Marinho LealAntónio Carlos da Silva Abelha2017
Adaptive game content generationSérgio Lucas dos Santos OliveiraLuís Gonzaga Mendes Magalhães2017
Performance tuning to determine electronic and optical properties of materials with Quantum EspressoSérgio Manuel Rodrigues CaldasAlberto José Gonçalves Carvalho Proença2017
Development of web-based tools for spectral data analysis and miningTelma Adriana Pereira AfonsoMiguel Francisco de Almeida Pereira da Rocha (co-supervisão: Marcelo Maraschin)2017
Support for Automatic Refactoring of Business LogicTiago Fernando Santos Braga FernandesAntónio Manuel Nestor Ribeiro2017
A framework for architectural design and simulation of hybrid systemsTiago LoureiroLuís Soares Barbosa (co-supervisão: Renato Jorge Araújo Neves)2017
A framework for architectural design and simulation of hybrid systemsTiago Luís Santos LoureiroLuís Soares Barbosa (co-supervisão: Renato Neves)2017
Mobile ray-tracingTiago Manuel da Silva SantosLuís Paulo Peixoto dos Santos2017
Desenvolvimento de uma plataforma online e móvel para o envolvimento pró-ativo dos munícipes com as ações da sua câmara municipalVasco Fonseca Santos MonteiroPaulo Jorge Freitas de Oliveira Novais2017
Digitally Connecting Populations to their Public Institutions through GamificationVasco da Fonseca Santos MonteiroPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Fábio André Souto da Silva)2017
Efficient synchronization of state-based CRDTsVitor Manuel Enes DuarteCarlos Miguel Ferraz Baquero Moreno (co-supervisão: João Carlos Antunes Leitão)2017
R-seqQI: RNA-Seq Quality IndicatorAbel Ernesto Fernandes de SousaRui Manuel Ribeiro Castro Mendes (co-supervisão: Conceição Egas e Hugo Froufe)2016
Finding new genes and pathways involved in cancer development by analysing insertional mutagenesis dataAdrien Fernandes MachadoJeroen de Ridder (co-supervisão: Isabel Cristina de Almeida Pereira da Rocha)2016
A guide for functional magnetic resonance imagingAlexandre Vieira de SousaVictor Manuel Rodrigues Alves (co-supervisão: Soares, José Miguel Montenegro)2016
Dados nomeados em redes móveis Ad HocAna Filipa Fernandes PereiraMaria João Nicolau (co-supervisão: Costa, António)2016
Aprendizagem não supervisionada de padrões de interação homem-computadorAna Sofia Martins Sá QuintasPaulo Jorge Freitas de Oliveira Novais2016
Conceção de Arquitetura de interoperabilidade: o caso Caravela SegurosAna Zita Pinto de SousaAntónio Manuel Nestor Ribeiro2016
RODA-in – a generic tool for the mass creation of submission information packagesAndré Diogo Ribeiro Assunção PereiraJosé Carlos Leite Ramalho2016
Relatório de Atividade ProfissionalAndré Filipe Alves FerreiraPaulo Jorge Freitas de Oliveira Novais2016
Desenvolvimento de mecanismos de engenharia de tráfego em data centers através de SDNAnthony Jonathan da Silva LealPedro Nuno Miranda de Sousa2016
Creating intelligible metrics road traffic analysisArtur Filipe Freitas QuintasCésar Analise de Freitas e Silva da Costa Rodrigues (co-supervisão: Fábio Silva)2016
Database preservation toolkit: a relational database conversion and normalization toolBruno Alexandre Alves FerreiraJosé Carlos Leite Ramalho (co-supervisão: Faria, Luís Francisco da Cunha Cardoso de)2016
Platooning Simulation in ITS CommunicationsBruno Daniel Mestre Viana RibeiroAlexandre Júlio Teixeira dos Santos (co-supervisão: Maria João Nicolau)2016
Real-time healthcare intelligence in organ transplantationBruno Daniel Pereira FernandesAntónio Carlos da Silva Abelha2016
Elastic Cloud Applications TradeoffsCarlos Eduardo Fernandez AfonsoMiguel Matos (co-supervisão: José Orlando Roque Nascimento Pereira)2016
Modelação de consumo de energia em LinuxCarlos Gustavo Ferreira Araújo PortelaVitor Francisco Mendes Freitas Gomes Fonte2016
A Data Mining approach towards effective Dengue outbreak prediction in Seremban, MalaysiaCelso Filipe Nogueira CoutinhoOrlando Manuel de Oliveira Belo (co-supervisão: Long, Zalizah Awang)2016
Distributed databases synchronization in named data delay tolerant networksChong LiuJoaquim Melo Henriques Macedo (co-supervisão: António Duarte Costa)2016
Building the Museum of the Person based on a combined CIDOC-CRM-FOAF-DBpedia OntologyCristiana Esteves AraújoPedro Manuel Rangel Santos Henriques (co-supervisão: Ricardo Giuliani Martini)2016
Building the Museum of the Person based on a combined CIDOC-CRM/ FOAF/ DBpedia OntologyCristiana Esteves AraújoPedro Manuel Rangel Santos Henriques (co-supervisão: Ricardo Giuliani Martini)2016
On the improvement of sleep onset latency detection and sleep-wake classification using cardiorespiratory featuresCármina Augusta Pereira AzevedoPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Fonseca, Pedro Miguel)2016
Implementing an integrated syntax directed editor for LISSDamien da Silva VazPedro Manuel Rangel Santos Henriques (co-supervisão: Cruz, Daniela da)2016
Inteligência em Tempo RealDaniel Coutinho AraújoPaulo Jorge Freitas de Oliveira Novais2016
Real Time Analytics with MongoDBDaniel Coutinho de AraújoPaulo Jorge Freitas de Oliveira Novais2016
Programmer profiling through code analysisDaniel José Ferreira NovaisPedro Manuel Rangel Santos Henriques (co-supervisão: Maria João Varanda)2016
Development of a computational approach for the identification and annotation of transport proteinsDaniel Torres Varzim FariaÓscar Manuel Lima Dias (co-supervisão: Miguel Francisco de Almeida Pereira da Rocha)2016
Machine learning approaches for predicting effects of drug combinations in cancerDelora Soeiro BaptistaMiguel Francisco de Almeida Pereira da Rocha (co-supervisão: Machado, Carlos Daniel Moutinho)2016
Classification and structure-based inference of transcriptional regulatory proteinsDiana Manuela Pinto BarrosSónia Carneiro (co-supervisão: Lourenço, Anália Maria Garcia)2016
An integrative and interactive manager of genetic variants informationDiana Maria Guimarães LemosPatrícia Joana Morais Ferreira Oliveira (co-supervisão: Rui Catro Mendes)2016
Safe storage of medical images in NoSQL databasesDiana Sofia Chaves MartinsAntónio Luís Pinto Ferreira de Sousa2016
Avaliação da Maturidade da Gestão do Produto de Software: Práticas de Gestão de Requisitos e Planeamento de VersõesDuarte Manuel Macedo Martins DuarteJoão Miguel Lobo Fernandes2016
Avaliação do consumo energético de consultas em document storesDuarte Nuno Ferreira DuarteOrlando Manuel de Oliveira Belo2016
Parallel verification of dynamic systems with rich configurationsEduardo José Dias PessoaNuno Filipe Moreira Macedo (co-supervisão: Manuel Alcino Pereira da Cunha)2016
Computer-interpretable Guidelines in Decision Support Systems: Creation and Editing of Clinical Protocols for Automatic InterpretationFilipe Manuel Carvalho Rodrigues Bravo GonçalvesPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Tiago Martins Oliveira)2016
Gestão do produto de software na região de Braga: análise e avaliaçãoFrederico António de Sousa CarvalhoJoão Miguel Lobo Fernandes2016
Remote management of applications: deployment of applications and configurations using a rule systemFábio André Araújo GomesVitor Francisco Mendes Freitas Gomes Fonte (co-supervisão: Marco Cunha)2016
Encaminhamento probabilístico de dados nomeados em redes tolerantes a atrasoFábio Joel Sá LimaJoaquim Melo Henriques Macedo (co-supervisão: António Duarte Costa)2016
DevOps: the new development processGuilherme dos Santos RodriguesAntónio Manuel Nestor Ribeiro (co-supervisão: Caetano, Vânia Filipa)2016
Selective Reprogramming of WSNs: Energetic Study and Functionality Optimization.Hadeel Mohamad Ali AbdahPaulo Manuel Martins de Carvalho2016
Desenvolvimento de uma aplicação web sobre a história dum clube de futebolHenrique Augusto Mateus Gradiz SobralJoão Miguel Lobo Fernandes2016
Estudo de alternativas open source para soluções IMDGHugo André Esteves GomesOrlando Manuel de Oliveira Belo2016
Estimation of the glottal flow from the speech or singing voiceHugo Miguel Ferreira BelezaRui Manuel Ribeiro Castro Mendes (co-supervisão: Ferreira, Aníbal)2016
Towards an efficient lattice basis reduction implementationHélder José Alves GonçalvesAlberto José Gonçalves Carvalho Proença (co-supervisão: Mariano, Artur Miguel Matos)2016
Genomic and transcriptomic analyses in cancers related with viral infectionJoana Catarina da Rocha FerreiraLuísa Pereira (Ipatimup) (co-supervisão: Pedro Soares)2016
Scheduling scientific workloads on an heterogeneous serverJohn Camilo Ferreira MaiaAlberto José Gonçalves Carvalho Proença (co-supervisão: Pereira, André)2016
Evolutionary engineering of lactic acid bacteriaJosé Fernando Santos GomesMiguel Francisco de Almeida Pereira da Rocha (co-supervisão: Förster, Jochen)2016
Desempenho de uma aplicação web para câmaras ONVIF e notificação de eventosJosé Luís Cerqueira VarelaSérgio F. Lopes2016
Criação de assinaturas eletrónicas qualificadas a partir de um hardware security module na cloudJosé Miguel Fernandes CravalhoManuel Bernardo Martins Barbosa (co-supervisão: Francisco Carneiro Pacheco Andrade)2016
Minium Recorder: browser interaction recordingJosé Miguel Morais MorgadoJosé Francisco Creissac Freitas de Campos2016
Pattern analysis in genomic data multi-platform available at TCGAJoão António Moreira da SilvaPedro Gabriel Dias Ferreira (co-supervisão: Miguel Francisco de Almeida Pereira da Rocha)2016
Classificação e monitorização escalável de serviços de vídeoJoão Marcelo da Silva CunhaMaria Solange Pires Ferreira Rito Lima (co-supervisão: Silva, João Marco Cardoso)2016
Simulação de protocolos de encaminhamento em redes oportunistasJoão Paulo Vilaça PiresMaria João Nicolau (co-supervisão: Moreira, Adriano)2016
Simulação de dinâmica molecular em ambientes híbridosJoão Tiago Araújo da SilvaJoão Luís Ferreira Sobral (co-supervisão: António Joaquim André Esteves)2016
Televisão interativa: recomendação de conteúdos multimédiaLuís Duarte Dias MachadoPaulo Jorge Freitas de Oliveira Novais2016
Medieval coin automatic recognition by computer visionLuís Miguel Silva Santos SalgadoCristina Manuela Peixoto dos Santos2016
Performance Evaluation of Opportunistic NetworksLuís Paulo de Sousa RamalhoAdriano Jorge Cardoso Moreira (co-supervisão: Filipe Meneses)2016
Desenvolvimento e exploração de uma nova geração de ferramentas de Business Intelligence para o apoio à decisão e a prática clínica em unidades hospitalaresMarisa Araújo EstevesJosé Manuel Ferreira Machado (co-supervisão: Filipe Portela)2016
Installation and maintenance of access and distribution networks of triple play operatorsMiguel Carreiro Gomes FerreiraMaria Solange Pires Ferreira Rito Lima (co-supervisão: Pedro Nuno Miranda de Sousa)2016
Specification and Developing of an Evaluation Module for an Intelligent Tutoring SystemMónica Filipa Casanova MartinsOrlando Manuel de Oliveira Belo2016
Análise e conceção de um sistema para rastreabilidade em contexto industrialNuno André Barbosa GomesJoão Miguel Lobo Fernandes2016
Delay-Tolerant Networks with Traffic Differentiation CapabilitiesNuno Filipe Macedo Cunha MendesPedro Nuno Miranda de Sousa (co-supervisão: António Duarte Costa)2016
A critical evaluation of automatic atom mapping algorithms and toolsNuno Manuel Carneiro OsórioMiguel Francisco de Almeida Pereira da Rocha (co-supervisão: Vilaça, Paulo Ricardo Carvalho)2016
Arquitetura orientada a serviços para suporte a um sistema de agendamentos onlineNuno Miguel de Lima PereiraAntónio Manuel Nestor Ribeiro2016
Desenvolvimento ágil de uma aplicação web para filatelistasPaulo Jorge Patrocínio GuterresAntónio Joaquim André Esteves2016
Ruby on Rails vs. Java Web: architectural and methodological comparative studyPaulo Jorge da Silva MaiaFernando Mário Junqueira Martins2016
AIoTA: an IoT Platform on MonetDBPedro Emanuel Silva FerreiraJosé Orlando Roque Nascimento Pereira2016
Professional Experience ReportPedro Miguel Lorga Monteiro MarquesAlexandre Júlio Teixeira dos Santos2016
Estimating recombination frequency throughout the human genome using a phylogenetic-based methodRaquel dos Santos SilvaPedro Alexandre Soares2016
Monitorização de serviços baseada em contextoRicardo Emanuel Fernandes da SilvaSolange Lima (co-supervisão: Paulo Manuel Martins de Carvalho)2016
Development of a sotware system for managing occurences in municipalitiesRicardo Filipe Da Silva CostaJoão Miguel Lobo Fernandes2016
A survival prediction model for colorectal cancer patientsRicardo João Oliveira VieiraPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Tiago José Martins Oliveira)2016
Detecção inteligente de fugas de informação por análise comportamentalRicardo Manuel Andrade CosteiraHenrique Manuel Dinis dos Santos (co-supervisão: Patrão, Bernardo Nunes Figueiredo)2016
Monitoring student performance in the learning processRuben Eliseu Cunha OliveiraPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Davide Rua Carneiro)2016
Monitorização da performance do aluno no processo de aprendizagemRuben Eliseu da Cunha OliveiraPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Davide Rua Carneiro)2016
Monitorização da performance do aluno no processo de aprendizagemRúben Eliseu da Cunha OliveiraPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Davide Rua Carneiro)2016
Recommendations for the adoption of agile practices to software development: case studiesSandro Ricardo da Costa FerrazJoão Miguel Lobo Fernandes (co-supervisão: Ricardo Jorge Machado)2016
Development of a data integration pipeline for human metabolic models and databasesSusana Raquel da Silva BarbosaMiguel Francisco de Almeida Pereira da Rocha2016
Real Time Safe-return-home service based on Big Data AnalysisTarcísio Júnio Lima MalheiroPedro Manuel Rangel Santos Henriques (co-supervisão: Alda Lopes Gançarski)2016
Serviço safe-return-home baseado em análise de big data em tempo realTarcísio MalheiroPedro Manuel Rangel Santos Henriques (co-supervisão: Alda Lopes Gançarski)2016
Development of text mining tools for information retrieval and extraction from patentsTiago Alexandre Pinto AlvesMiguel Francisco de Almeida Pereira da Rocha2016
Exploração de paralelismo massivo em algoritmos evolucionáriosTiago Augusto Simões MartinsJoão Luís Ferreira Sobral (co-supervisão: Miguel Francisco de Almeida Pereira da Rocha)2016
Testes em aplicações webTiago Filipe Andrade BritoAntónio Luís Pinto Ferreira de Sousa2016
Interactive Tagging of Photographs in Cooperative SystemsVitor Duarte Loureiro Afonso da Rocha ArmadaPedro Manuel Rangel Santos Henriques (co-supervisão: Nuno Ernesto Oliveira)2016
Anotação Interativa de Fotografias em Sistemas CooperativosVítor Duarte Loureiro Afonso da Rocha ArmadaPedro Manuel Rangel Santos Henriques (co-supervisão: Nuno Ernesto Oliveira)2016
Public Keys QualityAna Catarina Pereira CorreiaJosé Carlos Bacelar Ferreira Junqueira Almeida (co-supervisão: José Pedro Miranda Mourão Patrício)2015
Monitorização de Processos de Aprendizagem de um Tutor InteligenteAna Filipa Gonçalves Rocha CostaOrlando Manuel de Oliveira Belo2015
A 3D computer assisted Orthopedic Surgery Planning approach based on planar radiographyAna Isabel de Araújo CoelhoVictor Manuel Rodrigues Alves (co-supervisão: Ribeiro, João Pedro de Araújo)2015
Analysis and otimization of industrial microorganisms under dynamics process conditionsAna Patrícia Moreira LimaIsabel Cristina de Almeida Pereira da Rocha (co-supervisão: Carlos Daniel Moutinho Machado)2015
Gestão de bases de dados relacionais em cloud computingAndré Dias CostaRui Carlos Mendes Oliveira (co-supervisão: João Medeiros Paulo)2015
Safety verification for ROS softwareAndré Filipe Faria dos SantosManuel Alcino Pereira da Cunha (co-supervisão: Nuno Filipe Macedo)2015
Player Web para aplicação em ecrãs públicosAndré Filipe Pereira FélixRui João Peixoto José2015
Representação de Informação Temporal em Sistemas de Apoio à Decisão ClínicaAntónio José Linhares da SilvaPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Tiago Oliveira)2015
Segurança no acesso ao registo clínico eletrónicoBruno Jorge de Sales Gomes RodriguesJosé Manuel Ferreira Machado (co-supervisão: Manuel Bernardo Martins Barbosa)2015
Gestão e Análise de eventos de segurançaBruno Miguel Pereira AndradeVitor Francisco Mendes Freitas Gomes Fonte2015
Modelação eficiente de superfícies líquidas em CPU multi-core e Xeon PhiBruno Tiago Abreu AraújoAlberto José Gonçalves Carvalho Proença2015
Exploring chemical conversions in metabolic networks by tracing atoms transitionBrígida da Natividade Pinheiro Ribeiro de MeirelesSónia Carneiro (co-supervisão: Rafael Carreira)2015
In silico Optimization of organic acids productionBárbara Correia BritoIsabel Cristina de Almeida Pereira da Rocha (co-supervisão: Simão Pedro Pinho Soares)2015
Dashboarding sobre aplicações Big DataCarla Flôr Costa RegadasOrlando Manuel de Oliveira Belo2015
Esfoliação de HipercubosCarlos Guilherme Marques GregórioOrlando Manuel de Oliveira Belo2015
Sistema de Gestão de Produção AgrícolaCarlos Manuel Baptista MartinsFernando Mário Junqueira Martins2015
Algoritmos de Transporte de Luz Avançados em Sistemas Heterogéneos: Avaliação da Framework DICECésar Morais PerdigãoLuís Paulo Peixoto dos Santos (co-supervisão: Alberto José Gonçalves Carvalho Proença)2015
Secure multiParty computation protocolsDaniel Casanova Faria TorresJosé Carlos Bacelar Ferreira Junqueira Almeida2015
Iluminação global em tempo real baseada em técnicas de voxelizaçãoDaniel José Taveira GomesAntónio José Borba Ramires Fernandes2015
Processos de Mineração em Cenários de Aplicação RealDiogo Filipe Silva AbreuOrlando Manuel de Oliveira Belo2015
Mining Production Processes in Real Application ScenariosDiogo Filipe da Silva AbreuOrlando Manuel de Oliveira Belo2015
Catálogo de Usability SmellsDiogo Francisco de Carvalho AlmeidaJosé Francisco Creissac Freitas de Campos (co-supervisão: João Alexandre Baptista Vieira Saraiva)2015
iFloW – Suporte de TI para o fluxo de entrada de materiaisDiogo Jorge Fernandes Serra BarbosaJoão Miguel Lobo Fernandes2015
Anaálise de desempenho e otimização do Apache HBase para dados relacionaisFrancisco Nuno Teixeira NevesJosé Orlando Roque Nascimento Pereira (co-supervisão: Ricardo Manuel Pereira Vilaça)2015
AuTGen-C: uma plataforma para geração de testes com base no CBMCFábio Esteves SousaMaria João Frade (co-supervisão: Cláudio Lourenço)2015
Regulatory Modelling of Saccharomyces cerevisiaeFábio Soares RamalhoIsabel Cristina de Almeida Pereira da Rocha (co-supervisão: Kiran Raosaheb Patil)2015
Rasterização + Ray Tracing: Renderização de Sombras SólidasFábio da Costa MoraisAntónio José Borba Ramires Fernandes2015
Performance Evaluation of Score Based on ROC (Receiver Operating Characteristic) methodologyJoana Margarida Rodrigues Barros de AraújoAna Cristina da Silva Braga2015
Human Variation DatabaseJoana Vanessa da Santa de SousaPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Conceição Egas)2015
Gamificação para promover uma condução sustentávelJorge Daniel Nogueira MartinsCésar Analise de Freitas e Silva da Costa Rodrigues (co-supervisão: Fábio Silva)2015
Exploração do paralelismo em aplicações do tipo “stencil”Jorge Miguel Ferreira de OliveiraJoão Luís Ferreira Sobral2015
Interação Homem Computador Adaptável: Abordagem ao software e interação personalisávelJosé Miguel Alves da SilvaJosé Manuel Ferreira Machado (co-supervisão: Paulo Martins)2015
Melhorar a performance da modelação de superfícies líquidas em dispositivos multicoreJosé Ricardo Cunha da Silva RibeiroAlberto José Gonçalves Carvalho Proença2015
Exploring Frama-C to improve Assertion-based SlicingJosé Ricardo de Almeida PinheiroPedro Manuel Rangel Santos Henriques (co-supervisão: Daniela Carneiro da Cruz)2015
Development of metabolic pathway analysis based algorithms for strain optimizationJosé Vítor de Castro VieiraMiguel Francisco de Almeida Pereira da Rocha (co-supervisão: Isabel Cristina de Almeida Pereira da Rocha)2015
QGE – Um sistema baseado em Gramáticas de Atributos para avaliar a Qualidade de GramáticasJoão Carlos Alves CruzPedro Manuel Rangel Santos Henriques (co-supervisão: Daniela Carneiro da Cruz)2015
QG – An Attribute Grammar based System to assess Grammars QualityJoão Carlos Alves da CruzPedro Manuel Rangel Santos Henriques2015
Testing the reliability of the estimated ancestral populations in human genome-wide data using different admixture algorithmsJoão Daniel de Almeida VieiraPedro Alexandre Dias Soares2015
Replicação de base de dados baseada em comunicação em grupoJoão Pedro Lopes MirandaRicardo Manuel Pereira Vilaça2015
Análise e conceção de aplicações móveis de apoio ao processo educativoJoão Pedro Pereira PeixotoAntónio Manuel Nestor Ribeiro2015
Análise de Eventos de Segurança: baseados no OSSIMLuís Amílcar Dias Neves TavaresHenrique Manuel Dinis dos Santos2015
File carving na práticaLuís Miguel Pereira Constantino RomanoManuel Alcino Pereira da Cunha2015
Analysis of transcriptomic data for inference of the function of the ATXN3 gene in neuronal cells.Manuel José Gil Nogueira FerreiraMiguel Francisco de Almeida Pereira da Rocha (co-supervisão: Patrícia Espeinheira de Sá Maciel)2015
Plataforma para análise de tráfego e otimização dos recursos de uma infraestrutura de comunicaçãoMarco André Alves PereiraPedro Nuno Miranda de Sousa2015
FlexDeployMarco André Costa DinisAntónio Luís Pinto Ferreira de Sousa2015
Sensorização Ambiente: Indicadores de ConfortoMarcos Leonardo Lopes MagalhãesCésar Analise de Freitas e Silva da Costa Rodrigues (co-supervisão: Fábio Silva)2015
Deteção e classificação de regiões de interesse em vídeos de endoscopiaMargarida Maria Freitas de Oliveira GomesVictor Manuel Rodrigues Alves (co-supervisão: Laranjo, Isabel Maria Cunha)2015
MODUS – Geração de Interfaces baseadas em ModelosMarina MachadoJosé Francisco Creissac Freitas de Campos (co-supervisão: Rui Couto)2015
Solving parameters estimation problems though Firefly algorithmMarisa da Cunha MartinsAna Maria Rocha (co-supervisão: M. Fernanda P. Costa)2015
Portal Web para Comunidades Turísticas sociaisMiguel Angel Lopez MamaniAntónio Joaquim André Esteves2015
Qualidade de Software para o Robot Operating SystemMiguel Ângelo Gomes da CostaManuel Alcino Pereira da Cunha (co-supervisão: Nuno Filipe Moreira Macedo)2015
Modelação de Padrões ETL em YAWLNuno Miguel GomesOrlando Manuel de Oliveira Belo2015
SplineAPI, uma REST API para serviços de Processamento de Linguagem NaturalNuno Miguel Leal Gonçalves VieiraAlberto Manuel Brandão Simões2015
Integração do Optrix no Maya: Síntese Interativa de Imagens de Alta QualidadeNuno Miguel Lima CardosoLuís Paulo Peixoto dos Santos2015
Sistema de Suporte à Decisão na àrea da saúde: predisposição de acidentes vasculares cerebraisNuno Rafael Amorim GonçalvesJosé Manuel Ferreira Machado2015
Live Projection MappingPaulo José Mendes MarquesAntónio José Borba Ramires Fernandes (co-supervisão: Nelson Ribeiro)2015
Establishment of a protocol for the evaluation and validation of genome-scale modelsPedro Miguel Nogueira de CarvalhoIsabel Cristina de Almeida Pereira da Rocha (co-supervisão: Carlos Daniel Moutinho Machado)2015
Monitorização e análise de interrogações em bases de dados distribuídasPedro Miguel Pimentel GuimarãesJosé Orlando Roque Nascimento Pereira2015
Unfuzzying fuzzy parsingPedro Miguel de Jesus Ventura CarvalhoPedro Manuel Rangel Santos Henriques (co-supervisão: Nuno Oliveira)2015
Testes Baseados em ModelosRaphael Julien RodriguesJosé Francisco Creissac Freitas de Campos2015
Desenvolvimento de um sistema de software para gerir ocorrências em municípiosRicardo Filipe da Silva CostaJoão Miguel Lobo Fernandes2015
Proteção da privacidade em sistemas de dadosRicardo Manuel Amaro PereiraManuel Bernardo Martins Barbosa2015
Desenvolvimento de sistema de alarmes para incontinentesRoberto da Silva SoaresRaúl Fangueiro (co-supervisão: Joaquim Melo Henriques Macedo)2015
Benchmark de uma abordagem em Álgebra Linear a sistemas OLAPRogério António da Costa PontesJosé Nuno Fonseca de Oliveira (co-supervisão: José Orlando Roque Nascimento Pereira)2015
Qualquer objeto é um controlador de PCRui Gonçalves da SilvaAntónio José Borba Ramires Fernandes2015
Desenvolvimento e Optimização de Back-end de Compilador Criptográfico para Plataformas ARMRui Pedro Araújo Vilas BoasManuel Bernardo Martins Barbosa2015
Development of a machine learning framework for Biomedical Text MiningRúben André Costa RodriguesMiguel Francisco de Almeida Pereira da Rocha (co-supervisão: Hugo Samuel Oliveira Costa (Supervisor na empresa SilicoLife))2015
Criação Automática de CVs através de Redes Sociais OnlineSérgio Maia DiasPedro Manuel Rangel Santos Henriques (co-supervisão: Alda Lopes Gançarski)2015
Algoritmos de agregação distribuída em Smart MetersTelmo Rafael Rodrigues RemondesCarlos Miguel Ferraz Baquero Moreno2015
Laboratório Virtual baseado na Web para Holografia Gerada por ComputadorTiago Luís Oliveira LeiteLuís Paulo Peixoto dos Santos2015
Development of a dynamic model for the production of phenolic compoundsTânia Renata Monteiro MarquesIsabel Cristina de Almeida Pereira da Rocha (co-supervisão: Nuno Faria)2015
Interoperabilidade Semântica – caso de estudo em torno do ciclo de desenvolvimento e produção de soluções multimédia avançadas para automóvelVasco António Pinheiro da Costa AbelhaJosé Manuel Ferreira Machado2015
Automatic Rewrite Proofs by Reflection in AgdaVictor Cacciari MiraldoJosé Nuno Fonseca de Oliveira (co-supervisão: Wouter Swierstra, University of Utrecht)2015
Analysis of output properties of the Peroxiredoxin/Thioredoxin/Thioredoxin reductase systemVinício Miguel Pereira OliveiraIsabel Cristina de Almeida Pereira da Rocha (co-supervisão: Armindo Salvador)2015
A deductive verification tool for cryptographic softwareVitor Manuel Parreira PereiraJosé Carlos Bacelar Ferreira Junqueira Almeida (co-supervisão: Manuel Barbosa (DCC,UP))2015
Detection of Plagiarism in Software in an Academic EnvironmentVitor Tiago Varajão MartinsPedro Manuel Rangel Santos Henriques (co-supervisão: Daniela da Cruz)2015
Deteção de Plágio de Software em Ambiente AcadémicoVítor Tiago Varajão MartinsPedro Manuel Rangel Santos Henriques (co-supervisão: Daniela Carneiro da Cruz)2015
Validação do IEC 61131-3 Programmable Logical Controllers em KeYmaeraYoan David RibeiroLuís Soares Barbosa2015
Towards a fully algebrisable symmetric cryptosystemÓscar Francisco Godinho PereiraJosé Manuel Esgalhado Valença2015
Video Jogos: Sistema de recomendação para lidar com a fadigaAlexis David Oliveira RodriguesPaulo Jorge Freitas de Oliveira Novais2014
Extraction of Kinetic Information from Literature.Ana Margarida Antunes Coelho Alão de FreitasIsabel Cristina de Almeida Pereira da Rocha (co-supervisão: Miguel Francisco de Almeida Pereira da Rocha)2014
Business intelligence: indicadores da interrupção voluntária da gravidezAndreia Manuela Couto BrandãoAntónio Carlos da Silva Abelha (co-supervisão: Filipe Portela)2014
Debugging de Aplicações 3DAndré Alexandre Wang LiuAntónio José Borba Ramires Fernandes2014
Profiling de Aplicações Web: Estudo comparativo entre aplicações Java Web e Aplicações RoRAndré da Silva NogueiraFernando Mário Junqueira Martins2014
Gestão inteligente de tarefas: atribuição de tarefas numa equipaAntónio Oliveira da SilvaCésar Analise de Freitas e Silva da Costa Rodrigues2014
Tratar informação desconhecida através de Raciocínio Baseado em Casos: uma abordagem para resolver Problem ReportsBruno Filipe Martins FernandesCésar Analise de Freitas e Silva da Costa Rodrigues2014
Reconhecimento de Língua Gestual Portuguesa a partir de sensores de profundidade de captura de movimentosCarlos Miguel Freitas SoteloCarlos Alberto Batista da Silva (co-supervisão: Miguel Sales Dias)2014
Gestão Integrada de Componentes PaaSCatarina Sofia Rodrigues OliveiraRui Carlos Mendes Oliveira (co-supervisão: Filipe José Campos)2014
Desenvolvimento de uma plataforma computacional integrada para a análise de dados de metabolómica e extração de conhecimentoChristopher Borges CostaMiguel Francisco de Almeida Pereira da Rocha2014
Geração de esqueletos Kettle a partir de modelos BPM usando Padrões de ETLCláudia Sofia de Barros GomesOrlando Manuel de Oliveira Belo2014
Efficient sequential and parallel versions of MST-solvers for multi-core CPU-chips and GPUsCristiano Rafael da Silva SousaAlberto José Gonçalves Carvalho Proença (co-supervisão: Artur Mariano (TU Darmstadt))2014
Deteção, identificação e caracterização de movimento em espaços interioresCátia Alexandra da Silva BragaCésar Analise de Freitas e Silva da Costa Rodrigues2014
A comparison between DSLs and GPLs for the implementation of unidirectional and bidirectional transformationsDaniel Rodrigues Pacheco MurtaManuel Alcino Pereira da Cunha (co-supervisão: Marco Perestrelo)2014
Numerical modeling of extrusion forming tools: improving its efficiency on heterogeneous parallel computersDavid dos Santos PereiraAlberto José Gonçalves Carvalho Proença (co-supervisão: Nelson Daniel Gonçalves)2014
Automatic detection of architectural violations in evolutionary systemsDiego de Lara e AlbuquerqueAntónio Manuel Nestor Ribeiro (co-supervisão: Garcia, Alessandro Fabricio)2014
Efeitos de preferências e seleção musical na gestão de stressDino Mickael Ribeiro da CostaPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Davide Rua Carneiro)2014
State of the art on atmospheric scatteringDiogo A. R. LopesAntónio José Borba Ramires Fernandes2014
Estado da arte em Dispersão AtmosféricaDiogo Alberto Rocha LopesAntónio José Borba Ramires Fernandes2014
Assistente pessoal para suporte ao ensino da leitura do português a criançasDiogo Ferreira Soares da SilvaOrlando Manuel de Oliveira Belo (co-supervisão: José Bernardo Santos Monteiro Vieira Barros)2014
Simulação em ambientes paralelos da distribuição de fotões num guia de luzDiogo da Cunha RodriguesJoão Luís Ferreira Sobral (co-supervisão: Eduardo Pereira (DFisica))2014
Apoio à decisão em ginecologia e obstetríciaEliana PereiraAntónio Carlos da Silva Abelha (co-supervisão: Filipe Portela)2014
A Protocol Extension for Selective Reprogramming of WSNsEmanuel Ribeiro LimaPaulo Manuel Martins de Carvalho (co-supervisão: Óscar Sílvio Gama)2014
Dos Testemunhos de Conexão no Quadro Legislativo Europeu da Proteção de Dados – Em particular do consentimento para a sua utilizaçãoEmília da Conceição Golim FontainhasJosé Carlos Bacelar Ferreira Junqueira Almeida (co-supervisão: Francisco Carneiro Pacheco Andrade)2014
Plataforma de Business Intelligence para o estudo de infeção nosocomialEva SilvaAntónio Carlos da Silva Abelha (co-supervisão: Cardoso, Luciana)2014
An Engine for Coordination-Based Architectural ReconfigurationsFlávio Gonçalves RodriguesLuís Soares Barbosa (co-supervisão: Nuno Oliveira)2014
Utilização de Técnicas de Mineração Incremental em Aplicações de Previsão de Consumo de Energia ElétricaFlávio Roberto Ribeiro LoureiroOrlando Manuel de Oliveira Belo2014
Preservação de bases de dados com SIARDFábio Alves RochaJosé Carlos Leite Ramalho2014
Assessing the Hardness of SVP Algorithms on Multi-core CPUsFábio José Gonçalves CorreiaAlberto José Gonçalves Carvalho Proença (co-supervisão: Artur Mariano (TU Darmstadt))2014
Caching em Redes Tolerantes a Atrasos com Dados NomeadosFábio Manuel Afonso CerqueiraAntónio Duarte Costa (co-supervisão: Joaquim Melo Henriques Macedo)2014
Uma interface de gestão distribuída da ferramenta MOREHenrique José Veiga SilvaMaria Solange Pires Ferreira Rito Lima2014
Development of an integrated platform for the in silico phenotype simulation of microbial strainsHugo Miguel Melo GiesteiraMiguel Francisco de Almeida Pereira da Rocha (co-supervisão: Carlos Daniel Machado)2014
Geração de Esqueletos para Sistemas de ETL a partir de Redes de Petri ColoridasHugo Miguel Teixeira Lopes GuimarãesOrlando Manuel de Oliveira Belo2014
Reconhecimento Visual da Fala para o Português EuropeuHélder Paulo Monteiro AbreuCarlos Alberto Batista da Silva (co-supervisão: Miguel Sales Dias)2014
LTE – Advanced: Gestão Eficiente da EnergiaJosé Filipe da Silva FerreiraNuno Vasco Lopes (co-supervisão: Luís Paulo Reis)2014
Análise de padrões de interação – AtençãoJosé João Faria PachecoPaulo Jorge Freitas de Oliveira Novais2014
Avaliação da expressão do tráfego rodoviárioJoão Duarte Machado SarmentoCésar Analise de Freitas e Silva da Costa Rodrigues (co-supervisão: Fábio Silva)2014
Rumo à Melhoria das Técnicas de Aprendizagem de Movimento em RobôsJoão Francisco Freitas Santos MacedoCristina Manuela Peixoto dos Santos (co-supervisão: Lino António Antunes)2014
Converting ontologies into DSLs.João Manuel Sousa FonsecaPedro Manuel Rangel Santos Henriques (co-supervisão: Maria João Varanda)2014
Converting ontologies into DSLsJoão Manuel de Sousa FonsecaPedro Manuel Rangel Santos Henriques (co-supervisão: Maria João Varanda)2014
Estimação do tamanho da rede com churnJoão Pedro Jorge CésarCarlos Miguel Ferraz Baquero Moreno2014
Explorador Visual para Base de Dados RelacionaisJoão da Cunha MartinsOrlando Manuel de Oliveira Belo2014
FITTEST logging and log-analysis infrastructure for PHPLuís Tiago Gonçalves PereiraJosé Carlos Leite Ramalho2014
Implementação de Redes Wireless Unificadas com Recurso a Energias RenováveisManuel António Gomes VieiraPaulo Manuel Martins de Carvalho2014
HTML5 – Análise dos Riscos de Segurança & Testes de Penetração a Aplicações WebManuel Francisco Mendes GonçalvesAntónio Manuel Nestor Ribeiro2014
Monitorização do Consumo de Energia de aplicações AndroidMarco Rafael Linhares CoutoJoão Alexandre Baptista Vieira Saraiva (co-supervisão: João Paulo Fernandes)2014
Abordagem de personalização num motor de busca de imagens, tratamento de informação desconhecida ou incertaMauro José Ferreira de FreitasCésar Analise de Freitas e Silva da Costa Rodrigues2014
Previsão em Tempo Real da Qualidade de Efluentes de uma ETARMickael Alexandre Silva CarvalhoOrlando Manuel de Oliveira Belo2014
Database preservation toolkitMiguel CoutadaJosé Carlos Leite Ramalho (co-supervisão: Silva, Hélder)2014
Ferramenta de Preservação de Bases de DadosMiguel da Silva CoutadaJosé Carlos Leite Ramalho (co-supervisão: Hélder da Silva)2014
Arquitetura Distribuída para Monitorização de Ambientes InteligentesMilton Filipe de Sousa NunesPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Davide Rua Carneiro)2014
Computação segura de SQLMário Jorge Barros PintoRui Carlos Mendes Oliveira (co-supervisão: Manuel Bernardo Martins Barbosa)2014
Aquisição Rápida 360º de Informação 3D usando uma Configuração EstáticaMário João Guedes PintoLuís Paulo Peixoto dos Santos2014
Concept Location based on System Dependency GraphsNuno Filipe Gomes PereiraMaria João Pereira (co-supervisão: Pedro Manuel Rangel Santos Henriques)2014
Cryptographic Library Support for a Certified CompilerNuno Filipe Trovisco FernandesJosé Carlos Bacelar Ferreira Junqueira Almeida2014
Gestão de serviços de tecnologias de informação num ERP: caso prático SAPNuno Jorge Rebelo Teixeira LisboaRui Manuel Ribeiro Castro Mendes2014
Localização Indoor por Identificação de MarcosNuno Miguel Ferreira Leite OliveiraCésar Analise de Freitas e Silva da Costa Rodrigues2014
Bidirectional Distributed Data AggregationNuno Miguel Rocha de SousaManuel Alcino Pereira da Cunha (co-supervisão: Paulo Sérgio Soares Almeida)2014
Investigação/estudo tecnológico para introdução de HTML5 e estruturação do processo de migraçãoNuno Ricardo Arieira MoraisJosé Carlos Leite Ramalho (co-supervisão: Carlos Silva)2014
Validação prática de esquemas Homomórficos de Autenticação de MensagensNuno Tiago Ferreira de CarvalhoManuel Bernardo Martins Barbosa2014
Georreferenciaçção por ImagemNuno Tiago Mourão de AmorimJorge Gustavo Pereira Bastos Rocha2014
Sistema de Baixo Custo para deteção de fraude em quiosques de auto-empréstimo para bibliotecasPaulo Agostinho Fernandes LimaJosé Carlos Leite Ramalho (co-supervisão: Vítor Hugo Fernandes)2014
Animação de protótipos de interfaces de utilizador em ambientes webPaulo Cristiano Pinheiro FariaJosé Francisco Creissac Freitas de Campos2014
Geração Dinâmica de InterfacesPaulo Jorge Paradela CamachoJosé Francisco Creissac Freitas de Campos2014
Exploring Multiple Internet Transport PathsPedro Filipe Pereira LopesPaulo Manuel Martins de Carvalho (co-supervisão: Pedro Nuno Miranda de Sousa)2014
Plataforma Móvel de Identificação e PagamentoPedro José Miranda Raposo AlvesVitor Francisco Mendes Freitas Gomes Fonte2014
Knowledge AnalyticsPedro José Ribeiro MoreiraPedro Manuel Rangel Santos Henriques (co-supervisão: José Miguel Carvalho Grade)2014
Estudo de viabilidade de paralelização de códigos de análise de dados em PROOFRafael Caldeira SilvaAntónio Manuel da Silva Pina (co-supervisão: Nuno Castro)2014
Localização Indoor em Ambientes InteligentesRafael Fernando Pereira AbreuPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Ângelo Costa)2014
Estabelecimento de Planos de Consumo Energético de Queries sobre Data WarehousesRicardo Jorge Fonseca GonçalvesOrlando Manuel de Oliveira Belo2014
Representação do conhecimento baseado em ontologias para tumoresRita Iolanda Vieira FariaOrlando Manuel de Oliveira Belo2014
Otimização do custo total de projetos em redes de atividades multimodais e estocásticos com múltiplos recursos renováveisRui Filipe Soares MoutinhoAnabela Pereira Tereso2014
DroidGuardian: Firewall de Aplicações para Dispositivos suportados pelos Android OSRui Miguel de Carvalho Videira GonçaloVitor Francisco Mendes Freitas Gomes Fonte2014
Desempenho de compressores em dados científicos: um estudo comparativoSamuel Santos AlmeidaAntónio Manuel da Silva Pina (co-supervisão: Manuel Melle Franco)2014
Estudo e Implementação de Interfaces Web em HTML5Samuel da Costa RodriguesJoão Miguel Lobo Fernandes2014
Localização de falhas de energia baseada no espectro do programaTiago Alves CarçãoJoão Alexandre Baptista Vieira Saraiva (co-supervisão: Jácome Miguel Costa Cunha)2014
Robô InterativoTiago António Sousa CamposPaulo Jorge Freitas de Oliveira Novais2014
Melhorando a Autenticação na Web com Dinâmica de DigitaçãoTiago Costa OliveiraHenrique Manuel Dinis dos Santos2014
Modelação de ambientes ubíquos na plataforma APEXTiago Filipe de Azevedo AbadeJosé Francisco Creissac Freitas de Campos2014
A Model Repair Application Scenario with PROVATiago Manuel da Silva JorgeManuel Alcino Pereira da Cunha2014
Image analysis of Saccharomyces cerevisiae cells: Development of a plugin for IMAGEJVitor Damião Baixinho da SilvaEugénio Manuel de Faria Campos Ferreira (co-supervisão: Daniela Patrícia Bernardino Mesquita)2014
A Máquina Abstracta CategorialXavier Gomes PinhoJosé Carlos Bacelar Ferreira Junqueira Almeida (co-supervisão: José Carlos Espirito Santo (Dep. Matemática, UM))2014
Análise de Perfis em Redes SociaisAdão Carlos Fernandes RodriguesJosé Carlos Maia Neves2013
Development of a computational platform for the visualization of metabolic modelsAlberto Miguel Silva de NoronhaMiguel Francisco de Almeida Pereira da Rocha2013
Mining images of microbial comunitues for morphological characteristics in a suport of clinical decision-makingAna Catarina de Jesus DominguesAnália Maria Garcia Lourenço (co-supervisão: Maria Olívia Pereira)2013
Responsive Web DesignAna Isabel Anjos SampaioJosé Francisco Creissac Freitas de Campos2013
Mineração de Dados em Sistemas OLAPAna Isabel Gonçalves SequeiraOrlando Manuel de Oliveira Belo2013
Evolução Dirigida de Folhas de Cálculo Orientadas por ModelosAndré António dos Santos da SilvaJoão Alexandre Baptista Vieira Saraiva (co-supervisão: Jácome Miguel Costa Cunha)2013
Data warehouses espaciais: projeto e implementaçãoAndré Correia MorgadoOrlando Manuel de Oliveira Belo2013
Conceção e desenvolvimento de uma aplicação Windows 8 numa arquitetura orientada a serviçosAndré Couto da SilvaAntónio Manuel Nestor Ribeiro2013
Using WebRTC technology to create a web-based SIP clientAndré Manuel Rodrigues da SilvaAntónio Duarte Costa (co-supervisão: Maria João Nicolau)2013
Efficient processing of ATLAS events analysis in homogeneous and heterogeneous platforms with accelerator devicesAndré Martins PereiraAlberto José Gonçalves Carvalho Proença2013
Comparação de análises estruturais (Volumetria, Espessura Cortical, e Voxel based Morphometry) em NeuroimagemAndré Nogueira MagalhãesVictor Manuel Rodrigues Alves (co-supervisão: José Soares)2013
Análise de Monitorização de Fadiga MentalAndré Pimenta RibeiroPaulo Jorge Freitas de Oliveira Novais2013
Sleep Stage Classification Based on Cardiorespiratory SignalsAntónio José Almeida RebeloPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Pedro Miguel Ferreira dos Santos da Fonseca)2013
Segurança Criptográfica no Armazenamento e Partilha de Dados em Ambientes CloudBernardo Luís Fernandes PortelaManuel Bernardo Martins Barbosa2013
Revisão e Reestruturação da Arquitetura da Plataforma Vortal NextBruno Miguel Almeida SantosAntónio Manuel Nestor Ribeiro (co-supervisão: N.A.)2013
A toolkit for music processing and analysisBruno Miguel Correia AzevedoJosé João Antunes Guimarães Dias de Almeida2013
Gestão de estruturas multidimensionais assistida por computador – aplicação à área da saúdeCarlos André Machado CarvalhalJosé Manuel Ferreira Machado (co-supervisão: Manuel Filipe Santos)2013
The role of best practices in assessing software qualityCarlos Miguel Janeiro Regedor Dias da TorrePedro Manuel Rangel Santos Henriques (co-supervisão: Daniela Carneiro da Cruz)2013
Gamification in social environments to promote behaviours regarding energetic sustainabilityCedric Fernandes PimentaCésar Analise de Freitas e Silva da Costa Rodrigues (co-supervisão: Fábio Silva)2013
Uma abordagem Alternativa para a formalização de espaços Multidimensionais em Sistemas OLAPCláudio Campinho NovaisOrlando Manuel de Oliveira Belo (co-supervisão: J Espírito Santo)2013
A bounded model checker for SPARK programsCláudio Filipe Belo da Silva LourençoJorge Miguel Matos Sousa Pinto (co-supervisão: Maria João Frade)2013
Support Vector Machines on the Prediction of a WWTP PerformanceDaniel José Silva RibeiroOrlando Manuel de Oliveira Belo2013
Application of Formal Methods in the ITASAT ProjectDaniel Ribeiro QuintaJosé Francisco Creissac Freitas de Campos (co-supervisão: Villani, Emilia)2013
Caracterização de tráfego de rede : Cloud Storage na Universidade do MinhoDaniela Catarina Ferreira de OliveiraMaria Solange Pires Ferreira Rito Lima2013
Process of Scenarios Replication and Tests Automation on IMS networksDavid Almeida GonçalvesAntónio Duarte Costa (co-supervisão: Pedro Nuno Miranda de Sousa)2013
Impacto da utilização de técnicas de amostragem na caracterização de fluxos de tráfegoDavid Esteves Magalhães MartinsSolange Lima2013
ETL Systems Modelling with coloured Petri NetsDiogo Manuel Rodrigues dos Santos SilvaOrlando Manuel de Oliveira Belo (co-supervisão: João Miguel Lobo Fernandes)2013
Inclusão de funcionalidades Map Reduce em Sistemas de Data WarehousingDário Almeno Matos da SilvaOrlando Manuel de Oliveira Belo2013
Uma Ontologia para Expressão de Preferências de Utilizadores em Sistemas OLAPEduardo Jorge Araújo da CostaOrlando Manuel de Oliveira Belo2013
Parallel interactive ray tracing and exploiting spatial coherenceEduardo José Tanque de Pádua CruzLuís Paulo Peixoto dos Santos2013
An evaluation of key-agreement protocols based on weak-secretsFernandes, Tiago Miguel SoaresManuel Bernardo Martins Barbosa2013
O impacto da computação quântica na criptografia modernaFernando Guilherme Gonçalves Pequeno de Oliveira e SilvaJosé Carlos Bacelar Ferreira Junqueira Almeida2013
Um Modelo para Previsão de Churn na Área do RetalhoFernando Jorge Machado VelosoOrlando Manuel de Oliveira Belo2013
Computacional tools for pathway optimization towards metabolic engineering applicationsFilipe Alexandre Wang LiuMiguel Francisco de Almeida Pereira da Rocha (co-supervisão: Isabel Cristina de Almeida Pereira da Rocha)2013
Analysis of the influence of stress on the interaction with the computerFábio Alexandre Marques CatalãoPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Davide Rua Carneiro)2013
Implementação e teste de primitivas transacionais sobre cassandraFábio André Castanheira Luís CoelhoRui Carlos Mendes Oliveira (co-supervisão: Francisco Cruz)2013
Internet Tomography: Network topology discovery and network performance evaluation.Fábio Rafael Azevedo CostaStefano Giordano (co-supervisão: Alexandre Júlio Teixeira dos Santos)2013
Improving the usability of web applications: more results with less effortFábio Samuel Coelho da SilvaJosé Francisco Creissac Freitas de Campos2013
Simulação social de comportamentos humanos em agentes virtuais para plataformas de gestão de sustentabilidadeGilberto Martins FelgueirasCésar Analise de Freitas e Silva da Costa Rodrigues (co-supervisão: Fábio André Silva)2013
Biometrical and behavioural identification of users in a scenario of intrusionHenrique Fontão MartinsPaulo Jorge Freitas de Oliveira Novais2013
Suporte multidimensional para sistemas de business intelligenceInês Cerqueira GonçalvesJosé Manuel Ferreira Machado (co-supervisão: Santos, Manuel Filipe)2013
A new Framework to enable rapid innovation in Cloud Datacenter through a SDN approachJosé António Barros TeixeiraStefano Giordano (co-supervisão: Alexandre Júlio Teixeira dos Santos)2013
Work ReportJosé Augusto Fernandes da SilvaJoão Miguel Lobo Fernandes2013
PGP: prokaryote gene prediction softwareJosé Carlos Ribeiro PachecoRui Manuel Ribeiro Castro Mendes (co-supervisão: Conceição Egas)2013
Ambient Intelligence for Monitoring Weight and Physical ActivityJoão Manuel Rodrigues FerreiraPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Helena Rafaela Vieira do Rosário)2013
Modelo de simulação de discosJoão Miguel Barbosa GomesJosé Orlando Roque Nascimento Pereira2013
Knowledge Extraction from the Behaviour of Players in a Web Browser GameJoão Miguel Pereira AlvesJosé Carlos Maia Neves (co-supervisão: Martin Riedmiller)2013
Fault Injection for the Evaluation of Critical SystemsJoão Mário Quintas CunhaJoão Alexandre Baptista Vieira Saraiva2013
Plataforma integradora de serviços em tempo real baseada em tecnologia OSGiJoão Pedro Almeida BrandãoPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Ângelo Costa)2013
SPeculative Computation in Ambient IntelligenceJoão Pedro Araújo FernandesPaulo Jorge Freitas de Oliveira Novais2013
Sistemas de Recomendação Baseados em PreferênciasLuís André da Mota AraújoOrlando Manuel de Oliveira Belo2013
Análise de Segurança da Web – Uma abordagem aos riscos do HTML5Luís Filipe Silva de OliveiraAntónio Manuel Nestor Ribeiro2013
Sensorização, fusão sensorial e dispositivos móveis: contrituições para a sustentabilidade de ambientes inteligentesLuís Miguel Ferreira RosaCésar Analise de Freitas e Silva da Costa Rodrigues (co-supervisão: Fábio André Silva)2013
Desenvolvimento de um sistema integrado para o tratamento de dados de sequenciação de próxima geraçãoMarco André Ferreira ReisMiguel Francisco de Almeida Pereira da Rocha (co-supervisão: Soares, Simão Pedro de Pinho)2013
Um player Web para redes de ecrãs públicosMarco Pereira CarneiroRui João Peixoto José2013
Guidelines for Analysis and Modelling of Reactive Software SystemsMaria Madalena Pacheco GonçalvesJoão Miguel Lobo Fernandes2013
Network inference: extension of linear programming model for time-series dataMarta R. A. MatosRui Manuel Ribeiro Castro Mendes (co-supervisão: Knapp, Bettina)2013
Network Inference: extension of a linear programming model for time series dataMarta Raquel Almeida MatosRui Manuel Ribeiro Castro Mendes (co-supervisão: Bettina Knapp)2013
An evaluation of the GAMA/StarPU frameworks for heterogeneous platforms: the progressive photon mapping algorithmMiguel Branco PalhasAlberto José Gonçalves Carvalho Proença (co-supervisão: Luís Paulo Peixoto dos Santos)2013
Captura de Dados em Tempo Real em Sistemas de Data WarehousingMiguel Gonçalves DiasOrlando Manuel de Oliveira Belo2013
Real-Time Data Capture in Data Warehousing SystemsMiguel Gonçalves DiasOrlando Manuel de Oliveira Belo2013
Mining quorum sensing in pathogenic P. aeruginosa and C. albicansNadine Castelhano SantosAnália Maria Garcia Lourenço (co-supervisão: Maria Olívia Pereira)2013
Large Scale Privacy Preserving Bluetooth SensigNelson Manuel Almeida GonçalvesCarlos Miguel Ferraz Baquero Moreno (co-supervisão: Rui João José (DSI))2013
W3DS service open source implementationNuno Miguel Carvalho OliveiraJorge Gustavo Pereira Bastos Rocha2013
An Open Source Virtual Globe for AndroidPaulo Adelino Dias AlmeidaJorge Gustavo Pereira Bastos Rocha2013
Um Globo Virtual Open Source para AndroidPaulo Adelino Dias de AlmeidaJorge Gustavo Pereira Bastos Rocha2013
Web Profiling Based on SignaturesPaulo Alexandre Ricardo MonsantoOrlando Manuel de Oliveira Belo2013
Desenvolvimento de um Ambiente para a Geração, Mutação e Execução de Casos de TestesPaulo Filipe de Jesus CruzJosé Francisco Creissac Freitas de Campos2013
Strategies for production, distribution and presentation of video in public displaysPaulo Miguel Vieira JuliãoRui João Peixoto José2013
Data Warehouses suportados por NuvensPaulo Renato Dias RodriguesOrlando Manuel de Oliveira Belo2013
Efficient Computation of the Matrix Square Root in Heterogeneous PlatformsPedro Filipe Araújo CostaAlberto José Gonçalves Carvalho Proença (co-supervisão: Rui Ralha)2013
Human Resources Software IntegrationPedro Miguel Pinho ReisAntónio Luís Pinto Ferreira de Sousa2013
Taxonomic and functional analysis of metagenomesPedro Santos BarbosaMiguel Francisco de Almeida Pereira da Rocha (co-supervisão: Joel Perdiz Arrais)2013
Temporal Web CrawlingPedro Vasco Neto PereiraJoaquim Melo Henriques Macedo2013
Remote Electronic Voting: studying and improving HeliosPedro Vasconcelos Castro Lopes FariaJosé Carlos Bacelar Ferreira Junqueira Almeida2013
Sistemas de Bases de Dados Orientadas por ColunasRaquel Gouveia RibeiroOrlando Manuel de Oliveira Belo2013
Proof support for hybrid logicsRenato Jorge Araújo NevesLuís Soares Barbosa2013
Techniques for Place Aware AdvertisingRicardo Agostinho Miranda MotaAntónio Manuel Nestor Ribeiro (co-supervisão: Rui João Peixoto José)2013
Framework de Automação de TestesRicardo Gomes da FonsecaJoão Alexandre Baptista Vieira Saraiva2013
Reforço da privacidade através do controlo da pegada digitalRicardo Joaquim Pereira de MacedoJosé Carlos Bacelar Ferreira Junqueira Almeida2013
Relatório de Atividade ProfissionalRicardo Manuel Ferreira Moreira de Magalhães OliveiraVitor Francisco Mendes Freitas Gomes Fonte2013
Querying for Model-Driven SpreadsheetsRui Alexandre Afonso PereiraJoão Alexandre Baptista Vieira Saraiva (co-supervisão: Orlando Manuel de Oliveira Belo)2013
Aplicação móvel como suporte à prática médica de pediatriaRui Emanuel Barros OliveiraAntónio Carlos da Silva Abelha2013
Dashboarding – projeto e implementação de painéis analíticosRui Miguel Pereira da Costa BarrosOrlando Manuel de Oliveira Belo2013
Simulating Ubiquitous Computing EnvironmentsSamuel da Silva MoreiraJosé Francisco Creissac Freitas de Campos (co-supervisão: Rui João Peixoto José)2013
Obstetric support on mobile platformsSamuel de Meneses ValenteAntónio Carlos da Silva Abelha2013
DEVELOPMENT OF COMPUTATIONAL METHODS FOR BIOMASS COMPOSITION AND EVALUATION OF ITS IMPACT IN GENOME-SCALE MODELS PREDICTIONSophia Torres SantosIsabel Cristina de Almeida Pereira da Rocha2013
Assessment as learning moment – Stress Analysis in an environment of e-learningSérgio Manuel de Carvalho GonçalvesPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Davide Rua Carneiro)2013
Analysis of Subpopulation Proteomics and stress investigation of Pseudomonas putida KT2440 as a step towards deciphering population heterogeneities under varying environmental conditionsTelma Cristina Oliveira FernandesRalf Takors (co-supervisão: Isabel Cristina de Almeida Pereira da Rocha)2013
Desenvolvimento e Implementação Automatizados de Recomendações ClínicasTiago Campelo Vilas BoasPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Tiago J Oliveira)2013
Geração de Ambientes Virtuais 3DTiago Emanuel Oliveira GomesJosé Francisco Creissac Freitas de Campos2013
Gestão Remota para Pontos de Acesso de Redes Sem FiosTiago Fontes Carvalho Duque da SilvaBruno Alexandre Fernandes Dias2013
Discovering Electrical Energy Consumption PatternsTiago Mendes FerreiraOrlando Manuel de Oliveira Belo2013
An evaluation of key-agreement protocols based on weak-secretsTiago Miguel Soares FernandesManuel Bernardo Martins Barbosa2013
Framework e Cliente WebRTCVasco Manuel de Frias AmaralMaria Solange Pires Ferreira Rito Lima2013
Design and development of HTML5 applications – the case study Primavera BSSVitor Nuno Rodrigues CostaAntónio Manuel Nestor Ribeiro2013
Conceção e linhas de orientação para o desenvolvimento de aplicações em HTML5 – o case study Primavera BSSVítor Nuno Rodrigues CostaAntónio Manuel Nestor Ribeiro2013
Leveraging Cloud Computing for IPTV: Moving the Set-Top Box to the CloudZacarias José Miranda BentaJoaquim Melo Henriques Macedo2013
Integração do Facebook em ecrãs públicosAbel Jorge Ferreira Barbosa SoaresRui João Peixoto José2012
Using Reinforcement Learning in the tuning of Central Pattern GeneratorsAna Filipa de Sampaio Calçada DuarteCésar Analise de Freitas e Silva da Costa Rodrigues2012
A web-based tool for user experience studiesAndré Feliciano Quintas da Silva CoelhoRui João Peixoto José2012
Data Mining methods to detect discrimination patterns along temporal databasesAndré Filipe Gonçalves MagalhãesPaulo Jorge Sousa Azevedo2012
Pattern based user interface generationAndré Lopes BarbosaAntónio Manuel Nestor Ribeiro2012
Uma Experiência Educativa com Robótica InteligenteAndré Paulo Renato Pereira BorgesCésar Analise de Freitas e Silva da Costa Rodrigues2012
RetScan: Efficient Fovea and Optic Disc Detection in RetinographiesAndré Vilas Boas da CostaAlberto José Gonçalves Carvalho Proença2012
Learning and testing stochastic discrete event systemsAndré de Matos PedroMaria João Frade (co-supervisão: Simão Melo de Sousa)2012
Scheduling (ir)regular applications on heterogeneous platformsArtur Miguel Matos MarianoAlberto José Gonçalves Carvalho Proença2012
OL3 – Javascript library for 3D scenesBruno Gustavo Rego Amaral CostaJorge Gustavo Pereira Bastos Rocha2012
Análise de Dados de Desnaturação Proteica Obtida por Simulações de Dinâmica MolecularCarla Alexandra Marques GregórioPaulo Jorge Sousa Azevedo2012
From natural language requirements to formal descriptions in Alloy through boilerplatesDaniel Nascimento CadeteJosé Nuno Fonseca de Oliveira2012
Interoperability and Portability in PaaS EnvironmentsDavid Gonçalves da CunhaPedro Nuno Miranda de Sousa2012
Intelligent Systems for Energetic SustainabilityDavid José Farinha CuevasCésar Analise de Freitas e Silva da Costa Rodrigues2012
Finite probability distributions in CoqDiogo Araújo Carvalho Vilaça MoreiraJosé Carlos Bacelar Ferreira Junqueira Almeida2012
Deteção de Anomalias em Modelos de Publicidade Pay-Per-ClickEduardo Luís da Silva LopesPaulo Jorge Sousa Azevedo2012
Jogos de Computador para a Formação em Engenharia InformáticaHélio Manuel VilasLuís Paulo Peixoto dos Santos2012
Análise e Conceção de uma Framework de Reporting Genérica e ParametrizávelIgor Gonçalo Gomes de SáAntónio Manuel Nestor Ribeiro2012
Desenvolvimento de uma aplicação web para dispositivos móveis – Monitorização e controlo de uma rede digital signageJoaquim Alberto da Costa AnacletoJosé Francisco Creissac Freitas de Campos2012
Evolution of Model-Driven SpreadsheetsJorge Cunha MendesJoão Alexandre Baptista Vieira Saraiva (co-supervisão: Jácome Miguel Costa Cunha)2012
Uma aplicação Informática para Testes Automáticos de SoftwareJorge Miguel de Miranda MoreiraJoão Miguel Lobo Fernandes2012
Implementação de funções de hash e cifras de chave pública baseadas em retículosJosé Miguel Gomes LoureiroJosé Carlos Bacelar Ferreira Junqueira Almeida (co-supervisão: José Pedro Miranda Mourão Patrício)2012
Semantic Good Morning: News Collection, Management and PresentationJosé Pedro Vieira Costa e SilvaPedro Manuel Rangel Santos Henriques2012
Localização em Redes Wi-FiJoão Paulo da Fonseca FernandesAntónio Duarte Costa (co-supervisão: Maria João Nicolau)2012
Análise e Desenvolvimento de Extensões de Controlo para o ambiente ScratchJoão Pedro da Cunha GonçalvesFernando Mário Junqueira Martins2012
Web Browser Access to Cryptographic HardwareLeonel João Fernandes BragaVitor Francisco Mendes Freitas Gomes Fonte2012
Simulation of large scale Pervasive Display NetworksLuís António Araújo FerreiraHelena Cristina Rodrigues (co-supervisão: Maria João Nicolau)2012
Bridging two architectural models: SIP and IIOTLuís Diogo Monteiro Duarte CoutoJosé Nuno Fonseca de Oliveira2012
Botnet Detection: A Numerical and Heuristic AnalysisLuís Miguel Ferreira Costa MendonçaHenrique Manuel Dinis dos Santos2012
Domain-specific Languages for Cryptographic SoftwareLuís Paulo Ferreira MirandaJosé Carlos Bacelar Ferreira Junqueira Almeida2012
Bridging the Gap Between SQL and NoSQLLuís Pedro Zamith de Passos Machado FerreiraRui Carlos Mendes Oliveira2012
Safety Critical Interactive Computing Systems’ ModellingManuel António Freitas de SousaJosé Francisco Creissac Freitas de Campos (co-supervisão: Miriam C. Bergue Alves)2012
CazDataProvider: A solution to the object-relational mismatchMiguel dos Santos EstevesJosé Francisco Creissac Freitas de Campos2012
Deposit management in archivesNuno Antunes MarquesJosé Carlos Leite Ramalho2012
Geração Automática de Test Cases Baseada em ModelosNuno Gil Correia Veloso da VeigaJoão Alexandre Baptista Vieira Saraiva2012
WildAniMAL – MAL Interactors Model AnimatorNuno Miguel Eira de SousaJosé Francisco Creissac Freitas de Campos2012
A Layered Approach for Monitoring Cloud ServicesNuno Miguel Felgueiras PalharesMaria Solange Pires Ferreira Rito Lima2012
Suporte à Interoperabilidade entre o Automation Studio e Sistemas SCADA: Tradução e sinópticos de XAML para SVGNuno Miguel Milhases da SilvaJosé Francisco Creissac Freitas de Campos2012
Deteção e validação de comportamento desviante no combate à fraude em modelos de publicidade pay-per-clickPaulo Sérgio de Almeida FestaPaulo Jorge Sousa Azevedo2012
Towards Social-Aware Opportunistic Network DatasetsPedro Jorge Alves Barbosa VieiraJoaquim Melo Henriques Macedo (co-supervisão: António Duarte Costa)2012
Validação de software altamente configurávelPedro Manuel Pereira de LemosPedro Manuel Rangel Santos Henriques (co-supervisão: João Paulo Macedo da Cunha)2012
Holografia Gerada por Computador e Reconstrução do Sinal Original: um estudo exploratórioPedro Miguel da Silva SantosLuís Paulo Peixoto dos Santos2012
Distributed Shared Memory on Heterogeneous CPUs+GPUs PlatformsRicardo Daniel Queirós AlvesLuís Paulo Peixoto dos Santos (co-supervisão: Donald Fussell)2012
Marca Do Dia Electrónica em SmartphonesRicardo Jorge Gomes Maia de SousaManuel Bernardo Martins Barbosa2012
Context aware mobile application for public transitRicardo Miguel Pinto FerreiraAdriano Jorge Cardoso Moreira2012
MDA SMART: uma Ferramenta Multiplataforma Baseada em ModelosRogério Araújo CostaAntónio Manuel Nestor Ribeiro2012
Métodos Sistemáticos de transformação e refinamento de modelos UML: desenvolvimento e verificação em AlloyRui Filipe Pereira de AzevedoFernando Mário Junqueira Martins2012
Implementação de grafos no ambiente de programação visual ScratchRui Filipe Veiga Rebelo da SilvaFernando Mário Junqueira Martins2012
Verificação de Software Criptográfico de Elevado DesempenhoTiago Filipe Azevedo OliveiraManuel Bernardo Martins Barbosa2012
CAP protocol for smartphonesTiago Filipe Maia de Campos MartinsManuel Bernardo Martins Barbosa2012
Sistema de Monitorização Inteligente em Dispositivos MóveisTiago José Fernandes de Sá de Araújo RibeiroPaulo Jorge Freitas de Oliveira Novais2012
Easy management and user interconnection across Grid sitesTiago Silva e SáAntónio Manuel da Silva Pina2012
iLeisure: an Intelligent Free Time Scheduler based on User ProfilingVitor Manuel Freitas MarquesPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Ângelo Gonçalo Araújo da Silva Costa)2012
Engenharia de Tráfego Robusta Usando Computação Evolucionária para Otimização de Protocolos de EncaminhamentoVitor Manuel Sá PereiraPedro Nuno Miranda de Sousa (co-supervisão: Miguel Francisco de Almeida Pereira da Rocha)2012
Efficiency and Security Gains via Randomness Reuse Across Different Cryptographic PrimitivesAfonso Delerue ArriagaManuel Bernardo Martins Barbosa2011
Materialização à medida de vistas multidimensionais de dadosAna Sofia da Silva DuarteOrlando Manuel de Oliveira Belo2011
Protótipo de componentes com o cálculo de QoSAndré Batista MartinsLuís Soares Barbosa2011
Construção de um Sistema de Corpora-FlowAndré Fernandes dos SantosJosé João Antunes Guimarães Dias de Almeida2011
Integração do Protocolo SIP na Media Framework da plataforma AndroidAndré Filipe Ferreira Araújo BarbosaAntónio Duarte Costa2011
An animator for the component calculusAndré MartinsLuís Soares Barbosa2011
Extração Automática de Modelos de Sistemas de Tempo RealAndré Ribeiro de CarvalhoJorge Miguel Matos Sousa Pinto2011
Anonymization of Dynamic Data SetsBruno Ferreira da Rocha de Lima GomesManuel Bernardo Martins Barbosa2011
Previsão de Churn em Companhias de SegurosBruno Miguel Viana GomesOrlando Manuel de Oliveira Belo2011
Técnicas de Ponto de Controlo e Adaptação em Grelhas ComputacionaisBruno Silvestre MedeirosJoão Luís Ferreira Sobral2011
iiD: Utilização de molduras fotográficas digitais como ecrãs interativos para acesso a serviços genéricos de informaçãoCarlos Manuel Fereira LopesRui João Peixoto José (co-supervisão: Ana Cristina Aguiar)2011
Quality model for spreadsheets: design and implementationChristophe Campos PeixotoJoão Alexandre Baptista Vieira Saraiva2011
Selecção de Hiper-Cubos com Base em Padrões de Exploração OLAPDaniel Carvalho da RochaOrlando Manuel de Oliveira Belo2011
Shadow Mapping e Ray-TracingDave Lage ModernoAntónio José Borba Ramires Fernandes2011
Equilíbrio de Energia em Redes Tolerantes a AtrasosDenis Rodrigues da SilvaJoaquim Melo Henriques Macedo (co-supervisão: António Duarte Costa)2011
Classificação de Metodologias de Desenvolvimento de Software através do SwebokElísio Maciel SimãoJoão Miguel Lobo Fernandes2011
Um sistema de Resolução de Conflitos Online para Organizações VirtuaisFlávio Miguel Alves LemosPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Davide Rua Carneiro)2011
Deteção de intrusões em redes informáticas utilizando redes neuronais artificiaisFrancisco André Guimarães RibeiroHenrique Manuel Dinis dos Santos2011
Classificação de crédito como ativo na tomada de decisão em sistemas inteligentes de suporte à decisãoFábio André Souto da SilvaCésar Analise de Freitas e Silva da Costa Rodrigues2011
Sensorização e Perceção num Ambiente de MonitorizaçãoGuilherme Reis BarbosaPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Ângelo Gonçalo Costa (Doutorando Programa Doutoral em Engenharia Biomédica))2011
Metrics to assess quality of spreadsheetsHugo Manuel Sousa RibeiroJoão Alexandre Baptista Vieira Saraiva (co-supervisão: Jácome Miguel Cunha)2011
An AnTLR Back-end for Perl GenerationHugo Miguel dos Santos AreiasPedro Manuel Rangel Santos Henriques (co-supervisão: Alberto Manuel Brandão Simões)2011
SCEUR: serviço centralizado de estatística de utilização de repositóriosHélder de Jesus Almeida da SilvaJosé Carlos Leite Ramalho2011
Ferramentas de Verificação Formal de Protocolos CriptográficosInês Isabel Russo PradaJosé Carlos Bacelar Ferreira Junqueira Almeida2011
Geração automática de código para padrões de conceçãoJaime Emanuel Vieira dos Santos Moura NetoAntónio Manuel Nestor Ribeiro2011
Análise de Comentários na compreensão de programasJosé Luís Figueiredo de FreitasPedro Manuel Rangel Santos Henriques (co-supervisão: Daniela Carneiro da Cruz)2011
Um sistema de controlo de acessos baseado no modelo cargo-organizaçãoJosé Pedro Vilaça NovaisPedro Nuno Miranda de Sousa2011
Uma Técnica de Amostragem Multi-adaptativa de Tráfego de RedeJoão Marco Cardoso da SilvaMaria Solange Pires Ferreira Rito Lima2011
Science Data Vaults in MonetDB: A case studyJoão Nuno Araújo SáJosé Orlando Roque Nascimento Pereira (co-supervisão: Martin Kertsen (INS – Amsterdam))2011
MINHA: Avaliação realista de aplicações distribuídas num ambiente centralizadoJoão Paulo da Silva BordaloJosé Orlando Roque Nascimento Pereira2011
Verificação Formal de Programas AdaJoão Pedro Marques da Silva MartinsJorge Miguel Matos Sousa Pinto (co-supervisão: José Miguel Faria (Critical Software))2011
Resolução de Conflitos em Linha: OntoLab uma aplicação ao Direito LaboralJoão Pedro Pinto Vasques RibeiroPaulo Jorge Freitas de Oliveira Novais2011
Motores de Renderização 3D Multi-Plataforma e Dispositivos Móveis/SmartphonesLeander Edward Bessa BeernaertAntónio José Borba Ramires Fernandes2011
Modularidade em Java – O impacto do projeto JigsawLuís Fernando Rodrigues Loureiro dos SantosAntónio Manuel Nestor Ribeiro2011
Classificação automática de logsManuel Fernando Fortuna Ribeiro DiasAntónio Luís Pinto Ferreira de Sousa2011
Descoberta de padrões num sistema de certificação de empresasMariana Reimão Queiroga Valério de CarvalhoOrlando Manuel de Oliveira Belo2011
Development of an RFID-based localization systemMauro Nuno Barbosa de CastroAntónio Joaquim André Esteves2011
Bluetooth Hotspots for Smart Spaces InteractionMiguel Craveiro Martins de AlmeidaHelena Cristina Rodrigues2011
Distribuição de Hiper-cubos em Ambientes DistribuídosMiguel Filipe Dias PintoOrlando Manuel de Oliveira Belo2011
Database Replication in Large Scale SystemsMiguel Gonçalves de AraújoJosé Orlando Roque Nascimento Pereira2011
Estimativa de funções de probabilidade cumulativa em redes de larga escalaMiguel Ângelo Borges da SilvaCarlos Miguel Ferraz Baquero Moreno2011
GamaBoogie: a contract-based slicer for Boogie programsMárcio João Carvalho CoelhoPedro Manuel Rangel Santos Henriques (co-supervisão: Daniela Carneiro da Cruz)2011
Formalizando Alloy com uma tradução para Isabelle/HOLMário André Barbosa EirasManuel Alcino Pereira da Cunha2011
Otimizações de localidade em algoritmos e estruturas de dados irregularesNuno Filipe Monteiro FariaJoão Luís Ferreira Sobral2011
Framework de serviços e auto-configuração para ambientes ad-hoc seguros em Android e LinuxNuno Filipe Solinho de AzevedoAntónio Luís Duarte Costa2011
SpotSensing: uma Plataforma de Sensores SociaisNuno Miguel Mendonça Coutinho CorreiaRui João Peixoto José2011
Entrega de conteúdos a pedido em redes em malha sem fiosNuno Miguel da Costa AbreuAntónio Duarte Costa2011
Métricas para aspetos e programas MATLABPaulo Alexandre da Silva LopesJoão Alexandre Baptista Vieira Saraiva (co-supervisão: João M. P. Cardoso)2011
Locomoção adaptativa num quadrúpede: aprender a detetar e evitar obstáculosPedro André Moreira da SilvaCésar Analise de Freitas e Silva da Costa Rodrigues (co-supervisão: Cristina Manuela Santos)2011
Manutenção de Caches para sistemas OLAPPedro Carvalho MarquesOrlando Manuel de Oliveira Belo2011
Componente de Visão por computador para rastreamento de ambientesPedro Emanuel Pereira SoaresManuel João Ferreira (DEI)2011
Migração de aplicações legads para bases de dados NOSQLPedro Filipe Linhares GomesJosé Orlando Roque Nascimento Pereira2011
Rede automatizada de spamtrapsPedro Jorge Barros Vasconcelos GuimarãesAntónio Luís Pinto Ferreira de Sousa2011
Computação eficiente do software CPW2000 em plataformas heterogêneas CPU-GPUPedro Miguel Linhares MirandaAlberto José Gonçalves Carvalho Proença (co-supervisão: José Luís Martins (IST/UTL))2011
Digital Signage – aplicação baseada em eventos usando API Google CalendarPedro Miguel Pereira Tomé BrancoAntónio Manuel Nestor Ribeiro2011
Voodoo: um sistema para crianças que permite a criação de filmes de animação através de figuras de ação como interfacePedro do Rego RibeiroManuel João Ferreira (DEI)2011
Desenvolvimento formal de sistemas críticos: caso de estudo usando SPARKRicardo Jorge Cantador RomanoManuel Alcino Pereira da Cunha2011
Logical Clocks for Cloud DatabasesRicardo Jorge Tomé GonçalvesCarlos Miguel Ferraz Baquero Moreno2011
Portabilidade e Desempenho em Sistemas Paralelos HeterogéneosRoberto Carlos Sá RibeiroLuís Paulo Peixoto dos Santos2011
Validação de documentos common criteria com AlloyRoberto Manuel Dias MachadoManuel Bernardo Martins Barbosa2011
Benefícios do contexto social nas comunicações oportunistasRui Filipe Pedro QuelhasJoaquim Melo Henriques Macedo (co-supervisão: António Duarte Costa)2011
Integrating a 3D application server with a CAVERui Manuel Ferreira de Carvalho Azevedo MoreiraJosé Francisco Creissac Freitas de Campos2011
Inferência de PSM/PIM e Padrões de conceção a partir de código JavaRui Miguel Silva CoutoAntónio Manuel Nestor Ribeiro2011
Algoritmos Escaláveis para docking molecular em plataformas heterogéneasRui Sérgio Magalhães da CostaAlberto José Gonçalves Carvalho Proença (co-supervisão: Nuno Miguel Micaêlo)2011
Automatic software test case generationTiago Alves VelosoJosé Nuno Fonseca de Oliveira2011
Desenvolvimento de uma Rede Overlay de MonitorizaçãoVasco Duarte Almeida Dias de CastroPaulo Manuel Martins de Carvalho (co-supervisão: Maria Solange Pires Ferreira Rito Lima)2011
Gestão e Manutenção de Múltiplos Terminais em Redes de Próxima GeraçãoAlberto Manuel da Silva GomesAntónio Manuel Nestor Ribeiro2010
Avaliação de Desempenho e Melhoramentos da Infra-Estrutura da Rede UPNetAmbrósio Patrício VumoMaria Solange Pires Ferreira Rito Lima (co-supervisão: Paulo Valverde)2010
Sistema de Resolução de Conflitos no Contexto da Partilha de BensAna Cláudia Matias CaféPaulo Jorge Freitas de Oliveira Novais2010
Dependable Cloud Computing Management ServicesBruno Luís da Silva e CostaAntónio Luís Pinto Ferreira de Sousa2010
Um sistema P2P Adaptável a Diferentes Contextos de UtilizaçãoBruno Luís dos Santos BompastorPedro Nuno Miranda de Sousa2010
Reverse engineering of rich internet applicationsCarlos Eduardo Bastos e Marques da SilvaJosé Francisco Creissac Freitas de Campos2010
Caracterização e Modelação Semãntica de Serviços em Redes MultiserviçoCarlos Eduardo da Costa RodriguesPaulo Manuel Martins de Carvalho2010
Ray Tracing Interactivo Híbrido: GPU + CPUCésar Carlos Martins GomesLuís Paulo Peixoto dos Santos2010
Caracterização dos Requisitos de QoS/QoE de Aplicações e Serviços Actuais e Emergentes – Estudo do caso IPTVDalila Adelaide FonsecaPaulo Manuel Martins de Carvalho (co-supervisão: Maria Solange Pires Ferreira Rito Lima)2010
A Formal Approach for a Subset of the SPARK Programming Language Semantics and Program VerificatitonEduardo Augusto Peixoto da Silva BritoJorge Miguel Matos Sousa Pinto (co-supervisão: Luís Filipe Ribeiro Pinto)2010
Etelvina – Um gerador de personagens para Instant MessagingEduardo Jorge da Costa RibeiroAlberto Manuel Brandão Simões2010
Integração de Informação de contexto em Redes Sociais OnlineEmanuel José Oliveira BragaAntónio Manuel Nestor Ribeiro2010
Augmented and Virtual Reality Activity Representation and VisualizationGustavo dos Santos MaçãesLuís Paulo Peixoto dos Santos2010
A Strategic-Based weaver for Aspect-MatLabHelder Nuno Ribeiro MacedoJoão Alexandre Baptista Vieira Saraiva (co-supervisão: Jácome Miguel Cunha)2010
Preprocessing Non Organic Objects in Computer Tomography ImagesJoaquim André Moreira MaiaLuís Paulo Peixoto dos Santos2010
Interoperabilidade nos Sistemas de Informação da Leoni PortugalJosé Avelino Rodrigues FernandesPaulo Jorge Freitas de Oliveira Novais2010
Análise e Avaliação da Mobilidade Multicast em IPv6José Paulo Fernandes MacedoAlexandre Júlio Teixeira dos Santos2010
Localização em Redes Wi-FiJoão André Félix Soares Torres da SilvaAntónio Duarte Costa (co-supervisão: Maria João Nicolau)2010
Verificação de consultas .QL usando AlloyJoão António Cardoso da Mata Oliveira da PazManuel Alcino Pereira da Cunha2010
Utilização de técnicas de profiling na detecção de fraude em sistemas de telecomunicaçõesJoão Batista da Costa LopesOrlando Manuel de Oliveira Belo2010
Real-Time Structural Mech, Simulation for Tetrahedral MeshesJoão Gonçalo Botica Ribeiro da SilvaAdérito Fernandes Marcos2010
Quality Assessment of Java Source CodeJoão Miguel Rodrigues Quintas VeigaMaria João Frade2010
Integração da Aplicação Microsoft Project num Sistema ERPJoão Miguel da Costa MatosJoão Miguel Lobo Fernandes2010
Photorealistic modelling and rendering of 3D human anatomy for medical trainingLuís Filipe Pereira GonçalvesAdérito Fernandes Marcos2010
Arquitectura Orientada a EventosLuís Miguel Chaves ClaroAntónio Manuel Nestor Ribeiro2010
Jogos de Papéis e Reconhecimento de Emoções em Ambientes InteligentesLuís Pedro Martins dos Santos MachadoCésar Analise de Freitas e Silva da Costa Rodrigues (co-supervisão: Paulo Jorge Freitas de Oliveira Novais)2010
Encaminhamento Inter-Domínio com Qualidade de ServiçoLuíz Fernando Vilar LopesAntónio Duarte Costa (co-supervisão: Maria João Nicolau)2010
Modelos de Língua – Língua::srilmManuel da Silva AlvesJosé João Antunes Guimarães Dias de Almeida2010
Medição e Caracterização de Tráfego em WLANs UniversitáriasMarangaze Joaquim Munhepe MulhangaMaria Solange Pires Ferreira Rito Lima (co-supervisão: Manuel Fernández Veiga)2010
Model-checking in Alloy of a Fragment of the UBIFS File System for Flash MemoryMarta de Jesus Rodrigues FernandesJosé Nuno Fonseca de Oliveira2010
Separation of Concerns in Parallel Programming using Feature-Oriented ProgrammingMatheus Barros AlmeidaJoão Luís Ferreira Sobral2010
Translating Alloy specification to the point-free styleNuno Filipe Moreira MacedoManuel Alcino Pereira da Cunha2010
Resolução de Conflitos de Consumo em LinhaNuno Miguel Gomes da CostaPaulo Jorge Freitas de Oliveira Novais2010
Coordenação de RESTfull Web ServicesPaulo Bruno Lima de AbreuJosé Orlando Roque Nascimento Pereira2010
A Domain Specific Aspect Language for MatlabPedro Miguel Ribeiro MartinsJoão Alexandre Baptista Vieira Saraiva2010
Development of Naturalness Improvements of Avatar AppearancePedro Miguel da Silva AraújoAdérito Fernandes Marcos2010
Confiabilidade e Escalabilidade de Sistemas de Voz sobre IPRicardo Jorge Oliveira Tching de Magalhães CoelhoRui Carlos Mendes Oliveira2010
Availability, Reliability and Scalability in Database ArchitectureRicardo Miguel da Silva Neto GodinhoJosé Manuel Ferreira Machado2010
Mobilidade em Ambientes de Acesso Heterogéneos com Terminais AndroidRicardo dos Santos SilvaPaulo Manuel Martins de Carvalho (co-supervisão: Pedro Nuno Miranda de Sousa)2010
Algoritmos paralelos para simulação de dinâmica molecularRui António Sabino Castiço da SilvaJoão Luís Ferreira Sobral2010
Contracts and Slicing for Safety ReuseSérgio André dos Santos AreiasPedro Manuel Rangel Santos Henriques2010
MonetDB in the Cloud: Data Distribution and Replication for a Cloud EnvironmentSérgio Miguel da Silva CarvalhoRui Carlos Mendes Oliveira (co-supervisão: Martin Kersten)2010
An OpenCL Ray-Tracer development and camparison over CUDATiago António da Silva NevesAdérito Fernandes Marcos2010
Abstract Map Representation for Web PublishingTiago Mendonça Coutinho CorreiaJorge Gustavo Pereira Bastos Rocha2010
Extensões de Alto Nível para uma Linguagem de Programação CriptográficaVicente Machado FernandesJosé Carlos Bacelar Ferreira Junqueira Almeida2010
Transposição de aplicações Desktop para plataformas móveis – Um caso de estudoVitor Hugo Correia FernandesJosé Carlos Leite Ramalho2010
Mapping local thickness from CAD models to finite element meshesVânio Miguel Rodrigues FerreiraLuís Paulo Peixoto dos Santos (co-supervisão: Ricardo João Ferreira Simões)2010
Face recognition using 3D structural geometry of rigid featrures extrated from 2D imagesWaldir Spencer Pimenta LimaLuís Paulo Peixoto dos Santos2010
Identificação de perfis de utilização Web baseada em ClickstAlice Monteiro MarquesOrlando Manuel de Oliveira Belo2009
P2P content-push for the InternetAna Luisa Parreira NunesJosé Orlando Roque Nascimento Pereira2009
AMA: portal de comércio electrónico de venda de artesanatoAnabela Carvalho PintoPaulo Jorge Freitas de Oliveira Novais2009
Controlo de Admissão Adaptativo em Sistemas de Tempo RealAndré Filipe dos Santos FerreiraMaria Solange Pires Ferreira Rito Lima2009
Desenvolvimento de Serviços de Redes Inteligentes na Plataforma NGINAndré Gentil Lopes RibeiroPedro Nuno Miranda de Sousa2009
Memory Assistant: Planeamento e Organização de AgendasAngelo Gonçalo Araújo da Silva CostaPaulo Jorge Freitas de Oliveira Novais2009
RFID – Middleware Portável, Genérico, Autónomo e EscalávelAntónio André Marques RibeiroAntónio Manuel Nestor Ribeiro2009
Filtragem colaborativa de correio electrónico não solicitadoArtur Jorge Paiva Correia MachadoPedro Nuno Miranda de Sousa2009
Middleware genérico para aplicações webCarlos Eduardo da Silva PereiraAntónio Manuel Nestor Ribeiro2009
Sistema de Recomendação em Ambiente de Vida AssistidaDario do Chão SamicoPaulo Jorge Sousa Azevedo2009
Simulating and Monitoring Ambient Assisted LivingDavide Rua CarneiroPaulo Jorge Freitas de Oliveira Novais2009
Reliable software development in a vital signs monitoring systemDiogo Barbosa MartinsJoão Miguel Lobo Fernandes2009
Incrementally gridifying scientific applicationEdgar Manuel Fernandes da Mota SousaJoão Luís Ferreira Sobral2009
Solução de controlo para redes WLAN em convivência com redes 3GPPEmanuel José da Silva FreitasPaulo Manuel Martins de Carvalho2009
Network associations: prevenção de fraude nas telecomunicaçõesEugénio Mendes RosasCésar Analise de Freitas e Silva da Costa Rodrigues2009
Técnicas de Mineração de Dados para Suporte à Decisão no Planeamento de Horários em Empresas de Transportes PúblicosEva Margarida Correia DuarteOrlando Manuel de Oliveira Belo2009
Cenários de convivência de serviços de mensagens entre redes tradicionais e redes de próxima gerFilipe Alexandre Rodrigues de Moura LeitãoMaria Solange Pires Ferreira Rito Lima2009
Bolt Cloud – A Working Set Dissemination ServiceFrancisco António Ferraz Martins Almeida MaiaRui Carlos Mendes Oliveira2009
SocialSeerFrancisco Miguel Carvalho Barros da CruzAntónio Luís Pinto Ferreira de Sousa2009
R-Trees, sua influência no desempenho dos sistemas de processamento analíticoGil Fernando Ferreira da Costa PontesOrlando Manuel de Oliveira Belo2009
Formal verification of security proofsHenrique Manuel Fernandes de CastroJosé Carlos Bacelar Ferreira Junqueira Almeida2009
SAT on the Linear and differential cryptanalysis for AESHugo Miguel Mota MagalhãesJosé Manuel Esgalhado Valença2009
Aplicações de políticas em redes 3GPPHélder Marco da Mota PereiraPaulo Manuel Martins de Carvalho2009
Descoberta de padrões em sistemas de dadosJoana Pinto FernandesOrlando Manuel de Oliveira Belo2009
Manutenção de índices multidimensionais recorrendo a Quadtrees como Estruturas de IndexaçãoJorge Alberto Faria MirandaOrlando Manuel de Oliveira Belo2009
A Influência de índices bitmap no desempenho de SDWJorge Filipe Fernandes AbreuOrlando Manuel de Oliveira Belo2009
Desenvolvimento de Algoritmos evolucionários para ambientes grid com aplicações à optimizaçãoJorge Henrique Martins de PinhoMiguel Francisco de Almeida Pereira da Rocha2009
Desempenho de tarefas nun cenário virtual dotado de características emocionaisJosé António da Cunha e SilvaCésar Analise de Freitas e Silva da Costa Rodrigues2009
O uso de técnicas espectrais e SAT na criptoanálise do AESJosé Miguel Crespo Garcia RodriguesJosé Manuel Esgalhado Valença2009
Analysis and Proposal of a Shadow Mapping Remix ApproachJoão Abrantes de OliveiraAntónio José Borba Ramires Fernandes2009
Interpretador SMIL de alta performance para controlo de apresentações multimédia num servidor de streaming de media para dispositivos móveisJoão Pedro Domingues CadinhaAlberto Manuel Brandão Simões2009
Sistemas de configuração de ambientes de deployment de aplicações webJoão Pedro Rodrigues Dias GranjaAntónio Manuel Nestor Ribeiro2009
Efficient storage of data in cloud computingJoão Tiago Medeiros PauloJosé Orlando Roque Nascimento Pereira2009
Metodologias para abstracção de stored procedures em aplicações Web orientadas à acçãoManuel José Torres Sousa da CunhaVictor Manuel Rodrigues Alves2009
Detecção e prevenção de fraudeMariana Isabel da Silva Pinto FerreiraPaulo Jorge Freitas de Oliveira Novais2009
Classificação e Comparação de Métodos Ágeis de Desenvolvimento de SoftwareMauro Jorge Pereira AlmeidaJoão Miguel Lobo Fernandes2009
Verifying Intel Flash File System CoreMiguel Alexandre Lopes Oliveira da Costa FerreiraJosé Nuno Fonseca de Oliveira2009
Interactive Ray TracingMiguel Dias Coelho da Cruz NunesLuís Paulo Peixoto dos Santos2009
Network-Aware Epidemic BroadcastMiguel Ângelo Marques de MatosRui Carlos Mendes Oliveira2009
An Extension to the Eclipse IDE for Cryptographic Software DevelopmentMiguel Ângelo Pinto MarquesManuel Bernardo Martins Barbosa2009
Determinação de frequência de recolhas aplicando técnicas de mineração de dadosMonica Patrícia Freire do ValeOrlando Manuel de Oliveira Belo2009
An integrated environment for software assessmentsMário Filipe de Melo Medeiros Fernandes PinhalJosé Bernardo Santos Monteiro Vieira Barros2009
Qualidade de serviço em sistemas de Data WarehousingNelio Martins GuimarãesOrlando Manuel de Oliveira Belo2009
OML – Ontology Manipulation LanguageNuno Alexandre Ramos de CarvalhoJosé João Antunes Guimarães Dias de Almeida2009
Improving program comprehension tools for domain specific languagesNuno Ernesto Salgado OliveiraPedro Manuel Rangel Santos Henriques (co-supervisão: Maria João Tinoco Varanda Pereira)2009
Previsão de disponibilidade em ambientes GridNuno Miguel Domingues GuerreiroOrlando Manuel de Oliveira Belo2009
Mineração de Dados para suporte à decisão no processo da Recolha Selectiva – Optimização de RoNuno Ramos MatosOrlando Manuel de Oliveira Belo2009
Student Assessment System – Diagnosing Student ModelsPaulo Manuel Gonçalves de AlmeidaPaulo Jorge Freitas de Oliveira Novais2009
Acessibilidade: emulação do rato através de movimentosPaulo Miguel Franco Correia de BritoAntónio José Borba Ramires Fernandes2009
A Confiança como factor de segurança num ambiente de vida assistidoPedro Miguel de Andrade TarrinhoPaulo Jorge Freitas de Oliveira Novais2009
Controlo de Tráfego Baseado em PolíticasRaúl Graciano Oliveira RodriguesPedro Nuno Miranda de Sousa2009
Interactive GPU ray casting for biomedical imagingRicardo Jorge Rodrigues Sepúlveda MarquesLuís Paulo Peixoto dos Santos2009
Técnicas de Mineração de Dados para Suporte à Decisão na Optimização da Qualidade de ServiçoRicardo Manuel da Silva AbreuOrlando Manuel de Oliveira Belo2009
Preservação de Privacidade Apelando a Técnicas de Mineração de DadosRui Manuel Coimbra Oliveira AfonsecaJosé Carlos Bacelar Ferreira Junqueira Almeida (co-supervisão: Orlando Belo (Escola de Engenharia, UM))2009
On the implementation of cryptographic algorithms in JavaRui Miguel da Silva AbreuJosé Carlos Bacelar Ferreira Junqueira Almeida2009
Formal Software development techniques in a continuous vital signs control systemRui Mário da Silva e FreitasJoão Miguel Lobo Fernandes2009
Contribuição para a Manipulação de Conteúdos em MusicXMLSamuel Soares da SilvaJosé Nuno Fonseca de Oliveira (co-supervisão: José João Antunes Guimarães Dias Almeida)2009
FlexiXML: um animador de modelos de interfaces com o utilizadorSandrine Alves MendesJosé Francisco Creissac Freitas de Campos2009
Modelação de Sistemas de Informação na Era da GlobalizaçãoSara dos Santos FernandesPaulo Jorge Freitas de Oliveira Novais2009
Prioritização de Requisitos de Software utilizando AHP e ELECTRE ISusana de Jesus Prozil RodriguesJoão Miguel Lobo Fernandes2009
PlayScrum: um jogo para a aprendizagem do método Ágil ScrumSónia Marlene Pereira de SousaJoão Miguel Lobo Fernandes2009
Web 2.0: User Interaction in Web ApplicationsTiago Leandro de Castro RibeiroFrancisco Soares de Moura2009
Metodologia de Integração Orientada a Serviços para a Descoberta de Conhecimento em Relatórios MVitor da Costa PinheiroVictor Manuel Rodrigues Alves2009
Optimização da Cadeia de Abastecimento de um Hipermercado através da Utilização de MineraçãoÁlvaro José de Castro Moreira da SilvaOrlando Manuel de Oliveira Belo2009
Combinatorial Test Automation Support for VDM++Adriana Sucena SantosLuís Soares Barbosa (co-supervisão: Peter Gorm Larsen (Aarhus))2008
An extended proof obligations generator for VMD++/OMLAugusto RibeiroLuís Soares Barbosa (co-supervisão: Peter Gorm Larsen (Aarhus))2008
Connecting VDM++ and JMLCarlos Manuel Gomes VilhenaLuís Soares Barbosa (co-supervisão: Peter Gorm Larsen (Aarhus))2008
Formal specification of an object-oriented framework for control systems designDavid Rodrigues SoraLuís Soares Barbosa2007
Coinductive programming: Calculi and applicationsPaula Cristina Soares RibeiroLuís Soares Barbosa2006
VooDooM — Support for Understanding and Re-engineering of VDM-SL SpecificationsTiago Miguel Laureano AlvesJosé Nuno Fonseca de Oliveira (co-supervisão: Joost Visser)2006
Formalizing Markup Languages for User InterfaceLuís Gonzaga Martins FerreiraJosé Nuno Fonseca de Oliveira2005
Objectificação de Especificações FormaisAntónio Miguel Ribeiro dos Santos Rosado da CruzJosé Nuno Fonseca de Oliveira2004
Reificação «Genética» de Estruturas de DadosFernando Luís Pinto NevesJosé Nuno Fonseca de Oliveira2004
Re-Engenharia de Aplicações em Suporte Relacional usando Métodos FormaisJoão Carlos Cardoso da SilvaJosé Nuno Fonseca de Oliveira2004
pGML: Estudo de um Subconjunto «Preciso» do GML 212Mário Ricardo de Novais HenriquesJosé Nuno Fonseca de Oliveira2004
Metodologia de amostragem em sistemas relacionais e prototipagem de uma ferramenta orientada a processos de qualidade de dadosBruno da Conceição CortesJosé Nuno Fonseca de Oliveira2002
Comunicação Fiável em Sistemas Distribuídos em Grande EscalaJosé Orlando Roque Nascimento PereiraFrancisco Soares de Moura1998
Uma Aproximação à Resolução do Problema do Caixeiro Viajante via Programação GenéticaMiguel Francisco de Almeida Pereira da Rochatbc1998
MAD, Sistemas de Apoio à Decisão em MAtéria de DireitoAntónio Carlos da Silva AbelhaJosé Carlos Maia Neves1997
Uma Abordagem Formal ao Problema da Classificação de Componentes de SoftwareCarla Maria Gonçalves FerreiraJosé Nuno Fonseca de Oliveira1997
Ambiente Visual para Especificação Formal baseado numa Analogia entre Hardware e SoftwareAsha GulamhussenJosé Nuno Fonseca de Oliveira1996
Construção de contextos em sistemas hierárquicos de representação de conhecimentoJorge Miguel Matos Sousa Pintotbc1995
Herança de Código de Sincronização em Programação Concorrente Orientada por ObjectosCarlos Miguel Ferraz Baquero-Morenotbc1994
Subtipos e Subclasses no Paradigma de Orientação por ObjectosRui Carlos Mendes OliveiraJosé Nuno Fonseca de Oliveira1994
SETS versus Cálculo RelacionalCésar de Jesus Pereira da Cunha RodriguesJosé Nuno Fonseca de Oliveira1993
GAMA-X – Geração Semi-Automática de Interfaces Sensíveis ao ContextoJosé Francisco Creissac Freitas de CamposFernando Mário Junqueira Martins1993
Cálculo de Atributos ConcorrenteJoão Alexandre Baptista Vieira SaraivaPedro Manuel Rangel Santos Henriques1993
Especificação Formal de muOBJ — Um Subconjunto de OBJ2 para MicrocomputadoresMaria de Lurdes A. TeixeiraJosé Nuno Fonseca de Oliveira1988
Conversational Development: A deep dive into the methodologyAdelino João Faria da CostaJoão Miguel Lobo Fernandes (co-supervisão: Marcelo Lebre)0000
Metalworking Industry an Industry 4.0 ApproachAdriana Madalena Oliveira CunhaPaulo Jorge Freitas de Oliveira Novais (co-supervisão: João Pedro Silva (DEM))0000
Creation and Orchestration of Virtualized Network FunctionsAdriano Vasco SeieJoaquim Melo Henriques Macedo0000
Software-Defined Storage System for HPC EnvironmentsAlberto Campinho FariaAntónio Luís Pinto Ferreira de Sousa (co-supervisão: João Tiago Medeiros Paulo)0000
A Deep Learning approach to Neurodegenerative Diseases prediction combining clinical MRI and clinical dataAlexandra da Fonseca FranciscoVictor Manuel Rodrigues Alves (co-supervisão: Tiago Gil Oliveira)0000
An ontology multiprocessing compilerAlexandre Miguel Costa DiasPedro Manuel Rangel Santos Henriques0000
Computational approaches for the integration of in vitro chemical and genetic screening data setsAna Beatriz Gonçalves da CunhaIsidro Cortés-Ciriano (co-supervisão: Miguel Francisco de Almeida Pereira da Rocha)0000
Pharmacodepression – Using AI to improve antidepressants prescriptionAna Daniela Fernandes EstevesVictor Manuel Rodrigues Alves (co-supervisão: Ricardo José da Silva Magalhães)0000
Unravelling the consortium interactions of filamentous bacteriaAna Margarida Torres Marques de MirandaÓscar Manuel Lima Dias (co-supervisão: Jorge Manuel Padrão Ribeiro)0000
Brain Fingerprints of Musical Complexity during Jazz ImprovisationAna Teresa Lourenço QueirogaVictor Manuel Rodrigues Alves (co-supervisão: Henrique Miguel de Sousa Silva Fernandes)0000
Ferramenta de análise de dados em tempo real para smart citiesAna Teresa da Silva Magalhães OliveiraNuno Vasco Lopes0000
Modelling the metabolism of Bacillus methanolicus for the production of amino acids and diaminesAndreia Cristina Silva CamposSónia Madalena Azevedo Carneiro0000
Archiving and dissemination of endoscopic examinationsAndreia Patrícia Matias da SilvaVictor Manuel Rodrigues Alves (co-supervisão: Isabel Maria Cunha Laranjo)0000
Integrated information ecosystem to support the national scientific activityAndré Augusto Costa SantosJosé Carlos Leite Ramalho (co-supervisão: José Miguel Araújo Ferreira)0000
Marker Based Pool Augmented RealityAndré Filipe Ferreira de Mira VieiraAntónio José Borba Ramires Fernandes0000
Middleware for Heterogeneous Data Integration Based on the Relational Model and Class DiagramAndré Filipe Ferreira dos ReisAntónio Manuel Nestor Ribeiro0000
Online platform for the assessment and intervention in reading disabilities – Phonological awarenessAndré Filipe Pinto VieiraJoão Miguel Lobo Fernandes (co-supervisão: Maria Iolanda Ferreira Silva Ribeiro)0000
Avaliação dos determinantes externos e internos no sucesso de empresas de software, start-ups vs empresas com maior nivel de maturaçãoAndré Filipe Ribeiro CostaJoão Miguel Lobo Fernandes (co-supervisão: Paulo Sérgio Lima Pereira Afonso)0000
PhoneNear: Geofencing AccuracyAndré Gomes RodriguesVitor Francisco Mendes Freitas Gomes Fonte0000
Definition and maintenance of behavioral profilesAndré José Ferro GeraldesPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Davide Rua Carneiro)0000
Detect the user location when GPS becomes offlineAndré Paradela SalgueiroPaulo Jorge Freitas de Oliveira Novais (co-supervisão: João Ricardo Ramos)0000
Application supported by the Cloud with an offline modeAndré Ribeiro Ferraz da Cunha SantosCarlos Miguel Ferraz Baquero Moreno0000
Use of RF-ID technology on terrestrial Intelligent Transportation SystemsAndré Rodrigues Cunha VianaBruno Alexandre Fernandes Dias0000
Hippocampal morphological evaluation to predict behavioral phenotypesAndré Rodrigues FreitasVictor Manuel Rodrigues Alves (co-supervisão: Tiago Gil Rodrigues Oliveira)0000
A Multi-Agent System Blockchain for a Smart CityAndré Sousa DiogoCésar Analise de Freitas e Silva da Costa Rodrigues (co-supervisão: Bruno Fernandes)0000
Mobile Application Sandbox SecurityAntónio Sérgio Alves CostaVitor Francisco Mendes Freitas Gomes Fonte0000
A visual functional programming environmentArmando Mário Teniz QueirósPedro Manuel Rangel Santos Henriques (co-supervisão: Nuno Feixa Rodrigues)0000
Dynamic Gamification EngineAxel da Silva FerreiraCésar Analise de Freitas e Silva da Costa Rodrigues (co-supervisão: Fábio André Souto da Silva)0000
Extraction of Knowledge on the preparation of students in the nuclear disciplines – Creation of Indicators for the 2nd cycleBelmiro de Castro PereiraCésar Analise de Freitas e Silva da Costa Rodrigues0000
Platform for Experimental Evaluation of Distributed SystemsBenjamim Oliveira SonntagJosé Orlando Roque Nascimento Pereira (co-supervisão: Miguel Ângelo Marques de Matos)0000
Semantic image segmentation to speed up rotoscopingBernardo Manuel Ribeiro Marques SoaresAntónio José Borba Ramires Fernandes (co-supervisão: Rokas Rakauskas)0000
Caravela Digital of ThingsBruno André Araújo HenriquesAntónio Luís Pinto Ferreira de Sousa0000
SNMP agent for vehiclesBruno Filipe da Silva FerreiraBruno Alexandre Fernandes Dias0000
Volumetric LightingBruno Freitas FerreiraAntónio José Borba Ramires Fernandes0000
Rewrite of the FastTree programBruno Freitas da SilvaJoão Luís Ferreira Sobral (co-supervisão: Diogo Telmo de Sá Lima Pinto Neves)0000
A Study of Model-Based Interfaces Testing ToolsBruno Jorge Barros de AzevedoJosé Francisco Creissac Freitas de Campos0000
Ray-tracing in 3D enginesBruno Miguel Figueiredo MartinsAntónio José Borba Ramires Fernandes0000
Alert & Mitigation Mechanisms for Collision Avoidance ITS ApplicationsBruno Miguel Gomes RodriguesBruno Alexandre Fernandes Dias (co-supervisão: joaquim Macedo)0000
Development of computational tools for the analysis of 2D-nuclear magnetic resonance dataBruno Miguel Marques PereiraMiguel Francisco de Almeida Pereira da Rocha (co-supervisão: Marcelo Maraschin)0000
Cybersecurity in IoT environmentsBruno Plácido Gomes PereiraHenrique Manuel Dinis dos Santos0000
Study on the Applicability of multi lane platooning for traffic dense vehicular highwaysCarlos AlvesBruno Alexandre Fernandes Dias0000
HelpDesk Task Routing OptimizationCarlos André Oliveira CastroPaulo Jorge Freitas de Oliveira Novais0000
Standardization of automatic secure identification and personal profile data access for web servicesCarlos Daniel Leitão da Silva VieiraBruno Alexandre Fernandes Dias0000
Botnet detection using network based-approachesCarlos José Lima GonçalvesJoão Marco Cardoso da Silva0000
Consistent Lighting in Augmented RealityCarlos Manuel Magalhães GonçalvesLuís Gonzaga Mendes Magalhães0000
Support system for safe pedestrian movement and management of urban road infrastructureCarlos Manuel Magalhães da SilvaBruno Alexandre Fernandes Dias0000
Engenharia de Software nos […]Carlos Manuel Oliveira GonçalvesJoão Miguel Lobo Fernandes0000
Dynamic Gamification EngineCarlos Manuel Saraiva LemosCésar Analise de Freitas e Silva da Costa Rodrigues (co-supervisão: Fábio Silva)0000
Virtual Plant Game for AndroidCarlos Rafael Cruz AntunesAntónio José Borba Ramires Fernandes0000
Exploitation and annotation of Torulaspora delbrueckii genomes: comparison with biotechnological dataCarolina Santiago Garrido dias da TorreRicardo Franco-Duarte (co-supervisão: Pedro Soares, Investigador Auxiliar, Departamento Biologia, Universidade do Minho)0000
Data Science in FootballCaroline RodriguesCésar Analise de Freitas e Silva da Costa Rodrigues (co-supervisão: Bruno Filipe Martins Fernandes)0000
Machine Learning On Apache SparkCatarina Cardoso CarneiroAntónio Joaquim André Esteves0000
Deep learning approaches for the identification of transporter proteins from their aminoacid sequencesCatarina Cunha de SousaMiguel Francisco de Almeida Pereira da Rocha (co-supervisão: Óscar Manuel Lima Dias)0000
Distributed Black-Box Data TracingCatarina Rocha CardosoJosé Orlando Roque Nascimento Pereira (co-supervisão: João Paulo, Francisco Neves)0000
Storage System for Deep Learning FrameworksClaudia Sofia Mendonça Sá CorreiaJoão Tiago Medeiros Paulo0000
Implementation of new tools and approaches for the reconstruction of genome-scale metabolic modelsCláudia Isabela Sampaio GanâncioÓscar Manuel Lima Dias0000
Resilience Analysis of Communication NetworksCláudio Manuel Rigueiro PiresPedro Nuno Miranda de Sousa0000
Broad-scale DNA barcode-based meta-species analyses of patterns of molecular variation in marine invertebratesCátia Sofia Fonseca GonçalvesPedro Vieira (co-supervisão: Filipe Costa)0000
Realistic Assesment of Failures in Storage SystemsCésar Augusto da Costa BorgesJosé Orlando Roque Nascimento Pereira (co-supervisão: João Tiago Medeiros Paulo)0000
Nondeterministic Finite Automata for Multidisciplinary LearningDaniel Alberto Pinto CarvalhoJosé João Antunes Guimarães Dias de Almeida0000
Microservices mobility in datacenters supported by Software Defined NetworkingDaniel Jorge da Costa Lima de Paiva ValentePedro Nuno Miranda de Sousa0000
Monitorização e identificação de comportamentos e estados na condução – Recolha de dados com recurso a sensores não intrusivosDaniel Pereira AndradeCésar Analise de Freitas e Silva da Costa Rodrigues (co-supervisão: Fábio Silva)0000
A Flexible System for Automatic Grading of Programming ExercisesDaniela Filipa Mota Morais da FontePedro Manuel Rangel Santos Henriques (co-supervisão: Alda Lopes Gançarski)0000
Inclusão genérica de motores de físicaDavid Adrien da Silva LealAntónio José Borba Ramires Fernandes0000
Intelligent System to Management and Moderation of Crowdsourcing-Powered Risk ListsDavid António Cardoso MoreiraPaulo Jorge Freitas de Oliveira Novais0000
Analyse the difficulty of implementation of a web app with different web frameworksDavide Alberto Pinto SilvaAntónio Manuel Nestor Ribeiro0000
Use of artificial intelligence methods to reveal predictors in patients with obsessive-compulsive disorderDiana Fernandes FerreiraVictor Manuel Rodrigues Alves (co-supervisão: Ricardo José da Silva Magalhães)0000
Application of ontologies using a natural language processing toolDiego Porto da SilvaJosé João Antunes Guimarães Dias de Almeida0000
Redes Definidas por SoftwareDilson Admir Mesquita SemedoAlexandre Júlio Teixeira dos Santos (co-supervisão: Alexandre Santos, Joaquim Macedo)0000
Data augmentation for improving robustness of image based deep learning algorithmsDiogo Afonso Silva CostaAndré Leite Ferreira (co-supervisão: João Miguel Lobo Fernandes)0000
Design and development of a web application to identify drug interactions in medical prescriptionsDiogo Figueiredo PimentaJosé Manuel Ferreira Machado0000
Preloading Caches in OLAP SystemsDiogo Filipe Araújo AlvesOrlando Manuel de Oliveira Belo0000
Automatic suggestion of meal plans for nutrition professionalsDiogo Filipe Guimarães Rosas MartinsPaulo Jorge Freitas de Oliveira Novais0000
Development of a parking spaces monitoring system using image data.Diogo Filipe Rocha RodriguesAndré Leite Ferreira (co-supervisão: Antório Ramires)0000
Federated Cloud StorageDiogo Filipe VieiraJosé Orlando Roque Nascimento Pereira (co-supervisão: Nuno Fernandes)0000
Generation of Health Indexes in Real-TimeDiogo Francisco Araújo Leite da CostaOrlando Manuel de Oliveira Belo0000
Evaluation and Comparison Simulators for IoT and Smart CitiesDiogo João Vilaça OliveiraPaulo Manuel Martins de Carvalho (co-supervisão: Maria Solange Pires Ferreira Rito Lima)0000
Intelligent Search in Electronic Health RecordsDiogo Manuel Macedo e SilvaPaulo Jorge Freitas de Oliveira Novais0000
Scalable and Sustainable BlockchainsDiogo Mendes GomesAli Shoker0000
Virtual Reality Animation StudioDiogo Ramos ConstâncioAntónio José Borba Ramires Fernandes0000
Computational methods for the identification of genetic variants in complex diseasesDébora Alves AntunesMiguel Francisco de Almeida Pereira da Rocha (co-supervisão: Joel Perdiz Arrais)0000
Defining a Keyboard for Musical AccompanimentsEduardo Gil Ribeiro da RochaJosé João Antunes Guimarães Dias de Almeida0000
Effectful component-based programming: the case of timeEduardo Jorge Lima Pinto BarbosaJosé Nuno Fonseca de Oliveira (co-supervisão: Renato Neves)0000
Análise de Qualidade em Aplicações InteractivasEduardo Jorge Teixeira Leite PereiraJosé Francisco Creissac Freitas de Campos (co-supervisão: João Alexandre Baptista Vieira Saraiva)0000
Geração de Planos de Indexação para Data WarehousesEduardo Luís Cardoso FonsecaOrlando Manuel de Oliveira Belo0000
Modelling interspecies interactions of syntrophic communities of anaerobic sulfate reducing bacterium Desulfovibrio vulgaris and hydrogenotrophic methanogen archaea Methanococcus maripaludisEmanuel Lima OliveiraÓscar Manuel Lima Dias (co-supervisão: Eugénio Manuel de Faria Campos Ferreira)0000
Reasoning and Uncertainty in clinical decision suppport systemsErnesto António Melo BarbosaPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Tiago José Oliveira)0000
Storage compounds from hydrocarbonoclastic bacteria: comparative analysis of metabolic pathways using Bioinformatics approaches.Fabiane Niemeyer Esposel de MelloÓscar Manuel Lima Dias (co-supervisão: Isabel Cristina de Almeida Pereira da Rocha)0000
Large analysis service for non-technical usersFernanda Raquel Cerdeira AlvesCésar Analise de Freitas e Silva da Costa Rodrigues0000
Exactly-Once Quantity TransferFernando Luís Ribeiro da SilvaCarlos Miguel Ferraz Baquero Moreno0000
Cache Coherence Protocol for an Unified Memory System on Heterogeneous SystemsFernando Miguel Carvalho de Freitas MartinsLuís Paulo Peixoto dos Santos (co-supervisão: João Carlos Garcia da Cunha Barbosa)0000
Monitoring the performance of students on e-Learning environmentFilipa Manuela Pires de DeusPaulo Jorge Freitas de Oliveira Novais0000
Efficient computation to refine atomic models for TEM image simulation and matchingFilipe Costa OliveiraAlberto José Gonçalves Carvalho Proença (co-supervisão: Daniel G. Stroppa (FEI, Holland))0000
Parallelization of the Alternating Direction Implicit (ADI) method exploring the vector computing facilities in GPUsFilipe Pereira Da SilvaAlberto José Gonçalves Carvalho Proença (co-supervisão: Diogo Alberto Rocha Lopes)0000
Distributed System Management in Academic and Educational Mobility Support for Angolan SchoolsFlávio Cícero de Macedo ChiualeAntónio Luís Duarte Costa (co-supervisão: António Joaquim André Esteves)0000
Automatic Segmentation of the Olfactory BulbFrancisca Correia Santos de AssunçãoVictor Manuel Rodrigues Alves0000
Design Patterns for BusinessFrancisco Alexandre Trindade RibeiroJoão Miguel Lobo Fernandes (co-supervisão: Sérgio Sereno)0000
Graph Oriented Data WarehousesFrancisco André Oliveira Reina DouradoOrlando Manuel de Oliveira Belo0000
MVC components generations based on entitiesFrancisco Roriz Ferreira MendesAntónio Manuel Nestor Ribeiro0000
Development of processes and tools for Component-Based Software EngineeringFábio Alexandre Fagundes LimaAntónio Manuel Nestor Ribeiro0000
Real-time many-lights renderingFábio Manuel Teixeira VazAntónio José Borba Ramires Fernandes0000
Generation of Geometry for TreesFábio Quintas GonçalvesAntónio José Borba Ramires Fernandes0000
Distributed Consensus Protocols OptimizationFábio Rafael Correia Guerra FontesJosé Orlando Roque Nascimento Pereira (co-supervisão: Ana Luísa Parreira Nunes Alonso)0000
From Data to KnowledgeFábio Rafael Pereira AraújoPaulo Jorge Freitas de Oliveira Novais0000
Development of computational tools for the exploration of mass spectrometry dataGisela Alves da CostaMiguel Francisco de Almeida Pereira da Rocha0000
Use of Micro-interactions in Business ApplicationsGonçalo Gomes MarquesRui Miguel Silva Couto (co-supervisão: José Francisco Creissac Freitas de Campos)0000
A software framework for metabolic pathway enumeration and optimizationGonçalo Gonçalves MenesesMiguel Francisco de Almeida Pereira da Rocha0000
Application of Formal Analysis Techniques to Robotic SoftwareGonçalo Nuno Esteves DuarteNuno Filipe Moreira Macedo (co-supervisão: Manuel Alcino Pereira da Cunha)0000
Emotion RecognitionGuilherme Marques e AndradePaulo Jorge Freitas de Oliveira Novais (co-supervisão: Manuel Rodrigues)0000
Docker vs VMs – Comparison and Evaluation based on the VMSaaS ExampleGuilherme Vasconcelos da Silva GuerreiroAntónio Joaquim André Esteves (co-supervisão: João Pedro Mano Brito)0000
A City’s Map from People’s Feelings – A Recommender SystemGustavo da Costa GomesCésar Analise de Freitas e Silva da Costa Rodrigues (co-supervisão: Bruno Fernandes)0000
A Dataset Collector from Public APIsHelder Daniel Domingues GonçalvesCésar Analise de Freitas e Silva da Costa Rodrigues (co-supervisão: Bruno Fernandes)0000
Diários Clínicos Suportados por Sistemas S-­‐OLAPHugo César da Silva VieiraOrlando Manuel de Oliveira Belo (co-supervisão: Victor Manuel Rodrigues Alves)0000
Support application for sales decision and stock optimization of auto parts advertisersHugo Miguel Esteves RodriguesAntónio Carlos da Silva Abelha0000
Primeactor Behavior EditorHugo Miguel Fernandes Figueiredo DominguesJosé Francisco Creissac Freitas de Campos0000
Extending smartphones’ battery lifeHugo Miguel MatalongaJácome Miguel Costa Cunha (co-supervisão: João Paulo Fernandes)0000
A probabilistic extension to CAO languageHélder Filipe Carvalho PereiraManuel Bernardo Martins Barbosa0000
Hybrid navigation system based on GPS and Inertial navigationHélder Filipe Pires da SilvaPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Ricardo Manuel Soares Anacleto)0000
Software Vulnerabilities Detection with Deep LearningHélder João Moreira de SousaPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Daniela da Cruz)0000
Detection of emotions in human-computer interactionHélder Márcio Loureiro da RochaPaulo Jorge Freitas de Oliveira Novais0000
Zero-Shot Learning for Medical Imaging ClassificationInês Rodrigues Nepomuceno AlvesVictor Manuel Rodrigues Alves0000
Comparison of DNA Sequencing Technologies using Sensory Systems Genes in Bird genomesInês de Castro FernandesAgostinho Antunes (co-supervisão: Miguel Francisco de Almeida Pereira da Rocha)0000
Towards polymorphically typed linear algebra in RIsac Pereira Oliveira MeiraJosé Nuno Fonseca de Oliveira0000
Development of a Deep Learning Neural Network for Protein Annotation, Discovery, and EngineeringIvan Alexandre Pereira GomesMiguel Francisco de Almeida Pereira da Rocha0000
Techniques to cluster VPLs visibilityJaime Frederico Bastos de CamposLuís Paulo Peixoto dos Santos0000
Genome-­scale metabolic model reconstruction of a symbiotic microbial community at an extreme environmentJoana Raquel da Rocha SantosÓscar Manuel Lima Dias0000
Internet Traffic Classification using Sampling TechniquesJoaquim Fernando da Rocha Ferreira da CostaMaria Solange Pires Ferreira Rito Lima0000
Analysis and development of Cloud Computing simulation toolsJoaquim Machado Gonçalves SampaioPedro Nuno Miranda de Sousa (co-supervisão: Paulo Martins Carvalho)0000
Caracterização de processos de recolha colaborativa de dadosJoel Amorim PinhoAdriano Jorge Cardoso Moreira (co-supervisão: Helena Cristina Rodrigues)0000
KYC (Know Your Customer) A machine learning approach to social dataJoel Filipe Pimenta CarvalhoCésar Analise de Freitas e Silva da Costa Rodrigues (co-supervisão: Fábio Silva)0000
Unified Particle Physics for Real-Time ApplicationsJorge Alberto Fernandes PaivaAntónio José Borba Ramires Fernandes0000
Comparing rates of evolution between different bacterial speciesJorge Manuel Brás ReisTeresa Sofia Teixeira Rito (co-supervisão: Pedro Soares (CBMA))0000
Model Driven Data WarehousesJorge Miguel Oliveira PinheiroOrlando Manuel de Oliveira Belo0000
Traffic isolation in SDNsJorge Miguel Queirós de Sousa MagalhãesJoaquim Melo Henriques Macedo (co-supervisão: Alexandre Júlio Teixeira dos Santos)0000
Scalable and Elastic Web architecture for CloudJorge Miguel da Silva FerreiraAntónio Luís Pinto Ferreira de Sousa0000
User Assistant Interfaces in Web Applications in the CloudJorge Pedro Ribeiro Nunes SimãoJosé Francisco Creissac Freitas de Campos (co-supervisão: Rui Miguel Couto)0000
Control of elasticity for relational databases in Cloud Computing environmentsJosé Alberto Ferreira CardosoMiguel Ângelo Marques de Matos (co-supervisão: Francisco António Ferraz Martins de Almeida Maia)0000
Anonymized Network Scale-Up SurveysJosé Alberto Martins BoticasCarlos Miguel Ferraz Baquero Moreno0000
Inteligent Process Allocation on NUMA ArchitecturesJosé António Dantas SilvaJosé Orlando Roque Nascimento Pereira (co-supervisão: Fábio André Castanheira Luís Coelho)0000
Program Development by Stepwise Correctness EnhancementJosé Augusto Ferreira AlvesJosé Nuno Fonseca de Oliveira0000
Dynamic Argumentative SystemJosé Bernardo Ferreira Teixeira da SilvaPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Ângelo Gonçalo Araújo Silva Costa)0000
Development of a recommendation system based in ontology to support network monitoringJosé Carlos Araújo LimaPaulo Manuel Martins de Carvalho (co-supervisão: Maria Solange Pires Ferreira Rito Lima)0000
File dependency inference for security analysis parallelizationJosé Carlos Pedrosa Lima de FariaPedro Manuel Rangel Santos Henriques (co-supervisão: Daniela Carneiro da Cruz)0000
Mobile Driving LicenseJosé Carlos do Vale e SousaJosé Carlos Bacelar Ferreira Junqueira Almeida0000
Discovering Pertinent Business Information in Data WarehousesJosé Diogo Paiva BastosOrlando Manuel de Oliveira Belo0000
Package Tracking Web Application, on a production pipelineJosé Diogo do Lago VianaAntónio Luís Pinto Ferreira de Sousa0000
Autonomous reorganization of real-time ETL systemsJosé Gabriel Sá SantosOrlando Manuel de Oliveira Belo0000
Big Data Preprocessing: Methods to Create a Machine Learning EngineJosé Luís Nunes SilvaPaulo Jorge Freitas de Oliveira Novais0000
Mood Induction on Users of Intelligent EnvironmentsJosé Manuel da Silva Ramos Gomes MarquesPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Davide Rua Carneiro)0000
Integrated View of Execution ProfilesJosé Marcos Ribeiro CarvalhoAntónio Manuel da Silva Pina (co-supervisão: Nuno Filipe da Silva Fernandes de Castro)0000
System security against USB attacksJosé Miguel Gonçalves OliveiraHenrique Manuel Dinis dos Santos (co-supervisão: Pedro Filipe Cruz Pinto)0000
Creating a Software Development Environment for Pervasive Display Network ApplicationsJosé Miguel da Costa AndradeRui João Peixoto José (co-supervisão: António Manuel Nestor Ribeiro)0000
Automated management and validation of clinical protocols based on OWL ontologiesJosé Paulo Queiroga Amorim FernandesPaulo Jorge Freitas de Oliveira Novais0000
Implementation of a Continuous Integration/Delivery System for a fintech startup.José Pedro Cortez GonçalvesAntónio Luís Pinto Ferreira de Sousa (co-supervisão: Eduardo Daniel Ferreira Leal Pereira)0000
Data Analysis and Visualization in Educational SystemsJosé Pedro Ferreira de OliveiraOrlando Manuel de Oliveira Belo0000
Upgrading the HEP-Frame Scheduling Dependency Graph to Support Conditional Task GraphsJosé Pedro Moreira ResendeAndré Martins Pereira0000
Congestion control on Multipath TCPJosé Pedro Pereira da SilvaAntónio Luís Duarte Costa (co-supervisão: Maria João Nicolau)0000
Middleware for distributed machine learningJosé Pedro dos Santos FerreiraJosé Orlando Roque Nascimento Pereira0000
ROC curve analysis: what tools to use?José Pedro dos Santos QuintasAna Cristina da Silva Braga0000
Multi-operator and multi-interface balancer on mobile gatewaysJosé Tomás Mascarenhas AzevedoPaulo Manuel Martins de Carvalho (co-supervisão: Bruno Alexandre Taraio dos Santos Antunes)0000
SNMP Agent for On-Board-Units in Vehicular SystemsJoão Bernardo Coutinho Barreiros deBruno Alexandre Fernandes Dias0000
An environment for exploring and manipulating behavioral dataJoão Bernardo Machado Quintas Dias da CostaPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Davide Rua Carneiro)0000
Encaminhamento Resiliente de Tráfego usando SDNsJoão Carlos Castro Catarino RuaAntónio Luís Pinto Ferreira de Sousa (co-supervisão: Pedro Nuno Miranda de Sousa)0000
Scalability of a large-scale databaseJoão Eduardo Fernandes da CostaMiguel Ângelo Marques de Matos (co-supervisão: Rui Carlos Mendes Oliveira)0000
Distributed monitoring of large data setsJoão Luís Alves Barreiros MartinsCarlos Miguel Ferraz Baquero Moreno0000
CLAV: Optimization and platform availability in clusterJoão Luís Martins Areal VieiraJosé Carlos Leite Ramalho0000
Development of bioinformatics tools towards the improvement of gap filling in metabolic modelsJoão Manuel Capela Araújo RibeiroÓscar Manuel Lima Dias (co-supervisão: Filipe Alexandre Wang Liu)0000
Talent and Growth in a Multiagent Deep Learning EnvironmentJoão Miguel Oliveira CarvalhoCésar Analise de Freitas e Silva da Costa Rodrigues0000
Android Aplications that use TensorFlow LiteJoão Miguel da Silva CarvalhoAntónio Joaquim André Esteves (co-supervisão: António Luís Duarte Costa)0000
Microscopic model for traffic flow simulationJoão Paulo Mourão CaboAntónio José Borba Ramires Fernandes0000
Motor rehabilitation assisted by the Kinect sensorJoão Paulo Pigarro Mesquita SprangerAntónio José Borba Ramires Fernandes (co-supervisão: Pedro Miguel Moreira)0000
Qualified Validation Service for Digital SignaturesJoão Paulo Ribeiro AlvesJosé Carlos Bacelar Ferreira Junqueira Almeida0000
Inteligent system of child’s evaluation and intervention in reading difficultiesJoão Pedro Domingues EstevesJoão Miguel Lobo Fernandes (co-supervisão: Maria Iolanda Ribeiro, Escola de Psicologia, UMinho)0000
Conceptual Modelling of NoSQL Data WarehousesJoão Pedro Ferreira GomesOrlando Manuel de Oliveira Belo0000
Example-based terrain generation using Deep LearningJoão Pedro Lima Cardoso LealAntónio José Borba Ramires Fernandes0000
Impact of the security layer on software system power consumptionJoão Pedro Meneses de SousaJoão Alexandre Baptista Vieira Saraiva (co-supervisão: José Carlos Bacelar Ferreira Junqueira Almeida)0000
User profiling in Virtual Environments using context informationJoão Pedro Miranda Lucas da SilvaPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Davide Rua Carneiro)0000
Synthetic Data Generator from Knowledge Graphs and Empirical DataJoão Pedro Pereira AlvesAlberto José Gonçalves Carvalho Proença (co-supervisão: Diogo Neves)0000
PROPHIT – Prophages finding ToolJoão Pedro Porto DiasÓscar Manuel Lima Dias (co-supervisão: Luís Daniel Rodrigues de Melo)0000
Sistema Integrado de Monitorização do TabagismoJoão Pedro da Costa FerreiraPaulo Jorge Freitas de Oliveira Novais0000
Recommendation of ETL Patterns for Data Warehouses Loading ProccessJoão Pedro de Carvalho ParedesOrlando Manuel de Oliveira Belo0000
Neo4j in the shared-storage modelJoão Ribeiro ImperadeiroJosé Orlando Roque Nascimento Pereira0000
Cloud RenderingJoão Ricardo Campos PereiraAntónio José Borba Ramires Fernandes0000
Documentação e implementação da lógica híbrida em HETS e metodologias de hibridizaçãoJoão Silva de MeloJosé Bernardo Santos Monteiro Vieira Barros0000
Tree Editor using a Space Colonization AlgorithmJoão Tiago Cruz CunhaAntónio José Borba Ramires Fernandes0000
Detect objects with machine learning techniques and augmented reality in smartphoneLaercio Sartori Andrade JuniorPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Dalila Alves Durães)0000
Ray Tracing in NAU with DXRLeandro Augusto Oliveira SalgadoAntónio José Borba Ramires Fernandes0000
Machine Provisioning for Real Time Fraud DetectionLeandro José Lopes FernandesAntónio Luís Duarte Costa0000
Plataforma de Ensino de Segurança da InformaçãoLiliana Sofia Orvalho MonteiroJoão Marco Cardoso da Silva0000
BDI agents in a REST communication systemLucas Torres Monteiro de OliveiraPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Ângelo Gonçalo Costa)0000
Web based hospital activity managerLuciano Constantino Bessa AlvesJosé Manuel Ferreira Machado0000
Tree GenerationLuciano Correia da SilvaAntónio José Borba Ramires Fernandes0000
Mind Experiences and Models Experimenter [MEME] FrameworkLuís Alexander Fernandes dos AnjosCésar Analise de Freitas e Silva da Costa Rodrigues0000
Achieving an Efficient Network Monitoring Overlay through P2P techniquesLuís André Coelho PachecoMaria Solange Pires Ferreira Rito Lima (co-supervisão: Paulo Manuel Martins de Carvalho)0000
Optimization of code analysis used in the research of new heavy quarks in the LHC’s ATLAS experienceLuís Carlos CaseiroAntónio Manuel da Silva Pina (co-supervisão: Nuno Filipe Castro (DFIS))0000
SMART Car KeyLuís Carlos Serra Roque OliveiraManuel Bernardo Martins Barbosa0000
Explore ARM TrustZone technology in security on Robot Operating System (ROS)Luís José Rodrigues da Silva MacedoJosé Carlos Bacelar Ferreira Junqueira Almeida0000
Evaluation of a Physically Based CGH Algorithm on a Heterogeneous SystemLuís Manuel Ramos GomesLuís Paulo Peixoto dos Santos (co-supervisão: Alberto José Gonçalves Carvalho Proença)0000
SELF-Storify (R)– Support System Construction of Autobiographical NarrativesLuís Miguel Barbosa BarreiroPedro Manuel Rangel Santos Henriques (co-supervisão: Margarida Rangel Henriques)0000
Drug InteractionLuís Miguel Bravo FerrazCésar Analise de Freitas e Silva da Costa Rodrigues (co-supervisão: Fábio Silva)0000
Management and Automation of tests in Xray for JIRA add-onLuís Miguel Fernandes VieiraJosé Francisco Creissac Freitas de Campos0000
3D Virtual Scenarios BuilderLuís Miguel Rodrigues Cracel VianaJosé Francisco Creissac Freitas de Campos (co-supervisão: Paolo Masci)0000
The web Browser as a node in Volunteer Computing systemsLuís Miguel Veira da Silva BragaVitor Francisco Mendes Freitas Gomes Fonte0000
Sensory Recognition of Actions and BehaviorsLuís Miguel da Cunha LimaJosé Manuel Ferreira Machado0000
Development of a web application in the telecommunications areaLuís Pedro Pereira AbreuJosé Francisco Creissac Freitas de Campos0000
Configurable XML EditorLuís Pedro Pereira FonsecaAntónio José Borba Ramires Fernandes0000
Model Based Testing: Non Functional TestingMadalena Freitas CastroJosé Francisco Creissac Freitas de Campos0000
Object detection and tracking for driving assistanceManuel António Dias MonteiroAntónio José Borba Ramires Fernandes0000
Autonomous and configurable distributed storage systemManuel Castro de FreitasJosé Orlando Roque Nascimento Pereira (co-supervisão: João Tiago Medeiros Paulo)0000
New forecast techniques in retail time seriesManuel Maciel Roriz OliveiraVictor Manuel Rodrigues Alves0000
Study and Deployment of Kubernetes SolutionsManuel Maria Furtado Cunha Miranda MorenoJoão Luís Ferreira Sobral (co-supervisão: Bruno Costa)0000
Intelligent Agents in the Security Anomaly Detection in Network ISTMManuel Pambasange JorgePaulo Jorge Freitas de Oliveira Novais0000
Certificate Revocation List Distribution in VANETsManuel Pedro Leite Guimarães de OliveiraAlexandre Júlio Teixeira dos Santos0000
Non-standard Human-Computer Interfaces for DomoticsManuel Tiago Barroso PereiraJosé Francisco Creissac Freitas de Campos (co-supervisão: Rui Miguel Silva Couto)0000
Aplicação de algoritmos de Text Mining para a identificação de potenciais dadores de órgãosManuela Vale da CruzJosé Manuel Ferreira Machado0000
Development of a collaborative P2P system with ISPsMarcelo Paulo Nunes da RochaPedro Nuno Miranda de Sousa (co-supervisão: Marcelo Paulo Nunes da Rocha)0000
Avatar Creation for an Intelligent Teaching SystemMarco Aurélio Salsa BarbosaOrlando Manuel de Oliveira Belo0000
Behavioural and Context Analysis in an Online Dispute Resolution EnvrionmentMarco Filipe Vieira GomesPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Davide Rua Carneiro)0000
3D Footwear models Visualization using Augmented Reality TechniquesMarcos Filipe Morais AndradeLuís Gonzaga Mendes Magalhães (co-supervisão: Miguel Angel Guevara Lopez)0000
Identification and evaluation of clinically relevant factors for unobtrusive sleep stage measurementsMargarida Santos SilvaPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Pedro Fonseca)0000
Black-box monitoring for distributed systems in hybrid Cloud/Edge environmentsMaria Carlos Martins da Nova DiasRicardo Manuel Pereira Vilaça (co-supervisão: José Orlando Roque Nascimento Pereira)0000
Formal support for quantitative analysis of safety critical system reliabilityMaria João Carvalho MagalhãesJosé Nuno Fonseca de Oliveira0000
Opinion Mining Supported by Text Mining TechniquesMaria de Fátima da Silva MirandaOrlando Manuel de Oliveira Belo0000
Análise de fluxo de tráfego no contexto dos transportes públicosMarta Susana Lopes MartinhoCésar Analise de Freitas e Silva da Costa Rodrigues (co-supervisão: André Leite Ferreira)0000
Performance analysis of secure DNS solutionsMateus da Silva FerreiraVitor Francisco Mendes Freitas Gomes Fonte (co-supervisão: João Marco Cardoso Silva)0000
Big DataMessias do Nascimento da Costa FerreiraJosé Manuel Ferreira Machado0000
Extraction of micro-services from monolithic web applicationsMiguel António ferrão BritoJácome Miguel Costa Cunha (co-supervisão: João Alexandre Baptista Vieira Saraiva)0000
Construction of test script specification toolMiguel José Dias PereiraAntónio Manuel Nestor Ribeiro0000
Development of Docker virtualization environments for microservicesMiguel Martins CostaJosé Manuel Ferreira Machado0000
Interoperability between systems on the WebMiguel Pinto da CostaJosé Carlos Leite Ramalho0000
CLAV: Process Management and WorkflowsMiguel Raposo DiasJosé Carlos Leite Ramalho0000
Segmentation of Medical Images with Deep Neuronal NetworksMohammad Reza TabriziAntónio Joaquim André Esteves0000
Optical objective inspection of augmented reality head-up displays (AR-HUD) for the automotive industry – quantifying projection distance, astigmatism, field curvature, and geometric distortions of anMoisés Alexandre Silva DuarteEduardo Jorge Nunes Pereira (co-supervisão: Boris Jean Bret)0000
Automação na Gestão do Serviço de Resolução de Nomes IP através do protocolo SNMPMárcio Nuno Malheiro de Sousa DominguesBruno Alexandre Fernandes Dias0000
Occurrences management in a Smart City contextMário Jorge Viana FerreiraPaulo Jorge Freitas de Oliveira Novais (co-supervisão: João Ricardo Martins Ramos)0000
Development of a web-based bioinformatic tool for the identification of the closest proteomes and whole genome comparative analysisMário Sérgio Gomes VarelaÓscar Manuel Lima Dias (co-supervisão: Sílvio Roberto Branco Santos)0000
Automatic Test Data Generation for Space MissionsMário Ulisses Pires Araújo CostaPedro Manuel Rangel Santos Henriques (co-supervisão: Daniela Carneiro da Cruz)0000
Development of a computacional tool for processing and analysing genomic data from cancer patientsMélanie Mendes FerreiraMiguel Francisco de Almeida Pereira da Rocha0000
Technology assessment for communications service configuration and network applicationsNadir Hernani Silva AlmeidaBruno Alexandre Fernandes Dias0000
Toward Efficient Machine Learning AlgorithmsNelson Emanuel Pereira TorresAlberto José Gonçalves Carvalho Proença (co-supervisão: André Pereira)0000
Where am I? Physical or virtual?Nelson Fernando Marques BrandãoAntónio José Borba Ramires Fernandes (co-supervisão: Nelson Alves)0000
Indoor Identification and locationNelson José Costa LuísPaulo Jorge Freitas de Oliveira Novais0000
Database and Information systems to link Micoteca da Universidade do Minho (MUM) to international platformsNidia Alexandra Marques ferreiraNelson Lima (co-supervisão: Rui Manuel Ribeiro Castro Mendes)0000
Cloth and Wind Simulation on GPUNorberto João SobralAntónio José Borba Ramires Fernandes0000
Automatic Generation of a Portuguese Ground Cover MapNuno Afonso Goncalves Solha Moreira ValenteAntónio Joaquim André Esteves0000
Remote management of electrical digital substations servicesNuno Alberto Pires FernandesJoão Marco Cardoso da Silva (co-supervisão: Vítor Francisco Mendes Freitas Gomes Fonte)0000
Realistic and interactive visualization of complex materialsNuno Alexandre Campos Pereira da SilvaLuís Paulo Peixoto dos Santos (co-supervisão: Donald Fussell)0000
Demonstration of the Mobile Applications Paradigm in an augmented reality solutionNuno André da Silva OliveiraJoão Miguel Lobo Fernandes0000
Synthesis of CRDT’sNuno José Ribeiro da SilvaCarlos Miguel Ferraz Baquero Moreno0000
Car detection and recognitionNuno José Vilela da CunhaAntónio José Borba Ramires Fernandes (co-supervisão: Manuel João Ferreira)0000
Development of a tool based on deep learning able to classify biomedical literatureNuno Miguel Caetano AlvesMiguel Francisco de Almeida Pereira da Rocha0000
Development of an Electrical Vehicles RepositoryNuno Miguel Carvalho GomesJosé Francisco Creissac Freitas de Campos (co-supervisão: Francisco Carrusca Pimenta de Brito)0000
Safe Data Transport and Storage in the context of Cloud ServicesNuno Miguel Fernandes MonteiroJosé Carlos Bacelar Ferreira Junqueira Almeida0000
Mobile Application for the management of nutritional services of a hospitalNuno Miguel Nóbrega ReiJosé Manuel Ferreira Machado0000
Security analysis of the cumulonimbo platformNuno Miguel da Costa LaranjoManuel Bernardo Martins Barbosa (co-supervisão: Rui Carlos Mendes Oliveira)0000
Deep compression in neural networksNuno Miguel da Silva Leite MagalhãesPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Leonardo Nogueira Matos)0000
Development of a deep learning based-algorithm to predict pneumonia cases from chest X-ray imagesNuno Rafael Boto CarlosNuno Miguel Sampaio Osório0000
Teamwork SimulatorNuno Ricardo Carvalho de SousaJosé Francisco Creissac Freitas de Campos (co-supervisão: Paolo M Masci)0000
HyLakes: Fine granularity updates to data lakesNélson José Dias TeixeiraJosé Orlando Roque Nascimento Pereira (co-supervisão: Fábio André Coelho)0000
Identificação de pacientes com Delirium nas Unidades de Urgência Hospitatar através do desenvolvimento de uma aplicação com base em Machine LearningPatrícia Adolfo Rodrigues MachadoAna Cristina da Silva Braga (co-supervisão: José António Briote Mariz)0000
Teaching Linguistics through Attribute GrammarsPatrícia Amorim BarrosPedro Manuel Rangel Santos Henriques (co-supervisão: Maria João Varandas)0000
NoSQL Distributed TransactionsPatrícia Filipa Bouça BarreiraJosé Orlando Roque Nascimento Pereira (co-supervisão: Nuno Moreira Macedo)0000
Creation of Jupyter compatible rich object representations for pydnaPaulo Alexandre de Jesus SousaBjörn Johansson0000
Assessing the genetic contribution of archaic human species in the genome of modern humans outside Africa using an evolutionary approachPaulo César Sobral FerreiraPedro Alexandre Dias Soares (co-supervisão: Teresa Sofia Teixeira Rito)0000
Perfecting of a concept to improve user experiencePaulo Henrique Alves LacerdaJoão Miguel Lobo Fernandes0000
Research and Implementation of a Kubernetes Solution using RancherPaulo Jorge Bento RosaPedro Nuno Miranda de Sousa0000
Implementing a webserver for managing and detecting viral fusion proteinsPedro Daniel Martins MoreiraMiguel Francisco de Almeida Pereira da Rocha (co-supervisão: Diana Lousa)0000
Localization and Guidance System for Ambient Assisted LivingPedro Duarte Cardoso LopesPaulo Jorge Freitas de Oliveira Novais (co-supervisão: César Analise de Freitas e Silva da Costa Rodrigues)0000
Vehicular assistance system in urban traffic without a predefined destinationPedro João Novais da CunhaBruno Alexandre Fernandes Dias0000
Machine Learning in video-gamesPedro Manuel Ferreira BarrosAntónio José Borba Ramires Fernandes0000
Energy Consumption on a Process-levelPedro Manuel Pires de OliveiraVitor Francisco Mendes Freitas Gomes Fonte0000
Automatic Programming webappsPedro Miguel Correia LeiteAntónio Manuel Nestor Ribeiro0000
Aspect-oriented programming in SpreadSheetsPedro Miguel Costa MaiaJoão Alexandre Baptista Vieira Saraiva (co-supervisão: Jorge Cunha Mendes)0000
Lifting the Lid – Decrypting and Optimising Strategies for Mapping the Human BrainPedro Miguel FerreiraVictor Manuel Rodrigues Alves0000
A Platform for Mobile Access to IMT Online servicesPedro Miguel Moreira FerreiraVitor Francisco Mendes Freitas Gomes Fonte0000
Generation of Key Performance IndicatorsPedro Miguel Teixeira da Rede ValeAntónio Carlos da Silva Abelha (co-supervisão: Paulo Martins)0000
Gene regulatory network analysis of pathogenic features in E. coli O157:H7Pedro Nuno Moura MendesAnália Maria Garcia Lourenço (co-supervisão: Sónia Carneiro)0000
Ciber attack evaluation and analysis through frameworksPedro Nuno Oliveira Fernandes EirasHenrique Manuel Dinis dos Santos0000
Arquteturas e Protocolos para IoTPedro Paulo VicenteJoão Marco Cardoso da Silva (co-supervisão: Maria Solange Pires Ferreira Rito Lima)0000
Verification of safety properties of ROS systems with SPINPedro Teixeira GonçalvesManuel Alcino Pereira da Cunha0000
Visualization and Interaction Methods in Augmented Reality AssistantsPedro Vieira FortesLuís Gonzaga Mendes Magalhães (co-supervisão: Miguel Angel Guevara Lopez)0000
Standardised Solution for Data Access and Parameterization of Elements Connected to the CAN busPlínio Ricardo Terroso Vieira de Castro e CostaBruno Alexandre Fernandes Dias0000
Conversão de Modelos Relacionais em Modelos NoSQLRafael Eduardo de Carvalho PereiraOrlando Manuel de Oliveira Belo0000
Survey on Public Space IoT TechnologiesRafael Pinto FernandesPaulo Manuel Martins de Carvalho (co-supervisão: Maria Solange Pires Ferreira Rito Lima)0000
Automated Energyware Program RepairRaphael Pinto OliveiraJoão Alexandre Baptista Vieira Saraiva (co-supervisão: Rui Alexandre Afonso Pereira)0000
Immunity, sensory perception and reproduction mechanisms: Genomic assessment of genes involved in mammal and avian environmental adaptationRaquel Sofia Vasconcelos CardosoAgostinho Antunes (co-supervisão: Miguel Francisco de Almeida Pereira da Rocha)0000
Failover Scheme for HDFS DataNodesRenato Carreiro RebeloJosé Orlando Roque Nascimento Pereira (co-supervisão: João Tiago Medeiros Paulo)0000
Redes Tolerantes a Atrasos com Dados NomeadosRenato dos Santos IpirangaJoaquim Melo Henriques Macedo0000
Responsive Web application for an Antiques BusinessRicardo Araújo SilvaPedro Manuel Rangel Santos Henriques0000
Ransomware Detection MechanismRicardo Cunha DiasVitor Francisco Mendes Freitas Gomes Fonte (co-supervisão: João Marco Cardoso da Silva)0000
Ricardo Fernando Ferreira TeixeiraBruno Alexandre Fernandes Dias0000
Selfish behavior and energy savings in Delay Tolerant NetworksRicardo Filipe da Silva OliveiraJoaquim Melo Henriques Macedo (co-supervisão: António Duarte Costa)0000
Mechanisms for the Evaluation of Perceived Digital Audio QualityRicardo Furtado Da PonteBruno Alexandre Fernandes Dias0000
Continuous Integration in Automatic Grading SystemRicardo Ismael Oliveira Vilas BoasPedro Manuel Rangel Santos Henriques (co-supervisão: Nuno Ernesto Salgado Oliveira)0000
Edition of math and algebraic content for a web environmentRicardo Jorge Rodrigues BrancoJosé João Antunes Guimarães Dias de Almeida0000
Mobile Devices as key business boosters : The evolution of mobile devices into valuable commerce assetsRicardo Jorge Silva VieiraHelena Cristina Rodrigues0000
Balanceador multi-interface WAN 3G/4G multi-operador para cenários de mobilidadeRicardo Jorge da Cunha AlvesPaulo Manuel Martins de Carvalho0000
Caracterização de Tráfego Aplicacional em Dispositivos MóveisRicardo Jorge dos Santos CabralMaria Solange Pires Ferreira Rito Lima (co-supervisão: João Marco Cardoso da Silva)0000
Cibercrime : Análise de dados em modo assíncronoRicardo Miguel Cardoso MaiaPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Ricardo André Fernandes Costa (IPP))0000
Automation of Machine Learning Pipelines for Anomaly Detection ChallengesRicardo Rodrigues MartinsJoão Miguel Lobo Fernandes0000
Service Discovery and Multi-Service SynchronizationRicardo Torres Varzim FariaJosé Orlando Roque Nascimento Pereira0000
Cyberattack Detection using SDNRoberto Miguel Castro CachadaMaria Solange Pires Ferreira Rito Lima (co-supervisão: João Marco Cardoso da Silva)0000
Analysis and digitization of packaging development processesRuben Miguel Cunha SantosJoão Miguel Lobo Fernandes0000
Specification and implementation of a workflow on a platform for document classification and evaluationRui AraújoJosé Carlos Leite Ramalho0000
Bioinformatic Methods to Identify Mutations in Genes Related to Protein Synthesis in Human PathologiesRui Filipe Venâncio dos SantosGabriela Maria Ferreira Ribeiro de Moura (co-supervisão: Miguel Francisco de Almeida Pereira da Rocha)0000
Implementing Multiservice IP Networks in DOTRui Francisco Lírio Sousa AugustoPaulo Manuel Martins de Carvalho (co-supervisão: Maria Solange Pires Ferreira Rito Lima)0000
Automation of deployment processesRui Jorge Araújo FreitasAntónio Luís Pinto Ferreira de Sousa0000
Digital Decoupling in SAP ERP universeRui Manuel Abreu PereiraJoão Miguel Lobo Fernandes0000
Develop a semi-automated system to evaluate species discrimination ability of genetic markersRui Manuel da Costa PiresPedro Emanuel Ferreira dos Reis Vieira (co-supervisão: Filipe José Oliveira Costa)0000
Support System for Elderly People based on Machine LearningRui Miguel Carvalho da Silva FontesAntónio Joaquim André Esteves0000
Efficient Multi-Lingual Resource ToolkitRui Miguel Magalhães BritoJosé João Antunes Guimarães Dias de Almeida (co-supervisão: Alberto José Gonçalves Carvalho Proença)0000
Lifelogging in a professional contextRui Miguel de Moura MendesJosé Orlando Roque Nascimento Pereira (co-supervisão: João Tiago Medeiros Paulo)0000
Web application to help the writing of texts: Data storageSandra Isabel Lopes FerreiraSérgio Lopes (co-supervisão: Sílvia Araújo)0000
Rede Social Orientada aos Transportes PúblicosSandro Emanuel Carvalho MachadoRui João Peixoto José0000
Comparação de software para a análise através de curvas ROC (Receiver Operating Characteristic)Sara Alexandra Coelho CarvalhoAna Cristina da Silva Braga0000
Behavioral Analysis on Human–Computer Interaction for Mobile DevicesSerafim Miguel da Costa PintoPaulo Jorge Freitas de Oliveira Novais (co-supervisão: André Pimenta)0000
Platform for automatic detection of environmental crimes using satellite imagesSimão Paulo Leal BarbosaPaulo Jorge Freitas de Oliveira Novais (co-supervisão: Marco Filipe Vieira Gomes)0000
Implementation and Performance Analysis of P2P VoD (Peer-to-Peer Video-on-Demand) SystemsSimão Pedro do Carmo de Pinho DiasPedro Nuno Miranda de Sousa0000
Shopping Trends: perfecting a concept to improve the consumer experienceSofia Dores Mendes SilvaJosé Manuel Ferreira Machado0000
Classification of dementias based on brain morphological characteristicsSofia Manuela Gomes de CarvalhoVictor Manuel Rodrigues Alves (co-supervisão: Tiago Gil Rodrigues Oliveira)0000
Smart Cities – Modelação usando BPMNSusana Daniela Marques MendesPaulo Manuel Martins de Carvalho (co-supervisão: Maria Solange P. F. Rito Lima)0000
Scalable architecture and real-time to the CloudSérgio Manuel Pereira SimõesAntónio Luís Pinto Ferreira de Sousa0000
Informatic application for statistical analysis of large volumes of bibliographic dataSónia Cristina Araújo DiasJoão Miguel Lobo Fernandes (co-supervisão: António Duarte Costa)0000
Machine Learning in Browser with Tensorflow.jsThanira Galindro RatesAntónio Joaquim André Esteves (co-supervisão: António Luís Duarte Costa)0000
Backend code generation for serialization of data types into json/XML based on oracle data typesTiago Daniel Amorim AlvesAntónio Manuel Nestor Ribeiro0000
Voxel Based Global Illumination for Night ScenesTiago Emanuel Duarte Correia DinisAntónio José Borba Ramires Fernandes0000
Genome reannotation and genome-scale metabolic model reconstrucion of Helicobacter pylori 26695Tiago Filipe Coelho ResendeIsabel Cristina de Almeida Pereira da Rocha0000
Development of deep learning-based tools for the design of new compounds with desired biological activityTiago Filipe Escairo SousaMiguel Francisco de Almeida Pereira da Rocha (co-supervisão: Vitor Manuel Sá Pereira)0000
Inception and Implementation of Gateways for Web ApplicationsTiago Filipe Gonçalves Vilar PereiraOrlando Manuel de Oliveira Belo (co-supervisão: Orlando Manuel de Oliveira Belo)0000
Enabling a Business Process Oriented Back-OfficeTiago Filipe Oliveira SáPedro Manuel Rangel Santos Henriques0000
Criação de middleware extensível para desenvolvimento de sistemas de planeamento de produção em ambiente cloudTiago Filipe Santos AzevedoAntónio Manuel Nestor Ribeiro0000
Early-stage laryngeal cancer segmentation from endoscopic key images using deep-learning approachesTiago Jorge Martins AraújoCristina Manuela Peixoto dos Santos (co-supervisão: Sara Moccia)0000
Generic specification of data migrationsTiago João Ferreira da ConceiçãoJosé Carlos Leite Ramalho0000
A Library of Widgets for PVSio-web extensionTiago Lamas CarvalheiraJosé Francisco Creissac Freitas de Campos0000
Data Analytics and Natural Language Processing as Tools to Analyze Press TextTiago Manuel Monteiro Ferreira de OliveiraPedro Manuel Rangel Santos Henriques (co-supervisão: Alberto Manuel Brandão Simões)0000
Reference-free simulator of metagenomic dataTiago Manuel Pereira de OliveiraDiogo Rodrigo Marques Pratas (co-supervisão: Miguel Francisco de Almeida Pereira da Rocha)0000
Acetylation’s role in Tau structure,electrostatics and dynamicsTiago Manuel Rocha FerreiraTarsila Gabriel Castro (co-supervisão: Artur Cavaco-Paulo)0000
Visualization of Convolutional Neural NetworksTiago Manuel Sampaio BrancoAntónio José Borba Ramires Fernandes0000
High performance certified implementation of AES/GCMTiago Martins PinheiroJosé Carlos Bacelar Ferreira Junqueira Almeida0000
Interoperability TestingTiago Miguel Moreira GuimarãesManuel Alcino Pereira da Cunha (co-supervisão: Nuno Filipe Moreira Macedo)0000
Training of deep neural networks in a distributed wayTiago Nuno Fernandes DuarteAntónio Joaquim André Esteves (co-supervisão: António Manuel da Silva Pina)0000
Implementation and Testing of CBOR Object Signing and Encryption (COSE)Tiago Samuel Borba Roriz RamiresVitor Francisco Mendes Freitas Gomes Fonte0000
Implementation of an Ontologic Model to support the M51-CLAV PlatformTomás Moreira FerreiraJosé Carlos Leite Ramalho0000
Plataforma de apoio à gestão de encomendas e da produção na área da ourivesariaVasco André Mendes de OliveiraJoão Miguel Lobo Fernandes0000
Wind simulationVasco Filipe Nogueira FigueiredoAntónio José Borba Ramires Fernandes0000
Green communications – avaliação energética em raspberryVasco Miguel Leite da SilvaMaria Solange Pires Ferreira Rito Lima0000
MapReduce process optimizationVitor Bruno da Silva SousaAntónio Luís Pinto Ferreira de Sousa0000
Enhancing Machine Learning Methods for the Prediction of Cancer Cell Sensitivity to DrugsVitor Daniel Sousa Neto e CostaMiguel Francisco de Almeida Pereira da Rocha (co-supervisão: Julio Saez-Rodriguez)0000
Building a Hybrid Recommender Engine for eCommerceVitor Emanuel Carvalho PeixotoHugo Daniel Abreu Peixoto (co-supervisão: António Francisco Bessa Vilela Carvalho)0000
Creation of a Portuguese Intelligent Virtual Assistant for Banking using the LEXIA platformÂngela Manuela Amorim BarrosJosé João Antunes Guimarães Dias de Almeida0000
Multi-task Head Network for Bounding Box Regression and Object Class PredictionÂngela Sofia Morais GonçalvesPaulo Jorge Freitas de Oliveira Novais (co-supervisão: António José Linhares da Silva)0000
Pedro Miguel Dias PereiraManuel Alcino Pereira da Cunha