Trabalhos

Trabalhos do Programa de Pós-Graduação em Ciência da Computação

Data de defesa	Título	Aluno	Orientador	Nível
24/05/2023	Canais de Amplificação: O Papel da Retroalimentação no Viés de Sistemas de Recomendação	Caio Truzzi Lente	Roberto Hirata Junior	Mestrado
16/05/2023	Interação pelo olhar em computação vestível	Carlos Eduardo Leão Elmadjian	Carlos Hitoshi Morimoto	Doutorado Direto
04/05/2023	Um Modelo de Classicação de Documentação para Novatos em Projetos de Software Livre	Luiz Felipe Fronchetti Dias	Marco Aurélio Gerosa	Mestrado
17/04/2023	Métodos de duas fases para segmentar áreas construídas ao redor de reservatórios	Nayereh Hamidishad	Roberto Marcondes Cesar Junior	Doutorado Direto
14/04/2023	Análise da distribuição geográfica de doenças causadoras de óbitos na cidade de São Paulo utilizando aprendizado de máquina.	Giovana Martinelli	Fabio Kon	Mestrado
11/04/2023	Seleção de Modelos para Campos Aleatórios de Markov	Rodrigo Ribeiro Santos de Carvalho	Florencia Graciela Leonardi	Mestrado
03/03/2023	Segmentação de imagens baseada em grafos com modelos de forma e restrições de banda local	Caio de Moraes Braz	Paulo Andre Vechiatto de Miranda	Doutorado
13/02/2023	Compromissos arbitrários entre custo e probabilidade à meta e algoritmo de busca heurística em planejamento probabilístico sob o critério GUBS	Gabriel Nunes Crispino	Karina Valdivia Delgado	Mestrado
31/01/2023	Uma conjectura de Erdős e Hajnal	Rodrigo Aparecido Enju	Yoshiharu Kohayakawa	Mestrado
26/01/2023	Mob Programming para escrever código com alta complexidade e trabalho remoto	Herez Moise Kattan	Flavio Soares Correa da Silva	Doutorado
22/12/2022	Simulação de redes de sensores sem fio para o monitoramento de deslizamentos de terra	Karlson Tellicio Bezerra de Lima	Fabio Kon	Mestrado
15/12/2022	Uma Análise Espectral do Grafo com Clique Plantada	Félix Yowtang Liu	Yoshiharu Kohayakawa	Mestrado
15/12/2022	Uma generalização da decomposição por blocos para grafos k-conexos	Jared León Malpartida	Yoshiharu Kohayakawa	Mestrado
12/12/2022	Uma Introdução à Computação Quântica, Protocolos de Complexidade de Comunicação Quânticos, Não-localidade e Parâmetros Quânticos de Grafos.	Lucas Silva Arenstein	Yoshiharu Kohayakawa	Mestrado
02/12/2022	Anytime BDI: Uma arquitetura de agentes limitada no tempo	Márcio Fernando Stabile Junior	Jaime Simão Sichman	Doutorado
17/11/2022	Atacando e defendendo esquemas criptográficos pós-quânticos	Thales Areco Bandiera Paiva	Routo Terada	Doutorado
27/10/2022	Predição de surtos de dengue e diagnóstico de Sífilis Congênita utilizando Aprendizado de Máquina	Robson Pereira Aleixo	Raphael Yokoingawa de Camargo	Mestrado
17/10/2022	Teste de Drivers de Dispositivo do kernel Linux	Marcelo Schmitt	Paulo Roberto Miranda Meirelles	Mestrado
03/10/2022	Uma Nova Abordagem para Segmentação Semântica da Fossa Posterior em Imagens Pediátricas de Ressonância Magnética	Larissa de Oliveira Penteado Dias	Roberto Marcondes Cesar Junior	Mestrado
28/09/2022	Detecção automática de Padrões em Arquiteturas baseadas em Microsserviços	João Francisco Lino Daniel	Alfredo Goldman Vel Lejbman	Mestrado
29/08/2022	Processamento flexível de sinais de áudio em tempo real	Thilo Koch	Marcelo Gomes de Queiroz	Doutorado Direto
24/08/2022	Mitigação de Ataques DDoS na IoT por meio de Aprendizado de Máquina e Virtualização de Funções de Rede	Guilherme Werneck de Oliveira	Daniel Macedo Batista	Mestrado
18/08/2022	Análise e visualização do processo de regionalização do Sistema Único de Saúde (SUS) no Brasil: Uma perspectiva em sistemas complexos	Gabriely Rangel Pereira	Fabio Kon	Mestrado
20/07/2022	Sistemas de Recomendação de Música Baseados em Áudio	Rodrigo Carvalho Borges	Marcelo Gomes de Queiroz	Doutorado
20/07/2022	Aprendizado Automático de Decomposições Eficientes para a Previsão da Estrutura a Termo de Taxas de Juros com Redes Neurais	Piero Conti Kauffmann	Julio Michael Stern	Mestrado
13/07/2022	Paralelizando o Git Checkout: um Estudo de Caso sobre Paralelismo de E/S em Aplicações Desktop	Matheus Tavares Bernardino	Alfredo Goldman Vel Lejbman	Mestrado
22/06/2022	Redução de dimensão para agrupamento projetivo	Rafael Zuolo Coppini Lima	Yoshiharu Kohayakawa	Mestrado
20/06/2022	Aprimoramento do módulo crawler em scanners de vulnerabilidades (open source) de aplicações web	Danilo Pereira Escudero	Routo Terada	Mestrado
17/06/2022	Gradientes de Política Baseados em Modelo: Um estudo empírico em ambientes lineares quadráticos	Ângelo Gregório Lovatto	Leliane Nunes de Barros	Mestrado
31/05/2022	Uma teoria fundamentada sobre estruturas organizacionais para profissionais de desenvolvimento e de infraestrutura em organizações produtoras de software	Leonardo Alexandre Ferreira Leite	Paulo Roberto Miranda Meirelles	Doutorado
11/05/2022	Segmentação semântica em imagens de sensoriamento remoto para modelagem por difusão de áreas verdes em região urbana	Florence Alyssa Sakuma Shibata	Roberto Marcondes Cesar Junior	Mestrado
04/04/2022	Aprendizado Escalável de Circuitos Probabilísticos	Renato Lui Geh	Denis Deratani Mauá	Mestrado
09/03/2022	Cobertura com cı́rculos de raio mı́nimo	Arthur Gabriel de Santana	Ernesto Julian Goldberg Birgin	Mestrado
24/02/2022	Empacotamento e Imersão de Árvores	Giovanne Marcelo dos Santos	Cristina Gomes Fernandes	Mestrado
20/12/2021	Aplicações de análise harmônica em geometria discreta	Fabrício Caluza Machado	Sinai Robins	Doutorado
20/12/2021	Leitura de planilhas de xadrez manuscritas usando redes neurais com mecanismos de atenção	Sergio Yuji Hayashi	Nina Sumiko Tomita Hirata	Mestrado
14/12/2021	Compressão de Modelos em Transferência de Aprendizado de Máquina	Paula Kintschev Santana de Moraes	Leliane Nunes de Barros	Mestrado
14/12/2021	Estimativa de pose de mão e análise de movimento no contexto de terapia ocupacional.	Luciano Walenty Xavier Cejnog	Roberto Marcondes Cesar Junior	Doutorado
25/10/2021	Uma abordagem de aprendizagem auto-supervisionada para imagens astronômicas	Ana Carolina Rodrigues Cavalcante Martinazzo	Nina Sumiko Tomita Hirata	Mestrado
20/10/2021	Estudos em Revisão Múltipla de Crenças Não-Priorizada	Fillipe Manoel Xavier Resina	Renata Wassermann	Doutorado
20/10/2021	O Unlimited Rulebook: Arquitetando as Mecânicas de Economia de Jogos	Wilson Kazuo Mizutani	Fabio Kon	Doutorado
18/10/2021	Dois Estudos sobre a Sensibilidade de Redes Neurais Convolucionais à Resolução	Antonio Augusto Abello	Roberto Hirata Junior	Mestrado
22/09/2021	Generalização de domínio, Invariância, e a Floresta Temporalmente Robusta	Luis Gustavo Moneda dos Santos	Denis Deratani Mauá	Mestrado
31/08/2021	Planejamento em Grafos de Computação Estocástica: Resolvendo Problemas Estocásticos Não-Lineares com Retropropagação de Erros	Thiago Pereira Bueno	Leliane Nunes de Barros	Doutorado Direto
16/08/2021	Percepção sobre Software Bots em Pull Requests em Ambientes Sociais de Codificação	Mairieli Santos Wessel	Marco Aurélio Gerosa	Doutorado Direto
28/07/2021	Modelos de Similaridade Musical aplicados à Identificação e Classificação de Covers	Roberto Piassi Passos Bodo	Marcelo Gomes de Queiroz	Doutorado
28/07/2021	Paralelizando um Compilador: Um estudo com o GCC	Giuliano Augusto Faulin Belinassi	Alfredo Goldman Vel Lejbman	Mestrado
19/07/2021	Dualidades Combinatórias e Geométricas em Problemas de Otimização de Homomorfismos de Grafos	Nathan Benedetto Proença	Marcel Kenji de Carli Silva	Mestrado
13/07/2021	Operações de Pseudocontração para Lógicas de Descrição	Vinícius Bitencourt Matos	Renata Wassermann	Mestrado
09/07/2021	Em Direção a Métodos Transparentes e Parcimoniosos para Ajuste Automatizado de Desempenho	Pedro Henrique Rocha Bruel	Alfredo Goldman Vel Lejbman	Doutorado Direto
08/07/2021	Árvore Geradora de Comunicação Ótima	Jainor Nestor Cardenas Choque	Yoshiko Wakabayashi	Mestrado
15/06/2021	Descrição Semântica Automática de Bancos Relacionais para Integração de Dados	Alexandre César Pinto Pessoa	Renata Wassermann	Mestrado
07/06/2021	Métodos Estatístico-Computacionais Baseados na Densidade Espectral de Grafos e Suas Aplicações	Grover Enrique Castro Guzmán	André Fujita	Doutorado
04/06/2021	Semântica Módulo Satisfatibilidade com Aplicações: Representação de Funções, Probabilidades e Teoria dos Jogos	Sandro Márcio da Silva Preto	Marcelo Finger	Doutorado
04/06/2021	Classificação dos estados cognitivos orientados pelo sujeito baseada na variabilidade da frequência cardíaca	Carlos Enrique Paucar Farfán	André Fujita	Mestrado
02/06/2021	Compiladores para as Linguagens da Abordagem WED-flow	Eduardo Dias Filho	João Eduardo Ferreira	Mestrado
21/05/2021	O Que Acontece Quando o Bazar Cresce: Um estudo abrangente sobre o atual modelo de desenvolvimento do Kernel Linux	Melissa Shihfan Ribeiro Wen	Paulo Roberto Miranda Meirelles	Mestrado
21/05/2021	Um Benchmark para Algoritmos de Inferência de Maximum-A-Posteriori em Redes de Soma-Produto discretas	Heitor Reis Ribeiro	Denis Deratani Mauá	Mestrado
18/05/2021	Aprendendo Projeções Multidimensionais com Redes Neurais	Mateus Espadoto	Nina Sumiko Tomita Hirata	Doutorado
14/05/2021	Classificação automática de documentos de características econômicas para defesa jurídica	Bruno Leme	Marcelo Finger	Mestrado
10/05/2021	Interação por Perseguição dos Olhos: Algoritmos e Aplicações	Alex Torquato Souza Carneiro	Carlos Hitoshi Morimoto	Doutorado
04/05/2021	Algoritmos baseados em atenção neural para a automação da classicação multirrótulo de acórdãos jurídicos	Felipe Ribas Serras	Marcelo Finger	Mestrado
03/05/2021	Métodos híbridos via energias quadráticas em grafos direcionados para segmentação de imagens	Caio Lopes Demario	Paulo Andre Vechiatto de Miranda	Mestrado
03/05/2021	Teoria e Computação de Ângulos Sólidos	Gervásio Protásio dos Santos Neto	Sinai Robins	Mestrado
05/04/2021	Comparando métodos de representação vectorial de documentos para identificação de autoria	Pamela Rosy Revuelta Quintanilla	Flavio Soares Correa da Silva	Mestrado
19/03/2021	Técnicas de clusterização e estratificação de indivíduos para estudo de redes funcionais cerebrais.	Taiane Coelho Ramos	André Fujita	Doutorado
22/02/2021	Processamento de eventos complexos nativo de nuvem para cidades inteligentes	Fernando Freire Scattone	Kelly Rosa Braghetto	Mestrado
16/02/2021	Visualização de Fluxos de Mobilidade Urbana com Bundling	Tallys Gustavo Martins	Fabio Kon	Mestrado
05/02/2021	Identificação de vias de sinalização celular baseada em repositórios de cinética de reações bioquímicas	Gustavo Estrela de Matos	Marcelo da Silva Reis	Mestrado
03/02/2021	Uma abordagem de reformulação à Programação Linear InteiraMista para a Inferência de Máximo a Posteriori em Redes Soma-Produto	Gustavo Perez Katague	Denis Deratani Mauá	Mestrado
22/01/2021	Algoritmos e Estruturas de Dados para Hiperárvores de Componentes de Imagens em Níveis de Cinza	Alexandre Morimitsu	Ronaldo Fumio Hashimoto	Doutorado
14/12/2020	Analisando Inferência em Linguagem Natural de um Ponto de Vista Rigoroso	Felipe de Souza Salvatore	Marcelo Finger	Doutorado
14/12/2020	Representação eficiente adaptativa multiresolução de sinais musicais	Nicolas Silverio Figueiredo	Marcelo Gomes de Queiroz	Mestrado
09/12/2020	Análise Comparativa de Abordagens para Aprendizado de Transformações Imagem-a-Imagem	Augusto Cesar Monteiro Silva	Nina Sumiko Tomita Hirata	Mestrado
04/12/2020	Clusterizacão baseada em modelos de mistura gaussianas com covariáveis	Carlos Eduardo Martins Relvas	André Fujita	Doutorado
20/11/2020	Teste de propriedade e estimação de parâmetros	Henrique Stagni	Yoshiharu Kohayakawa	Doutorado
09/11/2020	Visual Analytics para Aprendizado de Máquina - Computando e Analisando Mapas da Fronteira de Decisão de Classificadores	Francisco Caio Maia Rodrigues	Roberto Hirata Junior	Doutorado
21/10/2020	Modelos Neurais para Regressão de Séries Temporais	Thiago Ildeu Albuquerque Lira	Marcelo Finger	Mestrado
16/10/2020	Uma análise da síntese de exemplos para detecção de objetos baseada em aprendizado profundo	Leonardo Blanger	Nina Sumiko Tomita Hirata	Mestrado
07/10/2020	Proposta de novos métodos para estimação de parâmetros em equações diferenciais ordinárias	André Thomaz Gandolpho de Mello	Junior Barrera	Mestrado
01/10/2020	Detecção de voz cantada em sinais de áudio polifônicos	Shayenne Luz Moura Corrêa	Marcelo Gomes de Queiroz	Mestrado
09/09/2020	Teoremas de girassol em complexidade computacional	Bruno Pasqualotto Cavalar	Yoshiharu Kohayakawa	Mestrado
14/07/2020	Posicionamento de funções virtuais de rede com eficiência energética utilizando abordagens metaheurísticas	Fatemeh Mosaiyebzadeh	Daniel Macedo Batista	Mestrado
29/06/2020	Uma Implementação Integrada de Modelos Probabilísticos Gráficos	Renato Cordeiro Ferreira	Alan Mitchell Durham	Mestrado
19/06/2020	Árvores entrelaçadoras de polinômios e grafos de Ramanujan	Karina Suemi Awoki	Marcel Kenji de Carli Silva	Mestrado
15/06/2020	Padrões de Dificuldades Relacionadas com o Aprendizado de Programação	Yorah Bosse	Marco Aurélio Gerosa	Doutorado
08/06/2020	Um arcabouço para interação de dispositivo em uma rede de coisas	Pablo César Calcina Ccori	Flavio Soares Correa da Silva	Doutorado
29/04/2020	Dataflows de tempo real como abstração para ferramentas de processamento de Big Data	Fernanda de Camargo Magano	Kelly Rosa Braghetto	Mestrado
10/03/2020	Itens de teste colaborativo em 6 camadas: Perspectivas para avaliação formativa assistida por computador considerando níveis de compreensão	Marcelo de Moura Amorim	Ana Cristina Vieira de Melo	Doutorado
28/02/2020	Estimadores de parâmetro consistentes para modelo de grafo aleatório e estudo sobre a relação entre a rede modo padrão do cérebro e o volume do corpo caloso	Suzana de Siqueira Santos	André Fujita	Doutorado
27/02/2020	Identificação de causalidade de Granger em dados longitudinais com aplicações em neuroimagem	Maciel Calebe Vidal	André Fujita	Doutorado
18/02/2020	Heuristicas baseadas na Projeção de Medidas de Ocupação para Planejamento Probabilísticos	Milton Raúl Condori Fernández	Leliane Nunes de Barros	Mestrado
12/02/2020	Análise baseada em contexto do movimento de pedestres em terminais de transporte	Joelma Cristina Costa e Silva	Flavio Soares Correa da Silva	Doutorado
05/02/2020	Processamento de fala para triagem de distúrbios fonológicos	Guilherme Jun Yoshimura	Marcelo Gomes de Queiroz	Mestrado
28/01/2020	Modularidade em Revisão de Crenças de bases DL	Ricardo Ferreira Guimarães	Renata Wassermann	Doutorado Direto
27/01/2020	Revisão de Crenças sem Compacidade	Jandson Santos Ribeiro Santos	Renata Wassermann	Doutorado
19/12/2019	Integração Semântica das Bases de Dados do Sistema Único de Saúde: Um Estudo de Caso com o Município de São Paulo	Debora Lina Nascimento Ciriaco Pereira	Renata Wassermann	Mestrado
18/12/2019	Uma análise refinada de erros e da qualidade das imagens na classificação de plâncton com redes neurais convolucionais	Mariane Valerio Gonzales	Roberto Hirata Junior	Mestrado
17/12/2019	Personalização da Experiência em Museus: Aplicação Real de um Sistema de Recomendação	Felipe Ferreira Laskoski	Alfredo Goldman Vel Lejbman	Mestrado
11/12/2019	Classificação morfológica de neurônios baseada na hierarquia das árvores dendríticas	Evelyn Pérez Cervantes	Roberto Marcondes Cesar Junior	Doutorado
09/12/2019	Estudo sobre Redes Definidas por Software Aplicado em Jogos Digitais	Lucas Dário	Daniel Macedo Batista	Mestrado
09/12/2019	Integração de Processamento Distribuído em uma Plataforma de Cidades Inteligentes	Dylan Jefferson Mauricio Guimaraes Guedes	Fabio Kon	Mestrado
03/12/2019	Engajamento em Projetos de Software Livre via Programas de Codificação no Verão	Jefferson de Oliveira Silva	Marco Aurélio Gerosa	Doutorado
25/11/2019	Transpiladores que geram código manutenível como uma abordagem livre de dependências para desenvolvimento de aplicativos multi-plataforma: um estudo de caso com Swift	Vinícius Jorge Vendramini	Alfredo Goldman Vel Lejbman	Mestrado
14/11/2019	Estratégias de alinhamento para consulta cantarolada	Fábio Gorodscy	Marcelo Gomes de Queiroz	Mestrado
06/11/2019	GAVEL: Um Mecanismo de Regulação Baseado em Sanções para Sistemas Multiagentes Normativos	Igor Conrado Alves de Lima	Jaime Simão Sichman	Mestrado
06/11/2019	Monitoramento do ambiente de execução de processos WED-Flow	Rodrigo Müller de Carvalho	João Eduardo Ferreira	Mestrado
03/10/2019	Uma Análise Compreensiva de Benchmark para Redes Deraining Networks	Iago Breno Alves do Carmo Araujo	Roberto Marcondes Cesar Junior	Mestrado
06/09/2019	Uma abordagem "bag of features" para análise de atributos humanos em imagens de faces	Rafael Will Macêdo de Araujo	Roberto Hirata Junior	Doutorado
02/09/2019	Cobertura de grafos por caminhos não-triviais	Renzo Gonzalo Gómez Diaz	Yoshiko Wakabayashi	Doutorado
22/08/2019	Adicionando Suporte Nativo a Paralelismo de Tarefas a um Sistema RISC-V Multi-core com Suporte a Linux	Lucas Henrique Morais	Alfredo Goldman Vel Lejbman	Mestrado
21/08/2019	Alocação de Recursos em uma Arquitetura Óptica Cloud-Fog RAN para o Suporte da Internet 5G	Rodrigo Izidoro Tinini	Daniel Macedo Batista	Doutorado
12/08/2019	Avaliação de Escalabilidade e Desempenho da Camada de Transporte de Mensagens em Plataformas Multiagente	Henrique Donâncio Nunes Rodrigues	Anarosa Alves Franco Brandão	Mestrado
02/08/2019	Algoritmos Assíncronos de Iteração de Política para Processos de Decisão Markovianos com Probabilidades Intervalares	Willy Arthur Silva Reis	Karina Valdivia Delgado	Mestrado
11/07/2019	Visão Computacional aplicada a imagens urbanas em nível de chão sem restrições	Éric Keiji Tokuda	Roberto Marcondes Cesar Junior	Doutorado
11/07/2019	Caminhos mínimos com fonte única	Mateus Barros Rodrigues	Carlos Eduardo Ferreira	Mestrado
17/06/2019	Um modelo para a estimação da dívida técnica baseado em produtividade	Jandisson Soares de Jesus	Ana Cristina Vieira de Melo	Doutorado
20/05/2019	Detecção de rasuras em símbolos com aprendizado Bayesiano de programas (BPL)	Raphael Davis de Oliveira Costa	Marcel Parolin Jackowski	Mestrado
13/05/2019	Algoritmos e limitantes para o número de independência em grafos de distância	Letícia Henares Valentini	Fernando Mario de Oliveira Filho	Mestrado
03/05/2019	Comparativo de algoritmos de otimização em modelos de aprendizagem de máquina com foco em grandes massas de dados	René Vieira Santin	Walter Figueiredo Mascarenhas	Mestrado
03/05/2019	Online, Convexa Online: Algoritmos, Aprendizado, e Dualidade	Victor Sanches Portella	Marcel Kenji de Carli Silva	Mestrado
22/04/2019	Predição de genes <i>ab initio </i>combinada com informações de alinhamento	Bruno Tenório da Silveira Lopes	Alan Mitchell Durham	Mestrado
18/03/2019	InterSCSimulator: Um Simulador de Cidades Inteligentes Escalável e de Código Aberto	Eduardo Felipe Zambom Santana	Fabio Kon	Doutorado
15/03/2019	Abordagem eficiente baseada em grafo hierárquico em camadas para a segmentação de múltiplas regiões	Leissi Margarita Castaneda Leon	Paulo Andre Vechiatto de Miranda	Doutorado
07/03/2019	Experimentação baseada em Simulação em Sistemas para Cidades Inteligentes	Lucas Kanashiro Duarte	Fabio Kon	Mestrado
07/02/2019	Análise Semântica Neural Profunda: Traduzindo de Linguagem Natural para SPARQL	Fabiano Ferreira Luz	Marcelo Finger	Doutorado
05/02/2019	Uma visão sobre a próxima geração de abstrações de processos em sistemas operacionais	Rodrigo Siqueira Jordão	Fabio Kon	Mestrado
08/01/2019	Estrutura de dados persistentes	Yan Soares Couto	Cristina Gomes Fernandes	Mestrado
20/12/2018	Transversais de grafos	Juan Gabriel Gutierrez Alva	Cristina Gomes Fernandes	Doutorado
14/12/2018	Algoritmos exatos para problemas de spanner em grafos	Hugo Vinicius Vaz Braga	Yoshiko Wakabayashi	Doutorado
13/12/2018	Uma Nova Técnica de Calibração para Segmentação Semântica Baseada em Grafos	Mateus Riva	Roberto Marcondes Cesar Junior	Mestrado
12/12/2018	Migração de redes tradicionais para SDN	Renan Rodrigo Barbosa	Daniel Macedo Batista	Mestrado
06/12/2018	Engajamento por meio de elementos de jogos em comunidades online de colaboração aberta	Ana Paula Oliveira Bertholdo	Marco Aurélio Gerosa	Doutorado
05/12/2018	Método Beam Search Aplicado a Problemas de Programação da Produção	José Eurípedes Ferreira de Jesus Filho	Ernesto Julian Goldberg Birgin	Doutorado
29/11/2018	Um Estudo Comparativo de Métodos de Segmentação de Documentos Antigos	Nury Yuleny Arosquipa Yanque	Roberto Hirata Junior	Mestrado
28/11/2018	Identificação de Causalidade em Genética e Neurociência	Adèle Helena Ribeiro	André Fujita	Doutorado
14/11/2018	Densidade Local em Grafos	Luis Eduardo Zambrano Fernandez	Yoshiharu Kohayakawa	Doutorado
14/11/2018	Aprendizado ativo profundo usando Monte Carlo Dropout	Lucas Albuquerque Medeiros de Moura	Marcelo Finger	Mestrado
06/11/2018	Algoritmos Eficientes para o Problema do Orçamento Mínimo em Processos de Decisão Markovianos Sensíveis ao Risco	Daniel Augusto de Melo Moreira	Karina Valdivia Delgado	Mestrado
23/10/2018	WED-SQL: uma linguagem declarativa intermediáriacom apoio transacional para a modelagem e implementação de Sistemas de Informação Cientes de Processos.	Bruno Padilha	João Eduardo Ferreira	Mestrado
22/10/2018	Planejamento baseado em Verificação Simbólica de Modelos	Viviane Bonadia dos Santos	Leliane Nunes de Barros	Mestrado
03/10/2018	Análise da modernização de sistemas monolíticos legados para micro-serviços à luz da dívida técnica: um estudo de caso corporativo	Caio Henrique Bos Loureiro	Ana Cristina Vieira de Melo	Mestrado
21/09/2018	Ajuda do Humano em Planejamento Automatizado sob Incerteza	Ignasi Andrés Franch	Leliane Nunes de Barros	Doutorado Direto
31/08/2018	Segmentação de pele humana usando regras de correlação baseadas em agrupamento dinâmico de cores	Rodrigo Augusto Dias Faria	Roberto Hirata Junior	Mestrado
24/08/2018	Identificação de sistema dinâmico em dados de estoque imobiliário	Luiz Paulo Medina de Lima	Junior Barrera	Mestrado
23/08/2018	Análise de desempenho do nsQUIC: um Módulo para Simulação do Protocolo QUIC	Diego de Araujo Martinez Camarinha	Daniel Macedo Batista	Mestrado
10/08/2018	Segmentação de Objetos via Transformada Imagem-Floresta Orientada com Restrições de Conexidade	Lucy Alsina Choque Mansilla	Paulo Andre Vechiatto de Miranda	Doutorado
10/08/2018	Seleção de Modelos para o Aprendizado de Hipóteses Booleanas	Joel Edu Sanchez Castro	Ronaldo Fumio Hashimoto	Doutorado
06/08/2018	Algoritmos eficientes para análisede campos aleatórios condicionais semi-markovianose sua aplicação em sequências genômicas	Ígor Bonadio	Alan Mitchell Durham	Doutorado
30/07/2018	Regressão Logística Multinomial: Um modelo à partir do comportamento longitudinal do usuário em rede social para a predição de traços depressivos	Maricy Caregnato	Flavio Soares Correa da Silva	Doutorado
30/07/2018	A detecção de implicaturas conversacionais da ironia em textos de redes sociais através do Aprendizado de Máquina para português	Rayssa Kullian Martins	Marcelo Finger	Mestrado
05/07/2018	Resolvendo Vestibular Utilizando Recuperação de Informação	Igor Cataneo Silveira	Denis Deratani Mauá	Mestrado
25/06/2018	Predição de Desempenho de Aplicações Executadas em GPUs usando um Simples Modelo Analítico e Técnicas de Aprendizado de Máquina	Marcos Tulio Amaris Gonzalez	Alfredo Goldman Vel Lejbman	Doutorado
22/06/2018	Ranqueamento de Avisos de Análise Estática de Código Fonte para Monitoramento de Repositórios de Software Livre	Athos Coimbra Ribeiro	Fabio Kon	Mestrado
20/06/2018	Modelos computacionais prognósticos de lesões traumáticas do plexo braquial em adultos	Luciana de Melo e Abud	Kelly Rosa Braghetto	Mestrado
18/06/2018	Uma Plataforma Escalável de Código Aberto Baseada em Microsserviços para Cidades Inteligentes	Arthur de Moura Del Esposte	Fabio Kon	Mestrado
08/06/2018	Grafos e hipergrafos com cintura e número cromático grandes	Giulia Satiko Maesaka	Yoshiharu Kohayakawa	Mestrado
25/04/2018	Testes estatísticos semi paramétricos para discriminação de grafos	Gabriela Eleutério Soares	André Fujita	Doutorado
23/04/2018	INvestigate and Analyse a City - INACITY	Artur André Almeida de Macedo Oliveira	Roberto Hirata Junior	Mestrado
20/04/2018	Independência parcial no problema da satisfazibilidade probabilística	Eduardo Menezes de Morais	Marcelo Finger	Doutorado
17/04/2018	Avaliação de Localização de Defeitos Baseada em Espectro para Uso Prático	Higor Amario de Souza	Fabio Kon	Doutorado
16/04/2018	Uma análise comparativa de ambientes para Big Data: Apche Spark e HPAT	Rafael Aquino de Carvalho	Alfredo Goldman Vel Lejbman	Mestrado
23/03/2018	Gerenciamento de Dívida Técnica no Contexto de Desenvolvimento deSoftware Ágil	Graziela Simone Tonin	Alfredo Goldman Vel Lejbman	Doutorado
19/02/2018	Comparação de algoritmos para o Problema dos K Menores Caminhos	Diogo Haruki Kykuta	Carlos Eduardo Ferreira	Mestrado
15/02/2018	Teoria de Ehrhart para fatores reais de dilatação	Tiago Royer	Sinai Robins	Mestrado
30/01/2018	EyeSwipe: Entrada de Texto Usando Gestos do Olhar	Andrew Toshiaki Nakayama Kurauchi	Carlos Hitoshi Morimoto	Doutorado Direto
19/01/2018	Anomalias na camada de apresentação de aplicativos android	Suelen Goularte Carvalho	Marco Aurélio Gerosa	Mestrado
18/12/2017	Modelagem de WED-flow Temporal	Rodrigo Alves Lima	João Eduardo Ferreira	Mestrado
14/12/2017	Aceleração de Registro Não-Rígido de Imagens Tomográficas utilizando GPU	Thiago de Gouveia Nunes	Marcel Parolin Jackowski	Mestrado
12/12/2017	Representação e Quantificação de Redes Vasculares a Partir de Imagens de Angiografia Tridimensional	Miguel Angel Galarreta Valverde	Marcel Parolin Jackowski	Doutorado
11/12/2017	Extensão da Transformada Imagem-Floresta Diferencial para funções de conexidade com aumentos baseados na raiz e sua aplicação para geração de superpixels	Marcos Ademir Tejada Condori	Paulo Andre Vechiatto de Miranda	Mestrado
11/12/2017	Melhorando o ataque de reação contra o QC-MDPC McEliece	Thales Areco Bandiera Paiva	Routo Terada	Mestrado
08/12/2017	Redes Neurais Convolucionais Aplicadas ao Projeto de Operadores de Imagens	André Vinícius Lopes	Roberto Hirata Junior	Mestrado
08/12/2017	Avaliação de Desempenho de Algoritmos de Estimação do Olhar para Interação com Computadores Vestíveis	Fernando Omar Aluani	Carlos Hitoshi Morimoto	Mestrado
06/12/2017	Um sistema de reconhecimento, busca aproximada, e alinhamento múltiplo de documentos históricos	Gustavo Enrique Salazar Torres	Alair Pereira do Lago	Doutorado
05/12/2017	Controle em Interfaces Cérebro-Computador de Baixo Custo para Aplicações Musicais	Guilherme Feulo do Espirito Santo	Marcelo Gomes de Queiroz	Mestrado
05/12/2017	IntegraWeb: uma proposta de arquitetura baseada em mapeamentos semânticos e técnicas de mineração de dados	Felipe Lombardi Pierin	Jaime Simão Sichman	Mestrado
30/11/2017	Utilização de Ontologias para Busca em Base de Dados de Acórdãos do STF	Rafael Brito de Oliveira	Renata Wassermann	Mestrado
27/11/2017	OntoMongo - Um Método de Acesso a Dados da Plataforma Lattes Baseado em Ontologias e Sistemas NoSQL	Thiago Henrique Dias Araujo	Renata Wassermann	Mestrado
27/11/2017	Acesso a Dados Baseado em Ontologias com NoSQL	Barbara Tieko Agena	Renata Wassermann	Mestrado
24/11/2017	Modelo de transporte de luz direcional multipolo para a renderização de materiais translúcidos	Diana Estefania Naranjo Pomalaya	Marcel Parolin Jackowski	Mestrado
23/11/2017	SelfMakeup: um Sistema de Realidade Aumentada para Auto-Aplicação de Maquiagem Virtual	Aline de Fátima Soares Borges	Carlos Hitoshi Morimoto	Mestrado
22/11/2017	Métodos de Busca em Coordenada	Luiz Gustavo de Moura dos Santos	Ernesto Julian Goldberg Birgin	Mestrado
10/11/2017	Integrando banco de dados relacional e orientado a grafos para otimizar consultas com alto grau de indireção	Marino Hilario Catarino	João Eduardo Ferreira	Mestrado
07/11/2017	Análise de Componentes Principais em Data Warehouses	Rafael Germano Rossi	João Eduardo Ferreira	Mestrado
26/10/2017	Contagem incremental de padrões locais em árvores de componentes para cálculo de atributos	Dênnis José da Silva	Ronaldo Fumio Hashimoto	Mestrado
24/10/2017	TSS e TSB: Novos descritores de forma baseados em Tensor Scale	Anderson Meirelles Freitas	Paulo Andre Vechiatto de Miranda	Mestrado
18/10/2017	O problema de corte não-guilhotinado multiperíodo com sobras aproveitáveis	Oberlan Christo Romão	Ernesto Julian Goldberg Birgin	Doutorado
13/09/2017	A formal model for strategic planning in cooperative and competitive environments Case study: design and implementation of a basketball simulator	Guilherme Fernandes Otranto	Junior Barrera	Doutorado Direto
06/09/2017	Multi-label classification based on sum-product networks	Julissa Giuliana Villanueva Llerena	Denis Deratani Mauá	Mestrado
28/08/2017	Programação de tarefas em um ambiente flow shop com m máquinas para a minimização do desvio absoluto total de uma data de entrega comum	Julio Cesar Delgado Vasquez	Ernesto Julian Goldberg Birgin	Mestrado
23/08/2017	Estudo de algoritmos de Otimização Estocástica aplicados em Aprendizado de Máquina	Jessica Katherine de Sousa Fernandes	Ernesto Julian Goldberg Birgin	Mestrado
16/08/2017	Uso de Jogos Digitais no Desenvolvimento de Competências Curriculares da Matemática	Adalberto Bosco Castro Pereira	Flavio Soares Correa da Silva	Doutorado
09/08/2017	Complexidade em programação não linear	John Lenon Cardoso Gardenghi	Ernesto Julian Goldberg Birgin	Doutorado
03/08/2017	Revisão de Crenças no fragmento universal da CTL usando Verificação de Modelos Limitada	Bruno Vercelino da Hora	Marcelo Finger	Mestrado
29/06/2017	IFT-SLIC: Geração de Superpixels com Base em Agrupamento Iterativo Linear Simples e Transformada Imagem-Floresta	Eduardo Barreto Alexandre	Paulo Andre Vechiatto de Miranda	Mestrado
13/06/2017	O problema do conjunto dominante conexo de k-saltos: algoritmos de aproximação e resultados de inaproximabilidade	Rafael Santos Coelho	Yoshiko Wakabayashi	Doutorado
12/06/2017	Projeto de W-operadores usando modelos lineares para imagens binárias e em níveis de cinza	Igor dos Santos Montagner	Roberto Hirata Junior	Doutorado Direto
09/06/2017	Tree Bark framework: competences and mindset rearrangementsfor Digital and Technology Literacy in times of exponential rate of changes	Camila Fernandez Achutti	Ana Cristina Vieira de Melo	Mestrado
02/06/2017	Reparação interativa de segmentações 3D com transformada imagem-floresta, supervoxels e robustez de sementes	Anderson Carlos Moreira Tavares	Paulo Andre Vechiatto de Miranda	Doutorado
29/05/2017	Revelando o comportamento perdido em redes sociais: detectando reações e análises temporais	Samuel Martins Barbosa Neto	Roberto Marcondes Cesar Junior	Doutorado Direto
26/05/2017	IMPROV: Uma arquitetura para a execução confiável de composições de serviços dinâmicas	Felipe Pontes Guimaraes	Daniel Macedo Batista	Doutorado
24/05/2017	Tecnologias móveis para interação musical	Antonio Deusany de Carvalho Junior	Marcelo Gomes de Queiroz	Doutorado
22/05/2017	Um método para paralelização automática de workflows intensivos em dados	Elaine Naomi Watanabe	Kelly Rosa Braghetto	Mestrado
16/05/2017	Avaliação de diversão a partir de análise de imagens faciais	Luiz Carlos Vieira	Flavio Soares Correa da Silva	Doutorado
02/05/2017	A Evolução dos Ecossistemas de Startups de Software: Um Modelo de Maturidade	Daniel Cukier	Fabio Kon	Doutorado
25/04/2017	Paralelização de inferência em redes credais utilizando computação distribuída para fatoração de matrizes esparsas	Ramon Fortes Pereira	Julio Michael Stern	Mestrado
17/04/2017	Análise preditiva de desempenho de <i>workflows</i> usando teoria do campo médio	Waldir Edison Farfán Caro	Kelly Rosa Braghetto	Mestrado
30/03/2017	Colorações de grafos e subdivisões de digrafos	Phablo Fernando Soares Moura	Yoshiko Wakabayashi	Doutorado
27/03/2017	Classificação de imagens de plâncton usando múltiplas segmentações	Mariela Atausinchi Fernandez	Nina Sumiko Tomita Hirata	Mestrado
17/03/2017	Alocação dinâmica de recursos em sistemas elásticos baseada em modelos de escalabilidade	Paulo Bittencourt Moura	Fabio Kon	Doutorado
15/03/2017	Identificação de alterações em conectividades funcionais córtico-cerebelares no transtorno do espectro autista	Taiane Coelho Ramos	André Fujita	Mestrado
15/03/2017	Processamento de imagens de holografia digital para o estudo de organismos planctônicos	Jefferson Serafim Ascaneo	Roberto Hirata Junior	Mestrado
13/03/2017	Um método de tractografia global usando imagens de ressonância magnética ponderadas por difusão	Rafael Reggiani Manzo	Marcel Parolin Jackowski	Mestrado
06/03/2017	Engenharia de requisitos em startups de software: uma investigação qualitativa	Jorge Augusto Melegati Gonçalves	Alfredo Goldman Vel Lejbman	Mestrado
06/03/2017	Planejamento probabilístico com becos sem saída	Thiago Dias Simão	Leliane Nunes de Barros	Mestrado
21/02/2017	Limitantes de programação semidefinida para o número de contato	Fabrício Caluza Machado	Fernando Mario de Oliveira Filho	Mestrado
16/02/2017	Sobre a conexão entre dependências estruturais e mudanças no software	Gustavo Ansaldi Oliva	Marco Aurélio Gerosa	Doutorado
14/02/2017	Causalidade de Granger entre grafos no domínio da frequência	Gustavo Pinto Vilela	André Fujita	Doutorado Direto
24/01/2017	VORPAL: Um middleware de trilhas sonoras em tempo real para jogos digitais	Wilson Kazuo Mizutani	Fabio Kon	Mestrado
10/01/2017	Aprendizado de redes bayesianas para domínios grandes	Walter Perez Urcia	Denis Deratani Mauá	Mestrado
19/12/2016	Problema dos k-centros e variantes	Samuel Plaça de Paula	Cristina Gomes Fernandes	Mestrado
16/12/2016	Efeitos de áudio baseados em decomposição AM/FM	Antonio Jose Homsi Goulart	Marcelo Gomes de Queiroz	Doutorado
16/12/2016	Intervenção em redes de regulação gênica modelada como um processo de decisão markoviano fatorado e impreciso	Fabio Alexandre Campos Tisovec	Leliane Nunes de Barros	Mestrado
15/12/2016	Rastros de contatos e grafos dinâmicos	Milson Silva Monteiro	Anatoli Iambartsev	Doutorado
15/12/2016	Representação de informações não-estruturadas de laudos de exames radiológicos utilizando modelagem interativa de mapas conceituais	Lucio Geronimo Valentin	Marcel Parolin Jackowski	Doutorado
15/12/2016	Um ambiente de execução para offloading de código em plataformas heterogêneas modernas	Rogério Aparecido Gonçalves	Alfredo Goldman Vel Lejbman	Doutorado
14/12/2016	Provisionamento dinâmico de recursos para execução de workflows científicos em nuvens	Ricardo Juliano Mesquita Silva Oda	Kelly Rosa Braghetto	Mestrado
09/12/2016	Representação de variabilidade estrutural de dados por meio de famílias de esquemas de banco de dados	Larissa Cristina Moraes Rodrigues	Kelly Rosa Braghetto	Mestrado
09/12/2016	Aumentando a migração de instâncias não complacentes em sistemas de informação cientes de processos	Rafael Liberato Roberto	João Eduardo Ferreira	Doutorado
08/12/2016	Sistemas de informação cientes de processos, robustos e confiáveis	André Luis Schwerz	João Eduardo Ferreira	Doutorado
07/12/2016	Morfologia do trato vocal por imagens de ressonância magnética em tempo real	Rafael de Assunção Sampaio	Marcel Parolin Jackowski	Mestrado
01/12/2016	Utilização de sensores de profundidade de baixo custo para prover qualidade de vida em idosos	André Luiz Satoshi Kawamoto	Flavio Soares Correa da Silva	Doutorado
09/11/2016	Protocolos para jogos de Steiner	Lucas Mendes Marques Gonçalves	Jose Augusto Ramos Soares	Mestrado
07/11/2016	Avaliação do impacto da comunicação intra e entre-nós em nuvens computacionais para aplicações de alto desempenho	Thiago Kenji Okada	Alfredo Goldman Vel Lejbman	Mestrado
04/11/2016	Rastreador de olho de alto desempenho e baixo custo baseado em iluminação estroboscópica diferencial	Frank Helbert Borsato	Carlos Hitoshi Morimoto	Doutorado
03/11/2016	Uma plataforma de exploração e análise de imagens médicas em nuvem	Igor José Topcin	Marcel Parolin Jackowski	Mestrado
01/11/2016	iMPaCTS: Um modelo de colaboração por pares para aprendizagem	Patricia Alves Pereira	Leonidas de Oliveira Brandao	Doutorado
27/10/2016	Empacotamento e contagem em digrafos: cenários aleatórios e extremais	Roberto Freitas Parente	Cristiane Maria Sato	Doutorado
27/10/2016	Utilização de ontologias para busca em um sistema colaborativo de imagens arquitetônicas	Marisol Solis Yucra	Renata Wassermann	Mestrado
03/10/2016	Desing de jogos baseado em componentes	Marcos Silvano Almeida	Flavio Soares Correa da Silva	Doutorado
27/09/2016	Análise e extração de alertas antecipados sobre ameaças e incidentes de segurança em sistemas computacionais usando fontes de dados não estruturados	Rodrigo Campiolo	Daniel Macedo Batista	Doutorado
26/09/2016	Uma abordagem autonômica para mitigar ciberataques em redes de computadores	Luiz Arthur Feitosa dos Santos	Daniel Macedo Batista	Doutorado
16/09/2016	Estratégias de resolução para o problema de job-shop flexível	Wellington Donizeti Previero	Carlos Eduardo Ferreira	Doutorado
14/09/2016	Métodos de avaliação da microcirculação em um modelo experimental de sepse utilizando imagens por <i>Sidestream Dark field (SDF)</i>	Jihan Mohamad Zoghbi	Marcel Parolin Jackowski	Doutorado
06/09/2016	Iluminação baseada em séries temporais de imagens com aplicações em realidade mista	Caio de Freitas Valente	Marcel Parolin Jackowski	Mestrado
29/08/2016	Economia de energia e aumento de desempenho usando SSDs no Hadoop Distributed File System	Ivanilton Polato	Fabio Kon	Doutorado
26/08/2016	Circuitos hamiltonianos em hipergrafos e densidades de subpermutações	Antonio Josefran de Oliveira Bastos	Guilherme Oliveira Mota	Doutorado
26/08/2016	Gerenciando dívida técnica: estado atual e novas propostas em métodos de medida	Diogo de Jesus Pina	Alfredo Goldman Vel Lejbman	Mestrado
01/08/2016	Identificação de alterações na estrutura de clusterização das redes funcionais do cérebro associadas com o neurodesenvolvimento	Grover Enrique Castro Guzmán	André Fujita	Mestrado
15/07/2016	Papéis arquiteturais em métricas e maus cheiros de código	Mauricio Finavaro Aniche	Marco Aurélio Gerosa	Doutorado
29/06/2016	Principais variáveis na ordenação de anúncios	André Henrique Serafim Casimiro	João Eduardo Ferreira	Mestrado
15/06/2016	Utilização de mineração de especificação na identificação de fluxos inválidos em softwares	Luciano Kelvin da Silva	Ana Cristina Vieira de Melo	Mestrado
10/06/2016	Um algoritmo para simplificar sistemas de equações diferenciais que descrevem a cinética de reações químicas	Amanda Sayuri Guimarães	Junior Barrera	Mestrado
24/05/2016	Uso de ontologias modulares para classificação de pacientes da <i>Sindrome de Li-Fraumeni:</i> estudo de caso no <i>A. C. Camargo Cancer Center</i>	Ricardo Moura Sekeff Budaruiche	Renata Wassermann	Doutorado
18/05/2016	Proteção dos direitos autorais de imagem estática utilizando criptografia visual e marca d'água	Eduardo Almeida Feijó	Routo Terada	Mestrado
12/05/2016	Alinhamento múltiplo de genomas e sequências de proteínas com repetições e rearranjos	Laécio Freitas Chaves	Alan Mitchell Durham	Mestrado
06/05/2016	Revisão de crenças temporais	Paulo de Tarso Guerra Oliveira	Renata Wassermann	Doutorado
29/04/2016	Reconhecimento<i> online</i> de expressões matemáticas manuscritas usando informação contextual	Frank Dennis Julca Aguilar	Nina Sumiko Tomita Hirata	Doutorado Direto
29/04/2016	Uso de propriedades visuais-interativas na avaliação da qualidade de dados	João Marcelo Borovina Josko	João Eduardo Ferreira	Doutorado
26/04/2016	Informações de suporte ao escalonamento de workflows científicos para a execução em plataformas de computação em nuvem	Eduardo Cotrin Teixeira	Kelly Rosa Braghetto	Doutorado
18/03/2016	Predição de mudanças conjuntas de artefatos de software com base em informações contextuais	Igor Scaliante Wiese	Marco Aurélio Gerosa	Doutorado
17/03/2016	OntoBacen: uma ontologia para gestão de riscos do sistema financeiro brasileiro	Filipe Ricardo Polizel	Jaime Simão Sichman	Mestrado
24/02/2016	Decomposição de grafos em caminhos	Fábio Happ Botler	Yoshiko Wakabayashi	Doutorado
24/02/2016	Segmentação de imagens pela transformada imagem-floresta com faixa de restrição geodésica	Caio de Moraes Braz	Paulo Andre Vechiatto de Miranda	Mestrado
23/02/2016	Pseudo-contrações em revisão de crenças	Yuri David Santos	Renata Wassermann	Mestrado
18/02/2016	Problema da árvore geradora de comunicação ótima: variantes, complexidade e aproximação	Santiago Valdes Ravelo	Carlos Eduardo Ferreira	Doutorado
22/01/2016	Medindo inconsistência em bases de conhecimento probabilístico	Glauber De Bona	Marcelo Finger	Doutorado
11/12/2015	Detecção de fraudes em cartões: um classificador baseado em regras de associação e regressão logística	Paulo Henrique Maestrello Assad Oliveira	Alair Pereira do Lago	Mestrado
11/12/2015	Problemas computacionais em teoria topológica dos grafos	Rafael Veiga Pocai	Carlos Eduardo Ferreira	Mestrado
09/12/2015	iPlan - Uma linha de produtos de software baseada em padrões pedagógicos para gerar planos de aula em ambientes de aprendizagem via web	Reginaldo do Prado	Leonidas de Oliveira Brandao	Doutorado
08/12/2015	Conexidade fuzzy relativa em grafos dirigidos e sua aplicação em um método híbrido para segmentação interativa de imagens	Hans Harley Ccacyahuillca Bejar	Paulo Andre Vechiatto de Miranda	Mestrado
08/12/2015	Técnicas determinísticas para acompanhamento musical automatizado	Roberto Piassi Passos Bodo	Marcelo Gomes de Queiroz	Mestrado
27/11/2015	Melhorando o desempenho de agentes BDI Jason através de filtros de percepção	Márcio Fernando Stabile Junior	Jaime Simão Sichman	Mestrado
26/11/2015	O ecossistema de startups de software da cidade de São Paulo	Monna Cleide Fonsêca Rodrigues dos Santos	Fabio Kon	Mestrado
23/11/2015	Mecanismos para a melhoria do desempenho de sistemas RFID passivos	Rafael Perazzo Barbosa Mota	Daniel Macedo Batista	Doutorado
17/11/2015	Arcabouço probabilístico para análise de sequências de RNA	Rafael Mathias Ferreira	Alan Mitchell Durham	Mestrado
13/11/2015	iCOMB: estudo e reprojeto participativo para redefinição de um sistema para ensino-aprendizagem de combinatória	Márcia Roberta dos Santos Pires da Silva	Leonidas de Oliveira Brandao	Mestrado
11/11/2015	ExpressMath Online: um sistema web para o tratamento de dados de expressões matemáticas manuscritas	Davi Souto Grangeiro	Nina Sumiko Tomita Hirata	Mestrado
06/11/2015	Empacotamento de elipsoides	Rafael Durbano Lobato	Ernesto Julian Goldberg Birgin	Doutorado
29/10/2015	Geração de propriedades sobre programas Java a partir de objetivos de teste	Simone Hanazumi	Ana Cristina Vieira de Melo	Doutorado
20/10/2015	Uma abordagem baseada em grafos para rastreamento de múltiplos objetos em vídeos estruturados com um aplicação para o reconhecimento de ações	Henrique Morimitsu	Roberto Marcondes Cesar Junior	Doutorado
14/10/2015	Desambiguação de autoria em listas de discussão de projetos de software livre	José Teodoro da Silva	Marco Aurélio Gerosa	Mestrado
16/09/2015	Clustering de trajetórias	Marcio Takashi Iura Oshiro	Cristina Gomes Fernandes	Doutorado
03/09/2015	Contribuições para interação pelo olhar com teclados virtuais	Antonio Díaz Tula	Carlos Hitoshi Morimoto	Doutorado Direto
24/08/2015	Computação incremental e eficiente de sequências de árvores de componentes	Alexandre Morimitsu	Ronaldo Fumio Hashimoto	Mestrado
14/08/2015	Um método para modificar vias de sinalização molecular por meio de análise de banco de dados de interatomas	Lulu Wu	Junior Barrera	Mestrado
06/08/2015	Últimos <i>Levelings</i>: Conceitos, propriedades, algoritmos e aplicações em processamento e análise de imagens	Wonder Alexandre Luz Alves	Ronaldo Fumio Hashimoto	Doutorado
06/08/2015	Piloto baseado em aprendizagem por reforço para o simulador de corridas TORCS	Vinícius Kiwi Daros	Flavio Soares Correa da Silva	Mestrado
05/08/2015	Álgebras de flags e torneios	Leonardo Nagami Coregliano	Yoshiharu Kohayakawa	Mestrado
23/07/2015	Construção e seleção de janelas na combinação de W-operadores	Marta Magda Dornelles	Nina Sumiko Tomita Hirata	Doutorado
08/07/2015	Um middleware para coreografias de serviços web escaláveis em ambientes de computação em nuvem	Thiago Furtado de Mendonça	Fabio Kon	Mestrado
23/06/2015	Superfície mágica: criando superfícies interativas por meio de câmeras RGBD e projetores	Alexandre Martins Ferreira de Sousa	Carlos Hitoshi Morimoto	Mestrado
15/06/2015	Ordenação evolutiva de anúncios em publicidade computacional	Marcos Eduardo Bolelli Broinizi	João Eduardo Ferreira	Doutorado
08/06/2015	Um método escalável de reconhecimento de objetos com uso de informações estruturais de grafos-chave	Estephan Dazzi Wandekoken	Roberto Marcondes Cesar Junior	Doutorado
28/05/2015	IntLAG: uma biblioteca para álgebra linear intervalar em processadores gráficos	Ademar Marques Lacerda Filho	Walter Figueiredo Mascarenhas	Mestrado
19/05/2015	MOOC de geometria: discussões e proposta de um modelo para a educação básica	Maria José Guimarães de Souza	Leonidas de Oliveira Brandao	Mestrado
18/05/2015	Programação dinâmica simbólica aproximada e assíncrona para processos de decisão markovianos com variáveis contínuas	Luis Gustavo Rocha Vianna	Leliane Nunes de Barros	Mestrado
12/05/2015	Construção e uso de ambiente visual para o ensino de programação introdutória	Romenig da Silva Ribeiro	Leonidas de Oliveira Brandao	Mestrado
08/05/2015	Escalonamento de tarefas em processadores de velocidade variável em múltiplas organizações	Pedro Luis Furio Raphael	Daniel de Angelis Cordeiro	Mestrado
04/05/2015	Modelos de aprendizado supervisionado usando métodos kernel, conjuntos fuzzy e medidas de probabilidade	Jorge Luis Guevara Díaz	Roberto Hirata Junior	Doutorado
04/05/2015	Quantificação de angiogênese em imagens de membranas corioalantóicas de embrião de galinha	Leandro Ticlia de La Cruz	Nina Sumiko Tomita Hirata	Mestrado
28/04/2015	Análise de redes biológicas: estudo comparativo de medidas de dependência e uma ferramenta computacional para discriminar grafos	Suzana de Siqueira Santos	André Fujita	Mestrado
16/04/2015	Alocação energeticamente eficiente de máquinas virtuais	Albert Philippe Marcel de la Fuente Vigliotti	Daniel Macedo Batista	Mestrado
27/02/2015	Análise de redes de colaboração científica: uma abordagem baseada em grafos relacionais com atributos	Evelyn Pérez Cervantes	Roberto Marcondes Cesar Junior	Mestrado
26/02/2015	Apoiando novatos a superarem barreiras para contribuir a projetos de software livre	Igor Fábio Steinmacher	Marco Aurélio Gerosa	Doutorado
05/02/2015	Gerenciamento de recursos computacionais em plataformas de computação em nuvem	Cássio Alexandre Paixão Silva Alkmin	Daniel de Angelis Cordeiro	Mestrado
26/01/2015	Teste de propriedades em torneios	Henrique Stagni	Yoshiharu Kohayakawa	Mestrado
23/01/2015	Algoritmos para união de círculos e polígonos	Luís Fernando Schultz Xavier da Silveira	Cristina Gomes Fernandes	Mestrado
19/12/2014	Transformações hit-or-miss para imagens tons de cinza	Felipe Breve Siola	Nina Sumiko Tomita Hirata	Mestrado
12/12/2014	Documentação e testes da biblioteca genérica de álgebra linear Klein	Rafael Freitas Schmid	Walter Figueiredo Mascarenhas	Mestrado
11/12/2014	Tipicalidade em lógicas de descrição	José David Fernández Curado	Renata Wassermann	Mestrado
10/12/2014	Integração entre múltiplas ontologias: reúso e gerência de conflitos	Raphael Mendes de Oliveira Cobe	Renata Wassermann	Doutorado
01/12/2014	Atualização dinâmica de modelo de regressão logística binária para detecção de fraudes em transações eletrônicas com cartão de crédito	Fidel Beraldi	Alair Pereira do Lago	Mestrado
01/12/2014	Evoluindo o suporte à tolerância a falhas na macroprogramação de redes de sensores sem fio	Guilherme de Maio Nogueira	Marco Aurélio Gerosa	Mestrado
28/11/2014	Programação dinâmica em tempo real para processos de decisão markovianos com probabilidades imprecisas	Daniel Baptista Dias	Karina Valdivia Delgado	Mestrado
25/11/2014	Análise da estrutura de clusterização das redes de conectividade funcional do cérebro para investigar as bases das desordens do espectro autista	Maciel Calebe Vidal	André Fujita	Mestrado
19/11/2014	GGLL - Um gerador de analisadores sintáticos para gramáticas gráficas LL(1)	Tasso Tirapani Silva Pinto	Valdemar Waingort Setzer	Mestrado
12/11/2014	<i>iQuiz</i> - Ambiente de autoria para avaliação do aprendizado no moodle	José Roberto Alves Rodrigues	Leonidas de Oliveira Brandao	Mestrado
30/10/2014	Mudanças em problemas de planejamento sem solução	Maria Viviane de Menezes	Leliane Nunes de Barros	Doutorado Direto
22/10/2014	Proposta de arquitetura para federações de nuvens computacionais acadêmicas	Gabriel Araujo von Winckler	Marco Dimas Gubitoso	Mestrado
08/10/2014	Redução no esforço de interação em segmentação de imagens digitais através de aprendizagem computacional	Bruno Klava	Nina Sumiko Tomita Hirata	Doutorado
09/09/2014	Espelho virtual interativo para simulação de maquiagem	Filipe Morgado Simões de Campos	Carlos Hitoshi Morimoto	Mestrado
28/08/2014	Empacotamento de árvores em grafos completos	Renzo Gonzalo Gómez Diaz	Yoshiko Wakabayashi	Mestrado
25/08/2014	Um estudo empírico sobre classificação de símbolos matemáticos manuscritos	Marcelo Valentim de Oliveira	Nina Sumiko Tomita Hirata	Mestrado
14/08/2014	Diretrizes metodológicas e validação estatística de dados para a construção de <i>data warehouses</i>	Pedro Losco Takecian	João Eduardo Ferreira	Doutorado
11/07/2014	Erdos-Ko-Rado em famílias aleatórias	Marcelo Matheus Gauy	Yoshiharu Kohayakawa	Mestrado
30/06/2014	Seleção de serviços web em coreografias	Patricia Araujo de Oliveira	Daniel Macedo Batista	Mestrado
09/06/2014	Teste e verificação formal do comportamento excepcional de programas Java	Alexandre Locci Martins	Ana Cristina Vieira de Melo	Mestrado
03/06/2014	Análise de expressões gênicas com erros de medida e aplicação em dados reais	Adèle Helena Ribeiro	Roberto Hirata Junior	Mestrado
30/05/2014	Caminhos mais longos em grafos	Susanna Figueiredo de Rezende	Yoshiko Wakabayashi	Mestrado
26/05/2014	Implantação automatizada de composições de serviços web de grande escala	Leonardo Alexandre Ferreira Leite	Marco Aurélio Gerosa	Mestrado
21/05/2014	iRepositório - repositório interativo de conteúdos digitais para cursos baseados na Internet	Mauricio Garcia Franco do Nascimento	Leonidas de Oliveira Brandao	Mestrado
16/05/2014	Ambientes de execução para o modelo de atores em plataformas hierárquicas de memória compartilhada com processadores de múltiplos núcleos	Emilio de Camargo Francesquini	Alfredo Goldman Vel Lejbman	Doutorado
08/05/2014	Um processo para modelagem e aplicação de técnicas computacionais para detecção de fraudes em transações eletrônicas	Gabriel Preti Santiago	Roberto Hirata Junior	Mestrado
08/05/2014	Pares Ramsey infinitos	Paulo Victor Teixeira Eufrasio	Yoshiharu Kohayakawa	Mestrado
06/05/2014	Avaliação de medidas de similaridade entre tensores aplicada a imagens do tensor de difusão por ressonância magnética	David Macedo da Conceição	Marcel Parolin Jackowski	Mestrado
16/04/2014	Abdução clássica e abdução probabilística: a busca pela explicação de dados reais	Alexandre Matos Arruda	Marcelo Finger	Doutorado
16/04/2014	Um método de pontos interiores primal-dual viável para minimização com restrições lineares de grande porte	John Lenon Cardoso Gardenghi	Ernesto Julian Goldberg Birgin	Mestrado
07/04/2014	Revisão de crenças em lógicas de descrição - um plug-in para o <i>protégé</i>	Fillipe Manoel Xavier Resina	Renata Wassermann	Mestrado
04/04/2014	Visão cumputacional para o monitoramento contínuo de plâncton	Damian Janusz Matuszewski	Roberto Marcondes Cesar Junior	Mestrado
02/04/2014	Mecanismos para consolidação de servidores	Max Rosan dos Santos Júnior	Daniel Macedo Batista	Mestrado
26/02/2014	Transformada imagem-floresta com funções de conexidade não suaves: pesos adaptativos, polaridade de borda e restrições de forma	Lucy Alsina Choque Mansilla	Paulo Andre Vechiatto de Miranda	Mestrado
14/02/2014	Problemas de alocação e precificação de itens	Rafael Crivellari Saliba Schouery	Cristina Gomes Fernandes	Doutorado Direto
14/02/2014	Gerenciamento de múltiplas submissões em sistemas paralelos: a abordagem do escalonamento equitativo	Vinicius Gama Pinheiro	Alfredo Goldman Vel Lejbman	Doutorado
11/02/2014	Análise de formas usando <i>wavelets</i> em grafos	Jorge de Jesus Gomes Leandro	Roberto Marcondes Cesar Junior	Doutorado
23/01/2014	Uma proposta de protocolo token ring sem fio	Adroaldo Lazouriano Moreira Borges	Marco Dimas Gubitoso	Mestrado
18/12/2013	Algoritmos para junções em dígrafos acíclicos e uma aplicação na Antropologia	Álvaro Junior Pereira Franco	Carlos Eduardo Ferreira	Doutorado
17/12/2013	Medusa: um ambiente musical distribuído	Flávio Luiz Schiavoni	Marcelo Gomes de Queiroz	Doutorado
17/12/2013	Predição de tags usando linked data: um estudo de caso no banco de dados Arquigrafia	Ricardo Augusto Teixeira de Souza	Leliane Nunes de Barros	Mestrado
12/12/2013	Aprendizado por reforço em lote: um estudo de caso para o problema de tomada de decisão em processos de venda	Dênis Antonio Lacerda	Leliane Nunes de Barros	Mestrado
09/12/2013	Grafos aleatórios exponenciais	Tássio Naia dos Santos	Yoshiharu Kohayakawa	Mestrado
09/12/2013	Soluções eficientes para processos de decisão markovianos baseadas em alcançabilidade e bissimulações estocásticas	Felipe Martins dos Santos	Leliane Nunes de Barros	Mestrado
26/11/2013	Análise de desempenho de interfaces de rede virtualizadas com Napi	Eduardo Hideo Kuroda	Daniel Macedo Batista	Mestrado
25/11/2013	Uma métrica para avaliação de diferença perceptual em imagens para deficientes visuais de cores	Rafael de Oliveira Lopes Gonçalves	Roberto Hirata Junior	Mestrado
22/11/2013	PATO: um ambiente integrado com interface gráfica para a curadoria de dados de sequências biológicas	Liliane Santana Oliveira Kashiwabara	Alan Mitchell Durham	Mestrado
06/11/2013	Extração e consulta de informações do currículo lattes baseada em ontologias	Eduardo Ferreira Galego	Renata Wassermann	Mestrado
04/11/2013	Ferramentas computacionais para a síntese de imagens de difusão por ressonância magnética	Renato Callado Borges	Marcel Parolin Jackowski	Mestrado
04/11/2013	Um método para a implementação de regras de negócio à partir da semântica SBVR	Jandisson Soares de Jesus	Ana Cristina Vieira de Melo	Mestrado
31/10/2013	Autenticação e comunicação segura em dispositivos móveis de poder computacional restrito	Rafael Will Macêdo de Araujo	Routo Terada	Mestrado
31/10/2013	Consulta a ontologias em língua portuguesa através do português controlado	Fabiano Ferreira Luz	Renata Wassermann	Mestrado
30/10/2013	Cifra multicanal para maior segurança em redes TCP /IP	Sylvio Ximenez de Azevedo Neto	Routo Terada	Mestrado
21/10/2013	Processamento de áudio em tempo real em plataformas computacionais de alta disponibilidade e baixo custo	André Jucovsky Bianchi	Marcelo Gomes de Queiroz	Mestrado
14/10/2013	Uma arquitetura modular baseada em sistema de arquivos para monitoramento de pacotes de rede no sistema operacional GNU/Linux	Beraldo Costa Leal	Marco Dimas Gubitoso	Mestrado
02/10/2013	Extração de informações de narrativas clínicas	Michel Oleynik	Marcelo Finger	Mestrado
23/09/2013	Reconstrução da chave secreta do RSA multi-primo	Reynaldo Caceres Villena	Routo Terada	Mestrado
23/09/2013	Software para prática de regência coral	Caio Cesar Moreira	Ronaldo Fumio Hashimoto	Mestrado
13/09/2013	Dinâmica de redes booleanas limiarizadas utilizando programação em GPU	William Lira Ferreira	Ronaldo Fumio Hashimoto	Mestrado
30/08/2013	Dois resultados em combinatória contemporânea	Guilherme Oliveira Mota	Yoshiharu Kohayakawa	Doutorado
27/08/2013	Proposta de aprimoramento para o protocolo de assinatura digital Quartz	Ewerton Rodrigues Andrade	Routo Terada	Mestrado
07/08/2013	Kalibro: interpretação de métricas de código-fonte	Carlos Morais Piroupo	Fabio Kon	Mestrado
07/08/2013	Recoloração convexa de grafos: algoritmos e poliedros	Phablo Fernando Soares Moura	Yoshiko Wakabayashi	Mestrado
10/07/2013	Autômatos sincronizados e a Conjectura de Cerný	Leticia Gindri	Arnaldo Mandel	Mestrado
24/06/2013	Construção do livro de ofertas a partir de dados de alta frequência e um algoritmo de predição de valores baseado em técnicas de agrupamento e regressão linear	Rodrigo Bossini Tavares Moreira	Anatoli Iambartsev	Mestrado
12/06/2013	Uma abordagem transacional para o tratamento de exceções em processos de negócio	Pedro Paulo de Souza Bento da Silva	João Eduardo Ferreira	Mestrado
06/06/2013	Método beam search aplicado ao problema de escalonamento de tarefas flexível	José Eurípedes Ferreira de Jesus Filho	Ernesto Julian Goldberg Birgin	Mestrado
27/05/2013	Performances musicais distribuídas através de Internet residencial	Marcio Masaki Tomiyoshi	Marcelo Gomes de Queiroz	Mestrado
21/05/2013	Conversão de voz inter-linguística	Anderson Fraiha Machado	Marcelo Gomes de Queiroz	Doutorado
20/05/2013	Monitoramento de métricas de código-fonte em projetos de software livre	Paulo Roberto Miranda Meirelles	Fabio Kon	Doutorado
09/05/2013	Produtividade de times ágeis: uma avaliação experimental de fatores e processos de monitoramento	Claudia de Oliveira Melo	Fabio Kon	Doutorado
02/05/2013	AudioLazy: processamento digital de sinais expressivo e em tempo real	Danilo de Jesus da Silva Bellini	Marcelo Gomes de Queiroz	Mestrado
26/04/2013	Simulações financeiras em GPU	Thársis Tuani Pinto Souza	Walter Figueiredo Mascarenhas	Mestrado
03/04/2013	Planejamento probabilístico usando programação dinâmica assíncrona e fatorada	Mijail Gamarra Holguin	Leliane Nunes de Barros	Mestrado
02/04/2013	Visualização de tags para explicar e filtrar recomendações de músicas	Juliana Sato Yamashita	Flavio Soares Correa da Silva	Mestrado
28/03/2013	Implementação do arcabouço WED-flow para controle de processos transacionais	Marcela Ortega Garcia	João Eduardo Ferreira	Mestrado
22/03/2013	Detecção de violações de SLA em coreografias de serviços Web	Victoriano Alfonso Phocco Diaz	Daniel Macedo Batista	Mestrado
21/03/2013	Análise empírica de algoritmos de revisão sobre bases de crenças	Renato Urquiza Lundberg	Renata Wassermann	Mestrado
21/03/2013	Desempenho de sistemas com dados georeplicados com consistência em momento indeterminado e na linha do tempo	Mauricio José de Oliveira de Diana	Marco Aurélio Gerosa	Mestrado
19/03/2013	Componentes para interoperabilidade entre redes sociais na Web 2.0	Carlos Leonardo Herrera Muñoz	Marco Aurélio Gerosa	Mestrado
19/03/2013	Desenvolvimento de um arcabouço probabilístico para implementação de campos aleatórios condicionais	Ígor Bonadio	Alan Mitchell Durham	Mestrado
15/03/2013	Decomposição sequencial a partir da sup-representação de W-operadores	Joel Edu Sanchez Castro	Ronaldo Fumio Hashimoto	Mestrado
15/03/2013	Extração de informações de desempenho em GPUs NVIDIA	Paulo Carlos Ferreira dos Santos	Marco Dimas Gubitoso	Mestrado
11/03/2013	Uma nova abordagem para as operações de Transformada de Erosão e Transformada de Dilatação através da união da decomposição de elementos estruturantes	Alexandre Yukio Harano	Ronaldo Fumio Hashimoto	Mestrado
08/03/2013	Codificação e compressão iterativa de sinais biomédicos	Luiz Fernando Oliveira Corte Real	Marcel Parolin Jackowski	Mestrado
06/03/2013	Aprimorando o corretor gramatical CoGrOO	William Daniel Colen de Moura Silva	Marcelo Finger	Mestrado
01/03/2013	Descritor de bordas e quantização espacial flexível aplicados a categorização de objetos	Arnaldo Câmara Lara	Roberto Hirata Junior	Doutorado
21/02/2013	Compartilhamento de conhecimento inter-equipes: o processo de socialização do conhecimento tácito em contextos ágeis de desenvolvimento de software	Viviane Almeida dos Santos	Alfredo Goldman Vel Lejbman	Doutorado
04/02/2013	Planejamento probabilístico como busca num espaço de transição de estados	Daniel Javier Casani Delgado	Leliane Nunes de Barros	Mestrado
23/01/2013	Rotulação de símbolos matemáticos manuscritos via casamento de expressões	Willian Yukio Honda	Nina Sumiko Tomita Hirata	Mestrado
14/12/2012	Estimação de movimento a partir de imagens RGBD usando homomorfismo entre grafos	David da Silva Pires	Roberto Marcondes Cesar Junior	Doutorado
14/12/2012	Algoritmos para o problema da árvore de Steiner com coleta de prêmios	Camila Mari Matsubara	Jose Coelho de Pina Junior	Mestrado
14/12/2012	Protocolos de interação baseados em conhecimento: implementação da plataforma JamSession	Diego Mira David	Flavio Soares Correa da Silva	Mestrado
10/12/2012	Answer set programming probabilístico	Eduardo Menezes de Morais	Marcelo Finger	Mestrado
07/12/2012	Um modelo para interoperabilidade entre instituições heterogêneas	Cláudia Josimar Abrão de Araújo	Flavio Soares Correa da Silva	Doutorado
07/12/2012	O problema do multicorte dirigido mínimo	Juan Gabriel Gutierrez Alva	Paulo Feofiloff	Mestrado
03/12/2012	Cálculo de reputação em redes sociais a partir da colaboração entre os participantes	Edith Zaida Sonco Mamani	Marco Aurélio Gerosa	Mestrado
03/12/2012	Protocolo de identificação baseado em polinômios multivariáveis quadráticos	Fabio de Salles Monteiro	Routo Terada	Mestrado
28/11/2012	Minimização de funções decomponíveis em curvas em U definidas sobre cadeias de posets - algoritmos e aplicações	Marcelo da Silva Reis	Junior Barrera	Doutorado Direto
26/11/2012	Módulo de consultas distribuídas do Infinispan	Israel Danilo Lacerra	Francisco Carlos da Rocha Reverbel	Mestrado
22/11/2012	Um arcabouço generalizado para empacotamento de ramificações e outras estruturas combinatórias	Mário Leston Rey	Yoshiko Wakabayashi	Doutorado
22/11/2012	Um modelo conceitual para ambientes inteligentes baseado em interações formais em espaços físicos	Crhistian Alberto Noriega Guerra	Flavio Soares Correa da Silva	Doutorado
14/11/2012	Caminhos mínimos com recursos limitados	Joel Silva Uchoa	Carlos Eduardo Ferreira	Mestrado
12/11/2012	Jogos markovianos alternados sob incerteza	Fábio de Oliveira Franco	Leliane Nunes de Barros	Mestrado
09/11/2012	Geração de redes vasculares sintéticas tridimensionais utilizando sistemas de Lindenmayer estocásticos e parametrizados	Miguel Angel Galarreta Valverde	Marcel Parolin Jackowski	Mestrado
29/10/2012	Detecção e rastreamento de lábios em dispositivos móveis	Giseli de Araujo Ramos	Roberto Marcondes Cesar Junior	Mestrado
23/10/2012	Detecção de objetos em vídeos usando misturas de modelos baseados em partes deformáveis obtidas de um conjunto de imagens	Leissi Margarita Castaneda Leon	Roberto Hirata Junior	Mestrado
19/10/2012	Arquigrafia Brasil: um ambiente colaborativo baseado em componentes para o compartilhamento de imagens de arquitetura	Straus Michalsky Martins	Marco Aurélio Gerosa	Mestrado
17/10/2012	Interoperabilidade de documentos digitais usando ontologias	Erika Guetti Suca	Flavio Soares Correa da Silva	Mestrado
08/10/2012	Uso de informação linguística e análise de conceitos formais no aprendizado de ontologias	Carlos Eduardo Atencio Torres	Renata Wassermann	Mestrado
02/10/2012	Empacotamento de bicliques em grafos bipartidos	Alexandre da Silva Freire	Carlos Eduardo Ferreira	Doutorado
02/10/2012	PAWEB - Uma plataforma para desenvolvimento de aplicativos web utilizando o modelo de atores	Bruno Takahashi Carvalhas de Oliveira	Francisco Carlos da Rocha Reverbel	Mestrado
27/09/2012	Leilões para publicidade na Internet	Atol Fortin de Oliveira	Cristina Gomes Fernandes	Mestrado
20/09/2012	Problemas de corte com sobras aproveitáveis e eliminação de simetrias	Ricardo Luiz de Andrade Abrantes	Ernesto Julian Goldberg Birgin	Doutorado
19/09/2012	Aplicação do método do gradiente espectral projetado ao problema de amostragem compressiva	Boris Chullo Llave	Ernesto Julian Goldberg Birgin	Mestrado
18/09/2012	Desenvolvimento de um aplicativo de notação musical em braille	Arthur Piza Mosterio Tofani	Marcelo Gomes de Queiroz	Mestrado
14/09/2012	Rehearsal: um arcabouço para teste automatizado de coreografias de serviços web	Felipe Meneses Besson	Fabio Kon	Mestrado
11/09/2012	Planejamento instrucional automatizado em aprendizagem colaborativa com suporte computacional utilizando planejamento hierárquico	Geiser Chalco Challco	Marco Aurélio Gerosa	Mestrado
03/09/2012	Raciocínio de agentes musicais composição algorítmica, vida artificial e interatividade em sistemas multiagentes musicais	Santiago David Davila Benavides	Marcelo Gomes de Queiroz	Mestrado
30/08/2012	Detecção e extração de redes vasculares usando transformada de Hough	Maysa Malfiza Garcia de Macedo	Marcel Parolin Jackowski	Doutorado
28/08/2012	Detecção de estruturas finas e ramificadas em imagens usando campos aleatórios de Markov e informação perceptual	Talita Perciano Costa Leite	Roberto Hirata Junior	Doutorado
30/07/2012	Detecção de códigos QR em imagens com enquadramento arbitrário	Luiz Felipe Franco Belussi	Nina Sumiko Tomita Hirata	Mestrado
11/07/2012	Anotação e classificação automática de entidades nomeadas em notícias esportivas em Português Brasileiro	Rodrigo Constantin Ctenas Zaccara	Marcelo Finger	Mestrado
06/07/2012	Uma linha de produto de software para módulos de aprendizagem interativa	Danilo Leite Dalmon	Leonidas de Oliveira Brandao	Mestrado
03/07/2012	Algoritmos evolutivos aplicados ao classificador baseado em segmentos de reta	Rosario Alejandra Medina Rodríguez	Ronaldo Fumio Hashimoto	Mestrado
05/06/2012	Modelagem e reconhecimento de objetos estruturados: uma abordagem estatístico-estrutural	Ana Beatriz Vicentim Graciano	Roberto Marcondes Cesar Junior	Doutorado
29/05/2012	Tratamento de eventos aplicado à composição de serviços web	Mauricio Chui Rodrigues	João Eduardo Ferreira	Mestrado
24/05/2012	Alinhamentos e comparação de sequências	Francisco Eloi Soares de Araujo	Jose Augusto Ramos Soares	Doutorado
23/05/2012	Programação por restrições e escalonamento baseado em restrições: um estudo de caso na programação de recursos para o desenvolvimento de poços de petróleo	Thiago Serra Azevedo Silva	Yoshiko Wakabayashi	Mestrado
11/05/2012	Jogos de Steiner	César Gamboa Machado	Jose Coelho de Pina Junior	Mestrado
11/05/2012	Otimização em meteorologia: cálculo de perturbações condicionais não-lineares ótimas	Jessé Américo Gomes de Lima	Ernesto Julian Goldberg Birgin	Mestrado
09/05/2012	Métodos estocásticos de otimização global aplicados ao problema de empacotamento de círculos em elipses	Luis Henrique Bustamante de Morais	Ernesto Julian Goldberg Birgin	Mestrado
08/05/2012	Uso do padrão AMQP para transporte de mensagens entre atores remotos	Thadeu de Russo e Carmo	Francisco Carlos da Rocha Reverbel	Mestrado
07/05/2012	Ferramenta para correção automática de exercícios de programação em ambientes de aprendizagem, com plugin para Moodle	Ariel Martini	Carlos Hitoshi Morimoto	Mestrado
27/04/2012	Detecção de objetos por reconhecimento de grafos-chave	Marcelo Hashimoto	Roberto Marcondes Cesar Junior	Doutorado
25/04/2012	Como a prática de TDD influencia o projeto de classes em sistemas orientados a objetos	Mauricio Finavaro Aniche	Marco Aurélio Gerosa	Mestrado
25/04/2012	Detecção de ovos de S. <i>mansoni</i> a partir da detecção de seus contornos	Edwin Delgado Huaynalaya	Nina Sumiko Tomita Hirata	Mestrado
13/04/2012	Assinatura digital Rabin-Williams - sem randomização e com prova eficiente de segurança	Bernardo Caraponale Magri	Routo Terada	Mestrado
04/04/2012	Representações retangulares de grafos planares	Guilherme Puglia Assunção	Carlos Eduardo Ferreira	Mestrado
03/04/2012	Interações gênicas usando redes booleanas limiarizadas modeladas como um problema de satisfação de restrições	Tales Pinheiro de Andrade	Ronaldo Fumio Hashimoto	Mestrado
22/03/2012	Aplicação de práticas de usabilidade ágil em software livre	Ana Paula Oliveira Bertholdo	Fabio Kon	Mestrado
29/02/2012	Grafos evolutivos na modelagem e análise de redes dinâmicas	Paulo Henrique Floriano	Alfredo Goldman Vel Lejbman	Mestrado
28/02/2012	Análise da distribuição do número de operações de resolvedores SAT	Poliana Magalhães Reis	Marcelo Finger	Mestrado
24/02/2012	Reconhecimento de entidades mencionadas em português utilizando aprendizado de máquina	Wesley Seidel Carvalho	Marcelo Finger	Mestrado
17/02/2012	Inferência de redes de regulação gênica utilizando o paradigma de crescimento de sementes	Carlos Henrique Aguena Higa	Ronaldo Fumio Hashimoto	Doutorado
10/02/2012	MYOP/ToPS/SGEval: Um ambiente computacional para estudo sistemático de predição de genes	André Yoshiaki Kashiwabara	Alan Mitchell Durham	Doutorado
24/01/2012	Um estudo sistemático sobre o espaço de trabalho informativo e o acompanhamento em equipes ágeis de desenvolvimento de software	Renan de Melo Oliveira	Alfredo Goldman Vel Lejbman	Mestrado
19/12/2011	Metadados para reconciliação de transações em bancos de dados autônomos	Gustavo Luiz Duarte	João Eduardo Ferreira	Mestrado
16/12/2011	Criptografia de chave pública sem certificado	Denise Hideko Goya	Routo Terada	Doutorado
16/12/2011	Segurança do bit menos significativo no RSA e em curvas elípticas	Dionathan Nakamura	Routo Terada	Mestrado
15/12/2011	Aproximação de métricas finitas por métricas arbóreas e aplicações	Murilo Santos de Lima	Cristina Gomes Fernandes	Mestrado
13/12/2011	Quantidade de orientações de grafos livres de circuitos direcionados cíclicos	Roberto Freitas Parente	Yoshiharu Kohayakawa	Mestrado
12/12/2011	Algoritmos para o problema da cobertura por sensores	Rafael da Ponte Barbosa	Yoshiko Wakabayashi	Mestrado
02/12/2011	Reticulados de conceitos	Alexandre Luiz Junqueira Hadura Albano	Alair Pereira do Lago	Mestrado
28/11/2011	Verificação de sistemas multi-agentes comportamentalistas através de simulações formalmente guiadas	Paulo Salem da Silva	Ana Cristina Vieira de Melo	Doutorado Direto
28/11/2011	Uma infraestrutura para aplicações distribuídas baseadas em atores Scala	Thiago Henrique Coraini	Francisco Carlos da Rocha Reverbel	Mestrado
16/11/2011	Recoloração convexa de caminhos	Karla Roberta Pereira Sampaio Lima	Yoshiko Wakabayashi	Doutorado
07/11/2011	Um sistema para implementação e uso de bancos de dados pela internet sem programação	Edgard Pevidor de Miranda	Valdemar Waingort Setzer	Mestrado
20/10/2011	A indústria da manufatura e sua relação com métodos ágeis de desenvolvimento de software: histórico, apanhado sistemático e situação atual	Eduardo Teruo Katayama	Alfredo Goldman Vel Lejbman	Mestrado
14/10/2011	Novos métodos para rastreamento de olhar baseados na razão cruzada com compensação de movimentos da cabeça	Flávio Luiz Coutinho	Carlos Hitoshi Morimoto	Doutorado
30/09/2011	AppRecommender: um recomendador de aplicativos GNU/Linux	Tássia Camões Araujo	Arnaldo Mandel	Mestrado
22/09/2011	Protocolos de acordo de chaves baseados em emparelhamentos, para dispositivos móveis	Cleber Morio Okida	Routo Terada	Mestrado
22/09/2011	Identificação e visualização de dependências em sistemas de software orientados a objetos	Gustavo Ansaldi Oliva	Marco Aurélio Gerosa	Mestrado
21/09/2011	Técnicas de modelagem para a análise de desempenho de processos de negócio	Kelly Rosa Braghetto	João Eduardo Ferreira	Doutorado
20/09/2011	Um estudo do uso eficiente de programas em placas gráficas	Patricia Akemi Ikeda	Alfredo Goldman Vel Lejbman	Mestrado
29/08/2011	Uma abordagem estrutural para detecção de objetos e localização em ambientes internos por dispositivos móveis	Henrique Morimitsu	Roberto Marcondes Cesar Junior	Mestrado
22/08/2011	Estudo comparativo de técnicas de escalonamento de tarefas dependentes para grades computacionais	Alvaro Henry Mamani Aliaga	Alfredo Goldman Vel Lejbman	Mestrado
12/08/2011	Um estudo sistemático de licenças de software livre	Vanessa Cristina Sabino	Fabio Kon	Mestrado
04/08/2011	Métricas de avaliação de alinhamento de ontologias	Esdras Lins Bispo Junior	Renata Wassermann	Mestrado
04/07/2011	Padrões de testes automatizados	Paulo Cheque Bernardo	Fabio Kon	Mestrado
04/07/2011	Segmentação de imagens similares por casamento de grafos e detecção de comunidades	Charles Iury Oliveira Martins	Roberto Marcondes Cesar Junior	Mestrado
20/06/2011	Métodos de segmentação musical baseados em descritores sonoros	André Salim Pires	Marcelo Gomes de Queiroz	Mestrado
17/06/2011	Reconhecimento de fala para navegação em aplicativos móveis para português brasileiro	Edwin Miguel Triana Gomez	Fabio Kon	Mestrado
14/06/2011	Avaliação de desempenho do sistema de memória transacional de Clojure como biblioteca de sincronização na linguagem Java	Pablo César Calcina Ccori	Marco Dimas Gubitoso	Mestrado
13/06/2011	Um arcabouço para construção de sistemas multiagente musicais	Leandro Ferrari Thomaz	Marcelo Gomes de Queiroz	Doutorado
13/06/2011	Segmentação de lesões cerebrais em imagens de ressonância magnética utilizando modelos deformáveis	Jihan Mohamad Zoghbi	Marcel Parolin Jackowski	Mestrado
09/06/2011	MD6 e a competição para escolha do SHA-3	Valdson Silva Cleto	Routo Terada	Mestrado
03/06/2011	Validação de padrões de web services transacionais	Paulo Roberto de Araujo França Nunes	Ana Cristina Vieira de Melo	Mestrado
02/06/2011	Replicação assíncrona em bancos de dados evolutivos	Helves Humberto Domingues	Fabio Kon	Doutorado
23/05/2011	Segmentação de imagens SPECT/Gated-SPECT do miocárdio e geração de um mapa polar	Luis Roberto Pereira de Paula	Roberto Hirata Junior	Mestrado
20/05/2011	Satisfazibilidade probabilística	Glauber De Bona	Marcelo Finger	Mestrado
16/05/2011	Abordagens para o ensino de práticas de programação extrema	Mariana Vivian Bravo	Alfredo Goldman Vel Lejbman	Mestrado
11/05/2011	Animação de faces tridimensionais baseada em registro estrutural	Andréa Britto Mattos	Roberto Marcondes Cesar Junior	Mestrado
28/04/2011	Localização em dispositivos móveis utilizando sinais de redes Wi-Fi	Rodrigo Bernardo Pimentel	Roberto Hirata Junior	Mestrado
20/04/2011	Análise e disposição de recursos de rede em grades computacionais	Alex Pires de Camargo	Alfredo Goldman Vel Lejbman	Mestrado
24/03/2011	Métodos ágeis e software livre: um estudo da relação entre estas duas comunidades	Hugo Corbucci	Alfredo Goldman Vel Lejbman	Mestrado
24/03/2011	Teoria, métodos e aplicações de otimização multiobjetivo	Phillipe Rodrigues Sampaio	Ernesto Julian Goldberg Birgin	Mestrado
18/03/2011	Planejamento de produção através do dimensionamento de lotes de itens únicos	Pedro Henrique Simões de Oliveira	Carlos Eduardo Ferreira	Mestrado
10/02/2011	VolPFix: Uma ferramenta para análise e detecção de falhas em sistemas de telefonia IP	Paulo César Siécola	Fabio Kon	Mestrado
08/02/2011	Árvores de Ukkonen: caracterização combinatória e aplicações	Gustavo Akio Tominaga Sacomoto	Alair Pereira do Lago	Mestrado
08/02/2011	Borboleta: Um sistema de telessaúde para auxílio à atenção primária domiciliar	Rafael José Peres Correia	Fabio Kon	Mestrado
28/01/2011	iTarefa: componente <i>Moodle</i> para incorporar módulos de aprendizagem interativa em cursos <i>Web</i>	Patricia Alves Pereira	Leonidas de Oliveira Brandao	Mestrado
17/12/2010	GRMediator: uma biblioteca modular para reconhecimento de gestos	Fernando Bertolli Petroni	Flavio Soares Correa da Silva	Mestrado
16/12/2010	Revisão de modelos CTL	Paulo de Tarso Guerra Oliveira	Renata Wassermann	Mestrado
14/12/2010	Reconstrução de faces 3D através de espaços de componentes principais	Jesús Pascual Mena Chalco	Roberto Marcondes Cesar Junior	Doutorado
10/12/2010	Comparação entre uma solução combinatória e um método de planos de corte para o problema do emparelhamento de peso máximo	Ander Conselvan de Oliveira	Carlos Eduardo Ferreira	Mestrado
10/12/2010	Localização de textos em imagens de cenas por meio de operadores morfológicos	Wonder Alexandre Luz Alves	Ronaldo Fumio Hashimoto	Mestrado
06/12/2010	Funcionalidades colaborativas no compartilhamento de conteúdo em redes sociais na Web 2.0: Uma engenharia de domínio baseada no modelo 3C de colaboração	Lucas Santos de Oliveira	Marco Aurélio Gerosa	Mestrado
10/11/2010	Conjuntos dominantes em grafos	Wanderley Guimarães da Silva	Yoshiko Wakabayashi	Mestrado
09/11/2010	iVProg: um sistema visual para ensino/aprendizagem de programação via Web	Reginaldo Rideaki Kamiya	Leonidas de Oliveira Brandao	Mestrado
20/09/2010	Revisão de crenças em lógicas de descrição e em outras lógicas não clássicas	Marcio Moretto Ribeiro	Renata Wassermann	Doutorado Direto
15/09/2010	Uma implementação paralela do AIRS em Scala	Filipe Ferraz Salgado	Francisco Carlos da Rocha Reverbel	Mestrado
03/09/2010	Análise de benefícios do paralelismo por comunicação unilateral em aplicações com grades não estruturadas	Pedro Pais Lopes	Siang Wun Song	Mestrado
01/09/2010	Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas	Simone Hanazumi	Ana Cristina Vieira de Melo	Mestrado
29/07/2010	Rastreamento de objetos utilizando reconhecimento estrutural de padrões: uma abordagem com modelo estático	Thiago Meireles Paixão	Roberto Hirata Junior	Mestrado
26/07/2010	O problema da subsequência comum máxima sem repetições	Christian Tjandraatmadja	Carlos Eduardo Ferreira	Mestrado
07/07/2010	Duas abordagens para casamento de padrões de pontos usando relações espaciais e casamento entre grafos	Alexandre Noma	Roberto Marcondes Cesar Junior	Doutorado
25/06/2010	Construção de atributos binários baseada em análise de interações	Carlos da Silva dos Santos	Roberto Hirata Junior	Doutorado
23/06/2010	Estudo e implementação de um método de restrições ativas para problemas de otimização em caixas	Jan Marcel Paiva Ientile	Ernesto Julian Goldberg Birgin	Mestrado
11/06/2010	k-árvores de custo mínimo	Marcio Takashi Iura Oshiro	Jose Coelho de Pina Junior	Mestrado
09/06/2010	Arquitetura e implementação de um sistema distribuído de recuperação de informação	Luiz Daniel Creão Augusto	Alair Pereira do Lago	Mestrado
02/06/2010	Tolerância a falhas no armazenamento distribuído de dados em grades oportunistas	Pablo Francisco Laura Huaman	Raphael Yokoingawa de Camargo	Mestrado
02/06/2010	Uma arquitetura para agentes inteligentes com personalidade e emoção	Ary Fagundes Bressane Neto	Flavio Soares Correa da Silva	Mestrado
28/05/2010	Modelagem de contextos para aprendizado automático aplicado à análise morfossintática	Fábio Natanael Kepler	Marcelo Finger	Doutorado
28/05/2010	Emparelhamentos hiperelípticos em criptografia	Daniel Noel Ribeiro	Routo Terada	Mestrado
12/05/2010	Identificação de fraude contra sistemas de reputação em mercados eletrônicos	Rafael Plana Maranzato	Alair Pereira do Lago	Mestrado
07/05/2010	Busca indexada de padrões em textos comprimidos	Lennon de Almeida Machado	Alair Pereira do Lago	Mestrado
07/05/2010	Depuração automática de programas baseada em modelos: uma abordagem hierárquica para auxílio ao aprendizado de programação	Wellington Ricardo Pinheiro	Leliane Nunes de Barros	Mestrado
29/04/2010	Auralização de fontes sonoras móveis usando HRTFs	Gustavo Henrique Montesião de Sousa	Marcelo Gomes de Queiroz	Mestrado
12/04/2010	Reconhecimento de gestos tridimensionais	Silvia Esparrachiari Ghirotti	Carlos Hitoshi Morimoto	Mestrado
06/04/2010	Redução de dimensionalidade em modelos de bancos de dados multidimensionais	Elisa Pereira Kameda	João Eduardo Ferreira	Mestrado
29/03/2010	Transformando dados em informação: um estudo através de exemplos	Rafael de Holanda Barroso	Alfredo Goldman Vel Lejbman	Mestrado
15/03/2010	Segmentação e reconhecimento de gestos em tempo real com câmeras e aceleração gráfica	Daniel Oliveira Dantas	Junior Barrera	Doutorado
10/02/2010	Renderização interativa de câmeras virtuais a partir da integração de múltiplas câmeras esparsas por meio de homografias e decomposições planares da cena	Jeferson Rodrigues da Silva	Carlos Hitoshi Morimoto	Mestrado
19/01/2010	Processos de decisão Markovianos fatorados com probabilidades imprecisas	Karina Valdivia Delgado	Leliane Nunes de Barros	Doutorado
19/11/2009	Acordo de chaves criptográficas hierárquico e sem certificado	Vilc Queupe Rufino	Routo Terada	Mestrado
13/11/2009	Um middleware para processamento bioestatístico em grades computacionais	Rodrigo Assirati Dias	Roberto Hirata Junior	Mestrado
23/10/2009	Aplicações de programação não-linear ao apreçamento de apólices de seguros	Paulo Fernando Galvão de Oliveira Machado	Walter Figueiredo Mascarenhas	Mestrado
21/10/2009	Detecção e rastreamento de múltiplos objetos em condição de oclusão severa por meio de integração de suporte sob restrição homográfica	Thiago Teixeira Santos	Carlos Hitoshi Morimoto	Doutorado
13/10/2009	Análise comparativa de protocolos de segurança para redes de sensores sem fio	Mateus Augusto Silva Santos	Routo Terada	Mestrado
10/08/2009	Um algoritmo eficiente para o crescimento de redes sobre o grafo probabilístico completo do sistema de regulação gênica considerado	Leandro de Araujo Lima	Junior Barrera	Mestrado
06/07/2009	Consultas de segmentos em janelas: algoritmos e estruturas de dados	Álvaro Junior Pereira Franco	Carlos Eduardo Ferreira	Mestrado
01/07/2009	Segmentação interativa de imagens via transformação watershed	Bruno Klava	Nina Sumiko Tomita Hirata	Mestrado
16/06/2009	K-menores caminhos	Fabio Pisaruk	Jose Coelho de Pina Junior	Mestrado
09/06/2009	Minimização de funções submodulares	Juliana Barby Simão	Jose Coelho de Pina Junior	Mestrado
05/06/2009	IComb: Um sistema para o ensino e aprendizagem de combinatória em ambiente Web	Alexandre Luis Kundrat Eisenmann	Leonidas de Oliveira Brandao	Mestrado
29/05/2009	Métodos de penalidade e barreira para programação convexa semidefinida	Antonio Carlos dos Santos	Paulo José da Silva e Silva	Mestrado
15/05/2009	Aprendizado computacional baseado em distância a segmentos de reta	João Henrique Burckas Ribeiro	Ronaldo Fumio Hashimoto	Doutorado
13/05/2009	Métodos de expansão de busca em sistemas de recuperação de informação	Wendel Scardua	Alair Pereira do Lago	Mestrado
11/05/2009	Padrões para introduzir novas ideias na indústria de software	Daniel Cukier	Fabio Kon	Mestrado
28/04/2009	Aplicação de práticas ágeis na construção de data warehouse evolutivo	Guilherme Toso de Carvalho	João Eduardo Ferreira	Mestrado
27/04/2009	Uma arquitetura de baixo acoplamento para execução de padrões de controle de fluxo em grades	Alexandre Ricardo Nardi	João Eduardo Ferreira	Doutorado
24/04/2009	Agentes móveis em grades oportunistas: uma abordagem para tolerância a falhas	Vinicius Gama Pinheiro	Alfredo Goldman Vel Lejbman	Mestrado
14/04/2009	Algoritmos para problemas de programação não-linear com variáveis inteiras e contínuas	Rafael Durbano Lobato	Ernesto Julian Goldberg Birgin	Mestrado
09/04/2009	Dois caminhos disjuntos e o método de Robertson e Seymour	Mauricio Silva de Moura	Jose Coelho de Pina Junior	Mestrado
11/12/2008	Combinação dinâmica de aspectos: uma abordagem eficiente	Flavia Rainone	Francisco Carlos da Rocha Reverbel	Mestrado
01/12/2008	Seleção de características e predição intrinsecamente multivariada em identificação de redes de regulação gênica	David Corrêa Martins Junior	Roberto Marcondes Cesar Junior	Doutorado
18/11/2008	Limites de seqüências de permutações de inteiros	Rudini Menezes Sampaio	Yoshiharu Kohayakawa	Doutorado Direto
07/11/2008	Simulação acústica no ambiente AcMus	Mário Henrique Cruz Torres	Fabio Kon	Mestrado
31/10/2008	"Escalonamento em job shops flexíveis híbridos com máquinas multi operação uma abordagem através de filtered beam search"	Claudio Eduardo Storti Lago	Leonidas de Oliveira Brandao	Mestrado
03/10/2008	Geração parcial de código Java a partir de especificações formais Z	Alvaro Heiji Miyazawa	Ana Cristina Vieira de Melo	Mestrado
25/09/2008	Geração de expressões algébricas para processos de negócio usando reduções de digrafos série-paralelo	Márcio Katsumi Oikawa	João Eduardo Ferreira	Doutorado
11/09/2008	Fluxo de dados em redes de Petri coloridas e em grafos orientados a atores	Grace Anne Pontes Borges	João Eduardo Ferreira	Mestrado
10/09/2008	Filtros para a busca e extração de padrões aproximados em cadeias biológicas	Domingos Soares Neto	Jose Augusto Ramos Soares	Mestrado
27/08/2008	Estruturas de dados concorrentes: um estudo de caso em skip graphs	Hammurabi das Chagas Mendes	Cristina Gomes Fernandes	Mestrado
12/08/2008	Classificação e busca de componentes com tratamento de exceções	Luciana Setsuko Gakiya	Ana Cristina Vieira de Melo	Mestrado
24/07/2008	Tópicos em otimização com restrições lineares	Marina Andretta	Ernesto Julian Goldberg Birgin	Doutorado
17/07/2008	Dois problemas em análise de formas de estruturas de ramificação	Jorge de Jesus Gomes Leandro	Roberto Marcondes Cesar Junior	Mestrado
07/07/2008	Modelagem de posições relativas de formas complexas para análise de configuração espacial: entre e ao longo de	Celina Maki Takemura	Roberto Marcondes Cesar Junior	Doutorado
02/07/2008	Correspondência inexata entre grafos	Alexandre da Silva Freire	Carlos Eduardo Ferreira	Mestrado
26/06/2008	Desenvolvimento de sistemas baseados em artefatos de conhecimento	Gustavo Enrique Salazar Torres	Flavio Soares Correa da Silva	Mestrado
06/06/2008	IGraf: Uma proposta de sistema para ensino de função via Web	Reginaldo do Prado	Leonidas de Oliveira Brandao	Mestrado
03/06/2008	ACP e LOTOS: um estudo comparativo baseado em conceitos de BPEL e padrões de controle de fluxo	Pedro Losco Takecian	João Eduardo Ferreira	Mestrado
03/06/2008	Um serviço de autorização Java EE baseado em certificados de atributos X.509	Stefan Neusatz Guilhen	Francisco Carlos da Rocha Reverbel	Mestrado
21/05/2008	Implementação de esquemas de criptografia e de assinatura sob o modelo de criptografia de chave pública sem certificado	Renato da Silva Ramalho	Routo Terada	Mestrado
08/05/2008	Paradigma mestre-escravo em plataformas heterogêneas (Algoritmos para escalonamento de tarefas em plataformas heterogêneas usando o paradigma mestre-escravo).	Fábio Henrique Nishihara	Alfredo Goldman Vel Lejbman	Mestrado
06/05/2008	Populando ontologias através de informações em HTML - o caso do currículo lattes	André Casado Castaño	Renata Wassermann	Mestrado
05/05/2008	Planejamento hierárquico sob incerteza Knightiana	Ricardo Guimaraes Herrmann	Leliane Nunes de Barros	Mestrado
28/04/2008	Reparo de plano por refinamento reverso	David Robert Camargo de Campos	Leliane Nunes de Barros	Mestrado
25/04/2008	Homomorfismos de grafos	Cristiane Maria Sato	Yoshiharu Kohayakawa	Mestrado
22/04/2008	Uma comparação de métodos de classificação aplicados à detecção de fraude em cartões de crédito	Manoel Fernando Alonso Gadi	Alair Pereira do Lago	Mestrado
18/04/2008	Xenia: um sistema de segurança para grades computacionais baseado em cadeias de confiança	José de Ribamar Braga Pinheiro Junior	Fabio Kon	Doutorado
18/04/2008	Geração automática de casos testes para Web Services	Paulo Silveira	Ana Cristina Vieira de Melo	Mestrado
17/04/2008	Ambiente de testes utilizando verificação de componentes java com tratamento de exceções	Kleber da Silva Xavier	Ana Cristina Vieira de Melo	Mestrado
16/04/2008	Ordenação por reversão	Andréa Tieme Nakasato	Yoshiko Wakabayashi	Mestrado
26/03/2008	Seletores de pontos de junção: um mecanismo de extensão para linguagens e arcabouços orientados a aspectos	Cristiano Malanga Breuel	Francisco Carlos da Rocha Reverbel	Mestrado
18/03/2008	Experiências com desenvolvimento ágil	Dairton Luiz Bassi Filho	Eduardo Colli	Mestrado
11/03/2008	Análise de padrões de uso em grades computacionais	Danilo Matheus Rubio Conde	Marcelo Finger	Mestrado
07/03/2008	Depuração simbólica extensível para sistemas de objetos distribuídos	Giuliano Mega	Fabio Kon	Mestrado
07/03/2008	Estudo comparativo de passos espectrais e buscas lineares não monótonas	Fernando Taietti Camargo	Ernesto Julian Goldberg Birgin	Mestrado
22/02/2008	Aplicações de computação paralela em otimização contínua	Ricardo Luiz de Andrade Abrantes	Ernesto Julian Goldberg Birgin	Mestrado
22/02/2008	Erosões e dilatações morfológicas binárias seqüênciais rápidas	Anderson Fraiha Machado	Ronaldo Fumio Hashimoto	Mestrado
22/02/2008	Programação em dois níveis: reformulação utilizando as condições KKT	Francisco Nogueira Calmon Sobral	Ernesto Julian Goldberg Birgin	Mestrado
15/02/2008	Audible Images: síntese de imagens controladas por áudio	Mariana Zaparolli Martins	Marcelo Gomes de Queiroz	Mestrado
16/01/2008	Uma ferramenta para o ensino de inteligência artificial usando jogos de computador	Filipe Correa Lima da Silva	Flavio Soares Correa da Silva	Mestrado
14/12/2007	Aplicação de técnicas de fatoração de matrizes esparsas para inferência em redes bayesianas	Ernesto Coutinho Colla	Julio Michael Stern	Mestrado
06/11/2007	Segmentação de movimento usando morfologia matemática	Arnaldo Câmara Lara	Roberto Hirata Junior	Mestrado
05/11/2007	Planejamento sob incerteza para metas de alcançabilidade estendidas	Silvio do Lago Pereira	Leliane Nunes de Barros	Doutorado
21/09/2007	Um serviço de transações atômicas para Web services	Ivan Bittencourt de Araujo e Silva Neto	Francisco Carlos da Rocha Reverbel	Mestrado
14/09/2007	Reflexões sobre o ensino de metodologias ágeis na academia, na indústria e no governo	Alexandre Freire da Silva	Fabio Kon	Mestrado
29/08/2007	Um modelo para ambientes inteligentes baseado em serviços web semânticos	Crhistian Alberto Noriega Guerra	Flavio Soares Correa da Silva	Mestrado
17/08/2007	Rastreamento de componentes conexas em vídeo 3D para obtenção de estruturas tridimensionais	David da Silva Pires	Roberto Marcondes Cesar Junior	Mestrado
13/07/2007	Uso de grafos evolutivos no roteamento em redes dinâmicas: algoritmos, fluxos e limites	Julian Geraldes Monteiro	Alfredo Goldman Vel Lejbman	Mestrado
03/07/2007	Um estudo empírico de hiper-heurísticas	Igor Ribeiro Sucupira	Flavio Soares Correa da Silva	Mestrado
29/06/2007	Uso eficaz de métricas em métodos ágeis de desenvolvimento de software	Danilo Toshiaki Sato	Alfredo Goldman Vel Lejbman	Mestrado
15/06/2007	PCA-tree: uma proposta para indexação multidimensional	Philipe Dalla Bernardina	Nina Sumiko Tomita Hirata	Mestrado
24/05/2007	Ferramenta para integração de modelos multidimensionais e softwares de visualização de séries temporais	Gustavo Bianchi Maia	João Eduardo Ferreira	Mestrado
18/05/2007	Matemática e algoritmos das dobras	Paulo Eduardo Azevedo Silveira	Jose Coelho de Pina Junior	Mestrado
16/05/2007	Fortalecimento do algoritmo RC6 contra criptanálise Χ<sup>2</sup>	Eduardo Takeo Uêda	Routo Terada	Mestrado
10/05/2007	Uso de "small worlds" no roteamento em redes de sensores sem fio	Giulian Dalton Luz	Alfredo Goldman Vel Lejbman	Mestrado
09/05/2007	Hermes: um arcabouço para a programação de aplicações P2P	Emilio de Camargo Francesquini	Francisco Carlos da Rocha Reverbel	Mestrado
07/05/2007	Uso de ontologias e mapas conceituais na descoberta e análise de objetos de aprendizagem: um estudo de caso em eletrostática	Andréia Cristina Grisolio Machion	Leliane Nunes de Barros	Doutorado
07/05/2007	InGriDE: um ambiente integrado e extensível de desenvolvimento para computação em grade	Eduardo Leal Guerra	Alfredo Goldman Vel Lejbman	Mestrado
04/05/2007	Armazenamento distribuído de dados e checkpointing de aplicações paralelas em grades oportunistas	Raphael Yokoingawa de Camargo	Fabio Kon	Doutorado
20/04/2007	SAW - Sistema de aprendizagem pela web: motivações e desenvolvimento	Janine Gomes Moura	Leonidas de Oliveira Brandao	Mestrado
18/04/2007	Alinhamento de seqüências com rearranjos	Augusto Fernandes Vellozo	Alair Pereira do Lago	Doutorado Direto
04/04/2007	Relações min-max em otimização combinatória	Marcel Kenji de Carli Silva	Yoshiko Wakabayashi	Mestrado
28/03/2007	Criação de núcleos específicos para determinados problemas de classificação usando máquinas de suporte vetorial (SVM)	Alfredo Roberto Junior	Marco Dimas Gubitoso	Mestrado
27/03/2007	Extração de aleatoriedade a partir de fontes defeituosas	Domingos Dellamonica Junior	Yoshiharu Kohayakawa	Mestrado
26/03/2007	Partição de grafos em subgrafos conexos balanceados	Renato Pinheiro Freme Lopes Lucindo	Yoshiko Wakabayashi	Mestrado
26/03/2007	Revisão de modelos formais de sistemas de estados finitos	Thiago Carvalho de Sousa	Renata Wassermann	Mestrado
26/03/2007	Teoria de Ramsey para circuitos e caminhos	Fabricio Siqueira Benevides	Yoshiharu Kohayakawa	Mestrado
23/03/2007	MYOP: um arcabouço para predição de genes ab initio	André Yoshiaki Kashiwabara	Alan Mitchell Durham	Mestrado
23/03/2007	Rastreamento de objetos baseado em reconhecimento estrutural de padrões	Ana Beatriz Vicentim Graciano	Roberto Marcondes Cesar Junior	Mestrado
23/03/2007	Um resolvedor SAT paralelo com BSP sobre uma grade	Fernando Correa Lima	Marcelo Finger	Mestrado
16/03/2007	Estudo de métodos estocásticos para otimização global de problemas de programação não linear	Erico Murilo Gozzi	Ernesto Julian Goldberg Birgin	Mestrado
16/03/2007	Integração de verificadores formais para agentes móveis	André Gustavo Andrade	Ana Cristina Vieira de Melo	Mestrado
09/03/2007	"Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas"	David Paulo Pereira	Ana Cristina Vieira de Melo	Mestrado
05/03/2007	MobiGrid: arcabouço para agentes móveis em ambiente de grades computacionais	Rodrigo Moreira Barbosa	Alfredo Goldman Vel Lejbman	Mestrado
01/03/2007	Algoritimo do volume e otimização não diferenciável	Ellen Hidemi Fukuda	Paulo José da Silva e Silva	Mestrado
28/02/2007	Bases de Hilbert	Marcelo Hashimoto	Jose Coelho de Pina Junior	Mestrado
30/01/2007	Um provador de teoremas multi-estratégia	Adolfo Gustavo Serra Seca Neto	Marcelo Finger	Doutorado
21/12/2006	Coeficientes de determinação, predição intrinsicamente multivariada e genética	Carlos Henrique Aguena Higa	Ronaldo Fumio Hashimoto	Mestrado
21/12/2006	"Funções-valor na alocação de tarefas em sistemas robóticos"	Antonio Luiz Basile	Flavio Soares Correa da Silva	Mestrado
11/12/2006	Validação ágil e precisa de projetos conceituais de banco de dados	Marcos Eduardo Bolelli Broinizi	João Eduardo Ferreira	Mestrado
01/12/2006	Multiplicação escalar eficiente em curvas elípticas	Adão de Melo Neto	Routo Terada	Mestrado
30/11/2006	Segmentação de vasos sangüíneos em imagens de retina usando wavelets e classificadores estísticos	João Vitor Baldini Soares	Roberto Marcondes Cesar Junior	Mestrado
27/10/2006	Estudo de escalabilidade de servidores baseados em eventos em sistemas multiprocessados: um estudo de caso completo	Daniel de Angelis Cordeiro	Alfredo Goldman Vel Lejbman	Mestrado
27/10/2006	O problema da troca de mensagens de diferentes tamanhos em redes multi-aglomerados	Fabio Massaaki Katayama	Alfredo Goldman Vel Lejbman	Mestrado
24/10/2006	Redução de dimensionalidade em séries temporais	André Rodrigo Sanches	Nina Sumiko Tomita Hirata	Mestrado
29/09/2006	Classificação semi-automática de componentes Java	Claudia de Oliveira Melo	Ana Cristina Vieira de Melo	Mestrado
11/09/2006	Sistemas interativos de prova clássicos e quânticos	Carlos Henrique Cardonha	Cristina Gomes Fernandes	Mestrado
30/08/2006	Sistema de arquivos especializado para correio eletrônico	Eider Silva de Oliveira	Arnaldo Mandel	Mestrado
25/08/2006	Reconstrução de faces a partir de múltiplas imagens utilizando um modelo de referência e um conjunto de pontos de controle	Bruno Pera	Carlos Hitoshi Morimoto	Mestrado
08/08/2006	Empacotamento de subgrafos em grafos	Gordana Manic	Yoshiko Wakabayashi	Doutorado
08/08/2006	Detecção e rastreamento de faces e características faciais com aplicação em indexação de vídeo e estimação da orientação de faces	Regis de Abreu Barbosa	Carlos Hitoshi Morimoto	Mestrado
28/06/2006	Proposta de esquemas de criptografia e de assinatura sob modelo de criptografia de chave pública sem certificado	Denise Hideko Goya	Routo Terada	Mestrado
23/06/2006	Padrões de fluxos de processos em banco de dados relacionais	Kelly Rosa Braghetto	João Eduardo Ferreira	Mestrado
23/06/2006	Por que usar bancos de dados orientados a objetos?	Yen Chin Shen	Valdemar Waingort Setzer	Mestrado
31/05/2006	Um modelo unificado para planejamento sob incerteza	Felipe Werndl Trevizan	Leliane Nunes de Barros	Mestrado
26/05/2006	Planejamento para serviços web semânticos	Juliana Jabra Chahoud	Leliane Nunes de Barros	Mestrado
23/05/2006	Repensando os commons na comunicação científica	Evelyn Cristina Pinto	Imre Simon	Mestrado
15/05/2006	Voz e vídeo sobre redes sem fio IEEE 802.11	Arlindo Flavio da Conceição	Fabio Kon	Doutorado
12/05/2006	Recuperação automática da estrutura tri-dimensional a partir de múltiplas imagens utilizando geometria projetiva	Tiago Tagliari Martinez	Carlos Hitoshi Morimoto	Mestrado
05/05/2006	Um sistema de rastreamento de olhar tolerante a movimentações da face	Flávio Luiz Coutinho	Carlos Hitoshi Morimoto	Mestrado
28/04/2006	Algoritmos de aproximação para o projeto de redes seguras	Antonio Joao Ferreira Francisco	Carlos Eduardo Ferreira	Mestrado
28/04/2006	Implementações do método de aproximação primal-dual aplicado ao problema da floresta de Steiner	Rafael Pereira Luna	Cristina Gomes Fernandes	Mestrado
20/04/2006	Um arcabouço para composição, teste e simulação de protocolos de Handover suave	Vera Nagamuta	Siang Wun Song	Doutorado
19/04/2006	Projeto multirresolução de operadores morfológicos a partir de exemplos	Daniel André Vaquero	Junior Barrera	Mestrado
03/03/2006	Análise de conglomerados aplicada ao reconhecimento de padrões de uso de recursos computacionais	Germano Capistrano Bezerra	Marcelo Finger	Mestrado
19/12/2005	Diagnóstico baseado em modelos num sistema tutor inteligente para programação com padrões pedagógicos	Karina Valdivia Delgado	Leliane Nunes de Barros	Mestrado
12/12/2005	Protocolos par-a-par para interligação de aglomerados em grades computacionais	Vladimir Emiliano Moreira Rocha	Fabio Kon	Mestrado
16/11/2005	Planejamento no cálculo de situações usando a linguagem Golog	Edward Mitsuo Iwanaga Iamamoto	Leliane Nunes de Barros	Mestrado
10/11/2005	Análise automática de desempenho de classificadores e técnicas de classificação na plataforma R	Ney Barros Luz	Nina Sumiko Tomita Hirata	Mestrado
09/11/2005	Construção e estudos sobre ontologias de bioquímica	Anderson Carlos Daniel Sanches	Renata Wassermann	Mestrado
04/11/2005	Protocolos para comunicação entre agentes móveis	Rachel de Paula Cavalcanti	Kunio Okuda	Mestrado
01/11/2005	Arranjos sistólicos redundantes para grades de computação	Marcos Tatsuo Yamamoto	Kunio Okuda	Mestrado
19/10/2005	Identificação de regiões codificantes de proteína através da transformada modificada de Morlet	Jesús Pascual Mena Chalco	Roberto Marcondes Cesar Junior	Mestrado
23/09/2005	Sistemas de arquivos paralelos: alternativas para a redução do gargalo no acesso ao sistema de arquivos	Roberto Pires de Carvalho	Alfredo Goldman Vel Lejbman	Mestrado
13/09/2005	Uma ferramenta interativa para análise de padrões baseada em entropia	Luiz Gustavo Martins	Marco Dimas Gubitoso	Mestrado
12/08/2005	O problema de Steiner com grupos	Fernando Mario de Oliveira Filho	Carlos Eduardo Ferreira	Mestrado
20/07/2005	Coloração de grafos e o método probabilístico	Daniel Morgato Martin	Yoshiharu Kohayakawa	Mestrado
12/07/2005	Interfaces prestativas baseadas em visão computacional e informação de contexto	Thiago Schumacher Barcelos	Carlos Hitoshi Morimoto	Mestrado
22/06/2005	Dois problemas de busca	Renato José da Silva Carmo	Yoshiharu Kohayakawa	Doutorado
25/05/2005	Identificação de genes por comparação de seqüências	Said Sadique Adi	Carlos Eduardo Ferreira	Doutorado
25/05/2005	Interação baseada em gestos de mãos e cabeça para ambientes de realidade virtual utilizando visão computacional	Marcio Calixto Cabral	Carlos Hitoshi Morimoto	Mestrado
11/05/2005	Definição de uma nova função critério baseada em distâncias nebulosas com múltiplos protótipos para seleção de características	Jishu Ashimine	Roberto Marcondes Cesar Junior	Mestrado
25/04/2005	Adaptação dinâmica utilizando agentes móveis em computação ubíqua	Roberto Speicys Cardoso	Fabio Kon	Mestrado
20/04/2005	Um arcabouço para suporte a reconfiguração dinâmica em ambiente Java	Ricardo Koji Ushizaki	Fabio Kon	Mestrado
18/04/2005	Gerenciamento de recursos distribuídos em sistemas escaláveis	Jeferson Roberto Marques	Fabio Kon	Mestrado
12/04/2005	Um etiquetador morfo-sintático baseado em cadeias de Markov de tamanho variável	Fábio Natanael Kepler	Marcelo Finger	Mestrado
01/04/2005	Desenvolvimento de ferramentas igeom: utilizando a geometria dinâmica no ensino presencial e a distância	Seiji Isotani	Leonidas de Oliveira Brandao	Mestrado
21/03/2005	Recuperação de vídeos indexados por conceitos	Christian Danniel Paz Trillo	Renata Wassermann	Mestrado
28/02/2005	Aspectos algébricos e computacionais da teoria de bases de Gröbner não comutativas	Alexey Antônio Villas Bôas	Eduardo do Nascimento Marcos	Mestrado
11/02/2005	Modularização da coleta de lixo na máquina virtual de pesquisa Jikes	Rosianni de Oliveira Cruz	Alan Mitchell Durham	Mestrado
07/01/2005	Desenvolvimento de algorítmos paralelos para aglomerados com a técnica de paralelização de laços	Ulisses Kendi Hayashida	Siang Wun Song	Mestrado
14/12/2004	InteGrade: um sistema de middleware para computação em grade oportunista	Andrei Goldchleger	Fabio Kon	Mestrado
29/11/2004	Implementação e análise do protocolo de Katz e Yung para estabelecimento de chaves de grupo	Jorge Alves Tonami	Routo Terada	Mestrado
29/10/2004	Composição e performance musical utilizando agentes móveis	Leo Kazuhiro Ueda	Fabio Kon	Mestrado
22/10/2004	Aprendizado de regras de substituição para normatização de textos históricos	Alexandre Sussumu Hirohashi	Marcelo Finger	Mestrado
20/10/2004	Geração de classificadores de sequências genéticas utilizando inferência de linguagens regulares	Daniel da Cruz Gouveia Vieira	Alan Mitchell Durham	Mestrado
15/10/2004	List ranking: um estudo experimental	Guilherme Pereira Vanni	Siang Wun Song	Mestrado
14/10/2004	Lógicas de raciocínio aproximado e o problema sat	Fabio Luiz Ide	Marcelo Finger	Mestrado
22/09/2004	Redução de dimensionalidade utilizando entropia condicional média aplicada a problemas de bioinformática e de processamento de imagens	David Corrêa Martins Junior	Roberto Marcondes Cesar Junior	Mestrado
27/08/2004	Uma proposta de eliminação paralela para o problema da mochila ilimitada	Flavio Regis de Arruda	Alfredo Goldman Vel Lejbman	Mestrado
24/08/2004	Uma ontologia artificial para o controle cambial brasileiro	Robson Moron	Flavio Soares Correa da Silva	Mestrado
23/08/2004	Desenvolvimento de um rastreador de olhar apropriado para interação humano computador	Marcio Raul Medeiros Mimica	Carlos Hitoshi Morimoto	Mestrado
20/08/2004	Serviços de pertinência para clusters de alta disponibilidade	Nélio Alves Pereira Filho	Arnaldo Mandel	Mestrado
19/08/2004	Aproximações para restrições do problema de Steiner em grafos	Fabio Henrique Viduani Martinez	Jose Augusto Ramos Soares	Doutorado
09/08/2004	Flexibilidade em um sistema de arquivos componentizado	Livio Baldini Soares	Dilma Menezes da Silva	Mestrado
09/08/2004	Segmentação automática de tomadas em vídeo	Thiago Teixeira Santos	Carlos Hitoshi Morimoto	Mestrado
02/07/2004	Um sistema de autorização baseado em uma infra-estrutura de gerenciamento de privilégios	Fabio Correa Xavier	Routo Terada	Mestrado
18/06/2004	Propriedades de algumas classes de relações racionais	Rodrigo Nonamor Pereira Mariano de Souza	Nami Kobayashi	Mestrado
08/06/2004	Construção de imagens panorâmicas a partir de vídeo	Henrique Pedreira de Freitas Ceribelli	Carlos Hitoshi Morimoto	Mestrado
04/06/2004	Processamento distribuído de áudio em tempo real	Nelson Posse Lago	Fabio Kon	Mestrado
21/05/2004	Inteligência artificial para jogos de tabuleiro	Marcelo Nunes de Carvalho	Flavio Soares Correa da Silva	Mestrado
10/05/2004	Pertinência de pontos em objetos discretos de dimensão arbitrária	Luciano Silva	Antonio Elias Fabris	Doutorado
14/04/2004	Um estudo sobre teste versus verificação formal de programas java	Leandro Cesar Prudente	Ana Cristina Vieira de Melo	Mestrado
13/04/2004	O impacto de elementos de realidade virtual em usuários de interfaces gráficas tridimensionais	Gilberto da Silva Hemerly	Antonio Elias Fabris	Mestrado
12/04/2004	Um modelo formal para a quinta disciplina	Lourival Paulino da Silva	Flavio Soares Correa da Silva	Doutorado
07/04/2004	Índices para consultas por conteúdo em banco de dados heterogêneos	Gustavo Tadao Okida	João Eduardo Ferreira	Mestrado
02/04/2004	Algoritmos para problemas de corte de guilhotina bidimensional	Glauber Ferreira Cintra	Yoshiko Wakabayashi	Doutorado
30/03/2004	Em busca de procedimentos de inferência eficientes via relevância por sintaxe	Joselyto Nawber da Costa Riani	Renata Wassermann	Mestrado
22/03/2004	Algoritmos de aproximação para partições conexas em grafos	Liliane Rose Benning Salgado	Yoshiko Wakabayashi	Doutorado
27/02/2004	Um método de restrições ativas para minimização em caixas	Marina Andretta	Ernesto Julian Goldberg Birgin	Mestrado
18/02/2004	Análise de classificadores de seqüências projetados por aprendizado computacional supervisionado e não supervisionado	Caetano Jimenez Carezzato	Junior Barrera	Mestrado
03/02/2004	Descoberta de regras de classificação com hierarquias conceituais	Marco Eugenio Madeira Di Beneditto	Leliane Nunes de Barros	Mestrado
14/01/2004	Uma técnica automática para a medida de sinal de imagens de cDNA	Daniel Oliveira Dantas	Junior Barrera	Mestrado
12/01/2004	Uma arquitetura distribuída para busca de caminhos em grafos dinâmicos	Marcelo Luís Vinagreiro	Alfredo Goldman Vel Lejbman	Mestrado
15/12/2003	Simulação de mini-ecossistemas vegetais em tempo real	Luis Carlos Yano Endo	Antonio Elias Fabris	Mestrado
28/11/2003	Sistemas criptográficos baseados em identidades pessoais	Waldyr Dias Benits Júnior	Routo Terada	Mestrado
14/11/2003	Sistemas de localização dinâmica de serviços em ambientes de computação móvel	Leonardo Marques Alves de Pinho	Alfredo Goldman Vel Lejbman	Mestrado
22/08/2003	Consultas sobre "aqui" em sistemas de bancos de dados em ambientes de computação nômade	Eugênio Akihiro Nassu	Marcelo Finger	Doutorado
21/08/2003	Alinhamento de sequências biológicas	Rogério Theodoro de Brito	Jose Augusto Ramos Soares	Mestrado
21/08/2003	Analisador sintático estatístico orientado ao núcleo-léxico para a língua portuguesa	Fabiano de Carvalho e Sousa	Marcelo Finger	Mestrado
15/08/2003	Um serviço para grupos de objetos com consistência relaxada	Marcelo Brito dos Santos	Markus Endler	Mestrado
14/08/2003	Análise de formas representadas por marcos utilizando características mono e multiescala	Celina Maki Takemura	Roberto Marcondes Cesar Junior	Mestrado
11/08/2003	Componentes CORBA	Alexandre Ricardo Nardi	Francisco Carlos da Rocha Reverbel	Mestrado
07/08/2003	Algoritmos primal-duais	Ana Lucia Lima Marreiros Maia	Jose Coelho de Pina Junior	Mestrado
01/08/2003	Topologia de espaços de estados em planejamento com váriaveis numéricas	Aldebaran Perseke	Leliane Nunes de Barros	Mestrado
06/06/2003	Cache comprimido adaptativo: estudo, projeto e implementação	Rodrigo Souza de Castro	Alair Pereira do Lago	Mestrado
09/05/2003	Análise experimental de algoritmos de planaridade	Alexandre Noma	Cristina Gomes Fernandes	Mestrado
30/04/2003	Uma biblioteca para a simulação de protocolos de entrega de mensagens em redes móveis	Weslley Emmanuel Martins Lima	Alan Mitchell Durham	Mestrado
11/04/2003	Implementação e análise comparativa de variações do criptossistema rsa	Cesar Alison Monteiro Paixão	Routo Terada	Mestrado
10/04/2003	Sistemas modais de conhecimento	Flavio Shigeo Yamamoto	Ricardo Bianconi	Mestrado
04/04/2003	Uma técnica de verificação para π-calculus baseada em bi-simulação <i>up-to</i> e algoritmos de particionamento	Marcelo de Moura Amorim	Ana Cristina Vieira de Melo	Mestrado
25/03/2003	Configuração automática de sistemas na plataforma enterprise javabeans	Herbert Yutaka Watanabe	Fabio Kon	Mestrado
20/03/2003	Maximização de entropia em linguística computacional para a língua portuguesa	Archias Alves de Almeida Filho	Marcelo Finger	Mestrado
20/03/2003	Uso de redes bayesianas no gerenciamento de manutenção de software	Adilson de Jesus Sanchez	Ana Cristina Vieira de Melo	Mestrado
18/03/2003	Algoritmos paralelos de granularidade grossa em grafos bipartidos convexos	Marco Aurélio Stefanes	Jose Augusto Ramos Soares	Doutorado
17/03/2003	Estratégias de hand-off com balanceamento de carga para computação móvel	Alessandro Santiago dos Santos	Alfredo Goldman Vel Lejbman	Mestrado
27/02/2003	Banco de dados obsolescentes e uma proposta de implementação	Fernando Antonio Mac Craken Cezar	Marcelo Finger	Mestrado
21/02/2003	Adaptação dinâmica de sistemas distribuídos	Francisco José da Silva e Silva	Markus Endler	Doutorado
06/02/2003	Integração para dados e aplicações em biologia molecular computacional	Márcio Katsumi Oikawa	João Eduardo Ferreira	Mestrado
05/02/2003	Componente de controle transacional para integração assíncrona de bases de dados	Marcelo Camacho de Souza	João Eduardo Ferreira	Mestrado
19/12/2002	Alternativas para propagação das atualizações de um banco de dados operacional para um Data Warehouse	Bianka Maria Moura Teixeira Gonçalves	João Eduardo Ferreira	Mestrado
10/12/2002	Um algoritmo de aproximação paralelo para transversal mínima com aplicação em análise de expressão gênica	Danielle Passos de Ruchkys	Siang Wun Song	Mestrado
06/12/2002	Algoritmos paralelos de granularidade grossa para problemas de alinhamento de cadeias	Carlos Eduardo Rodrigues Alves	Siang Wun Song	Doutorado
31/10/2002	Implementações de tableaux para raciocínio por aproximações	Wagner Dias	Marcelo Finger	Mestrado
30/09/2002	Um estudo de um protocolo de comunicação para dispositivos móveis usando Distributed Join-Calculus	Lucy Mari Tabuti	Ana Cristina Vieira de Melo	Mestrado
09/08/2002	Desenvolvimento e comparação de dois protocolos para multicast atômico em computação móvel	Mateus de Freitas Ribeiro	Markus Endler	Mestrado
23/07/2002	Projeto de operadores morfológicos multi-escala por otimização estatística	Marcel Brun	Junior Barrera	Doutorado Direto
04/07/2002	CCICLO: Componente para cruzamento e integração de objetos classificados	Luciano Vieira de Araújo	João Eduardo Ferreira	Mestrado
01/07/2002	Um modelo de capacidades formais para cooperação mediada entre sistemas baseados em conhecimento	Eudenia Xavier Meneses	Flavio Soares Correa da Silva	Mestrado
27/06/2002	Laboratório de geração de classificadores de sequências	Ariane Machado Lima	Alan Mitchell Durham	Mestrado
28/05/2002	Planejamento abdutivo no cálculo de eventos	Silvio do Lago Pereira	Leliane Nunes de Barros	Mestrado
22/05/2002	Automorfismos de grafos	Eduardo Tengan	Arnaldo Mandel	Mestrado
17/05/2002	Uma implementação do protocolo TLS com um algoritmo de criptografia forte	Isvi Correa Junior	Routo Terada	Mestrado
10/05/2002	Árvores k-restritas e aproximações para o problema de steiner em grafos	Eduardo Kazuaki Gondo	Cristina Gomes Fernandes	Mestrado
10/05/2002	"Classificação dos domínios transacionais e analíticos para avaliação de alternativas de sincronismo em projetos de Data Warehouse".	Isabel Cristina Italiano	João Eduardo Ferreira	Mestrado
07/05/2002	Criptografia - Uma implementação do protocolo de micropagamento PayWord	João Carlos Néto	Routo Terada	Mestrado
10/04/2002	"Arquiteturas de Componentização de Servidores como Integradoras de Bancos de Dados Distribuídos".	Myrthes Cavalcante de Aguiar	Francisco Carlos da Rocha Reverbel	Mestrado
21/03/2002	Algoritmos para caminhos mínimos	Shigueo Isotani	Jose Coelho de Pina Junior	Mestrado
14/03/2002	"Visões em arquitetura de software".	Ane Cristina Varoto	Hernan Enrique Astudillo Rojas	Mestrado
13/03/2002	Uma taxonomia da pesquisa na área de engenharia de requisitos	Paulo Sérgio Naddeo Dias Lopes	Hernan Enrique Astudillo Rojas	Mestrado
28/02/2002	"Identificação de sistemas dinâmicos finitos: aplicações para a modelagem de redes genéticas"	Nestor Walter Trepode	Junior Barrera	Mestrado
23/01/2002	Algoritmos para predição da estrutura secundária do RNA	Luiz Carlos da Silva Rozante	Jose Augusto Ramos Soares	Mestrado
18/12/2001	Uma infra-estrutura para migração de objetos CORBA implementados em java	Helves Humberto Domingues	Francisco Carlos da Rocha Reverbel	Mestrado
17/12/2001	Projeto de operadores morfológicos para imagens e sinais	Roberto Hirata Junior	Junior Barrera	Doutorado
28/11/2001	Três problemas em complementaridade e programação matemática	Marcelo Gomes de Queiroz	Carlos Humes Junior	Doutorado
27/11/2001	Metamodelo para Controle de Estratégias Assíncronas de Replicação de Dados	Carlos Henrique Maia Braga	João Eduardo Ferreira	Mestrado
14/11/2001	Transações web: Um estudo sobre problemas e soluções	Lorena Pereira da Ponte Pierre	Hernan Enrique Astudillo Rojas	Mestrado
31/10/2001	Integração do serviço de diretório LDAP com o serviço de nomes CORBA	Gustavo Scalco Isquierdo	Francisco Carlos da Rocha Reverbel	Mestrado
29/10/2001	Colorações restritas de grafos	Gordana Manic	Paulo Feofiloff	Mestrado
22/10/2001	Composição de fluxo de controle de frameworks java	Bruno Martins Moutinho	Ana Cristina Vieira de Melo	Mestrado
04/09/2001	Sistema para Execução de Testes de Aprendizado Baseado em Funções de Crença	Juliano Mourão Vieira	Flavio Soares Correa da Silva	Mestrado
02/07/2001	Indicadores de qualidade de uma implementação de banco de dados relacional	Glauco Galves Bordin	Marcelo Finger	Mestrado
22/06/2001	RMIRep: Suporte para Replicação de Objetos em Redes de Alta Latência	Jorge Chaves Radel Bittencourt	Dilma Menezes da Silva	Mestrado
25/05/2001	Técnicas de seleção de características com aplicações em reconhecimento de faces	Teófilo Emidio de Campos	Roberto Marcondes Cesar Junior	Mestrado
11/05/2001	Escalonamento de reservas de domínio	Maria do Carmo Garcia Noronha	Dilma Menezes da Silva	Mestrado
11/05/2001	Rastreamento eficiente de faces em um subespaço wavelet	Rogerio Schmidt Feris	Roberto Marcondes Cesar Junior	Mestrado
09/05/2001	Estudo de requisitos para um software educativo de apoio ao ensino da introdução à computação	Maria Clara Barros de Oliveira Fischer	Flavio Soares Correa da Silva	Mestrado
04/05/2001	Uma arquitetura para simulação flexivel de protocolos para computação móvel	Ricardo Couto Antunes da Rocha	Markus Endler	Mestrado
26/04/2001	Comparação de Desempenho Linux X Windows NT	José Eugênio de Assis Gonçalves	Marco Dimas Gubitoso	Mestrado
30/03/2001	Algoritmos paralelos para fecho convexo	Emmanuel Kayembe Ilunga	Siang Wun Song	Mestrado
02/03/2001	Algoritmos e estruturas de dados para manutenção de árvores geradoras mínimas em grafos dinâmicos	Aritanan Borges Garcia Gruber	Carlos Eduardo Ferreira	Mestrado
12/02/2001	"Uma infra-estrutura para o gerenciamento de aplicações CORBA tolerantes a falhas".	Marcos Aurelio Mendes de Moura	Markus Endler	Mestrado
09/02/2001	Um instrumento de avaliação da qualidade para software educacional de matemática	Ana Paula Gladcheff Munhoz	Dilma Menezes da Silva	Mestrado
07/02/2001	Obsolescência de Informação	Sirley Ambrosia Vitorio Oliveira	Flavio Soares Correa da Silva	Mestrado
19/12/2000	Algoritmos Paralelos para o Paradigma de Pertinência Interior/Exterior	Marcos Machado Ottani Assis	Antonio Elias Fabris	Mestrado
08/12/2000	Compartilhamento de Conhecimento entre Sistemas Baseados em Conhecimento: um Estudo de Caso	Roberto Cássio de Araujo	Flavio Soares Correa da Silva	Doutorado
08/12/2000	Problemas Dinâmicos em Geometria Computacional	Cassio Polpo de Campos	Carlos Eduardo Ferreira	Mestrado
01/12/2000	Problemas Cinéticos em Geometria Computacional	Eduardo Garcia de Freitas	Carlos Eduardo Ferreira	Mestrado
06/11/2000	Detecção dinâmica de condições de disputa para programas multithreaded em Java	Clovis Seragiotto Junior	Dilma Menezes da Silva	Mestrado
05/10/2000	Projeto Automático de Operadores - Explorando Conhecimentos a Priori	Nina Sumiko Tomita Hirata	Junior Barrera	Doutorado
04/10/2000	Segmentação de seqüência de imagens por morfologia matemática	Franklin César Flores	Junior Barrera	Mestrado
15/08/2000	"Técnicas de orientação a objetos para projeto de sistemas adaptáveis".	Uirá Kulesza	Dilma Menezes da Silva	Mestrado
29/06/2000	Análise Formal do Aprendizado Supervisionado por Árvores de Decisão	Maurício Bellissimo Falleiros	Flavio Soares Correa da Silva	Mestrado
02/06/2000	Números de Ramsey Induzidos e Semi-induzidos	Marcio Grossi de Almeida	Yoshiharu Kohayakawa	Mestrado
25/04/2000	Particionamento Transparente de Ambientes Virtuais Distribuídos	Marcos Alves	Markus Endler	Mestrado
05/04/2000	"Ferramentas de Auxílio ao Sequenciamento de DNA por montagem de Fragmentos: um estudo comparativo".	Said Sadique Adi	Carlos Eduardo Ferreira	Mestrado
04/04/2000	Algoritmos CGM para Busca Uni e Bidimensional de Padrões com e sem Escala	Henrique Mongelli	Siang Wun Song	Doutorado
28/02/2000	"Geometria Computacional de Pontos em Movimento".	Carlos Ramon Pantaleon Dionisio	Jose Coelho de Pina Junior	Mestrado
10/12/1999	Projeto de Regras Confluentes para Bancos de Dados Ativos Usando Tabelas de Decisão	Mabelly de Oliveira Furtado	Marcelo Finger	Mestrado
26/11/1999	T-junções, T-cortes e funções conservativas	Mário Leston Rey	Paulo Feofiloff	Mestrado
19/11/1999	Coordenação de Agentes Móveis através do Canal de Broadcast	Vera Nagamuta	Markus Endler	Mestrado
21/10/1999	"LINUX-SMART: Melhoria de Desempenho para Aplicações Real-Time Soft em Ambiente LINUX".	Jorge Euler Vieira	Dilma Menezes da Silva	Mestrado
26/09/1997	"Um Protocolo para Rastreamento de Mensagens em Sistemas com Checkpointing Assíncrono".	Sergio Ricardo da Conceição	Markus Endler	Mestrado