| Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
| 3-nov-2021 | 26-jul-2021 | 3D point-cloud quality assessment using color and geometry texture descriptors | Diniz, Rafael | Farias, Mylène Christine Queiroz de | Freitas, Pedro Garcia |
| 11-jan-2023 | - | 4D trajectory conflict detection and resolution using decision tree pruning method | Monteiro, Lucas Borges; Ribeiro, Vitor Filincowsky; Garcia, Cristiano Perez; Rocha Filho, Geraldo Pereira; Li, Weigang | - | - |
| 21-set-2007 | 21-set-2007 | Abordagem adaptativa de monitoramento para escalonamento de grafos dirigidos acíclicos em ambientes distribuídos | Schtoltz, Jorge | Pfitscher, Gerson Henrique | - |
| 13-ago-2024 | 14-nov-2022 | Uma abordagem automatizada para estimar a experiência do jogador em eventos de jogo usando sinais psicofisiológicos | Siqueira, Elton Sarmanho | Jacobi, Ricardo Pezzuol | Castanho, Carla Denise |
| 21-fev-2020 | 21-jun-2019 | Abordagem de agrupamento no planejamento de voo sob tempo severo convectivo | Barbosa, Iuri Souza Ramos | Weigang, Li | - |
| 5-fev-2018 | 15-set-2017 | Uma abordagem de controle de acesso ao meio para redes de acesso dinâmico com múltiplos canais ortogonais | Caetano, Marcos Fagundes | Bordim, Jacir Luiz | - |
| 20-dez-2018 | 7-jun-2018 | Abordagem em algoritmos genéticos para otimização da alocação de slots no programa de opções de trajetórias colaborativo | Rodrigues, Natan de Souza | Weigang, Li | - |
| 10-abr-2015 | 12-dez-2014 | Abordagem ontológica para mitigação de riscos em aplicações web | Marques, Marcius Montedo | Ralha, Célia Ghedini | - |
| 13-ago-2024 | 31-jan-2023 | Uma abordagem para verificação de missões multi-robôs em alto nível no UPPAAL | Galvão, Danilo José Bispo | Rodrigues, Genaína Nunes | - |
| 9-set-2019 | 15-fev-2019 | Accelerating learning in multiagent domains through experience sharing | Souza, Lucas Oliveira | Ralha, Célia Ghedini | - |
| 20-fev-2019 | 10-fev-2018 | Accelerating sensitivity analysis in microscopy image segmentation workflows with multi-level computation and data reuse | Barreiros Júnior, Willian de Oliveira | Teodoro, George Luiz Medeiros | - |
| 18-dez-2024 | 19-jul-2024 | Adaptive context modeling and hyperparameter selection in neural-based data compression | Lopes, Lucas Silva | Queiroz, Ricardo Lopes de | - |
| 13-ago-2024 | 16-jun-2023 | Adaptive model to community detection in dynamic social networks | Costa, Aurélio Ribeiro | Ralha, Célia Ghedini | - |
| 24-nov-2025 | 11-mar-2025 | Adaptive patch grid strategy for parallel protein folding using atomic burials with NAMD | Macedo, Emerson de Araujo | Melo, Alba Cristina Magalhães Alves de | - |
| 26-mai-2016 | 1-mar-2016 | Adicionando temporalidade à linguagem OWL 2 : um estudo a partir da linguagem tOWL e sua decibilidade | Ferreira, Déborah Mendes | Vidal, Flávio de Barros | - |
| 26-jul-2017 | 17-mar-2017 | Agentes autônomos para monitoramento e alocação dinâmica de recursos para nuvem computacional | Mendes, Aldo Henrique Dias | Ralha, Célia Ghedini | - |
| 28-jun-2011 | 11-mar-2011 | Agentes de Mineração e sua Aplicação no Domínio de Auditoria Governamental | Silva, Carlos Vinícius Sarmento | Ralha, Célia Ghedini | - |
| 29-dez-2014 | 15-ago-2014 | Agentes racionais baseados no modelo belief-desire-intention para o sistema multiagente MASE | Coelho, Cássio Giorgio Couto | Ralha, Célia Ghedini | - |
| 12-set-2017 | 22-jun-2017 | Ajuste automático de parâmetros para aplicações de segmentação nuclear em imagens médicas | Taveira, Luís Felipe Rabello | Teodoro, George Luiz Medeiros | - |
| 28-nov-2022 | 29-jul-2022 | Ajuste Dinâmico de Dificuldade pelo desempenho e perfil de jogador em jogo de plataforma | Rosa, Marcos Paulo Cayres | Jacobi, Ricardo Pezzuol | - |
| 18-dez-2024 | 2-set-2024 | Algoritmo de Fatoração de Matrizes Não-negativas para Aprendizado positivo não-supervisionado | Nunes, Lucas Souza Sampaio | Faleiros, Thiago de Paulo | - |
| 27-nov-2018 | 10-abr-2018 | Algoritmos genéticos para filogenia viva com matriz de características | Fernandes, Rafael Lins | Walter, Maria Emília Machado Telles | - |
| 9-out-2017 | 29-jun-2017 | Algoritmos paralelos e eficientes para consultas IP no Intel(R) Xeon Phi(tm) e CPUs Multi-Core | Alencar, Alexandre Lucchesi | Teodoro, George Luiz Medeiros | - |
| 15-mai-2016 | 9-set-2015 | Algoritmos paralelos exatos e otimizações para alinhamento de sequências biológicas longas em plataformas de alto desempenho | Sandes, Edans Flávius de Oliveira | Melo, Alba Cristina Magalhães Alves de | - |
| 21-nov-2014 | 6-mar-2014 | Alinhamento de imagens de profundidade com aplicação no reconhecimento da língua de sinais | Silva Júnior, Juarez Paulino da | Bordim, Jacir Luiz | - |
| 10-abr-2018 | 19-dez-2017 | Alinhamento primário e secundário de sequências biológicas em arquiteturas de alto desempenho | Lima, Daniel Sundfeld | Melo, Alba Cristina Magalhães Alves de | - |
| 1-jul-2020 | 11-fev-2020 | Alocação de blocos de recurso em redes LTE sensível à heterogeneidade dos fluxos de dados | Branco, Guilherme David | Bordim, Jacir Luiz | - |
| 2006 | 2006 | Alocação de tarefas paralelas comunicantes em ambientes distribuídos heterogêneos | Santana, Marcelo Nardelli Pinto | Melo, Alba Cristina Magalhães Alves de | - |
| 17-ago-2022 | 9-mai-2022 | An Agent-Based Communication Architecture to hybrid NOMA-OMA decisions | Eichler, Gustavo Caltabiano | Marotta, Marcelo Antonio | - |
| 5-jun-2020 | 23-out-2019 | An architecture to support control theoretical-based verification of goal-oriented adaptation engines | Caldas, Ricardo Diniz | Rodrigues, Genaína Nunes | - |
| 6-mar-2019 | 23-ago-2018 | An empirical workflow of uncertainty quantification to evaluate agent-based simulation outputs aiming analytical confidence | Abreu, Carolina Gonçalves | Ralha, Célia Ghedini | - |
| - | 24-jan-2019 | Analise de técnicas de clusterização em MMO com dados restritos : o caso de Final Fantasy XIV | Fernandes, Lucas Vanderlei | Jacobi, Ricardo Pezzuol | - |
| 18-dez-2024 | 18-nov-2024 | Análise comparativa de Leis de Proteção de Dados e frameworks de privacidade : otimizando soluções para conformidade com LGPD e leis internacionais de compartilhamento de dados | Rocha, Lucas Dalle | Canedo, Edna Dias | - |
| 13-ago-2024 | 19-abr-2024 | Análise da cybersickness através de biosinais : uma abordagem com machine learning simbólico | Silva, Wedrey Nunes da | Jacobi, Ricardo Pezzuol | - |
| 13-ago-2024 | 26-out-2023 | Análise de evolução de linhas de produtos de software | Hubner, Herval Alexandre Dias | Alves, Vander Ramos | - |
| 5-set-2016 | 22-jul-2016 | Análise de redes sociais científicas para ampliação de redes de colaboração | Costa, Aurélio Ribeiro | Ralha, Célia Ghedini | - |
| 24-nov-2025 | 27-mar-2025 | Análise de soluções de privacidade em blockchain | Almendra, Daniel Silva | Alchieri, Eduardo Adilio Pelinson | - |
| 19-mai-2016 | 6-abr-2015 | Análise do impacto de cenários implícitos na confiabilidade de sistemas computacionais | Roriz, Alexandre Vaz | Rodrigues, Genaína Nunes | - |
| 27-dez-2019 | 3-jun-2019 | Análise do impacto na compreensão de programas Java com a introdução de expressões lambda | Mendonça, Walter Lucas Monteiro de | Almeida, Rodrigo Bonifácio de | - |
| 7-jan-2022 | 29-set-2021 | Análise visual de dados educacionais : um estudo de caso das disciplinas introdutórias de programação da UnB | Hansen, Luiza Aguiar | Holanda, Maristela Terto de | Borges, Vinícius Ruela Pereira |
| 30-mar-2022 | 17-nov-2021 | Aplicação de aprendizado de máquina para previsão de ocupação de espectro de longa duração | Bezerra, Rodrigo Feitosa | Bordim, Jacir Luiz | - |
| 17-mar-2011 | 9-abr-2010 | Aplicação de técnicas de mineração de texto para categorização de eventos de segurança no CTIR Gov | Pak, Albert Frederico de Menezes Il | Ralha, Célia Ghedini | - |
| 9-nov-2021 | 21-mai-2021 | Applying fine-grained co-change dependencies to identify refactoring opportunities | Oliveira, Marcos César de | Almeida, Rodrigo Bonifácio de | - |
| 4-ago-2023 | 17-ago-2022 | Aprendizado ativo efetivo e eficiente para análise de imagens em patologia utilizando aprendizado profundo | Meirelles, André Lauar Sampaio | Teodoro, George Luiz Medeiros | - |
| 10-ago-2023 | 14-out-2022 | Aprendizado ativo efetivo e eficiente para análise de imagens em patologia utilizando aprendizado profundo | Meirelles, André Lauar Sampaio | Teodoro, George Luiz Medeiros | - |
| 13-ago-2024 | 8-fev-2023 | Aprendizado de máquina como auxílio na detecção de sinais de osteoporose analisando radiografias panorâmicas bucais | Galli, Yuri Barcellos | Espinoza, Bruno Luiggi Macchiavello | - |
| 1-dez-2009 | fev-2008 | Aprendizagem estatística para recuperação da informação | Rodrigues, Edmilson Faria | Ladeira, Marcelo | - |
| 20-mai-2011 | 26-out-2010 | Aprendizagem por reforço aplicada ao gerenciamento tático do fluxo de tráfego aéreo | Crespo, Antonio Márcio Ferreira | Weigang, Li | - |
| 17-mar-2011 | 8-dez-2009 | Aprendizagem por reforço aplicada à análise de impacto no controle de fluxo de tráfego aéreo | Arruda Junior, Antonio Carlos de | Weigang, Li | - |
| 25-mai-2016 | 1-mar-2016 | Arcabouço para construção de jogos ubíquos com foco em reabilitação | Santos, Luciano Henrique de Oliveira | Castanho, Carla Denise | - |
| 24-nov-2025 | 28-mar-2025 | Uma arquitetura autoadaptável para a implantação de observabilidade em fog computing | Costa, Breno Gustavo Soares da | Von Paumgartten, Aletéia Patrícia Favacho de Araújo | - |
| 5-jan-2018 | 6-jul-2017 | Uma arquitetura baseada em containers para workflows de bioinformática em nuvens federadas | Alves, Tiago Henrique Costa Rodrigues | Araújo, Aletéia Patrícia Favacho de | - |
| 24-nov-2016 | 28-jul-2016 | Arquitetura de armazenamento de dados para Sistemas de Informação Geográfica Voluntária utilizando Banco de Dados NoSQL baseado em documento | Maia, Daniel Cosme Mendonça | Holanda, Maristela Terto de | - |
| 6-jun-2014 | 30-jan-2014 | Arquitetura de coleta de dados para pesquisas de campo em ambientes computacionais heterogêneos | Freitas Filho, Henrique Pereira de | Holanda, Maristela Terto de | Roig, Henrique Llacer |
| 20-jun-2017 | 23-fev-2017 | Arquitetura de um controlador de elasticidade para nuvens federadas | Vergara, Guilherme Fay | Araújo, Aletéia Patrícia Favacho de | - |
| 18-ago-2017 | 23-fev-2017 | Arquitetura de um controlador de SLA para ambiente de nuvens federadas | Moura, Breno Rodrigues de | Araújo, Aletéia Patrícia Favacho de | - |
| 26-mai-2011 | 11-set-2009 | Arquitetura dedicada para decodificação CABAC H.264/AVC em sistema em silício | Carvalho, José Porfírio Albuquerque de | Jacobi, Ricardo Pezzuol | Berger, Pedro de Azevedo |
| 13-ago-2024 | 2-fev-2024 | Arquitetura multiagente com modelos de raciocínio distintos para gerenciamento de recursos em múltiplos provedores de nuvem | Mendes, Aldo Henrique Dias | Ralha, Célia Ghedini | - |
| 5-mar-2026 | 7-out-2025 | Uma arquitetura para dados geoespaciais massivos de internet das coisas no contexto de objetos com diferentes níveis de mobilidade | Silva, Dennis Savio Martins da | Holanda, Maristela Terto de | - |
| 25-jun-2018 | 15-fev-2018 | Arquitetura para privacidade na integração de internet das coisas e computação em nuvem | Pacheco, Luis Alberto Belem | Alchieri, Eduardo Adilio Pelinson | - |
| 9-jun-2020 | 12-dez-2019 | Uma arquitetura resiliente baseada em agentes para instâncias transientes na computação em nuvem | Araújo Neto, José Pergentino de | Ralha, Célia Ghedini | - |
| 24-nov-2025 | 13-ago-2025 | Assessing the resilience of popular Android apps against repackaging using controlled variants and instrumentation | Oliveira, Leandro de Souza | Almeida, Rodrigo Bonifácio de | - |
| 5-mar-2026 | 28-nov-2025 | Assured mission adaptation of multi-robot systems | Moraes, Vicente Romeiro de | Rodrigues, Genaína Nunes | - |
| 23-abr-2019 | 21-jun-2018 | Auto-Tuning de banco de dados NoSQL com dados de Internet das Coisas : um estudo de caso com o Cassandra | Dias, Lucas Benevides | Holanda, Maristela Terto de | - |
| 17-mar-2025 | 21-jun-2024 | Autoencoder-based image compression with target bitrate constraint | Guerin Junior, Nilson Donizete | Espinoza, Bruno Luiggi Macchiavello | - |
| 11-mar-2020 | 5-ago-2019 | Automatically fixing static analysis tools violations | Marcilio, Diego Venâncio | Almeida, Rodrigo Bonifácio de | - |
| 2-jun-2014 | 2013 | Automatização da seleção dos pixels âncora no cálculo da equação de balanço de radiação na superfície do algoritmo SEBAL | Silva, Leone Parise Vieira da | Ralha, Célia Ghedini | - |
| 4-abr-2017 | 28-dez-2016 | Autonomic goal-driven deployment in heterogeneous computing environments | Rodrigues, Gabriel Siqueira | Rodrigues, Genaína Nunes | - |
| 7-dez-2006 | 7-dez-2006 | Avaliação de desempenho de método para a resolução da evolução temporal de sistemas auto-gravitantes em dois paradigmas de programação paralela : troca de mensagens e memória compartilhada | Passos, Lorena Brasil Cirillo | Pfitscher, Gerson Henrique | - |
| 15-ago-2018 | 15-mar-2018 | Avaliação de desempenho de métricas de fragmentação de espectro em redes ópticas elásticas | Silva, Kaio Alexandre da | Drummond, André Costa | - |
| 25-out-2012 | 15-dez-2011 | Avaliação do uso de diferentes protocolos para localização com abordagem de sistema multiagente e rede neural | Fonseca, Humphrey Corrêa da | Ralha, Célia Ghedini | - |
| 13-ago-2024 | 21-dez-2023 | Avaliando a influência de degradações em imagens nos modelos de aprendizado profundo utilizados em reconhecimento facial | Carneiro, Leandro Dias | Vidal, Flávio de Barros | - |
| 17-jan-2012 | 14-jun-2011 | Besouro: aprimorando a aferição automática da conformidade das atividades de desenvolvimento com TDD | Pedroso, Bruno de Souza Costa | Jacobi, Ricardo Pezzuol; Pimenta, Marcelo | - |
| 7-fev-2013 | 22-jun-2012 | BioNimbus : uma arquitetura de federação de nuvens computacionais híbrida para a execução de workflows de Bioinformática | Saldanha, Hugo Vasconcelos | Walter, Maria Emília Machado Telles | Araújo, Aletéia Patrícia F. |
| 23-abr-2019 | 27-set-2018 | BioNimbuZ 2 : uma plataforma de federação de nuvens em uma arquitetura orientada a microsserviços | Mendes, Felipe Lopes de Souza | Araújo, Aletéia Patrícia Favacho de | - |
| 27-jul-2006 | 27-jul-2006 | Caracterização de desempenho de uma aplicação paralela do método dos elementos finitos em ambientes heterogêneos de pcs | Ferreira, Roberta Ribeiro | Pfitscher, Gerson Henrique | - |
| 1-ago-2008 | 1-ago-2008 | Caracterizando distorções em redes ad hoc | Nascimento Júnior, Osvaldo Corrêa do | Bordim, Jacir Luiz | - |
| 6-out-2014 | 25-fev-2014 | Características do usuário primário e seu impacto nos mecanismos de acesso dinâmico ao espectro | Modesto, Felipe de Moraes | Drummond, André Costa | - |
| 17-mai-2017 | 3-mar-2017 | Cálculo da distância de reversão e construção de árvores filogenéticas usando a ordem dos genes | Soncco Álvarez, José Luis | Ayala-Rincón, Mauricio | - |
| 11-mar-2019 | 31-ago-2018 | Characterization of implied scenarios as families of Common Behavior | Melo, Caio Batista de | Rodrigues, Genaína Nunes | - |
| 29-jun-2021 | 26-fev-2021 | Characterizing and improving decision-making in Fog Radio Access Networks | Almeida, Jonathan Mendes de | Ralha, Célia Ghedini | Marotta, Marcelo Antonio |
| 13-ago-2024 | 23-fev-2023 | Ciclo de vida de data warehouse baseado em NoSQL : adaptações e análise de desempenho de arquiteturas | Oliveira, Beatriz Fragnan Pimento de | Holanda, Maristela Terto de | - |
| 27-fev-2015 | 28-nov-2014 | Cifração e autenticação utilizando funções fisicamente não clonáveis (PUFs) | Resende, Amanda Cristina Davi | Aranha, Diego de Freitas | - |
| 26-fev-2016 | 30-jul-2015 | Classical leakage-resilient circuits from quantum fault-tolerant computation | Lacerda, Felipe Gomes | Nascimento, Anderson Clayton Alves | - |
| 5-out-2015 | 2009 | Classificação automática de páginas Web Multi-label via MDL e Support Vector Machines | Ormonde, Rodrigo de La Rocque | Ladeira, Marcelo | - |
| 9-jun-2010 | 2009 | Classificação automática do acabamento de gordura em imagens digitais de carcaças bovinas | Bittencourt, Carmen Dalla Rosa | Ladeira, Marcelo | Borges, Díbio Leandro |
| 1-abr-2019 | 27-jul-2018 | Classificação de acromegalia em imagens tomográficas computadorizadas de vértebras (L1 - L5) com uso de ensemble de classificadores binários | Bragança, Clerimar Paulo | Machiavello, Bruno Luiggi | Berger, Pedro de Azevedo |
| 24-nov-2025 | 18-dez-2024 | Classificação de intensidade das emoções na fala em português brasileiro por meio de deep learning | Augusto, Henrique Tibério Brandão Vieira | Rocha Filho, Geraldo Pereira | - |
| 24-nov-2025 | 24-mar-2025 | Classificação e segmentação de imagens de lesões podocitárias : contribuições para cenários multicorantes e desbalanceados utilizando modelos de aprendizado profundo | Barros, George Oliveira | Vidal, Flávio de Barros | Duarte, Angelo Amâncio |
| 14-fev-2014 | 15-ago-2013 | Codificação de vídeo utilizando modelos de texturas | Cruz Cartajena, Juan Jesus | Queiroz, Ricardo Lopes de | Espinoza, Bruno Luiggi Macchiavello |
| 15-mai-2020 | 13-ago-2019 | Combining clause learning and resolution for multimodal reasoning | Angelos, Daniella Albuquerque dos | Nalon, Cláudia | - |
| 1-jun-2022 | 2-mar-2022 | Command and control agility : a software product line approach | Amorim, Junier Caminha | Alves, Vander Ramos | - |
| 26-jul-2021 | 5-mar-2021 | Comparação paralela de sequências biológicas em múltiplas GPUs com descarte de blocos e estratégias de distribuição de carga | Figueirêdo Júnior, Marco Antônio Caldas de | Melo, Alba Cristina Magalhães Alves de | - |
| 24-nov-2025 | 13-mar-2025 | Comparação paralela de sequências biológicas em múltiplas GPUs com mecanismo de tolerância a falhas | Soares, Filipe Maia | Melo, Alba Cristina Magalhães Alves de | - |
| 5-jan-2023 | 19-abr-2022 | Comparação paralela de sequências biológicas em plataformas de hardware uniformes e híbridas | Jorge, Carlos Antônio Campos | Melo, Alba Cristina Magalhães Alves de | - |
| 27-fev-2012 | 30-jun-2011 | Comparação paralela de sequências biológicas longas utilizando Unidades de Processamento Gráfico (GPUs) | Sandes, Edans Flávius de Oliveira | Melo, Alba Cristina Magalhães Alves de | - |
| 26-abr-2013 | 31-jan-2013 | Comparação paralela exata de sequências biológicas em plataformas híbridas de alto desempenho | Mendonça, Fernando Machado | Melo, Alba Cristina Magalhães Alves de | - |
| 16-nov-2009 | 20-mar-2006 | Comparação paralela exata de seqüências biológicas longas com uso limitado de memória | Batista, Rodolfo Bezerra | Melo, Alba Cristina Magalhães Alves de | - |
| 17-jul-2023 | - | Computational resource allocation in fog computing : a comprehensive survey | Bachiega Junior, João; Costa, Breno Gustavo Soares da; Carvalho, Leonardo Rebouças de; Rosa, Michel Junio Ferreira; Araújo, Aletéia Patrícia Favacho de | - | - |
| 20-jan-2016 | 27-nov-2015 | Comunicação cooperativa : uma alternativa para a resiliência em redes ad hoc sem fio | Afonseca, Ulisses Rodrigues | Bordim, Jacir Luiz | - |
| 2-abr-2020 | 5-ago-2019 | Conjunto de heurísticas de usabilidade para avaliação de aplicações móveis em smartphones | Costa, Ruyther Parente da | Canedo, Edna Dias | - |
| 11-abr-2014 | 28-ago-2013 | Conversão de vídeo 2D para 3D em filmagens panorâmicas de futebol | Chavez Cabrera, Maria Laura | Queiroz, Ricardo Lopes de | Espinoza, Bruno Luiggi Macchiavello |
| 14-fev-2014 | jul-2013 | Coprojeto de um decodificador de áudio AAC-LC em FPGA | Sampaio, Renato Coral | Jacobi, Ricardo Pezzuol | Berger, Pedro de Azevedo |
| 18-dez-2024 | 27-jun-2024 | Core switching paradigms in multi-core elastic optical networks | Brasileiro, Ítalo Barbosa | Drummond, André Costa | - |
| 18-set-2012 | 4-abr-2012 | Criação e manipulação de áudio 3D em tempo real utilizando unidades de processamento gráfico (GPU) | Gomes, Diego Augusto Rodrigues | Berger, Pedro de Azevedo | - |
| 9-abr-2020 | 20-ago-2019 | CUDA-Parttree : estratégia paralela em GPU para alinhamento múltiplo heurístico de milhares de sequências | Razzolini, Cainã Felipe Bento | Melo, Alba Cristina Magalhães Alves de | - |
| 23-jul-2013 | 27-mar-2013 | Decisão colaborativa com utilização de Teoria dos Jogos para o sequenciamento de partidas em aeroportos | Ribeiro, Vitor Filincowsky | Weigang, Li | - |
| 11-jan-2022 | 4-nov-2021 | Deep Active Learning Approaches to the task of Named Entity Recognition | Silva Neto, José Reinaldo da Cunha Santos Aroso Vieira da | Faleiros, Thiago de Paulo | - |
| 16-dez-2022 | 23-set-2022 | Deep learning & remote sensing : pushing the frontiers in image segmentation | Carvalho, Osmar Luiz Ferreira de | Borges, Díbio Leandro | - |
| 3-set-2021 | 31-mai-2021 | Deep Vacuity : detecção e classificação automática de padrões com risco de conluio em dados públicos de licitações de obras | Lima, Marcos Cavalcanti | Vidal, Flávio de Barros | - |
| 29-mar-2021 | 26-nov-2020 | Definição de um modelo orientado as necessidades do usuário para a definição, priorização e otimização de indicadores | Almeida, Frederico Viana | Canedo, Edna Dias | - |
| 14-mai-2015 | 27-fev-2015 | Dependability verification for contextual/runtime goal modelling | Mendonça, Danilo Filgueira | Rodrigues, Genaína Nunes | - |
| 5-jan-2010 | 17-set-2007 | Desenvolvimento de hardware reconfigurável dedicado para suporte ao alinhamento de seqüencias | Silva, Fábio Vinícius Pinto e | Jacobi, Ricardo Pezzuol | Melo, Alba Cristina Magalhães Alves de |
| 24-nov-2025 | 7-mai-2025 | Desenvolvimento de um mecanismo integrado para a detecção e mitigação de ataques DDoS em redes definidas por software | Carvalho, Ranyelson Neres | Bordim, Jacir Luiz | - |
| 31-mar-2014 | 26-jun-2013 | Detecção de adulterações espaciais e temporais em vídeos digitais utilizando o algoritmo de marca d’água por modulação do índice de quantização | Rigoni, Ronaldo | Farias, Mylène Christine Queiroz de | - |
| 13-ago-2024 | 26-mai-2023 | Detecção e resolução de conflitos em ATM utilizando modelagens de trajetórias 4D baseadas em banco de dados NoSQL e algoritmos de busca | Monteiro, Lucas Borges | Weigang, Li | - |
| 20-fev-2018 | 28-set-2017 | Distinguishing long non-coding RNAs from protein coding transcripts based on machine learning techniques | Schneider, Hugo Wruck | Walter, Maria Emília Machado Telles | - |
| 16-jan-2020 | 24-jun-2019 | Diversidade em Replicação Máquina de Estados | Costa, Caio Yuri da Silva | Alchieri, Eduardo Adilio Pelinson | - |
| 17-mar-2025 | 28-jan-2025 | Do abstrato ao concreto : uma ferramenta para implementação de requisitos éticos em inteligência artificial através de histórias de usuário | Borba, João Gabriel Rossi de | Canedo, Edna Dias | - |
| 13-ago-2024 | 7-jul-2023 | DogeFuzz : um framework extensível para estudos de fuzzing na análise dinâmica de Smart Contracts | Medeiros, Ismael Coelho | Almeida, Rodrigo Bonifácio de | - |
| 22-nov-2021 | 29-jul-2021 | Domain-specific datasets for document classification and named entity recognition | Araujo, Pedro Henrique Luz de | Campos, Teófilo Emídio de | - |
| 15-jan-2019 | 12-jul-2018 | A Domain-Specific Modeling approach supporting technology-oriented experiments | Silva, Eneias Cordeiro da | Alves, Vander Ramos | Melo, Alba Cristina Magalhães Alves de |
| 2-jul-2020 | 11-fev-2020 | DoSSEC : proposta de detecção e mitigação de ataques SYN Flood em redes SDN | Carvalho, Ranyelson Neres | Bordim, Jacir Luiz | - |
| - | 11-fev-2020 | DoSSEC : proposta de detecção e mitigação de ataques SYN Flood em redes SDN | Carvalho, Ranyelson Neres | Bordim, Jacir Luiz | - |
| 16-out-2024 | 26-abr-2024 | Dynamically reconfigurable heterogeneous parallel island model | Silveira, Lucas Ângelo da | Ayala-Rincón, Mauricio | - |
| 13-set-2022 | 26-mai-2022 | Efeitos do coarsening na classificação de grafos k-partidos | Althof, Paulo Eduardo | Faleiros, Thiago de Paulo | - |
| 13-ago-2024 | 23-mar-2023 | Efficient execution of microscopy image analysis on distributed memory hybrid machines | Barreiros Júnior, Willian de Oliveira | Teodoro, George Luiz Medeiros | - |
| 26-jul-2021 | 10-mai-2021 | Eficiência energética em redes ópticas elásticas | Costa, Lucas Rodrigues | Drummond, André Costa | - |
| 5-mar-2026 | 12-dez-2025 | Enhancing large language models for portuguese language : lexical normalisation case study | Oliveira, Vinícius di | Weigang, Li | - |
| 3-out-2023 | 14-nov-2022 | Enhancing runtime monitors of cyber-physical systems using negative selection | Araújo, João Paulo Costa de | Rodrigues, Genaína Nunes | - |
| 24-nov-2025 | 10-fev-2025 | ERC4AI: uma ferramenta para classificação de requisitos éticos em IA. | Ximenes, Elizangela de Freitas | Canedo, Edna Dias | - |
| 15-abr-2011 | 23-set-2010 | Escalonamento de tarefas no ambiente do Peer-to-peer do BIOFOCO III | Tedesque, José Carlos | Walter, Maria Emília Machado Telles | - |
| 25-mar-2013 | 10-dez-2012 | Especificação e verificação formais de boa-formação em linha de produtos de processo de negócio | Machado, Giselle Barbosa Gomes | Alves, Vander Ramos | Gheyi, Rohit |
| 4-abr-2017 | 2016 | Estratégia de web cache utilizando redes P2P de clientes sobre WebRTC | Paula Filho, Carlos Botelho de | Jacobi, Ricardo Pezzuol | - |
| 19-jan-2011 | 25-out-2010 | Estratégia distribuída híbrida em cluster multicore heterogêneo para alinhamento múltiplo de sequencias biológicas com o dialign-tx | Macedo, Emerson de Araújo | Melo, Alba Cristina Magalhães Alves de | Pfischer, Gerson Henrique |
| 20-mai-2013 | 28-ago-2012 | Estratégia paralela exata para o alinhamento múlltiplo de sequências biológicas utilizando Unidades de Processamento Gráfico (GPU) | Lima, Daniel Sundfeld | Melo, Alba Cristina Magalhães Alves de | - |
| 2009 | 2009 | Estratégia paralela para alinhamento múltiplo de sequências com algoritmo genético multi-ilha | Miranda, Lídia Araujo | Melo, Alba Cristina Magalhães Alves de; Correa, Jan Mendonça | - |
| 20-fev-2017 | 18-nov-2016 | Estratégias comutativas para análise de confiabilidade em linha de produtos de software | Castro, Thiago Mael de | Alves, Vander Ramos | Teixeira, Leopoldo Motta |
| 13-ago-2024 | 30-jun-2023 | Estratégias de recuperação para planejamento multiagente em ambientes dinâmicos | Moreira, Leonardo Henrique | Ralha, Célia Ghedini | - |
| 4-mar-2009 | abr-2007 | Um estudo de limpeza em base de dados desbalanceada e com sobreposição de classes | Machado, Emerson Lopes | Ladeira, Marcelo | - |
| 12-mar-2021 | 30-set-2020 | Um estudo em unificação e desunificação módulo | Arshid, Mehwish | Ayala-Rincón, Mauricio | - |
| 24-nov-2025 | 20-fev-2025 | Estudo sobre redes neurais de grafos bipartidos com palavra-chave e atenção para classificação transdutiva de texto | Oliveira, Vitor Vasconcelos de | Faleiros, Thiago de Paulo | - |
| 17-mar-2022 | 19-nov-2021 | Evolution-aware product-line reliability analysis | Sena, Tobias Astoni | Alves, Vander Ramos | - |
| 17-mar-2025 | 27-nov-2024 | Evolution-aware static analysis of software product lines | Worm, Bruno Matissek | Alves, Vander Ramos | - |
| 12-abr-2016 | 29-jan-2016 | Execução eficiente do padrão de propagação de ondas irregulares na arquitetura Many Integrated Core | Gomes, Jeremias Moreira | Teodoro, George Luiz Medeiros | - |
| 29-jul-2013 | 29-nov-2012 | Expansibilidade em cálculos de substituições explícitas | Silva, Fábio Henrique da | Ayala-Rincón, Mauricio | Ventura, Daniel Lima |
| 5-mar-2026 | 1-dez-2025 | Explorando estratégias baseadas em invariantes de grafos para o posicionamento de servidores de fog | Alves, Palton Lima | Marotta, Marcelo Antonio | - |
| 24-nov-2025 | 25-ago-2025 | Explorando Large Language Models para a geração de requisitos de software a partir de issues em projetos de código aberto | Paiva, Guilherme Pereira | Canedo, Edna Dias | - |
| 30-ago-2021 | 22-jun-2021 | Exploring ethical requirements elicitation for applications in the context of AI | Cerqueira, José Antonio Siqueira de | Canedo, Edna Dias | - |
| 13-ago-2024 | 28-fev-2023 | Exploring relevant features of colorectal cancer from clinical and biological data : a bioinformatics approach | Vieira, Lucas Maciel | Walter, Maria Emília Machado Telles | - |
| 12-jun-2020 | 2-out-2019 | Extração e evolução de linhas de produtos de software usando Delta-Oriented Programming : um relato de experiência | Souza, Leomar Camargo de | Almeida, Rodrigo Bonifácio de | - |
| 2023 | - | FaaS-Oriented Node.js applications in an RPC approach using the Node2FaaS framework | Carvalho, Leonardo Rebouças de; Araújo, Aletéia Patricia Favacho de | - | - |
| 28-jul-2020 | 2-mar-2020 | FDT-MAC e FDMR-MAC : protocolos de controle de acesso ao meio projetados para explorar o potencial das comunicações full-duplex | Guimarães, Lucas de Melo | Bordim, Jacir Luiz | - |
| 15-fev-2018 | 29-set-2017 | Feature-family-based reliability analysis of software product lines | Martins Lanna, André Luiz Peron | Alves, Vander Ramos | Rodrigues, Genaína Nunes |
| - | 27-jan-2020 | Feature-Trace : an approach to generate operational profile and to support regression testing from BDD features | Barbosa, Rafael Fazzolino Pinto | Rodrigues, Genaína Nunes | - |
| 30-jul-2012 | 17-fev-2012 | Ferramenta de simulação com abordagem de sistema multiagente para a dinâmica de uso da terra | Abreu, Carolina Gonçalves | Ralha, Célia Ghedini | - |
| 27-fev-2013 | 8-jun-2010 | Ferramenta de visualização interativa de comparação entre múltiplos genomas para a identificação de Sintenias | Coimbra, Rodrigo Carneiro Munhoz | Walter, Maria Emília Machado Telles | - |
| 25-abr-2019 | 31-jul-2018 | Ferramentas de apoio a experimentos : um mapeamento sistemático | Lima, Ricardo de | Alves, Vander Ramos | - |
| 24-nov-2025 | 28-abr-2025 | FFACT : a fix-based domain-specific language based on a Functional Algebra for Continuous Time Modeling | Rocha, Eduardo Lemos | Silva, Eduardo Peixoto Fernandes da | Guimarães, José Edil |
| 16-mai-2016 | 22-mar-2016 | Fickett-CUDAlign : comparação paralela de sequências biológicas com estratégia multi-bloco de faixas ajustáveis | Silva, Gabriel Heleno Gonçalves da | Melo, Alba Cristina Magalhães Alves de | - |
| 17-out-2014 | 18-jul-2014 | Flexibilidade em linhas de produtos dinâmicas cientes de qualidade : uma abordagem baseada em linguagens específicas de domínio | Pessoa, Leonardo Monteiro | Alves, Vander Ramos | - |
| 4-mai-2015 | 22-ago-2014 | Formalização da automação da terminação através de grafos com matrizes de medida | Avelar, Andréia Borges | Ayala-Rincón, Mauricio | - |
| 2008 | 2008 | Uma formalização da teoria de reescrita em linguagem de ordem superior | Galdino, André Luiz | Ayala-Rincón, Mauricio | - |
| 27-abr-2017 | 2-mar-2017 | Formalização da terminação de especificações funcionais | Ramos, Thiago Mendonça Ferreira | Ayala-Rincón, Mauricio | - |
| 17-mar-2025 | 8-out-2024 | A framework for automated parallel execution of scientific multi-workflow applications in the cloud with work stealing | Silva, Helena Schubert da Incarnação Lima da | Melo, Alba Cristina Magalhães Alves de | - |
| 24-nov-2025 | 11-ago-2025 | Framework híbrido com aprendizado de máquina profundo para desambiguação de nomes de autores | Rodrigues, Natan de Souza | Ralha, Célia Ghedini | - |
| 9-abr-2021 | 5-nov-2020 | Framework Node2FaaS : uma abordagem eficiente para conversão automática de aplicações NodeJS para Function as a Service | Carvalho, Leonardo Rebouças de | Von Paumgartten, Aletéia Patrícia Favacho de Araújo | - |
| 24-nov-2025 | 26-mar-2025 | A framework of memoization and variational lift using interpreters | Vieira, Tayná Larissa Fischer | Alves, Vander Ramos | - |
| 5-abr-2011 | 24-jun-2010 | Framework P2P para execução de tarefas bag-of-tasks com múltiplas políticas de alocação em ambientes distribuídos heterogêneos | Leite, Alessandro Ferreira | Melo, Alba Cristina Magalhães Alves de | - |
| 21-jun-2011 | 14-out-2010 | Framework para execução adaptativa e tolerante a falhas de workflows em grid | Guimarães, Felipe Pontes | Melo, Alba Cristina Magalhães Alves de | - |
| 13-ago-2024 | 13-abr-2023 | GeMGF : Generic Multimodal Gradient-Based Meta Framework | Enamoto, Liriam Michi | Weigang, Li | - |
| 30-set-2015 | 5-mar-2010 | Geração automática de ontologias para a web semântica | Bravo, Carlos de Oliveira | Ralha, Célia Ghedini | - |
| 21-dez-2016 | 26-jun-2015 | Gerenciamento de dados de proveniência de workflow de bioinformática com banco de dados baseados em grafo | Almeida, Rodrigo Pinheiro de | Holanda, Maristela Terto de | - |
| 5-jun-2019 | 25-jul-2018 | Gerenciamento de proveniência de dados de workflows de bioinformática em ambiente de nuvem computacional | Tedesque, Fernanda Hondo | Holanda, Maristela Terto de | Araújo, Aletéia Patrícia Favacho de |
| 1-abr-2020 | 3-jul-2019 | Gerenciamento de proveniência de dados de workflows de bioinformática em ambiente de nuvens federadas | Oliveira, Polyane Wercelens de | Holanda, Maristela Terto de | Araújo, Aletéia Patrícia Favacho de |
| 10-abr-2013 | dez-2012 | Gerência de variabilidade em modelos de confiabilidade para linha de produtos de software | Nunes, Vinicius Uriel Cardoso | Alves, Vander Ramos | Rodrigues, Genaína |
| 11-mar-2020 | 11-jul-2019 | A goal-oriented approach to support the assurance process of self-adaptive systems under uncertainty | Solano, Gabriela Félix | Rodrigues, Genaína Nunes | - |
| 1-jun-2022 | 11-mar-2022 | Grammar compression by induced suffix sorting | Nunes, Daniel Saad Nogueira | Ayala-Rincón, Mauricio | Navarro, Gonzalo |
| 17-set-2007 | 17-set-2007 | GrAMoS : serviço para a monitoração de acordos em Grid | Scorsatto, Glauber | Melo, Alba Cristina Magalhães Alves de | - |
| 13-ago-2024 | 27-abr-2023 | Guide for elicitation techniques applied to Agile software development | Mesquita, Rodrigo Pereira de | Canedo, Edna Dias | - |
| 3-set-2021 | 21-jun-2021 | H-calculus : session types for hardware analysis and well-definedness | Sá, Luiz Gustavo Soares de | Jacobi, Ricardo Pezzuol | Medeiros, José Edil Guimarães de |
| 15-out-2012 | 21-jun-2012 | Hephaestus-PL : uma linha de produtos de ferramentas para linha de produtos de software | Turnes, Lucinéia | Alves, Vander Ramos | Almeida, Rodrigo Bonifácio de |
| dez-2022 | - | Heuristic once learning for image & text duality information processing | Li, Weigang; Martins, Luiz; Ferreira, Nikson; Miranda, Christian; Althoff, Lucas; Pessoa, Walner; Farias, Mylenè; Jacobi, Ricardo; Rincon, Mauricio | - | - |
| 24-nov-2025 | 28-ago-2025 | A hierarchical domain adaptation method in neural language models - with application to taxonomy-aware linear B-cell epitope prediction | Leite, Lindeberg Pessoa | Campos, Teófilo Emídio de | Pinto, Felipe Campelo França |
| 24-nov-2025 | 21-jul-2025 | Holistic and local representation learning for online signature verification | Almeida, João Pedro Felix de | Freitas, Pedro Garcia | Espinoza, Bruno Luiggi Macchiavello |
| 23-nov-2023 | 31-jan-2023 | Human factors in the design of chatbot interactions : conversational design practices | Silva, Geovana Ramos Sousa | Canedo, Edna Dias | - |
| 1-mai-2012 | 28-jun-2011 | Identificação de comunicado de ocorrência de perdas em seguro agrícola utilizando algoritmos de inteligência artificial | Ramos, Rafael Marconi | Ladeira, Marcelo | - |
| 22-jun-2012 | 9-mar-2012 | Identificação de RNA não codificador utilizando redes neurais artificiais de treinamento não supervisionado | Silva, Tulio Conrado Campos da | Berger, Pedro de Azevedo | - |
| 20-dez-2012 | 24-ago-2012 | Identificação de RNAs não-codificadores por modelos de covariância com prioris Dirichlet adaptadas a grupos de ncRNAs com estruturas secundárias similares = Identifying non-coding RNAs using covariance models with Dirichlet priors specific to groups of ncRNAs of similar secondary structures | Lessa, Felipe Almeida | Walter, Maria Emília Machado Telles | Martins Neto, Daniele da Silva Baratela |
| 6-dez-2016 | 29-jan-2016 | Identificação de snoRNAs usando aprendizagem de máquina | Oliveira, João Victor de Araujo | Walter, Maria Emília Machado Telles | - |
| 13-ago-2024 | 20-dez-2023 | Impact of alignment edits on the user experience of 360-degree videos. | Althoff, Lucas dos Santos | Farias, Mylène Christine Queiroz de | - |
| 17-mar-2022 | 23-nov-2021 | Os impactos da pandemia da Covid-19 nos projetos de software de código aberto | Okimoto, Marcio Vinicius | Canedo, Edna Dias | - |
| 12-mar-2019 | 31-jul-2018 | Influência das Razões Foto Antropométricas no processo de reconhecimento facial biométrico em norma frontal em imagens digitais | Bicalho, Gustavo Carneiro | Vidal, Flávio de Barros | - |
| 11-abr-2018 | 24-nov-2017 | Integrating data mining into contextual goal modeling to tackle context uncertaintiesat design time | Farias, Arthur José Rodrigues | Rodrigues, Genaína Nunes | - |
| 3-mai-2021 | 18-dez-2020 | Investigando o desempenho de métodos de Aprendizado de Máquina para predição de RNAs não-codificadores utilizando construção in silico de dados artificiais | Costa, Mirele Carolina Souza Ferreira | Walter, Maria Emília Machado Telles | - |
| 14-mar-2016 | 15-dez-2015 | Jogos ubíquos reconfiguráveis : da concepção à construção | Buzeto, Fabricio Nogueira | Jacobi, Ricardo Pezzuol | - |
| 7-abr-2016 | 20-ago-2015 | Ligação de entidades : uma nova abordagem para ligação de conceitos concretos com entidades Wiki utilizando modelos de espaço vetorial | Monteiro, Lucas Borges | Weigang, Li | - |
| 27-fev-2024 | - | A lightweight and enhanced model for detecting the Neotropical brown stink bug, Euschistus heros (Hemiptera: Pentatomidae) based on YOLOv8 for soybean fields | Lima, Bruno Pinheiro de Melo; Borges, Lurdineide de Araújo Barbosa; Hirose, Edson; Borges, Díbio Leandro | - | - |
| 20-mai-2013 | 17-dez-2012 | Linha de produtos de software dinâmica direcionada por qualidade : o caso de redes de monitoração do corpo humano | Fernandes, Paula Gabriela de Medeiros | Alves, Vander Ramos | Rogrigues, Genaína |
| 28-abr-2025 | 19-dez-2024 | Lossless intra compression of point cloud geometry based on S3D coder using threads and block decomposition | Komatsu, Otho Teixeira | Silva, Eduardo Peixoto Fernandes da | - |
| 9-jul-2020 | 13-dez-2019 | A Machine-Verified Theory of commuting strategies for product-line reliability analysis | Castro, Thiago Mael de | Alves, Vander Ramos | - |
| 29-nov-2011 | 8-mar-2009 | MADIK : uma abordagem multiagente para o exame pericial de sistemas computacionais | Hoelz, Bruno Werneck Pinto | Ralha, Célia Ghedini | - |
| 4-fev-2016 | 5-ago-2015 | MASA-OpenCL : comparação paralela de sequências biológicas longas em GPU | Figueirêdo Júnior, Marco Antônio Caldas de | Melo, Alba Cristina Magalhães Alves de | - |
| 19-mar-2021 | 24-set-2020 | Masa-StarPU : estratégia com múltiplas políticas de escalonamento de tarefas para alinhamento de sequências com pruning | Lopes, Rafael Alvares da Silva | Melo, Alba Cristina Magalhães Alves de | - |
| 25-jan-2016 | 29-abr-2015 | Matching estável para tomada de decisão colaborativa na alocação de slots | Arruda Junior, Antonio Carlos de | Weigang, Li | - |
| 3-jan-2012 | 21-jul-2011 | Mecanismo de negociação de auditor de QoS para grades baseado em WS-Agreement | Silva, Alisson Wilker Andrade | Melo, Alba Cristina Magalhães Alves de | - |
| 13-ago-2024 | 31-jan-2023 | Melhorando a qualidade da maquina de tradução Chinês para Português com RoBERTa | Ruizhe, Guo | Weigang, Li | - |
| 18-dez-2024 | 21-jul-2023 | Melhorando a segurança de programas numéricos | Ferreira, Nikson Bernardes Fernandes | Rincon, Maurício Ayala | Moscato, Mariano Miguel |
| 26-nov-2014 | 18-dez-2013 | Melhoria de modelos de processo de negócio com mineração de processos e simulação baseada em agentes | Szimanski, Fernando | Ralha, Célia Ghedini | Ferreira, Diogo R. |
| 13-ago-2024 | 30-ago-2023 | Meta aprendizado para detecção de mudança de conceito não supervisionada | Melo, Fernanda Amaral | Garcia, Luís Paulo Faina | - |
| 5-mar-2026 | 18-dez-2025 | Metodologia para produção de inteligência de ameaça acionável em nível tático | Santos, Paulo Roberto da Paz Ferraz | Drummond, André Costa | - |
| 15-abr-2013 | 28-jul-2009 | Metodologia para recomendação de consultores ad-hoc baseada na extração de perfis do currículo Lattes | Bastos, Weliton Moreira | Ladeira, Marcelo | - |
| 12-abr-2018 | 12-dez-2017 | Método baseado em aprendizado de máquina para seleção de características para distinção entre RNAs não-codificadores longos e RNAs codificadores de proteínas | Kümmel, Bruno Couto | Walter, Maria Emília Machado Telles | - |
| 7-out-2015 | 2010 | Método de aprendizagem por esforço no sistema bioagents | Schneider, Hugo Wruck | Ralha, Célia Ghedini | Walter, Maria Emilia Machado Telles |
| 4-jan-2017 | 21-jul-2016 | Método de mineração de processos para auxílio à tomada de decisão : um estudo de caso no controle de férias | Gandulfo, Pablo Ignacio | Ralha, Célia Ghedini | - |
| 2-dez-2014 | 25-jul-2014 | Método para reconstrução in silico de redes metabólicas de fungos : um estudo de caso para o Paracoccidioides lutzii | Silva, Waldeyr Mendes Cordeiro da | Walter, Maria Emília Machado Telles | - |
| 22-ago-2018 | 1-mar-2018 | Métodos baseados em aprendizagem de máquina para distinguir RNAs longos não-codificadores intergênicos de transcritos codificadores de proteínas | Vieira, Lucas Maciel | Walter, Maria Emília Machado Telles | - |
| 13-ago-2024 | 19-jun-2023 | Métodos para cálculo de razão de verossimilhança para utilização de sistemas de reconhecimento facial em cenários forenses | Ribeiro, Rafael Oliveira | Vidal, Flávio de Barros | - |
| 3-out-2014 | 13-dez-2013 | Métricas de qualidade para sinais áudio-visuais | Becerra Martinez, Helard | Farias, Mylène Christine Queiroz de | - |
| 11-fev-2009 | mar-2008 | Mineração de dados em base de germoplasma | Hiragi, Gilberto de Oliveira | Ladeira, Marcelo | - |
| 28-fev-2023 | - | Mission specification and decomposition for multi-robot systems | Gil, Eric Bernd; Rodrigues, Genaína Nunes; Pelliccione, Patrizio; Calinescu, Radu | - | - |
| 25-jun-2012 | 8-mar-2012 | Modelagem de apoio à decisão para o problema de espera no ar utilizando sistemas multiagentes e aprendizagem por reforço | Cruciol, Leonardo Luiz Barbosa Vieira | Weigang, Li | - |
| 11-jun-2010 | 9-nov-2006 | Modelagem de aprendizagem por reforço e controle em nível meta para melhorar a performance da comunicação em gerência de tráfego aéreo | Alves, Daniela Pereira | Weigang, Li | - |
| 9-ago-2012 | 9-mar-2012 | Modelagem de influência de sócios das redes sociais pelos PageRank e Índice W-Entropia | Zheng, Jianya | Weigang, Li | - |
| 18-mai-2021 | 10-dez-2019 | Um modelo adaptativo de objetos para modelos conceituais baseados em UFO | Vieira Filho, Jideão José | Canedo, Edna Dias | - |
| 18-fev-2019 | 20-jul-2018 | Modelo baseado em agentes com uso de confiança e reputação para seleção de supernós em fog computacional | Ferreira, Thiago Milo Simões | Ralha, Célia Ghedini | - |
| 13-ago-2024 | 10-mar-2023 | Modelo contextual de negociação no mercado de ações brasileiro com algoritmo de aprendizado por reforço profundo | Oliveira, Matheus Schmitz | Rocha Filho, Geraldo Pereira | - |
| 13-jun-2008 | 13-jun-2008 | Modelo de balanceamento com multi-fluxos para aplicação em gerenciamento de tráfego aéreo | Souza, Bueno Borges de | Weigang, Li | - |
| 30-jul-2012 | 1-mar-2012 | Modelo de dados para um Pipeline de seqüenciamento de alto desempenho transcritômico | Huacarpuma, Ruben Cruz | Holanda, Maristela Terto de | - |
| 27-nov-2012 | 30-mar-2012 | Modelo de interoperabilidade semântica aplicado ao domínio da saúde : um estudo de caso na vigilância alimentar e nutricional | Gaete, Rodrigo André Cuevas | Ralha, Célia Ghedini | - |
| 7-mar-2018 | 30-nov-2017 | Modelo de planejamento multiagente com verificação, transformação e validação de planos | Moreira, Leonardo Henrique | Ralha, Célia Ghedini | - |
| 12-set-2017 | 30-jun-2017 | Um modelo de planejamento multiagente para a gestão das operações em solo nos aeroportos | Kabongo, Patrick Cisuaka | Weigang, Li | - |
| 3-out-2012 | 13-jul-2012 | Modelo de reputação e ontologia aplicados à rede social científica do ObserveUnB | Guerra, Gabriela Netto | Ralha, Célia Ghedini | - |
| 7-dez-2006 | 7-dez-2006 | Modelo híbrido de programação paralela para uma aplicação de elasticidade linear baseada no método dos elementos finitos | Silva, Leonardo Nunes da | Pfitscher, Gerson Henrique | - |
| 28-mar-2019 | 15-ago-2018 | Modelo multi-estratégico de tolerância a falhas para ambiente de nuvem federada | Gomes, Jefferson Chaves | Araújo, Aletéia Patrícia Favacho de | - |
| 5-set-2016 | 25-jul-2016 | Modelos de comunicação cooperativa e equidade no consumo de energia em enlaces cooperativos aplicados à RSSF | Rêgo, Camila Feitosa | Bordim, Jacir Luiz | - |
| 3-mai-2022 | 16-fev-2022 | A multi-agent architecture applying trust and reputation over unknown partners for live video distributed transcoding in open environments | Costa, Charles Antônio Nascimento | Costa, Charles Antônio Nascimento | - |
| 13-ago-2024 | 1-fev-2024 | A multi-robot system architecture with multi-agent planning | Silva, Carlos Joel Tavares da | Ralha, Célia Ghedini | - |
| 17-dez-2015 | 10-jul-2015 | ncRNA-Agents : anotação de RNAs não-codificadores baseada em sistema multiagente | Arruda, Wosley da Costa | Walter, Maria Emília Machado Telles | - |
| 5-out-2017 | 10-mar-2017 | No-reference video quality assessment model based on artifact metrics for digital transmission applications | Silva, Alexandre Fieno da | Farias, Mylène Christine Queiroz de | - |
| 27-set-2019 | 20-fev-2019 | Nominal equational problems modulo associativity, commutativity and associativity-commutativity | Carvalho Segundo, Washington Luís Ribeiro de | Ayala-Rincón, Mauricio | Fernández, Maribel |
| 17-mar-2017 | 24-nov-2016 | NoSQL2 : administrando banco de dados NoSQL com a linguagem SQL | Souza, Jane Adriana | Holanda, Maristela Terto de | - |
| 1-fev-2024 | 25-jun-2019 | A novel approach for conflict detection and resolution for trajectory-based operations in 4D-navigation using NoSQL databases and local search algorithms | Ribeiro, Vitor Filincowsky | Weigang, Li | - |
| 9-set-2022 | 31-mai-2022 | Um novo algoritmo 1.375-aproximativo baseado em grupos de permutações para o Problema da Ordenação por Transposições | Silva, Luiz Augusto Garcia da | Walter, Maria Emília Machado Telles | - |
| 9-dez-2013 | 6-set-2013 | O problema da dedução do intruso para teorias AC-convergentes localmente estáveis | Nantes Sobrinho, Daniele | Ayala-Rincón, Mauricio | Fernández, Maribel |
| 4-nov-2021 | 9-jul-2021 | On Termination by Dependency Pairs and Termination of First-Order Functional Specifications in PVS | Almeida, Ariane Alves | Ayala-Rincón, Mauricio | Muñoz, César Augusto |
| 2023 | - | On the behavior of parallel island models | Silveira, Lucas Ângelo da; Lima, Thaynara Arielly de; Barros, Jessé Barreto de Barros; Soncco-Álvarez, José Luis; Llanos Quintero, Carlos Humberto; Ayala-Rincón, Mauricio | - | - |
| 24-nov-2025 | 12-mai-2025 | On the effectiveness of the mining Android sandbox approach for malware detection | Costa, Francisco Handrick Tomaz da | Almeida, Rodrigo Bonifácio de | - |
| 8-nov-2012 | 29-jun-2012 | Ordenação de sequências finitas por reversões usando conjugações em grupos de permutações | Moraes, José Luiz Correa de | Ayala-Rincón, Mauricio | - |
| 2-ago-2013 | 25-fev-2013 | Ordenação por reversões de permutações sem sinal usando uma abordagem de algoritmos genéticos | Soncco Álvarez, José Luis | Ayala-Rincón, Mauricio | - |
| 30-mai-2016 | 29-fev-2016 | Ordenação por translocação de genomas sem sinal utilizando algoritmos genéticos | Silveira, Lucas Ângelo da | Ayala-Rincón, Mauricio | - |
| 14-dez-2006 | 14-dez-2006 | Ordenação por transposições baseado no formalismo algébrico | Santos, Héderson Pereira dos | Walter, Maria Emília Machado Telles | - |
| 24-nov-2025 | 30-mai-2025 | Otimização de esquemas NoSQL orientado a documentos : avaliação baseada em métricas e algoritmo VNS | Olivera, Harley Vera | Holanda, Maristela Terto de | - |
| 25-fev-2016 | 3-dez-2015 | Otimização de negociação dinâmica para múltiplas áreas restritas de fluxo no programa de opções de trajetórias colaborativo | Cruciol, Leonardo Luiz Barbosa Vieira | Weigang, Li | Clarke, John-Paul |
| 29-mar-2016 | 24-jun-2015 | Otimização multiobjetivo aplicada ao planejamento sistemático de conservação para espécies de plantas do cerrado brasileiro | Santos, Shana Schlottfeldt | Walter, Maria Emília Machado Telles | Carvalho, André Carlos Ponce de Leon Ferreira de |
| 27-nov-2018 | 21-jun-2018 | Otimização no custo para processamento de Big GeoSpatial Data em ambiente de nuvem computacional | Bachiega Junior, João | Araújo, Aletéia Patrícia Favacho de | Holanda, Maristela Terto de |
| 17-mar-2025 | 28-dez-2024 | P2MLF : um arcabouço para preservação de privacidade de ponta a ponta para aplicações de aprendizado de máquina | Maia, Ricardo José Menezes | Jacobi, Ricardo Pezzuol | - |
| 11-jan-2010 | 27-mar-2006 | p2pBIOFOCO : um framework Peer-to-Peer para processamento distribuido do BLAST | Ribeiro, Edward de Oliveira | Walter, Maria Emília Machado Telles | - |
| 12-dez-2014 | 9-ago-2014 | Per-pixel mirror-based measuring : um novo método para aquisição para vídeo de alta velocidade | Lima, Jonathan Alis Salgado | Farias, Mylène Christine Queiroz de | Miosso, Cristiano Jacques |
| 24-jun-2020 | 16-dez-2019 | A performance evaluation model for network function virtualisation on 5G networks | Silva, Cristoffer Leite da | Barreto, Priscila Solis | - |
| 29-set-2020 | 16-jul-2020 | Um plano de controle seguro e distribuído para redes definidas por software | Silva, Jefferson Pereira da | Alchieri, Eduardo Adilio Pelinson | - |
| 24-nov-2014 | 7-jul-2014 | Política de armazenamento de dados em nuvens federadas para dados biológicos | Gallon, Ricardo Fernandes | Holanda, Maristela Terto de | Araújo, Aletéia Patrícia Favacho de |
| 28-mar-2016 | 17-dez-2015 | Potencializando a modulação adaptativa com roteamento em múltiplos saltos em redes ópticas elásticas | Costa, Lucas Rodrigues | Drummond, André Costa | - |
| 11-out-2016 | 15-jul-2016 | PR-OWL 2 RL : um formalismo para tratamento de incerteza na web semântica | Santos, Laécio Lima dos | Weigang, Li | Ladeira, Marcelo |
| 12-jun-2021 | 4-mar-2021 | Precificação em computação em nuvem para instâncias permanentes e transientes : modelagem e previsão | Portella, Gustavo Jardim | Melo, Alba Cristina Magalhães Alves de | Rodrigues, Genaína Nunes |
| 9-jul-2021 | 10-fev-2021 | Predictive image compression using Autoencoders | Jung, Henrique Costa | Espinoza, Bruno Luiggi Macchiavello | - |
| 13-ago-2024 | 20-jul-2023 | Predição de falência utilizando dados sequenciais não estacionários em uma abordagem de fluxo de dados | Chaves, Rubens Marques | Garcia, Luís Paulo Faina | - |
| 1-abr-2022 | 12-nov-2021 | Predição de recursos para workflows científicos de bioinformática em nuvens federadas com aprendizado de máquina | Carvalho Sobrinho, Matheus de | Von Paumgartten, Aletéia Patrícia Favacho de Araújo | - |
| 4-ago-2017 | 24-fev-2017 | Predição de tempo e dimensionamento de recursos para workflows científicos em nuvens federadas | Rosa, Michel Junio Ferreira | Araújo, Aletéia Patrícia Favacho de | - |
| 22-out-2016 | 14-jul-2016 | Preenchimento de buracos em síntese de vista baseado em mapa de profundidade | Silva, Ennio Willian Lima | Espinoza, Bruno Luiggi Macchiavello | Dórea, Camilo Chang |
| 26-set-2017 | 17-jul-2017 | Processamento de mapas de profundidade para codificação e síntese de vídeo | Júlio, Gizele Fernanda Abdon | Dórea, Camilo Chang | - |
| 11-mar-2019 | 30-jul-2018 | Projeto de circuitos digitais sequenciais por algoritmos baseados em programação genética cartesiana em FPGA | Oliveira, Vitor Coimbra de | Bordim, Jacir Luiz | Lamar, Marcus Vinícius |
| 13-ago-2024 | 12-jul-2023 | ProjPlag: uma aplicação para auxiliar o processo de detecção de plágio em cursos introdutórios de programação | Aniceto, Rodrigo Cardoso | Holanda, Maristela Terto de | - |
| 5-nov-2014 | 27-jun-2014 | Proposta de gerenciamento de risco aplicado ao processo de registro e cadastro dos profissionais de enfermagem no sistema Cofen/Coren segundo a norma ABNT NBR ISO 31000 | Cruz, Matheus Moreira | Souza, João Carlos Félix | Silva, João Mello da |
| 15-jul-2013 | 22-fev-2013 | Proposta de técnicas para reserva de canal e atenuação do problema de surdez de antenas em comunicações direcionais | Guimarães, Lucas de Melo | Bordim, Jacir Luiz | - |
| 13-ago-2024 | 22-set-2023 | Proposta de um protocolo de disseminação de mensagens em redes veiculares Ad Hoc para aplicações sensíveis à acurácia de posicionamento | Farias, Paulo Victor Gonçalves | Bordim, Jacir Luiz | - |
| 24-nov-2025 | 28-mar-2025 | Uma Proposta para a Descoberta e para a Alocação de Recursos Computacionais em Fog Computing | Bachiega Junior, João | Von Paumgartten, Aletéia Patrícia Favacho de Araújo | - |
| 30-out-2014 | 22-jan-2014 | Proposta para alocação de canais e para comunicação cooperativa em redes Ad Hoc | Neves, Thiago Fernandes | Bordim, Jacir Luiz | - |
| 15-out-2012 | 9-fev-2012 | Prospecção de marcadores moleculares sexo-específicos e análise de estrutura populacional de pirarucu (Arapaima gigas) na região de Santarém, Pará | Almeida, Iassudara Garcia de | Caetano, Alexandre Rodrigues | Paiva, Samuel Rezende |
| 24-out-2016 | 14-jul-2016 | Provendo múltiplas transferências de dados em massa em redes ópticas elásticas | Sousa, Léia Sousa de | Drummond, André Costa | - |
| 4-jul-2019 | 16-fev-2018 | Provendo privacidade no modelo de coordenação por Espaço de Tuplas | Sousa Junior, Edson Floriano de | Alchieri, Eduardo Adilio Pelinson | Aranha, Diego de Freitas |
| 3-abr-2013 | 11-jul-2012 | Proveniência de dados em workflows de bioinformática | Paula, Renato de | Holanda, Maristela Terto de | - |
| 25-abr-2021 | 3-dez-2020 | QualiOSM : uma arquitetura para melhorar a qualidade de dados no OpenStreetMap | Medeiros, Gabriel Franklin Braz de | Holanda, Maristela Terto de | - |
| 15-out-2010 | 29-fev-2008 | Raciocínio plausível na web semântica através de redes bayesianas multi-entidades - MEBN | Carvalho, Rommel Novaes | Ladeira, Marcelo | Costa, Paulo Cesar Guerreiro da |
| 22-out-2013 | 25-jul-2013 | Rastreamento de indivíduos em sistema de monitoramento | Oliveira, Ivo Sócrates Moraes de | Espinoza, Bruno Luiggi Macchiavello | Vidal, Flávio de Barros |
| 5-mar-2026 | 9-dez-2025 | Ready-to-update : a practical approach for mapping and prioritizing vulnerability remediation of third-party libraries | Ferreira, Wagner Emanuel da Silva | Almeida, Rodrigo Bonifácio de | - |
| 13-ago-2024 | 24-fev-2023 | Recomendação de algoritmos de detecção de ruído via meta-aprendizado | Pio, Pedro Borges | Garcia, Luís Paulo Faina | - |
| 24-nov-2025 | 22-ago-2025 | Reconhecimento de entidades nomeadas multilíngue : um estudo de Design sobre documentos acadêmicos e institucionais | Marinho, Mayara Chew | Borges, Vinícius Ruela Pereira | - |
| 13-ago-2024 | 14-dez-2023 | Reconhecimento de entidades nomeadas para conteúdo publicado em diários oficiais com base em uma abordagem de supervisão fraca | Mota, Lucélia Vieira | Faleiros, Thiago de Paulo | - |
| 6-ago-2013 | 22-fev-2012 | Reconstrução in silico da rede metabólica do fungo Paracoccidioides lutzii | Alvarez, Paulo Antonio | Walter, Maria Emília Machado Telles | - |
| 13-ago-2024 | 24-ago-2023 | Redes ópticas metropolitanas : arquiteturas e engenharia de tráfego | Sousa, Leia Sousa de | Drummond, André Costa | - |
| 21-mar-2016 | 10-jul-2015 | Redução de custo computacional em classificações baseadas em transformadas aprendidas | Machado, Emerson Lopes | Jacobi, Ricardo Pezzuol | Miosso, Cristiano Jacques |
| 13-mar-2017 | 2-dez-2016 | Replicação de dados em workflows de bioinformática usando os bancos de dados NoSQL | Lima, Iasmini Virgínia Oliveira | Holanda, Maristela Terto de | - |
| 8-dez-2021 | 17-set-2021 | Replicação máquina de estados paralela com escalonamento híbrido | Burgos, Aldênio de Vilaça | Alchieri, Eduardo Adilio Pelinson | - |
| 23-mai-2018 | 14-jul-2017 | Representação esparsa para preenchimento de buracos de expansão em sínteses de vistas baseada em profundidade | Ribeiro, Danilo Amaral | Espinoza, Bruno Luiggi Macchiavello | Dorea, Camilo Chang |
| 22-out-2019 | 25-fev-2019 | A resolution-based E-connected calculus | Amaral, Lucas de Moura | Nalon, Cláudia | - |
| 13-ago-2024 | 26-jan-2024 | Rumo à unificação nominal AC | Silva, Gabriel Ferreira | Rincon, Maurício Ayala | Fernández, Maribel |
| 4-nov-2022 | 24-jun-2022 | RVSec : Runtime verification methods for high precision detection of cryptography API misuse | Torres, Adriano Rodrigues Figueiredo | Almeida, Rodrigo Bonifácio de | - |
| 25-out-2023 | 8-dez-2022 | SCAN-NF : a machine learning system for invoice product trasaction classification through short-text processing | Kieckbusch, Diego Santos | Weigang, Li | - |
| 13-ago-2024 | 8-dez-2022 | SCAN-NF : a machine learning system for invoice product trasaction classification through short-text processing | Silva, Diego Santos da | Weigang, Li | - |
| 15-dez-2006 | 15-dez-2006 | Serviço baseado em semântica para descoberta de recursos em grade computacional | Allemand, José Nelson Costa | Ralha, Célia Ghedini | - |
| - | 5-mar-2020 | Serviços do SWIM Registry Brazil : uma nova abordagem com Blockchain | Bonomo, Igor da Silva | Weigang, Li | Borges, Vinícius R. P. |
| 26-fev-2013 | 2003 | Sistema adaptativo para web sites baseado no comportamento da formiga | Teles, Wesley Martins | Weigang, Li | Ralha, Célia Ghedini |
| 17-out-2014 | 13-mar-2014 | Sistema de recomendação dos amigos na rede social online baseado em máquinas de vetores suporte | Liu, Yang | Weigang, Li | - |
| 29-jun-2007 | 29-jun-2007 | Sistema multiagente para anotação manual em projetos de seqüenciamento de genomas | Lima, Richardson Silva | Ralha, Célia Ghedini | - |
| 5-mar-2026 | 12-set-2025 | SmartChat : exploring LLMs for initial seed generation in smart contract fuzzing with vulnerability-guided prioritization | Silva, Fausto Carvalho Marques | Almeida, Rodrigo Bonifácio de | - |
| 13-ago-2024 | 15-jun-2023 | Uma solução de segurança operacional para a mobilidade aérea urbana com aprendizado de reforço profundo | Garcia, Cristiano Perez | Weigang, Li | - |
| 26-out-2021 | 5-ago-2021 | Solução orientada a agentes inteligentes para controle glicêmico de pacientes internados em UTI | Segato, Tiago Henrique Faccio | Ralha, Célia Ghedini | - |
| 5-mar-2026 | 23-out-2025 | Sparse value flow analysis for java bytecode : an empirical assessment | Tafur, José Vicente Clavo | Almeida, Rodrigo Bonifácio de | - |
| 2007 | 2007 | Suporte a simulação distribuída em SystemC | Cantanhede, Roberto Silva | Jacobi, Ricardo Pezzuol | - |
| 6-jul-2020 | 2-abr-2020 | Técnicas para melhorar a eficiência do sensoriamento colaborativo em redes 5G para áreas remotas | Ferreira, Gabriel de Carvalho | Barreto, Priscila América Solis Mendez | - |
| 24-nov-2025 | 29-jul-2025 | Técnicas, métodos, processos, frameworks e ferramentas para elicitar requisitos de privacidade : uma revisão de literatura | Spósito, Stefano Luppi | Canedo, Edna Dias | - |
| 15-jun-2020 | 9-ago-2019 | The application of analysis filters in compressed sensing algorithms for magnetic resonance imaging reconstruction | Lima, Jonathan Alis Salgado | Farias, Mylène Christine Queiroz de | Miosso, Cristiano Jacques |
| 18-mai-2022 | 20-jan-2022 | The emergence of an information bottleneck teory of deep learning | Guth, Frederico | Campos, Teófilo Emídio de | - |
| 15-ago-2019 | 11-fev-2019 | A three layer system for audio-visual quality assessment | Becerra Martinez, Helard Alberto | Farias, Mylène Christine Queiroz de | - |
| 13-ago-2024 | 11-out-2022 | Towards complete 3D indoor scene understanding from a single point-of-view | Dourado Neto, Aloisio | Campos, Teófilo Emídio de | - |
| 17-mar-2025 | 28-out-2024 | Trace-diagnostic for signal temporal properties : an evolutionary approach | Araujo, Gabriel Frutuoso Pereira | Rodrigues, Genaína Nunes | - |
| 20-abr-2020 | 13-mai-2019 | Transferências de dados em massa sensíveis ao consumo energético em Redes Ópticas Elásticas | Miranda, Maurílio Humberto Rodrigues | Drummond, André Costa | - |
| 27-ago-2018 | 29-set-2017 | Transformações de programa para suportar a evolução da linguagem Java | Dantas, Reno Medeiros | Almeida, Rodrigo Bonifácio de | - |
| 5-mar-2026 | 16-dez-2025 | Translating extended goal models into goal management controllers in PRISM | Coelho Neto, Manoel Vieira | Rodrigues, Genaína Nunes | Vogel, Thomas |
| 14-mar-2019 | 25-jul-2018 | Transmissão progressiva de imagens sintetizadas de light field | Souza, Wallace Bruno Silva de | Machiavello, Bruno Luiggi | - |
| 16-dez-2011 | 15-jul-2011 | Tratando variabilidade em linha de processos de negócio : uma abordagem composicional | Machado, Idarlan Martins | Alves, Vander Ramos; Bonifácio, Rodrigo | - |
| 3-dez-2009 | 2007 | UbiquitOS – uma proposta de arquitetura de middleware para a adaptabilidade de serviços em sistemas de computação ubíqua | Gomes, Alexandre Rodrigues | Jacobi, Ricardo Pezzuol | - |
| 16-abr-2014 | 1-dez-2013 | Um algoritmo algébrico para o Problema da Distância de Transposição em Rearranjo de Genomas | Silva, Luiz Augusto Garcia da | Walter, Maria Emília Machado Telles | - |
| 26-nov-2009 | 19-dez-2006 | Um algoritmo para pesquisa aproximada de padrões baseado no método de Landau e Vishkin e uso de arranjos de sufixos para reduzir o uso de espaço | Miranda, Rodrigo César de Castro | Ayala-Rincón, Mauricio | - |
| 21-jun-2011 | 25-jun-2010 | Um conjunto de soluções para a construção de aplicativos de computação ubíqua | Buzeto, Fabricio Nogueira | Jacobi, Ricardo Pezzuol | - |
| 24-out-2012 | 6-jul-2012 | Um estudo sobre verificação formal de sistemas concorrentes | Queiroz, João Paulo Carvalho Colu de | Moura, Flávio Leonardo Cavalcanti de | - |
| 3-jan-2012 | 1-jul-2011 | Um framework baseado em plug-ins para raciocínio em ontologias PR-OWL 2 | Matsumoto, Shou | Ladeira, Marcelo | - |
| 31-out-2007 | 31-out-2007 | Um Framework de alinhamento ontológico entre a TI e o negócio de uma organização | Ferreira, Rafael Gostinski | Ralha, Célia Ghedini | - |
| 23-jul-2013 | 19-fev-2013 | Um framework para processamento paralelo de algoritmos de aumento de resolução de vídeos | Freitas, Pedro Garcia | Farias, Mylène Christine Queiroz de | Araújo, Aletéia Patrícia F. |
| 30-out-2013 | 17-mai-2013 | Um índice baseado em árvores de sufixos comprimidas com baixo consumo de memória | Nunes, Daniel Saad Nogueira | Ayala-Rincón, Mauricio | - |
| 21-jul-2008 | 21-jul-2008 | Um modelo baseado em inteligência artificial para a gestão do conhecimento aplicado ao processo de desenvolvimento de software | Vieira, Sandro Carlos | Weigang, Li | - |
| 29-abr-2013 | 25-jul-2012 | Um modelo para o gerenciamento de informacões de contexto baseado em ontologia | Rivera Castillo, Ana Helena Ozaki | Jacobi, Ricardo Pezzuol | Castanho, Carla Denise |
| 20-abr-2015 | 7-jan-2015 | Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crença | Vieira, Thiago Coelho | Nalon, Cláudia | - |
| 2008 | 2008 | Uma abordagem colaborativa de cache em redes ad hoc | Caetano, Marcos Fagundes | Bordim, Jacir Luiz | - |
| 26-mai-2016 | 7-ago-2015 | Uma abordagem dirigida a modelo para a geração de casos de teste baseada na detecção de cenários implícitos | Reis, Thiago Peixoto dos | Rodrigues, Genaína Nunes | - |
| 24-mar-2016 | 24-abr-2015 | Uma abordagem unificada para análise de sentimento de tweets com domínio específico | Ribeiro, Patrícia Lustosa Ventura | Weigang, Li | - |
| 22-out-2013 | 7-mar-2013 | Uma arquitetura de integração de dados espaciais : um estudo dos dados de solos e folhas dos biomas brasileiros | Olivera, Harley Vera | Holanda, Maristela Terto de | - |
| 20-mai-2015 | 15-dez-2014 | Uma ferramenta multiagente baseada em conhecimento para anotação de proteínas : um estudo de caso para o Fungo Saccharomyces cerevisiae | Souza, Daniel da Silva | Walter, Maria Emília Machado Telles | - |
| 26-jan-2011 | 19-jul-2010 | Uma formalização da composicionalidade do cálculo lambda-ex em Coq | Barros, Flávio José Ferro | Moura, Flávio Leonardo Cavalcanti de | - |
| 20-set-2016 | 18-jul-2016 | Uma investigação de relacionamentos baseados na competição entre stakeholders no comércio eletrônico utilizando teoria dos jogos | Zheng, Jianya | Weigang, Li | - |
| 31-mar-2016 | 4-set-2015 | Uma metodologia de otimização de roteamento com OSPF para tráfego de vídeo autossimilar | Garcia, Henrique Domingues | Barreto, Priscila América Solis Mendez | - |
| 27-fev-2013 | 14-dez-2006 | Uma proposta de integração de sistemas computacionais utilizando ontologias | Santos, Eluzaí Souza dos | Ralha, Célia Ghedini | - |
| 20-dez-2015 | 31-jul-2015 | Uma proposta para redução de consumo de energia em redes de sensores sem fio | Lima, Paula Letícia Santos | Barreto, Priscila América Solis Mendez | - |
| 30-jun-2020 | 30-jan-2020 | UnBGOLDProv : arquitetura de proveniência de dados para um workflow de publicação de dados abertos governamentais | Reis Júnior, Cleyton Peixoto dos | Holanda, Maristela Terto de | - |
| 1-fev-2017 | 15-set-2016 | Unificação, confluência e tipos com interseção para sistemas de reescrita nominal | Valverde, Ana Cristina Rocha Oliveira | Ayala-Rincón, Mauricio | Fernández, Maribel |
| 25-mai-2015 | 2-dez-2014 | A user-centered and autonomic multi-cloud architecture for high performance computing applications | Leite, Alessandro Ferreira | Melo, Alba Cristina Magalhães Alves de; Eisenbeis, Christine | - |
| 24-nov-2025 | 28-fev-2025 | Using AI for forecasting and trading in markets : a study of deep learning and deep reinforcement learning in finance | Souza, João Paulo Costa e | Rocha Filho, Geraldo Pereira | - |
| 19-abr-2018 | 18-out-2017 | Using texture measures for visual quality assessment | Freitas, Pedro Garcia | Farias, Mylène Christine Queiroz de | - |
| 18-mai-2015 | 20-mar-2015 | Utilização de âncoras verbais e raciocínio Fuzzy na construção de mapas estratégicos da metodologia Balanced Scorecard | Linhares, Fernando de Albuquerque | Ladeira, Marcelo | - |
| 1-abr-2019 | 31-jul-2018 | Utilização de técnicas e instruções especiais para acelerar o casamento de padrões exato e aproximado em GPU | Nunes, Lucas Saad Nogueira | Bordim, Jacir Luiz | - |
| 13-ago-2024 | 15-jun-2023 | Verificação das propriedades computacionais de um modelo funcional de primeira-ordem | Ramos, Thiago Mendonça Ferreira | Ayala-Rincón, Mauricio | Muñoz, César Augusto |
| 22-out-2014 | 4-jul-2014 | Verificação de implementações em hardware por meio de provas de correção de suas definições recursivas | Almeida, Ariane Alves | Ayala-Rincón, Mauricio | - |
| 11-mai-2011 | 13-jul-2010 | Verificação de propriedades do cálculo גex em Coq | Carvalho Segundo, Washington Luís Ribeiro de | Moura, Flávio Leonardo Cavalcanti de | - |
| 17-jul-2015 | 10-mar-2015 | Verificação de texto manuscrito em dispositivos móveis | Guerin Júnior, Nilson Donizete | Espinoza, Bruno Luiggi Macchiavello | Vidal, Flávio de Barros |
| 2008 | 2008 | Verificação formal de protocolos criptográficos – o caso dos protocolos em cascata | Nogueira, Rodrigo Borges | Ayala-Rincón, Mauricio | - |
| 15-mai-2020 | 26-jul-2019 | Verification of the Dynamic Authorization Protocol | Oliveira, Felipe Rodopoulos de | Nalon, Cláudia | - |
| 13-ago-2024 | 18-jan-2024 | Visual and textual feature fusion for document analysis | Drumond, Patrícia Medyna Lauritzen de Lucena | Campos, Teófilo Emídio de | - |
| 7-dez-2009 | 2006 | Visualização de dados genômicos do fungo Paracoccidioides brasiliensis | Ferreira, Marcos Francisco Ribeiro | Walter, Maria Emília Machado Telles | - |
| - | 18-fev-2020 | What could the source code history tell UsAbout errors | Amaral, Luis Henrique Vieira | Almeida, Rodrigo Bonifácio de | - |
