Os docentes do DIUM desenvolvem a sua actividade de investigação científica nas unidades de I&D do quadro abaixo.

O quadro que se lhe segue lista as dissertações de doutoramento orientadas ou co-orientadas por investigadores dos referidos centros.


Centros de I&D

Unidade de IDTipoAcrónimoParceriasDirectoresMais informação
AlgoritmiCentroAlgoritmiLASIJosé MachadoWebsite
High Assurance Software LaboratoryCentroHASLabINESC TECAlcino Cunha e José OliveiraWebsite |
Centro de Engenharia BiológicaCentroCEBNuno CercaWebsite |
Quantum and Linear-Optical ComputationGrupoQLOCINLErnesto GalvãoWebsite

 

Dissertações de doutoramento

TítuloAlunoSupervisãoData
Enhancing road safety for VRUs: automatic collision prediction using V2X dataBruno Daniel Mestre Viana RibeiroAlexandre Júlio Teixeira Santos (co-supervisão: Maria João Nicolau)2024
Towards a privacy-preserving distributed machine learning frameworkCláudia Vanessa Martins BritoJoão Tiago Medeiros Paulo (co-supervisão: Pedro Gabriel Dias Ferreira)2024
Ethics and new trends in artificial intelligence in intensive care unitsDiana FerreiraJosé Manuel Machado (co-supervisão: António Abelha)2024
Explaining software faults in source codeFrancisco José Torres RibeiroJoão Saraiva (co-supervisão: Rui Filipe Lima Maranhão de Abreu)2024
The impact of augmented reality for training computational thinkingLázaro Vinícius de Oliveira LimaPedro Manuel Rangel Santos Henriques (co-supervisão: Luís Gonzaga Mendes Magalhães)2024
Promoting science growth in developing countries: an open science model for MozambiqueMarangaze Joaquim Munhepe MulhangaMaria Solange Pires Ferreira Rito Lima (co-supervisão: João Nuno Urbano Ferreira)2024
Flexible tracing and analysis of applications’ I/O behaviorTânia Conceição Araújo EstevesJoão Tiago Medeiros Paulo (co-supervisão: Rui Carlos Mendes Oliveira)2024
Integration of different radio access technologies for vehicular connectivityVadym Serhiyovych HapanchakAntónio Luís Duarte Costa2024
Beyond distributed transactions through exactly-once exchangesZiad Ali KassamAli Shoker (co-supervisão: Paulo Sérgio Soares Almeida)2024
Modelo Preditivo de Qualidade 4.0 para defeitos de clienteAnabela Costa da SilvaPaulo Sampaio (co-supervisão: José Manuel Ferreira Machado)2023
Blueprint: documenting the complexity of metabolic regulation by reconstruction of integrated metabolic-regulatory modelsFernando João Pereira CruzÓscar Manuel Lima Dias (co-supervisão: Miguel Rocha; José Pedro Faria)2023
Dynamic end-to-end reliable causal delivery middleware for geo-replicated servicesGeorges YounesCarlos Miguel Ferraz Baquero Moreno (co-supervisão: Ali Shoker)2023
Argumentation dialogues in web-based GDSS: an approach using machine learning techniquesLuís Manuel da Silva ConceiçãoPaulo Jorge Freitas Oliveira Novais (co-supervisão: Maria Goreti Carvalho Marreiros)2023
Smart spaces: aware of users, preferences, behaviours and habits, in a non-invasive approachPedro Filipe Fernandes OliveiraPaulo Jorge Freitas Oliveira Novais (co-supervisão: Paulo Jorge Teixeira Matos)2023
Metabolomics-based approaches for food authentication and traceabilityRebeca Tatiana Souto SantosMiguel Francisco Almeida Pereira Rocha (co-supervisão: Marcelo Maraschin)2023
Big Data and real-time knowledge discovery in healthcare institutionsRegina SousaJosé Manuel Ferreira Machado (co-supervisão: António Carlos Silva Abelha)2023
User-level software-defined storage data planesRicardo Gonçalves MacedoJoão Tiago Medeiros Paulo (co-supervisão: José Orlando Roque Nascimento Pereira)2023
Systems-level modelling of the cancer and immune metabolome to improve immunotherapeutic outcomesSara Manso Sousa CardosoMiguel Francisco Almeida Pereira Rocha (co-supervisão: Noel de Miranda; Dina Ruano)2023
Bringing empirical big data to evidence based qualitative knowledge in HealthcareVasco António Pinheiro Costa AbelhaJosé Manuel Ferreira Machado2023
Foundations for quantum algorithms and complexityCarlos Eduardo Teixeira TavaresLuís Soares Barbosa2022
Knowledge engineering for interoperable electronic health recordsDaniela Sofia Rijo OliveiraJosé Manuel Ferreira Machado (co-supervisão: António Carlos Silva Abelha)2022
A framework for predicting drug sensitivity and synergy in cancer cells using deep learningDelora Soeiro BaptistaMiguel Francisco Almeida Pereira Rocha (co-supervisão: Pedro Gabriel Dias Ferreira)2022
An evolving cognitive approach to dyscalculia screening and therapeuticsFilipa Tinoco FerrazJosé Carlos Ferreira Maia Neves (co-supervisão: Victor Manuel Rodrigues Alves)2022
Intelligent intrusion detection system for Vehicular Ad hoc NetworksFábio Raul Costa GonçalvesJoaquim Macedo (co-supervisão: Alexandre Santos)2022
Raciocínio baseado na ética médica na decisão em grupoGabriel de Sousa Pereira PontesJosé Manuel Ferreira Machado2022
Integrative pathway analysis approaches for cancer research and drug developmentJosé Vítor Castro VieiraMiguel Francisco Almeida Pereira Rocha (co-supervisão: Julio Saez-Rodriguez)2022
Uncertainty and incompleteness handling in context-aware systemsLeandro Oliveira FreitasPaulo Jorge Freitas Oliveira Novais (co-supervisão: Pedro Manuel Rangel Santos Henriques)2022
Método integrado para avaliação de usabilidade em e-LearningLuciana Lopes FreireP. Arezes (co-supervisão: José Francisco Creissac Freitas Campos)2022
Tutoría inteligente para mejorar los resultados de aprendizaje: un enfoque en inteligencia ambienteRamón Alfredo Toala DueñasPaulo Jorge Freitas Oliveira Novais (co-supervisão: Dalila Alves Durães)2022
DSL based Automatic Generation of Q&A SystemsRenato Preigschadt de AzevedoPedro Manuel Rangel Santos Henriques (co-supervisão: Maria João Varanda)2022
Emotional state detection through text analysisRicardo Alexandre Gonçalves Carotta MartinsPaulo Jorge Freitas Oliveira Novais (co-supervisão: Pedro Manuel Rangel Santos Henriques)2022
Locality optimisation techniques for platformsRui António Sabino Castiço SilvaJoão Luís Ferreira Sobral2022
Planet-scale leaderless consensusVitor Manuel Enes DuarteAlexey Gotsman (co-supervisão: Carlos Miguel Ferraz Baquero Moreno)2022
Improving clinical problem list with evidence based medicine, patient oriented medical records and intelligenceAna Cecília Sousa Rocha CoimbraJosé Manuel Ferreira Machado (co-supervisão: António Carlos Silva Abelha)2021
Safety verification for ROS softwareAndré Filipe Faria dos SantosManuel Alcino Pereira Cunha (co-supervisão: Nuno Filipe Macedo)2021
A decision support system based on guidelines with conflict resolution featuresAntónio José Linhares SilvaPaulo Jorge Freitas Oliveira Novais (co-supervisão: Tiago José Martins Oliveira)2021
The internet of people approach to road safety and vulnerable road users in smart citiesBruno Filipe Martins FernandesCésar Analide Freitas Silva Costa Rodrigues (co-supervisão: José Carlos Ferreira Maia Neves)2021
Lightweight trustworthy high-level software designChong LiuManuel Alcino Pereira Cunha (co-supervisão: Nuno Macedo)2021
Holistic performance and scalability analysis for large-scale distributed systemsFrancisco Nuno Teixeira NevesJosé Orlando Roque Nascimento Pereira (co-supervisão: Ricardo Manuel Pereira Vilaça)2021
EvoSPL: An evolutionary approach for adopting software product lines in the automotive industryKaram IgnaimJoão Miguel Lobo Fernandes (co-supervisão: André Ferreira)2021
An intelligent decision support system for mobile performance marketingLuís Miguel MatosPaulo Cortez (co-supervisão: Rui Mendes)2021
A conflict management environment to support decision-making processMarco Filipe Vieira GomesPaulo Jorge Freitas Oliveira Novais2021
Modern optimization of predictive models: An application to mobile performance marketingPedro José Silva PereiraPaulo Cortez (co-supervisão: Rui Manuel Ribeiro Castro Mendes)2021
Query optimizers based on machine learning techniquesRui Pedro Sousa Rodrigues do SoutoFábio André Castanheira Luís Coelho (co-supervisão: Ricardo Manuel Pereira Vilaça)2021
Sparse reconstruction of multidimensional light transport signalsCésar Morais PerdigãoLuís Paulo Peixoto Santos (co-supervisão: Thomas Eduard William Bashford Rogers)2020
Side-channel timing attack on content privacy of named data networkingErtugrul DogrulukAntónio Luís Duarte Costa (co-supervisão: Joaquim Melo Henriques Macedo)2020
Automatic prediction of ischemic stroke from MRI images using Deep LearningJosé Adriano Azevedo Silva Ribeiro PintoCarlos A. Silva (co-supervisão: Victor Manuel Rodrigues Alves)2020
Supporting software developers in making energy saving decisionsMarco Rafael Linhares CoutoJoão Alexandre Baptista Vieira Saraiva (co-supervisão: João Paulo Sousa Ferreira Fernandes)2020
A novel system to assist elders’ self-care and their informal caregivers through nursing homesMarisa Araújo EstevesJosé Manuel Ferreira Machado (co-supervisão: António Carlos Silva Abelha)2020
From Deep Learning in imaging neuroscience to nuclear physics in Quantum ComputingNicolas Francisco LoriVictor Manuel Rodrigues Alves (co-supervisão: Nuno Sousa)2020
A framework for heterogeneous many-core machinesBruno Silvestre MedeirosJoão Luís Ferreira Sobral2019
Using predictive and descriptive cognitive models for evaluation of interactive computing systemsCarlos César Loureiro SilvaJosé Francisco Creissac Freitas Campos (co-supervisão: Jorge A. Santos)2019
Numerical surgery: Modeling, simulation and visualization in real timeDiogo Alberto Rocha LopesAntónio José Borba Ramires Fernandes (co-supervisão: Stéphane Clain)2019
Cidades Inteligentes: Proposta de modelagem regulatória para a governação participativa, no contexto luso-brasileiroMarciele Berger BernardesFrancisco Carneiro Pacheco Andrade (co-supervisão: Paulo Jorge Freitas Oliveira Novais)2019
Enhancing the process of view selection in data cubes using what-If analysisMariana Reimão Queiroga Valério de CarvalhoOrlando Manuel Oliveira Belo2019
Numerical simulations on heterogeneous systems: dynamic workload and power managementRoberto Carlos Sá RibeiroLuís Paulo Peixoto Santos (co-supervisão: J. M. Nóbrega; Hrvoje Jasak)2019
Automatic segmentation and classification of brain tumors based on multisequence MRI images with deep learning methodsSérgio Rafael Mano PereiraCarlos A. Silva (co-supervisão: Victor Manuel Rodrigues Alves)2019
Modelo semântico adaptativo para acessibilidade à Web por deficientes visuaisTatiana Amaral SorrentinoAlexandre Júlio Teixeira Santos (co-supervisão: Joaquim Melo Henriques Macedo)2019
Intradomain routing optimization based on evolutionary computationVítor Manuel Sá PereiraPedro Nuno Miranda Sousa (co-supervisão: Miguel Francisco Almeida Pereira Rocha)2019
Dynamic contracts for verification and enforcement of real-time systems propertiesAndré Matos PedroJorge Miguel Matos Sousa Pinto (co-supervisão: Luís Miguel Pinho)2018
Detecting and monitoring mental fatigue: a non-invasive approachAndré Pimenta RibeiroPaulo Jorge Freitas Oliveira Novais (co-supervisão: José Carlos Ferreira Maia Neves)2018
A pattern-based approach for ETL systems modelling and validationBruno Moisés Teixeira OliveiraOrlando Manuel Oliveira Belo2018
Single-assignment program verificationCláudio Filipe Belo da Silva LourençoJorge Miguel Matos Sousa Pinto2018
E-learning: Geração automática de exercícios para sistemas de ensino personalizado de ProgramaçãoEliana Tiba Gomes GrandeGeorgi Smirnov (co-supervisão: José João Antunes Guimarães Dias Almeida)2018
Evaluation and development of algorithms and computational tools for metabolic pathway optimizationFilipe Alexandre Wang LiuMiguel Francisco Almeida Pereira Rocha (co-supervisão: Isabel Cristina Santos Rocha)2018
Towards a transactional and analytical data management system for Big DataFábio André Castanheira Luís CoelhoRui Carlos Mendes Oliveira (co-supervisão: José Orlando Roque Nascimento Pereira)2018
Design, implementation and evaluation of model-driven spreadsheetsJorge Cunha MendesJoão Alexandre Baptista Vieira Saraiva (co-supervisão: Jácome Miguel Costa Cunha)2018
Negotiation in group decision support systems – An approach based in argumentation and satisfactionJoão Miguel Ribeiro CarneiroPaulo Jorge Freitas Oliveira Novais (co-supervisão: Maria Goreti Carvalho Marreiros)2018
A computational framework for studying genome-scale regulatory models that combines gene expression data and optimization approachesOrlando Ricardo Nunes RochaRui Manuel Ribeiro Castro Mendes (co-supervisão: Sónia Madalena Azevedo Carneiro)2018
O impacto da animação e da avaliação automática na motivação para o ensino da programaçãoPaula Correia TavaresPedro Manuel Rangel Santos Henriques (co-supervisão: Elsa Maria Ferreira Gomes)2018
Hybrid programsRenato Jorge Araújo NevesLuís Soares Barbosa (co-supervisão: Manuel António Martins)2018
Formal description and automatic generation of learning spaces based on ontologiesRicardo Giuliani MartiniPedro Manuel Rangel Santos Henriques (co-supervisão: Giovani Rubert Librelotto)2018
Multi-value distributed key-value storesRicardo Jorge Tomé GonçalvesPaulo Sérgio Soares Almeida (co-supervisão: Vitor Francisco Mendes Freitas Gomes Fonte)2018
Energyware engineering: techniques and tools for green software developmentRui Alexandre Afonso PereiraJoão Alexandre Baptista Vieira Saraiva (co-supervisão: Jácome Miguel Costa Cunha)2018
Broadcast cancellation in unstructured networksRui Manuel Dias Ferreira LimaCarlos Miguel Ferraz Baquero Moreno (co-supervisão: Hugo Alexandre Tavares Miranda)2018
Efficient adaptive query processing on large database systems available in the cloud environmentClayton Maciel CostaAntónio Luís Pinto Ferreira Sousa2017
Disponibilidade, desempenho e confiança em sistemas de bases de dados hospitalares – Suporte à decisão inteligente para prevenção de falhasCésar Manuel Ferreira QuintasJosé Manuel Ferreira Machado (co-supervisão: Manuel Santos)2017
Orientation Method for People with Cognitive DisabilitiesJoão Ricardo Martins PereiraPaulo Jorge Freitas Oliveira Novais (co-supervisão: José Carlos Ferreira Maia Neves)2017
Orientation method for people with cognitive disabilitiesJoão Ricardo Martins RamosPaulo Jorge Freitas Oliveira Novais (co-supervisão: José Carlos Ferreira Maia Neves)2017
Automated watch for digital preservationLuís Francisco da Cunha Cardoso de FariaJosé Carlos Leite Ramalho (co-supervisão: José Miguel Araújo Ferreira)2017
Qualidade da informação no processo de tomada de decisão em grupoMaria Manuel Bastos SalazarJosé Carlos Ferreira Maia Neves (co-supervisão: António Carlos Silva Abelha)2017
Pattern based software developmentRui Miguel Silva CoutoAntónio Nestor Ribeiro (co-supervisão: José Francisco Creissac Freitas Campos)2017
Clinical decision support: Knowledge representation and uncertainty managementTiago José Martins OliveiraPaulo Jorge Freitas Oliveira Novais (co-supervisão: José Carlos Ferreira Maia Neves)2017
Network inference for logic-based ordinary differential equationsDavid Saque HenriquesMiguel Francisco Almeida Pereira Rocha (co-supervisão: Julio R. Banga)2016
Towards autonomic workload aware NoSQL databasesFrancisco Miguel Carvalho Barros CruzRui Carlos Mendes Oliveira2016
Ambient intelligence and affective computing: a contribute to energetic sustainabilityFábio SilvaCésar Analide Freitas Silva Costa Rodrigues2016
Monitorização, previsão e deteção de erros com sistemas automáticos de aquisição de dados em ambiente hospitalarPedro Manuel Queirós Faria GonçalvesJosé Manuel Ferreira Machado2016
Novel approaches for dynamic modelling of E. coli and their application in Metabolic EngineeringPedro Tiago EvangelistaIsabel Cristina Santos Rocha (co-supervisão: Bruce Tidor; Miguel Rocha)2016
Integrating knowledge from data and literature for building transcriptional regulatory networksRafael T. PereiraRui Manuel Ribeiro Castro Mendes (co-supervisão: Orlando Manuel Oliveira Belo)2016
Reverse engineering of web applicationsCarlos Eduardo Bastos Marques SilvaJosé Francisco Creissac Freitas Campos2015
Development of computational tools for the integrated analysis of DNA microarray data with applications in cancer researchEduardo ValenteMiguel Francisco Almeida Pereira Rocha (co-supervisão: R. M. Reis)2015
Epidemic store for massive scale systemsFrancisco António Ferraz Martins Almeida MaiaRui Carlos Mendes Oliveira2015
Modeling microbes: New methods for integrated metabolic and regulatory network reconstructionJosé Pedro Lopes FariaIsabel Cristina Santos Rocha (co-supervisão: Miguel Rocha; Scott Henry)2015
Dependable decentralized storage management for cloud computingJoão Tiago Medeiros PauloJosé Orlando Roque Nascimento Pereira2015
Improving quality of information in health records with medical ontologiesJúlio DuarteAntónio Carlos Silva Abelha (co-supervisão: Filipe Santos)2015
An ontology toolkit for problem domain concept location in program comprehensionNuno Alexandre Ramos CarvalhoJosé João Antunes Guimarães Dias Almeida (co-supervisão: Maria João Varanda)2015
Architectural reconfiguration of interacting servicesNuno Ernesto Salgado OliveiraLuís Soares Barbosa2015
Ontology-based representation and generation of workflows for micro-task human-machine computationNuno LuzPaulo Jorge Freitas Oliveira Novais (co-supervisão: Nuno Alexandre Pinto da Silva)2015
Algorithms and tools for in silico design of cell factoriesPaulo Jorge Lopes Maia da SilvaIsabel Cristina Santos Rocha (co-supervisão: Miguel Francisco Almeida Pereira Rocha)2015
Algorithms and computational tools for metabolic flux analysisRafael de Castro CarreiraMiguel Francisco Almeida Pereira Rocha (co-supervisão: I. Rocha; S. G. Villas-Bôas)2015
All over the place localization systemRicardo AnacletoPaulo Jorge Freitas Oliveira Novais (co-supervisão: Lino Manuel Baptista Figueiredo; Ana Maria Neves Almeida Baptista Figueiredo)2015
Parallel programming by transformationRui Carlos Araújo GonçalvesJoão Luís Ferreira Sobral (co-supervisão: Don Batory)2015
A relational algebra approach to ETL modelingVasco Nuno Caio dos SantosOrlando Manuel Oliveira Belo2015
Energy efficiency for user-centric routingAntónio Carlos de Oliveira JúniorRute Sofia (co-supervisão: António Luís Duarte Costa)2014
Automated software systems generation for process-oriented organizationsFrancisco J. DuarteRicardo J. Machado (co-supervisão: João Miguel Lobo Fernandes)2014
Inteligência Ambiente em serviços de saúde baseada em ontologias e na descoberta de conhecimento em bases de dados e/ou bases de conhecimentoJosé Alberto MarquesJosé Carlos Ferreira Maia Neves (co-supervisão: César Analide Freitas Silva Costa Rodrigues)2014
Monitorização de ECG de pacientes em mobilidadeJoão Henrique Ribeiro ValenteAlexandre Santos (co-supervisão: Joaquim Macedo)2014
Monitorização de ECG de pacientes em mobilidadeJoão Henrique Ribeiro ValenteAlexandre Santos (co-supervisão: Joaquim Macedo)2014
A mid-level framework for independent network services configuration managementMiguel José Magalhães LopesBruno Alexandre Fernandes Dias (co-supervisão: António Luís Duarte Costa)2014
A relational approach to bidirectional transformationNuno MacedoManuel Alcino Pereira Cunha2014
Embedding attribute grammars and their extensions using functional ZippersPedro Miguel Ribeiro MartinsJoão Alexandre Baptista Vieira Saraiva (co-supervisão: João Paulo Sousa Ferreira Fernandes)2014
Foundations and techniques for software reconfigurabilityAlexandre Leite Castro MadeiraLuís Soares Barbosa (co-supervisão: Manuel A. Martins)2013
An agent-based architecture for online dispute resolution servicesDavide Rua CarneiroPaulo Jorge Freitas Oliveira Novais (co-supervisão: José Carlos Ferreira Maia Neves)2013
Steps towards interoperability in healthcare environmentHugo Daniel Abreu PeixotoAntónio Carlos Silva Abelha (co-supervisão: Manuel Filipe Santos)2013
Design principles for controlling gene expressionJoão Carlos Azevedo Salgado GuimarãesMiguel Francisco Almeida Pereira Rocha (co-supervisão: Adam Arkin)2013
Archetype based intelligent system for healthcare interoperabilityLuís Miguel Mesquita MirandaJosé Carlos Ferreira Maia Neves (co-supervisão: José Machado)2013
Epidemic algorithms for large scale data disseminationMiguel Ângelo Marques de MatosRui Carlos Mendes Oliveira2013
Erro em imagiologia médicaPaulo Alexandre da Costa Ferreira Brandão PereiraVictor Manuel Rodrigues Alves (co-supervisão: José Carlos Ferreira Maia Neves)2013
Relational databases digital preservationRicardo André Pereira FreitasJosé Carlos Leite Ramalho2013
Cognitive assistance in intelligent environmentsÂngelo Gonçalo Araújo da Silva CostaPaulo Jorge Freitas Oliveira Novais2013
Formal verification of cryptographic software implementationsBárbara Isabel Sousa VieiraManuel Bernardo Martins Barbosa2012
Matrices as arrows: why categories of matrices matterHugo Daniel MacedoJosé Nuno Fonseca Oliveira2012
Bidirectional data transformation by calculationHugo José Pereira PachecoManuel Alcino Pereira Cunha (co-supervisão: José Nuno Fonseca Oliveira)2012
Rapid prototyping of ubiquitous computing environmentsJosé Luís Cardoso SilvaJosé Francisco Creissac Freitas Campos (co-supervisão: M. D. Harrison)2012
Computational tools for large-scale biological network analysisJosé Pedro Basto Gouveia Pereira PintoMiguel Francisco Almeida Pereira Rocha (co-supervisão: Isabel Cristina Santos Rocha)2012
Time series motif discoveryNuno Constantino CastroPaulo Jorge Sousa Azevedo2012
Robust distributed data aggregationPaulo César de Oliveira JesusCarlos Miguel Ferraz Baquero Moreno (co-supervisão: Paulo Sérgio Soares Almeida)2012
INTELLIPave : uma abordagem baseada em inteligência artificial para a modelagem de pavimentos asfálticosReus SaliniJosé Carlos Ferreira Maia Neves (co-supervisão: António Carlos Silva Abelha)2012
Clouder : a flexible large scale decentralized object storeRicardo Manuel Pereira VilaçaRui Carlos Mendes Oliveira2012
Benchmark-based software product quality evaluationTiago Miguel Laureano AlvesJosé Nuno Fonseca Oliveira (co-supervisão: Joost Visser)2012
Verification, slicing, and visualization of programs with contractsDaniela da CruzPedro Manuel Rangel Santos Henriques (co-supervisão: Jorge Miguel Matos Sousa Pinto)2011
Model-based spreadsheet engineeringJácome Miguel Costa CunhaJoão Alexandre Baptista Vieira Saraiva (co-supervisão: Joost Visser)2011
A QoS-aware architecture for mobile internetNuno Vasco LopesAlexandre Júlio Teixeira Santos (co-supervisão: Maria João Nicolau)2011
A MAC protocol for quality of service provisioning in adaptive biomedical wireless sensor networksOscar GamaP. M. Mendes (co-supervisão: Paulo Manuel Martins de Carvalho)2011
Agents in the market place an exploratory study on using intelligent agents to trade financial instrumentsRui Pedro BarbosaOrlando Manuel Oliveira Belo2011
Practical database replicationAlfrânio Tavares Correia JúniorRui Carlos Mendes Oliveira2010
GUIsurfer: a tool for reverse engineering of graphical user interfacesJoão Carlos SilvaJosé Francisco Creissac Freitas Campos (co-supervisão: João Alexandre Baptista Vieira Saraiva)2010
Efficient aggregate computations in large-scale dense wireless sensor networksNuno Alexandre Magalhães PereiraEduardo Manuel de Médicis Tovar (co-supervisão: Paulo Manuel Martins de Carvalho)2010
Foundations of program refinement by calculationCésar J. RodriguesJosé Nuno Fonseca Oliveira2009
Da contratação electrónica: em particular da contratação electrónica inter-sistémica inteligenteFrancisco Carneiro Pacheco AndradeJosé Carlos Ferreira Maia Neves (co-supervisão: Júlio Manuel Vieira Gomes)2009
Estratégias de participação para a optimização da descarga distribuída da WebJosé ExpostoAntónio Manuel Silva Pina (co-supervisão: Joaquim Melo Henriques Macedo)2009
Design, implementation and calculation of circular programsJoão Paulo Sousa Ferreira FernandesJoão Alexandre Baptista Vieira Saraiva2009
Ambientes virtuais povoados com simulação eficiente de detecção de colisões e planeamento de trajectos em navegação realmente 3DLeonel Domingues DeusdadoAntónio Ramires Fernandes (co-supervisão: Orlando Manuel Oliveira Belo)2009
Specification and refinement of software connectorsMarco António BarbosaLuís Soares Barbosa2009
Preservação de longa duração de informação digital no contexto de um arquivo históricoMiguel FerreiraAna Alice Baptista (co-supervisão: José Carlos Leite Ramalho)2009
Information search in large-scale peer-to-peer systemsNuno Alberto Ferreira LopesCarlos Miguel Ferraz Baquero Moreno2009
Slicing techniques applied to architectural analysis of legacy softwareNuno F. RodriguesLuís Soares Barbosa2009
On the design of a GalculatorPaulo Filipe Araújo da SilvaJosé Nuno Fonseca Oliveira2009
Detecção e correcção de problemas de qualidade dos dados : modelo, sintaxe e semânticaPaulo Jorge Machado OliveiraPedro Manuel Rangel Santos Henriques (co-supervisão: M. Fátima Rodrigues)2009
Collaborative networks in ambient assisted livingRicardo André Fernandes CostaPaulo Jorge Freitas Oliveira Novais (co-supervisão: José Carlos Ferreira Maia Neves)2009
Causality tracking in dynamic distributed systemsVitor Francisco Mendes Freitas Gomes FonteCarlos Miguel Ferraz Baquero Moreno (co-supervisão: Paulo Sérgio Soares Almeida)2009
Animation-based validation of reactive software systems using behavioural modelsÓscar R. RibeiroJoão Miguel Lobo Fernandes2009
Extracção de recursos de tradução com base em dicionários probabilísticos de traduçãoAlberto SimõesJosé João Antunes Guimarães Dias Almeida2008
Um processo de modelação de sistemas software com integração de especificações rigorosasAntónio Nestor RibeiroFernando Mário Junqueira Martins2008
Agentes de apoio à argumentação e decisão em grupoGoreti MarreirosJosé Carlos Ferreira Maia Neves (co-supervisão: Carlos Fernando Silva Ramos)2008
Automatization of the code generation for different industrial robotsGustavo V. ArnoldPedro Manuel Rangel Santos Henriques (co-supervisão: Jaime C. Fonseca)2008
Uma arquitectura de software dinâmica para a criação de ambientes de interacção social regulada na WebHugo Alexandre Paredes Guedes da SilvaFernando Mário Junqueira Martins2008
Co-operação de Tabelas de Hash Distribuídas em clusters heterogéneosJosé Carlos Rufino AmaroAntónio Manuel Silva Pina2008
Aggregation-based mining methods: from single to N-dimensional data analysisRonnie Cley Oliveira AlvesOrlando Manuel Oliveira Belo2008
Análise e compressão de sequências genómicasSérgio DeusdadoPaulo Manuel Martins de Carvalho2008
Selecção de planos de mineração de dados de utilização da webAna Cristina Wanzeller Guedes de LacerdaOrlando Manuel Oliveira Belo2007
Partial replication in the database state machineAntónio Luís Pinto Ferreira SousaRui Carlos Mendes Oliveira2007
Web Crawlers: Detecção e Previsão Comportamental baseadas na Análise de Padrões de NavegaçãoAnália Maria Garcia LourençoOrlando Manuel Oliveira Belo2007
Restruturação dinâmica de estruturas multidimensionais de dados em tempo útilJorge Alexandre de Albuquerque LoureiroOrlando Manuel Oliveira Belo2007
Sequence pattern mining in biochemical dataPedro Gabriel Dias FerreiraPaulo Jorge Sousa Azevedo2007
Robust and hardware-accelerated 3D point and line reconstruction from imagesRui RodriguesAntónio José Borba Ramires Fernandes (co-supervisão: C. W. A. M. Overveld)2006
Serviço de transporte para tráfego multimédia adaptativo sobre redes de longas distâncias : uma arquitectura distribuídaVítor Manuel Basto FernandesVasco Luís Barbosa de Freitas2006
Topic maps : da sintaxe à semânticaGiovani Rubert LibrelottoPedro Manuel Rangel Santos Henriques2005
Point-free program calculationManuel Alcino Pereira CunhaJosé Bernardo Santos Monteiro Vieira Barros2005
Encaminhamento diferenciado para comunicações em grupo com requisitos de qualidade de serviçoMaria João NicolauAlexandre Júlio Teixeira Santos2005
Refactorings to evolve object-oriented systems with aspect-oriented conceptsMiguel Pessoa MonteiroJoão Miguel Lobo Fernandes2005
Um modelo arquitectónico para desenvolvimento de compiladores: aplicação à Framework DolphinPaulo Jorge MatosPedro Manuel Rangel Santos Henriques2005
Rocmeu: orientação ao recurso na modelação de aplicações paralelas e exploração cooperativa de clusters multi-SANAlbano Agostinho Gomes AlvesAntónio Manuel Silva Pina2004
Comparação e classificação de métodos de avaliação do processo de software utilizando uma metodologia numérica e exploratóriaAlberto António de Chalupa SampaioFernando Mário Junqueira Martins (co-supervisão: Maria Helena Mendes Moreira)2004
Type-based termination of recursive definitions and constructor subtyping in typed lambda calculiMaria João Gomes FradeJosé Manuel Esgalhado Valença (co-supervisão: Gilles Barthe)2003
Semantically reliable group communicationJosé Orlando Roque Nascimento PereiraLuís Eduardo Teixeira Rodrigues (co-supervisão: Rui Carlos Mendes Oliveira)2002
A Inteligência Artificial e o Direito: uma Abordagem Baseada em OntologiasMarco Aurélio Correia da CostaJosé Carlos Ferreira Maia Neves2002
Sistematização da animação de programas : proposta de um novo sistema para construção automática e sistemática de animações de programasMaria João Tinoco Varanda PereiraPedro Manuel Rangel Santos Henriques2002
Modelos inspirados na natureza para a previsão de séries temporaisPaulo CortezJosé Carlos Ferreira Maia Neves2002
Agentes inteligentes como objectos dum sistema distribuído de realidade virtualJosé Manuel MachadoJosé Carlos Ferreira Maia Neves2001
Components as coalgebrasLuís Soares BarbosaJosé Nuno Fonseca Oliveira2001
Especificação normativa de agentes institucionais e da interacção entre agentesOlga PachecoJosé Carmo2001
Anotação estrutural de documentos e sua semântica: especificação da sintaxe, semântica e estilo para documentosJosé Carlos Leite RamalhoPedro Manuel Rangel Santos Henriques2000
MIDAS: metodologia orientada ao objecto para desenvolvimento de sistemas embebidosJoão Miguel Lobo FernandesJosé Alberto Proença (co-supervisão: Henrique Santos)2000
Multiple-source Dynamic DictionariesJosé João Antunes Guimarães Dias AlmeidaPedro Manuel Rangel Santos Henriques1997
Metodologias de especificação e análise de sistemas digitais: desenvolvimento de um controlador APA (GLiTCH)Henrique Dinis dos SantosAlberto José Gonçalves Carvalho Proença1996
Métodos formais na concepção e desenvolvimento de sistemas interactivosFernando Mário Junqueira MartinsJosé Nuno Fonseca Oliveira1995