Celso de Renna e Souza

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Espanhol

Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.

Italiano

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Francês

Compreende Bem, Fala Razoavelmente, Lê Razoavelmente, Escreve Bem.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Arquitetura de Sistemas de Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Computabilidade e Modelos de Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.

SOUZA, C. R.; FERNANDES, C. T.; OMAR, N.; MENDES NETO, F.; MENEZES, Credine Silva de. AC3AS-WEB: Ambiente Cooperativo de Apoio ã avaliação de Aprendizagem Signifcaitiva na WEB. 2002. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

SOUZA, C. R.; RIBEIRO, Carlos Henrique Costa. Utilização de Opções para o Controle Autônomo de Robôs Móveis . 2002. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

SOUZA, C. R.; CUNHA, A. M.; FERNANDES, C. T.; PEREIRA, J. A. G.; PELLEGRINO, S. R. M.. Um protótipo para a Construção de Estereogramas: Modelagem e Experimentação. 2002. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

SOUZA, C. R.; SEMENTILLE, A. C.; YANO, E. T.; SOMA, Nei Yoshihiro; PELLEGRINO, S. R. M.. Detecção de colisão entgre objetos convexos com características geométricas mutantes usando a técnica de octree esféricas . 2001. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

SOUZA, C. R.; ANZALONI, A.; FERNANDES, C. T.; VIOLA, F. E. C.. Segurança e Mobilidade na Internet. 2001. Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

SOUZA, C. R.; JOSÉ NETO, João; ROCHA, Ricardo Luis de Azevedo da; SILVA, Paulo Sergio Muniz; MARIETTO, Maria das Graças Bruno. Tecnologia Adaptativa em Engenharia de Computação: Estado da Arte e Aplicações. 2003. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

