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

Total de orientações concluídas


Número total de itens: 2090
Página: 1  2  3  

2003

34.   Jomi Fred Hübner. Um modelo de reorganização de sistemas multiagentes. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2003.
Orientador: Jaime Simão Sichman.
35.   João Vitor Baldini Soares. Segmentação de imagens de retina usando wavelets. (Graduando em Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2003.
Orientador: Roberto Marcondes Cesar Junior.
36.   Juliana Barby Simão. IDE para Prolog. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, IBM. 2003.
Orientador: Renata Wassermann.
37.   Leonardo Marques Alves de Pinho. Descoberta Automática de Serviços. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003.
Orientador: Alfredo Goldman vel Lejbman.
38.   Luiz Henrique Mariano de Araújo. Ferramenta Interativa de Desenho de Redes de Regulação Gênica. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2003.
Orientador: Nina Sumiko Tomita Hirata.
39.   Marcelo Camacho de Souza. Componente de controle transacional para integracao assincrona de bases de dados. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003.
Orientador: João Eduardo Ferreira.
40.   Marcelo M Amorim. Uma técnica de verificação formal para pi-calculus baseada em bi-simulação up-to e algoritmos de particionamento. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003.
Orientador: Ana Cristina Vieira de Melo.
41.   Marcio Katsumi Oikawa. Integracao para dados e aplicacoes em biologia molecular computacional. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2003.
Orientador: João Eduardo Ferreira.
42.   Marcos Eduardo Bolelli Broinzi. Genflow: um ambiente para integração de dados e processos em aplicações de bioinformática. Iniciação Científica - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2003.
Orientador: João Eduardo Ferreira.
43.   Marcus Machado Sampaio Moyses. Teclado baseado no olhar. (Graduação em Bacharelado em Ciência da Computação) - Instituto de Matematica e Estatistica, . 2003.
Orientador: Carlos Hitoshi Morimoto.
44.   Maria das Graças Bruno Marietto. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2003.
Supervisor: Jaime Simão Sichman.
45.   Maria de Lourdes Rosalem. Gestão do Conhecimento em Empresas do Governo. Dissertação (Mestrado em Administração de Empresas) - Faesp Universidade de Extremadura Faesp Ipca, . 2003.
Orientador: Flavio Soares Correa da Silva.
46.   Maria Elizabeth Salomão Mahafud. Parcerias para Qualificação Profissional. Dissertação (Mestrado em Administração de Empresas) - Faesp Universidade de Extremadura Faesp Ipca, . 2003.
Orientador: Flavio Soares Correa da Silva.
47.   Paulo André Lima de Castro. Uma infra-estrutura para agentes arrematantes em múltiplos leilões simultâneos. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2003.
Orientador: Jaime Simão Sichman.
48.   Rinaldo Ferreira Marinho. E-learning rumo ao aperfeiçoamento do corpo docente, através de técnicas pedagógicas de instrução. (Graduação em Ciência da Computação) - Centro Universitário Unicarioca, . 2003.
Orientador: Marco Aurélio Gerosa.
49.   Roberto Soares Caldas. Animação de objetos rígidos baseado em modelos físicos.. (Graduando em Engenharia Elétronica Digital) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2003.
Orientador: Carlos Hitoshi Morimoto.
50.   Rodrigo Assirati Dias. Análise de dados de microarrays. (Graduando em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, Serviço de Ensino e Aprendizagem do Comércio. 2003.
Orientador: Roberto Hirata Junior.
51.   Rusley Ribeiro dos Santos. Sistema de Controle Administrativo do Professor. (Graduação em Sistemas de Informação) - Centro Universitário Unicarioca, . 2003.
Orientador: Marco Aurélio Gerosa.
52.   Wendel Scardua. Interface Didática de um Sistema Tutor de Programação. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, IBM. 2003.
Orientador: Leliane Nunes de Barros.
53.   Weslley Emmanuel Martins Lima. Uma biblioteca para simulação de protocolos de entrega de mensagens em redes móveis. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003.
Orientador: Alan Mitchell Durham.

2002

1.   A B V Graciano. Rastreamento em Vídeo Baseado em Contornos. (Graduando em Computação) - Universidade de São Paulo, . 2002.
Orientador: Roberto Marcondes Cesar Junior.
2.   Aislan Gomide Foina. Desenvolvimento de um ambiente baseado na WWW para o ensino de sistemas distribuídos. (Graduando em Engenharia Elétrica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002.
Orientador: Jaime Simão Sichman.
3.   Alexandre Magno. Professor Virtual. (Graduação em Sistemas de Informação) - Centro Universitário Unicarioca, . 2002.
Orientador: Marco Aurélio Gerosa.
4.   André Gustavo de Andrade. Ambiente amigável para especificação e verificação de agentes móveis. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002.
Orientador: Ana Cristina Vieira de Melo.
5.   André Jacques Villas Boas Gares. Siscomer - Sistema de Controle Comercial. (Graduação em Sistemas de Informação) - Centro Universitário Unicarioca, . 2002.
Orientador: Marco Aurélio Gerosa.
6.   Antônio Carlos dos Santos. Tutoria. Orientação de outra natureza - Universidade de São Paulo, . 2002.
Orientador: Ana Cristina Vieira de Melo.
7.   Ariane Machado Lima de Oliveira. Laboratorio de geracao de classificadores de sequencias. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002.
Orientador: Alan Mitchell Durham.
8.   Bianka M. M. Teixeira Goncalves. Alternativas para propagacao das atualizacoes de um banco de dados operacional para um data warehouse. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002.
Orientador: João Eduardo Ferreira.
9.   Christian Asmussen. Programação eXtrema. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2002.
Orientador: Fabio Kon.
10.   Christian Rivolta Bernauer. Estágio Supervisionado. (Graduação em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2002.
Orientador: Ana Cristina Vieira de Melo.
11.   Cristiano Garbelotto Mikosewski. Análise de Investimentos: Uma Abordagem Sobre a Implantação de Projetos de Sistemas de Gestão Empresarial. Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, . 2002.
Orientador: Flavio Soares Correa da Silva.
12.   Cíntia Cristina Felizola,Danilo A. Ferreira,Emille Sugawara. Sistema de Marketing Direto na Internet. (Graduação em Engenharia Elétrica) - Universidade de São Paulo, . 2002.
Orientador: Jaime Simão Sichman.
13.   Danilo Conde. Biblioteca Virtual. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2002.
Orientador: Renata Wassermann.
14.   Danilo Eiji Seki. Extensões do Magic Pointing. (Graduação em Bacharelado em Ciência da Computação) - Instituto de Matematica e Estatistica, . 2002.
Orientador: Carlos Hitoshi Morimoto.
15.   Edner Ferreira Braga da Silva. Gestão da Cultura no Teletrabalho. Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, . 2002.
Orientador: Flavio Soares Correa da Silva.
16.   Eduardo Kazuaki Gondo. Árvores k-Restritas e Aproximações para o Problema de Steiner em Grafos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002.
Orientador: Cristina Gomes Fernandes.
17.   Elcio Elionei de Pauli Vaz. Gestão de Salários e as Mudanças na Forma de Remuneração nas Empresas. Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, . 2002.
Orientador: Flavio Soares Correa da Silva.
18.   Emerson L N Tozette. Métodos de extração de esqueletos de vasos da retina. (Graduando em Computação) - Universidade de São Paulo, . 2002.
Orientador: Roberto Marcondes Cesar Junior.
19.   Eudenia Xavier Meneses. Um Modelo de Capacidades Formais para Cooperação Mediada Entre Sistemas Baseados em Conhecimento. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2002.
Orientador: Flavio Soares Correa da Silva.
20.   Flávia Rainone. E-gene um editor genérico para configuração. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002.
Orientador: Alan Mitchell Durham.
21.   Isabel Italiano. Um Modelo hibrido para atualizacao de dados em projetos de data warehouse. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002.
Orientador: João Eduardo Ferreira.
22.   Jair Donadelli Júnior. Resultados de Ramsey e de Densidade para Grafos Pseudo-aleatórios Esparsos. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002.
Orientador: Yoshiharu Kohayakawa.
23.   Luciano Vieira de Araujo. CCICLO: Componente para cruzamento e integracao de objetos classificados. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002.
Orientador: João Eduardo Ferreira.
24.   Lucy Mari Tabuti. Um Estudo de um Protocolo de Comunicação para Dispositivos Móveis usando Distributed Join-Calculus. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002.
Orientador: Ana Cristina Vieira de Melo.
25.   Luiz Henrique Mariano de Araujo. Ferramenta Interativa de Desenho de Redes de Regulação Gênica. (Graduando em Bacharelado em Ciencia da Computacao) - Instituto de Matemática e Estatística, . 2002.
Orientador: Nina Sumiko Tomita Hirata.
26.   Mahdi Hannoun. MOISE: Um modèle organisationnel pour les systèmes multi-agents. Tese (Doutorado em Informatique) - Ecole Nationale Superieure Des Mines de Saint Etienne, Region Rhône Alphes. 2002.
Supervisor: Jaime Simão Sichman.
27.   Marcos Paulo Bedene Moreira. Base de Qualidades para Gestão de Pessoal em Projetos de Informática. Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, . 2002.
Orientador: Flavio Soares Correa da Silva.
28.   Marlon Gripp Chermont. Laboratório Virtual de Ensino de Inteligência Artificial. (Graduando em Engenharia da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002.
Orientador: Leliane Nunes de Barros.
29.   Mathias Schacht. A Turán theorem for random graphs. Dissertação (Mestrado em Matemática) - Emory University, Emory University. 2002.
Supervisor: Yoshiharu Kohayakawa.
30.   Michel Koji Mizusaka. Uma aplicação de aprendizado não-supervisionado para desembaralhar imagens. (Graduando em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, Serviço de Ensino e Aprendizagem do Comércio. 2002.
Orientador: Roberto Hirata Junior.
31.   Paula Akemi Nishimoto. O uso do Mathcad para o auxílio no ensino de programação. (Graduando em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, Serviço de Ensino e Aprendizagem do Comércio. 2002.
Orientador: Roberto Hirata Junior.
32.   Paulo Eduardo Silveira. Panda - sistema de acompanhamento didático. (Graduação em Bacharelado em Ciência da Computação) - Instituto de Matematica e Estatistica, . 2002.
Orientador: Carlos Hitoshi Morimoto.
33.   Rodrigo Assirati Dias. Análise de dados de microarrays. (Graduando em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, Serviço de Ensino e Aprendizagem do Comércio. 2002.
Orientador: Roberto Hirata Junior.
34.   Rodrigo Vieira Couto. Estágio Supervisionado. (Graduação em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2002.
Orientador: Ana Cristina Vieira de Melo.
35.   Rogério Fajardo. Lógicas Modais. (Graduando em Bacharelado em Matemática) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2002.
Orientador: Marcelo Finger.
36.   Silvio do Lago Pereira. Planejamento Abdutivo no Cálculo de Eventos. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2002.
Orientador: Leliane Nunes de Barros.
37.   Tiago Schumacher Barcelos. Interfaces baseadas em visão computacional. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matematica e Estatistica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002.
Orientador: Carlos Hitoshi Morimoto.
38.   Wagner Dias. Implementações de Tableaux para Raciocínio Aproximado. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002.
Orientador: Marcelo Finger.
39.   Yang Yili. AcMus - Software para cálculo de parâmetros acústicos. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2002.
Orientador: Fabio Kon.

2001

1.   Alexandre Freire da Silva. XPUSP um sistema para atribuição didática. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001.
Orientador: Alfredo Goldman vel Lejbman.
2.   Anselmo H Kumazawa. Algoritmos genéticos para segmentação de imagens multiespectrais. (Graduando em Computação) - Universidade de São Paulo, . 2001.
Orientador: Roberto Marcondes Cesar Junior.
3.   Bruno M Moutinho. Composição de fluxos de Controle de framworks Java. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2001.
Orientador: Ana Cristina Vieira de Melo.
4.   CARLOS HENRIQUE MAIA BRAGA. Meta Modelo para Controle Corporativo de Estratégia de Replicação de Dados. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001.
Orientador: João Eduardo Ferreira.
5.   D da S Pires. Segmentação de imagens baseada em casamento de grafos. (Graduando em Computação) - Universidade de São Paulo, . 2001.
Orientador: Roberto Marcondes Cesar Junior.
6.   Fabio Silva Dias. Programação Quadrática aplicada à Teoria Moderna de Finanças. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2001.
Orientador: Ernesto Julián Goldberg Birgin.
7.   Fernando Correa de Lima. Interface para programas de linguistica computacional. (Graduando em Ciencia da Computação) - Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2001.
Orientador: Marcelo Finger.
8.   Flavio Protasio Ribeiro. Revisão de Crenças e Manutenção de Consistência. (Graduando em Engenharia - Ciclo Básico) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001.
Orientador: Renata Wassermann.
9.   Glauco Galves Bordin. Indicadores de Qualidade de Implementacao de um Modelo Relacional de Banco de Dados Adotando Tecnicas de Engenharia Reversa. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001.
Orientador: Marcelo Finger.
10.   Gláucio S Lé. Métodos de clustering em bioinformática. (Graduando em Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2001.
Orientador: Roberto Marcondes Cesar Junior.
11.   Juliano Mourão Vieira. Sistema para Execução de Testes de Aprendizado Baseado em Funções de Crença. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001.
Orientador: Flavio Soares Correa da Silva.
12.   LEONARDO AUGUSTO TANIGUTI MANTOVANI. Uma alternativa para Simplificação de Sincronismo de Dados Temporais entre Ambientes Operacionais e Analíticos. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, . 2001.
Orientador: João Eduardo Ferreira.
13.   Maria Clara Barros de Oliveira Fischer. Estudo de Requisitos para um Software Educacional de Apoio a Disciplinas de Introdução à Computação. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001.
Orientador: Flavio Soares Correa da Silva.
14.   Raphael Gustavo D'Almeida Vilamiu. Técnicas de Inteligência Artificial para Jogos - Sokoban. (Graduando em Bacharelado em Física) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2001.
Orientador: Leliane Nunes de Barros.
15.   Renata Wassermann. . Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2001.
Supervisor: Marcelo Finger.
16.   Rodrigo Admir Vaz. Desenvolvimento de uma Biblioteca de Comportamentos para Futebol de Robôs. (Graduando em Engenharia Elétrica Modalidade Eletrônica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001.
Orientador: Jaime Simão Sichman.
17.   Rogerio S. Feris. Rastreamento Eficiente de Faces em um Subespaço Wavelet. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2001.
Orientador: Roberto Marcondes Cesar Junior.
18.   Sirley Ambrosia Vitorio. Obsolescência de Informação. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001.
Orientador: Flavio Soares Correa da Silva.
19.   Teofilo E. Campos. Técnicas de Seleção de Características com Aplicações em Reconhecimento de Faces. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2001.
Orientador: Roberto Marcondes Cesar Junior.
20.   Thiago Carvalho de Sousa. Revisão de Crenças e Banco de Dados. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001.
Orientador: Renata Wassermann.

2000

1.   André Casado Castanho. Desenvolvimento de um toolbox HTML para o Matlab. (Graduando em Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2000.
Orientador: Roberto Marcondes Cesar Junior.
2.   J. J. G. Leandro. Análise de formas de estruturas de ramificação. (Graduando em Computação) - Universidade de São Paulo, . 2000.
Orientador: Roberto Marcondes Cesar Junior.
3.   Marcelo Sanomiya. Adaptação do Sistema DEPINT ao ambiente SACI. (Graduando em Engenharia Elétrica Modalidade Eletrônica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2000.
Orientador: Jaime Simão Sichman.
4.   Marcio Grossi de Almeida. Números de Ramsey Induzidos e Semi-induzidos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2000.
Orientador: Yoshiharu Kohayakawa.
5.   Marcus Vinicius Tolentino dos Santos. Specifying, Executing, and Reasoning About Actions and Plans Using Transaction Logic. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, . 2000.
Supervisor: Flavio Soares Correa da Silva.
6.   Mary Yorinori. Sistemas Tutores Inteligentes e Sua Aplicação em Empresas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2000.
Orientador: Flavio Soares Correa da Silva.
7.   Mauricio Bellissimo Falleiros. Analise Formal do Aprendizado Computacional por Arvores de Decisao. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2000.
Orientador: Flavio Soares Correa da Silva.
8.   Maurício Pereira de Oliveira. Um Estudo Axiomático Comparativo entre Modelos de Bancos de Dados.. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2000.
Orientador: Marcelo Finger.
9.   Roberto Cassio de Araujo. Compartilhamento de Conhecimento entre Sistemas Baseados em Conhecimento. Tese - Universidade de São Paulo, . 2000.
Orientador: Flavio Soares Correa da Silva.
10.   Valdinei Freire da Silva. Simulador Gráfico de Expressões Faciais para Interação Homem Computador. (Graduando em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2000.
Orientador: Carlos Hitoshi Morimoto.
11.   Émerson dos Santos Paduan. O Problema da Confluência em Bancos de Dados Ativos.. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2000.
Orientador: Marcelo Finger.


(*) Relatório criado com produções desde 2000 até 2025
Data de processamento: 27/01/2026 13:46:28