SOUZA, C. R.; SOMA, Nei Yoshihiro; YANASSE, Horácio Hideki; ABDURAHIMAN, Vakulathil; SONG, Siang Wun; RIBEIRO, Celso da Cruz Carneiro. Algoritmos Paralelos para o Problema da Mochila. 2003. Tese (Doutorado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

SOUZA, C. R.; FERNANDES, Clóvis Torres; RIBEIRO, Carlos Henrique Costa; GIRAFFA, Lúcia Maria Martins; MENEZES, Credine Silva de. MODELO DE REFERÊNCIA PARA SISTEMAS HIPERMÍDIA ADAPTATIVOS EDUCACIONAIS. 2003. Tese (Doutorado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

SOUZA, C. R.; CUNHA, A. M.; RIOS NETO, A.; RIBEIRO, Carlos Henrique Costa; MELNIKOFF, S. S. S.. Uma Metodologia de Gestão para Desenvolvimento de Software. 2001. Tese (Doutorado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

SOUZA, C. R.; CUNHA, A. M.; OMAR, N.; MELNIKOFF, S. S. S.; NAKANISHI, T.. Uma Hiper Arquitetura para Requisitos, Mapeamentos, Objetos de Negócio e suas Implementações em Engenharia de Software. 2001. Tese (Doutorado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica.

SOUZA, C. R.. Membro da Comissão de Competência da Congregação do ITA. 1994. Instituto Tecnológico de Aeronáutica.

SOUZA, C. R.. Seminário IFIP - Descrição Formal de Conceitos de Programação . 1989. Centro de Estudos Avançados.

SOUZA, C. R.. Membro da Comissão de Aperfeiçoamento da Congregação do ITA . 1988. Instituto Tecnológico de Aeronáutica.

SOUZA, C. R.. Coordenador Geral do 2o. Simpósio Brasileiro de Inteligência Artificial - SBC/INPE. 1985. Instituto Nacional de Pesquisas Espaciais.

SOUZA, C. R.. Setor de Engenharia de Sistemas . 1972. Banco Nacional de Desenvolvimento Econômico.

SOUZA, C. R.. Painel de Assessores em Ciência da Computação - CNPq. 1972. Instituto Tecnológico de Aeronáutica.

Um Sistema Especialista para Análise de Seqüenciamento no CNS/ATM Brasileiro; Início: 2003; Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica; (Orientador);

Uma ferramenta de apoio a detecção de Vulnerabilidades em Redes de Computadores; Início: 2003; Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica; (Orientador);

Uma abordagem de Monitoramento e Vigilância do Espaço Aéreo para Região Amazônica ano de início; Início: 2001; Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica; (Orientador);

A inclusão de um módulo hipermídia adaptado na arquitetura dos sistemas tutores inteligentes - STIS; Início: 2000; Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica; (Orientador);

Agentes hierarquicamente distribuídos para gerência produtiva de redes de comptuadores; Início: 1999; Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica; (Orientador);

Uma investigação de tecnologia de sistemas multiagentes aplicadas ao ambiente CNS/ATM; Início: 2002; Tese (Doutorado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

Técnicas de Parsing para gramática livre de contexto lexicalizada da Língua Portuguesa; Início: 1999; Tese (Doutorado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica; (Orientador);

Uma Estrutura para o Apoio a Detecção de Conflitos de Tráfego Aéreo em Rotas: DETECTAR; 2003; 305 f; Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica,; Orientador: Celso de Renna e Souza;

Métodos de Solução para a Montagem de Grades Escolares; 2003; 0 f; Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica,; Orientador: Celso de Renna e Souza;

Uma simulação de vôo aplicada a controle por empuxo; 2002; 139 f; Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica,; Orientador: Celso de Renna e Souza;

Computer Algebra in Modern Functional Languages; 2001; 0 f; Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica,; Orientador: Celso de Renna e Souza;

Um Modelo Hierárquico para Sistemas Especialistas; 2000; 123 f; Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica,; Orientador: Celso de Renna e Souza;

Esquema de Classificação para Modelos de Processo de Desenvolvimento de Software; 1998; 130 f; Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica,; Orientador: Celso de Renna e Souza;

Um Sistema Especialista para Gerência Pró-ativa de Redes de Computadores; 1997; 110 f; Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica,; Orientador: Celso de Renna e Souza;

Um Protótipo de Sistema para Planejamento Automático de Missões Aéreas; 1997; 130 f; Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica,; Orientador: Celso de Renna e Souza;

SAMBA: Sistema de Apoio à Manutenção Baseado em Conhecimento para Diagnóstico de Falhas de Aeronaves; 1997; 142 f; Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica,; Orientador: Celso de Renna e Souza;

Representação do Conhecimento e Sistemas Especialistas Aplicados a Sistemas de Potência; 1996; 220 f; Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica,; Orientador: Celso de Renna e Souza;

Um Sistema Especialista de Suporte à Opweração e Manutenção do Monitor de Lastro em Navios Petroleiros; 1996; 180 f; Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica,; Orientador: Celso de Renna e Souza;

Um Provador Automático de Teoremas paa a Lógica Modal S4; 1993; 0 f; Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica,; Orientador: Celso de Renna e Souza;

Sistema de Detecção e Predição de Conflitos em Tráfego Aéreo; 1992; 198 f; Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica,; Orientador: Celso de Renna e Souza;

Simulador Radar de Baixo Custo para Treinamento de Controladores em Radar de Aproximação de Precisão; 1992; 112 f; Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica,; Orientador: Celso de Renna e Souza;

PATHO - Sistema Especialista para Apoio ao Diagnóstico em Sarcomas Ósseos; 1991; 180 f; Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica,; Orientador: Celso de Renna e Souza;

DIANA - Um protóti[po de Sistema Especilaista para diagnóstico em Navegação Aérea; 1991; 221 f; Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica,; Orientador: Celso de Renna e Souza;

Simulador de Baixo Custo para Controle de Aeródromo apoiado por Microcomputadores; 1990; 192 f; Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica,; Orientador: Celso de Renna e Souza;

Metodologia para Auditar Qualidade de Software; 1990; 201 f; Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica,; Orientador: Celso de Renna e Souza;

BOLETIM: Um Sistema Especialista para Previsão de Tempo; 1987; 176 f; Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Celso de Renna e Souza;

Implementação de um Interpretador PROLOG com otimização; 1986; 178 f; Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Celso de Renna e Souza;

Uma abordagem para Redes Associatibas com Aplicação em Análises de Cenas; 1986; 198 f; Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Celso de Renna e Souza;

Geração de Modelos de Regras: Uma abordagem Centrada na Aprendizagem Indutiva; 1986; 197 f; Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Celso de Renna e Souza;

Sistema Diagnóstico: Uma ferramenta para Construção de Sistemas Especialistas; 1985; 189 f; Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Celso de Renna e Souza;

Um Sistema de Gerenciamento do atendimento de Pedidos a um Banco de Imagens; 1983; 189 f; Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Celso de Renna e Souza;

Um Projeto de Linguagem LANAC II e sua Implementação para o SISCO MB-8000; 1983; 195 f; Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Celso de Renna e Souza;

Cerne (Kernell) de Sistema Operacional para Suporte de Programas em LANAC; 1982; 195 f; Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Celso de Renna e Souza;

Técnicas Heurísticas Aplicadas a Resolução de Problemas; 1981; 174 f; Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Celso de Renna e Souza;

Um Sistema para Implantação de Banco de Dados Relacionais em Computadores Burroughs da Série B 7000/B 6000; 1981; 180 f; Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Celso de Renna e Souza;

COPLAN Sistema Automático de Gerência de Projetos; 1981; 185 f; Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Celso de Renna e Souza;

LANAC Uma linguagem de Alto Nível para Aquisição de Dados e Controle de Processos por Microcomputador; 1980; 140 f; Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Celso de Renna e Souza;

Projeto de um Sistema a Bordo de Aeronjaves; 1980; 180 f; Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Celso de Renna e Souza;

Compatibilidade de Regras de Produção Usadas como Representação de Conhecimento em Sistemas de Consulta; 1980; 160 f; Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica,; Orientador: Celso de Renna e Souza;

Um modelo para Dimensionamento de um Sistema de Manutenção Corretiva; 1980; 160 f; Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Celso de Renna e Souza;

Uma Linguagem para Simullação de Sistemas Dinâmicos Hierarquizados; 1979; 110 f; Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Celso de Renna e Souza;

Planejamento de Redes Telefônicos Ubanas de Grande Porte; 1979; 110 f; Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Celso de Renna e Souza;

Implementação no Computador FM 1660 de um Interpretdor BASIC; ; 1978; 180 f; Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Celso de Renna e Souza;

Técnicas de Parsing para Gramática Livre de Contexto Lexicalizada da Língua Portuguesa; 2004; 0 f; Tese (Doutorado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica,; Orientador: Celso de Renna e Souza;

Reavaliação de GasNet e sua eficácia: Além da proposição inicial; 2001; 0 f; Tese (Doutorado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica,; Orientador: Celso de Renna e Souza;

IDEAL, Umas Interface Dialógica em Linguagem Natural para Sistemas Especialistas; 1990; 201 f; Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Celso de Renna e Souza;

MOTIM: Motor de Inferência para Sistemas Especialistas; 1987; 210 f; Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Celso de Renna e Souza;

Um Modelo de Simulação da Migração Intra-Urbana; 1986; 210 f; Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Celso de Renna e Souza;

Indução de Regras de Decisão Nebulosas; 1983; 198 f; Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Celso de Renna e Souza;

Gramáticas Generalizadas de Grafos em Reconhecimento de Padrões; 1977; 220 f; Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais,; Orientador: Celso de Renna e Souza;

On the Distance Properties of Finite-State Languages with Application to Error Correction; 1971; 190 f; Tese (Doutorado em Engenharia da Computação) - University Of Notre Dame,; Orientador: Celso de Renna e Souza;

Simplex Coverability of Polytope-bounded Polytopes and the State Minimization of Stochastic Sequential Machines; 1970; 205 f; Tese (Doutorado em Engenharia da Computação) - University Of Notre Dame,; Orientador: Celso de Renna e Souza;

Theory of Imperfect Information Games; 1967; 210 f; Tese (Doutorado em Engenharia da Computação) - University Of Notre Dame,; Orientador: Celso de Renna e Souza;

SOUZA, C. R. ; FISCHER, S. D. ; OLEINKI, V. D. . Desenvolvimetno de Linguagens LANAC II para Programação Concorrente . 1983.

SOUZA, C. R. . Probabilityies in Context-free Programed Grammars . 1970.

SOUZA, C. R. ; SHOLTZ, R. . Syntatical Decorders and Back Tracking s-Grammars. 1969.

SOUZA, C. R. ; SAIN, M. K. . Linear Minimum Variance, Square Estimation Motivation and Applications. 1967.

SOUZA, C. R. ; CIRULLI, D. D. . Distribution of First and Last Crossing bya a Zero-mean Gaussian Sample Function and Application . 1967.

SOUZA, C. R. ; CILETTI, M. D. . Some Extensions of Control-Theoretic Results to the Theory of Games . 1967.

SOUZA, C. R. ; CILETTI, M. D. . Locally Optimum Games and Vehicular Collision . 1965.

SOUZA, C. R. . Curriculo de Engenharia de Computação. 1990 (Mesa Redonda) .

SOUZA, C. R. . Inteligência Artificial - Conceitos Básicos e Problemas Interessantes . 1987 (Palestra convidada) .

SOUZA, C. R. . I Simpósio Projeto Polo Informática. 1986 (Painel Técnico) .

SOUZA, C. R. . Inteligência Artificial: Revolução na Informática. 1986 (Conferência convidada) .

SOUZA, C. R. . Sistemas Especialistas. 1986 (Painel Técnico) .

SOUZA, C. R. . Considerações sobre Representações de Conhecimentos Aprendizado e Indução e suas Aplicações em Sistemas Especialistas . 1985 (Conferência convidada) .

SOUZA, C. R. . Projetos de Pesquisa e Desenvolvimento da Divisão de Informática do INPE/CNPq. 1981 (Painel Técnico) .

SOUZA, C. R. . Inteligência Artificial, Representação de Conhecimento . 1981 (COnferência convidada) .

SOUZA, C. R. . Etica para a Ciência em Países em Desenvolvimento. 1980 (Conferência convidada) .

2002

Ordem do Mérito do Engenhario Militar no Grau de Cavaleiro, Instituto Militar de Engenharia - IME - Exercito Brasileiro.

1970

Citado, American Men and Woman of Science e Who's Who in the Midwest.

1958

Primeiro lugar na Graduaçao, Faculdade de Engenharia Industrial - PUC/SP.

1958

Premio Shell, Shell.

1956

Primeiro lugar na Escola de Artilharia, Centro de Preparaçao de Oficiais da Reserva - CPOR-SP.