Sueli Bandeira Teixeira Mendes

Possui graduação em Filosofia pela Universidade Federal do Rio de Janeiro(1961), mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro(1970) e doutorado em Mathematical Logic pela Stanford University(1973). Tem experiência na área de Ciência da Computação, com ênfase em Metodologia e Técnicas da Computação. Atuando principalmente nos seguintes temas:Inteligência Computacional.

Informações coletadas do Lattes em 29/05/2023

Acadêmico

Formação acadêmica

Doutorado em Mathematical Logic

1967 - 1973

Stanford University
Título: Formal Correctness of an Interpreter for a Conversational Language
Orientador: Patrick Suppes
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Palavras-chave: Inteligência Computacional.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Inteligência Computacional. Setores de atividade: Educação.

Mestrado em Informática

1969 - 1970

Pontifícia Universidade Católica do Rio de Janeiro
Orientador: Roberto Lins de Carvalho
Palavras-chave: Linguagem Natural; Gramática Transformacional.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Inteligência Computacional. Setores de atividade: Educação.

Graduação em Filosofia

1958 - 1961

Universidade Federal do Rio de Janeiro

Idiomas

Inglês

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

Espanhol

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

Francês

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

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Inteligência Computacional.

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.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Processamento de Linguagem Natural.

Participação em bancas

Aluno: Francine Vaz

MENDES, S. B. T.; LIMA, J. C. M.; CARVALHO, R. L.; CAMPOS, F. C. A.. CUTE - Um chatterbot para o ensino de língua inglesa: Um estudo sobre PLN e IAE. 2004. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Ilan CHAMOVITZ

MENDES, S. B. T.; ELIA, M. F.; SILVEIRA, P. M.; CYSNEIRO, P. G.. GRS-Gerador de Redes Sistêmicas na WEB: um instrumento de apoio ao desenvolvimento cooperativo e a distância de atividades acadêmicas. 2004. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Orientou

Francine Vaz

CUT- Um chatterbot para o ensino de língua inglesa: Um estudo sobre PLN e IAE; 2004; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro,; Coorientador: Sueli Bandeira Teixeira Mendes;

Edja Maia Vasconcellos

Sistema deVerificação Gramatical para Língua Portuguesa; 1997; 0 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Luiz Guilherme Figueiredo

Cognição e Indução: Uma AbordagemFormal e Contextualizada; 1996; 0 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Sueli da Silva

Analisador Gramatical do Português:Uma Implementação; 1995; 0 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Abel Reis

Um Modelo Híbrido de Frames e Hipertexto; 1992; 0 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Pedro Paulo da Silva Ayrosa

Representação do Conhecimento em Sistemas Conexionistas: Tópicos em Análise; 1992; 0 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Marco Vianna Villas

VDM-TXT: Um Tradutor de Especificações em VDM para Linguagem Natural; 1991; 0 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Guilherme Nelson Fernandes de Souza

Uso de Linguagem Natural para Programação de Controladores Lógico-Programáveis; 1991; 0 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Rui Cho Huei Chiou

Simulação Paralela e Distribuída de Redes Neuronais para Percepção Visual de Imagens Naturais; 1991; 0 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Hermes Abreu Filho

Uma Ferramenta de Desenvolvimento de Sistemas Especialistas para Área de Física Experimental; 1991; 0 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Fernando Antônio Rivas Maximus Denis

O Método Conexionista Evolutivo; 1991; 0 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Edmar Wienskoski Júnior

Método Prático de Geração de Avaliadores de Atributos em um Passo; 1990; 0 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Morgana Carmen Diniz

Uma Ferramenta para Especificação e Geração de Modelos Markovianos Baseada numa Metodologia Orientada a Objetos; 1990; 0 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Luiz Adauto Filizola Carneiro Pessoa

Aprendizado não Supervisionado em Redes Neuronais; 1990; 0 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Wanderley Lobianco Júnior

PORTOS-TF: Sistema Operacional Portátil de Tempo-Real com Primitivas de Tolerância a Falhas; 1989; 0 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Mauricio Gonzalo Solar Fuentes

Metodologia de Desenvolvimento de um Configurador de Testes Automáticos com Técnicas de Inteligência Artificial; 1989; 0 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

MARCIA APARECIDA FERNANDES

Análise Sintática Baseada em regras usando um Modelo Conexionista: Uma Visão Crítica; 1989; 0 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Vera Lúcia Lopes Monteiro

Desenvolvimento de um Protocolo deComunicação entre Dois Sistemas Distribuídos; 1988; 0 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Gilberto Antonio Mendes de Moura

Núcleo de Sistema Operacional Multiprogramável para Controle de Processos e Aplicações de Tempo Real; 1987; 0 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Felipe Afonso de Almeida

Eletrical: Uma linguagem para Programação Concorrente; 1986; 0 f; Dissertação (Mestrado em Engenharia Eletrônica e Computação) - Instituto Tecnológico de Aeronáutica,; Orientador: Sueli Bandeira Teixeira Mendes;

Luiz Alberto almeida Ferreira

Proposta de uma Arquitetura para um Sistema Operacional de Tempo Real; 1985; 0 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Maria Cano Mendonza

Sistema de Adaptação do Mitra-15 para Funcionar como uma Estação de RJE do B-6700; 1984; 0 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Carlos C Ferreira Araújo

Especificação de um Núcleo de Sistema Operacional para Suporte dos Atributos de Concorrência da Linguagem Chill em Sistemas Distribuídos: Uma Aplicação em Telefonia; 1984; 0 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Homero Goçalves de Andrade

Estudo da Disponibilidade de um Centro de Supervisão baseado em uma Arquitetura Distribuída; 1983; 0 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Antônio Cláudio Gomes de Souza

Interface para Usuário Casual - IUC - Linguagem de Comunicação para Usuário Casual de Banco de Dados Baseado em Linguagem Natural; 1983; 0 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Pedro Luiz M Guimarães

CIRIUS - Um Sistema de Recepção e Informação ao Usuário; 1983; 0 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

José Lavaquial Breitinger

Núcleo de um Sistema Operacional Multiprogramado (CARCARÁ); 1983; 0 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Henrique Costa do Amaral

Subsistema de Gerência e Manipulação de : Entrada e Saída em Veículos de Acesso Direto para um Microcomputador; 1982; 0 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Valmir Carneiro Barbosa

Uma Proposta para Estender o Sistema Pascal USCD a Processamento Concorrente; 1982; 0 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

José Motta da Rocha Lopes

Uma Proposta de Processamento Paralelo Através de uma Arquitetura e Microprocessadores; 1982; 0 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Jose Carlos Martins Leite

C-Pascal, Suporte para Desenvolvimento de Projetos em Microcomputadores; 1981; 0 f; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Oscar Luiz Monteiro de Farias

Modelo de um Analisador Conceitual para Ensinar a Linguagem de Programação P-Básico; 1977; 0 f; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Pedro Vieira do Nascimento

Um Sistema de Compreensão de um Subconjunto da Língua Portuguesa; 1977; 0 f; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Augusto Ferreira da Silva

Uma Versão da Linguagem Basic em Português; 1975; 0 f; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Renan Donoso Valiente

Sistema de Instrução Programada Utilizando um Minicomputador Orientado à Operação com Terminais Vídeo/Teclado; 1975; 0 f; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Maria Encarnation del Pillas Gonçalves

Um Sistema da Tradução Automático do Português para Cálculo de 1a; Ordem; 1974; 0 f; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Maria Heloisa Penedo

Um Modelo para um Sistema de Ensino com Auxílio do Computador; 1974; 0 f; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Arnaldo Prado Júnior

Simulação de um Sistema de Perguntas e Respostas; 1973; 0 f; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Ana Maria Salles Pimentel

Simulação de um Sistema de Ensino de Vocábulos em Português no Computador; 1973; 0 f; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Álvaro Alberto C

Nascimento; Estratégias Aplicadas em um Sistema de Prova Automática de Teoremas Baseado na Teoria de Resolução; 1973; 0 f; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Laira Vieira Toscani

Prova de Correção Formal de um Compilador; 1973; 0 f; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Cláudia Laje Rebello da Motta

Um Ambiente de Recomendação e Filtragem Cooperativas para Apoio a Equipes de Trabalho; 1999; 0 f; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Pedro Porfirio Muniz Farias

Prova de Teoremas utilizando Simplificação por Elimincação de Literais; 1998; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Cláudio Chauke Nehme

Modelo Neurocomputacional de Elementos Centralizadores com Interações Laterais Aplicado ao Reconhecimento de Padrões Temporais; 1996; 0 f; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Milton Correa Filho

Arquitetura de Agentes Autônomos e Distribuídos; 1994; 0 f; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Mauricio Gonzalo Solar Fuentes

Modelos Paralelos de AlgoritmosGenéticos de Redes Neuronais Artificiais; 1992; 0 f; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Duval Makoto Akamatu

Projeto de um Suporte para Sistema Operacional Distribuído com Reconfiguração Dinâmica de Processos; 1991; 0 f; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Luiz Alfredo Vidal de Carvalho

Síntese de Redes Neuronais com Aplicação à Representação do Conhecimento; 1989; 0 f; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Claudio Kirner

Desenvolvimento de Suporte Básicopara Sistemas Operacionais Distribuídos; 1986; 0 f; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Sheila Regina Murgel Veloso

Mecanismos deTtransmissão de Mensagens em Sistemas Distribuídos: um Modelo Semântico; 1985; 0 f; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Gerhard Schwarz

Sobre o Problema de Modelagem, Usando: Grafos de Tipo de Predicados de Controle de Fluxo em Redes de Computadores; 1984; 0 f; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro,; Orientador: Sueli Bandeira Teixeira Mendes;

Produções bibliográficas

MENDES, S. B. T. ; CRUZ, A. J. O. ; RAPOSO, R. C. T. . Using Frames and Jess with Jervlets for Stock Market Prediction Based on Fundamentalist Analysis with Fuzzy-Neural Networks. WSEAS TRANSACTIONS on BUSINESS and ECONOMICS, Grécia, v. 1, n.1, p. 32-37, 2004.
MENDES, S. B. T. . Transformational Grammars as Models for Natural Languages. Series Monographs In Computer Sciece And Computer Applications, Rio de Janeiro, 1970.
MENDES, S. B. T. ; AGUIAR, T. C. . Métodos de Especificação de Sistemas. Editor Edgar Blucher, 1989. v. 1.
MENDES, S. B. T. ; AGUIAR, T. C. . Métodos de Especificação de Sistemas. Edição EBAI, 1988. v. 1.
MENDES, S. B. T. . Sistemas Operacionais Distribuídos: Aspectos Gerais e Análise de sua Infraestrutura. Editora Campes, 1987.
MENDES, S. B. T. ; CRUZ, A. J. O. ; RAPOSO, R. C. T. . Using Previous Knowledge for Stock Market Prediction Baseid on Fundamentalist Analisys with Fuzzy-Neural Network. Advances in Multimedia, Video and Signal Processing Systems. 1ed.Athens: WSES Press, 2002, v. 1, p. 307-312.
MENDES, S. B. T. ; NEHME, C. C. ; CARVALHO, E. L. A. V. . A Temporal Model for Storing Spatiotemporal Pattern Memory in Shunting Cooperative Competive Network . In: F. L. Silva, Amsterdam University; J. C. Princípe, University of Florida; L. B. Almeida Instituto Superior Técnico. (Org.). Spatiotemporal Models in Biological and Artificial Systems. : Editora Ohmsha IOSPress, 1997, v. , p. -.
MENDES, S. B. T. ; PESSOA, L. A. F. C. . Estudo e Avaliação de Algoritmos de Aprendizado Não-Supervisionado em Redes . Revista Brasileira de Computação, 30 set. 1990.
MENDES, S. B. T. ; SEGRE, L. . O Conceito de Monitor com Instrumento de Programação Concorrente. Revista Brasileira de Computação, , v. 1.
MENDES, S. B. T. ; EIZIRICK, L. M. R. . Um Modelo Neuronal Probabilístico para a Solução de Ambiguidade em Português. Revista Brasileira de Computação, , v. 5, n 1.
MENDES, S. B. T. . A Bayseian-Network Approach to Lexical Desambignation. Cognitive Science, , v. 17, p. 257 - 283.
MENDES, S. B. T. ; CRUZ, A. J. O. ; RAPOSO, R. C. T. . Using Previous Knowledge for Stock Market Prediction Based on Fundamentalist Analysis with Fuzzy-Neural Network. In: Proceedings of the 2nd WSEAS International Conference on Simulation, Modelling and Optimization, 2002, Skiathos. 2nd WSEAS International Conference on SImulation, Modelling and Optimization, 2002. v. 1. p. 2211-2216.
MENDES, S. B. T. ; BORGES, M. ; MOTTA, C. L. R. . Improving Meetings by identifying informal roles played by participants. In: 7th International Conference on COmputer Supported Cooperative Work in Design, 2002, Rio de Janeiro. International Conference on Computer Supported Cooperative Work in Design. Rio de Janeiro: COPPE/UFRJ, 2002. v. 1. p. 368-372.
MENDES, S. B. T. ; MOTTA, C. L. R. . Modelling the Cooperative Information Filtering Problem. In: Advances in Systems Science: Measurement, Cirvuits and Control NEMAstorakis and L.A. Pecorelli-Pers editors, 2001, Creta. 5th WSES/IEEE Multiconference CSCC. Creta, 2001. v. 1. p. 388-393.
MENDES, S. B. T. ; MOTTA, C. L. R. . Modelling the Cooperative Information Filtering. In: IBERAMIA-SBIA 2000 Open Discussion Track Proceedings, 2000, Atibaia. International Joint Conference 7th Iberoamerican Conference on Artificial Intelligence 15th Brazilian Conference on Artificial Intelligence, 2000. v. 1. p. 116-126.
MENDES, S. B. T. . The Theory and Architecture of the Gamma-ART Model: A New Neural Network Model for Temporal Pattern Recognition. In: , The 10th Scandinavian Conference on Image Analysis - SCIA'97, 1997, 1997.
MENDES, S. B. T. . A Computational Approach to Situation Theory Based on Logic Programming to Design Cognitive Agents. In: Brazilian Symposium on Artificial Intelligence, SBIA 95, 1995, Campinas, Brazil. Advances in Artificial Intelligence, 1995. v. 12.
MENDES, S. B. T. . Um Modelo Conexionista para Controle de Processos: Benefícios e Problemas. In: I Congresso Interamericano de Computação Aplicada. A LaIndustria de Procesos, CAIP 92, 1992, La Serena, Chile.
MENDES, S. B. T. . Algoritmo Genético Paralelo para Guiar a Aprendizagem em Redes Neuronais. In: XII Congresso de Metodologia em Engenharia de Sistemas, 1992, Santiago do Chile. Anais do XII Congresso de Metodologia em Engenharia de Sistemas, 1992.
MENDES, S. B. T. . Uma Abordagem Léxica Baseada em Relações para Autoria. In: IV Jornada de Atualização do Grupo de Inteligência Artificial, IV JA-GIA da UFRJ, 1991, Rio deJaneiro, 1991.
MENDES, S. B. T. ; REIS, A. ; BORGES, M. . Um Modelo Híbrido de Frames e Hipertextos. In: VIII Brazilian Symposium on Artificial Intelligence - SBIA, 1991, 1991.
MENDES, S. B. T. ; FUENTES, M. G. S. . Algoritmos Genéticos no Aprendizado das Redes Neuronais. In: Simposium Nacional Tendências de la Computación en la Decada de los 90, 1991, Zacatenco, 1991.
MENDES, S. B. T. ; FUENTES, M. G. S. . Inteligência Artificial e Controle de Processos. In: XVII Conferência Latino Americana de Informática, 1991, Caracas. Anais da XVII Conferência Latino Americana de Informática, 1991.
MENDES, S. B. T. ; FUENTES, M. G. S. . Un Sistema Experto para Control de Processos en Tiempo Real. In: IX Congresso de la Associacion Chilena de Control Automatica, 1990, 1990.
MENDES, S. B. T. ; DUTRA, I. C. ; FUENTE, M. G. S. ; BIANCHINI, R. . Um Modelo AND/OR: Uma Avaliação Crítica. In: IX Congresso da Sociedade Brasileira de Computação, 1989. Anais do IX Congresso da Sociedade Brasileira de Computação.
MENDES, S. B. T. ; VELOSO, S. R. M. . Um Modelo Abstrato para Troca de Mensagens. In: Seminário Franco-Brasileiro em Sistemas Informáticos Distribuídos, 1989, Florianópolis. Anais do Seminário Franco-Brasileiro em Sistemas Informáticos Distribuídos, 1989.
MENDES, S. B. T. ; OLIVEIRA, L. L. G. ; EIZIRICK, L. M. R. . Uma Proposta para Retirar a Ambiguidade de Verbos usando Redes Neuronais. In: 5o. Simpósio Brasileiro de Inteligência Artificial, 1988. Anais do 5o. Simpósio Brasileiro de Inteligência Artificial.
MENDES, S. B. T. ; EIZIRICK, L. M. R. . Um Modelo Conexionista para o Tratamento da Ambiguidade Verbal de um Subconjunto do Português. In: VIII Congresso da SBC, 1988, Rio de Janeiro, 1988.
MENDES, S. B. T. . Abstract Formal Specification of Concurrent Distribuited Systems. In: Conferência Internacional sobre Informática, 1988, Havana,, 1988.
MENDES, S. B. T. ; ALMEIDA, F. A. . ELECTRICAL: Uma Linguagem para Pesquisa em Programação Concorrente. In: I Simpósio Brasileiro de Engenharia de Software, 1987, 1987.
MENDES, S. B. T. ; ROCHA, A. R. C. . Paradigmas para o Processo de Produção de Software. In: XIII Conferência Latino Americana de Informática, 1987, Bogotá, 1987.
MENDES, S. B. T. ; ROCHA, A. R. C. . Paradigmas de Ambientes de Programação. In: II Encontro do Projeto ETHOS, Convênio Brasil x Argentina, 1987, 1987.
MENDES, S. B. T. ; VELOSO, S. R. M. . Mecanismos de Troca de Mensagens em Sistemas Dinâmicos e Distribuídos. In: XVI JAIIO, 1986, Buenos Aires, 1986.
MENDES, S. B. T. . Arquitetura de Ambiente de Programação. In: III CLAIO, IX Taller de Enginieria de Sistemas, 1986, Santiago. Anales del III CLAIO, IX Taller de Enginieria de Sistemas, 1986.
MENDES, S. B. T. ; SEGRE, L. ; KIRNER, C. . Evolução de Proposta da Linguagem de Programação Concorrente LPC. In: IV Congresso da Sociedade Brasileira de Computação, 1984, Viçosa, 1984.
MENDES, S. B. T. ; SEGRE, L. ; KIRNER, C. . Sistema Operacional Didático: Caracterização e Experiência. In: IX Conferência Latinoamericana de Informática, 1982. Anais da IX Conferência Latinoamericana de Informática, 1982.
MENDES, S. B. T. ; SEGRE, L. ; KIRNER, C. . Implementação dos Mecanismos de Comunicação e Sincronização da Linguagem LPC. In: II Congresso da Sociedade Brasileira de Computação, 1982. Anais do II Congresso da Sociedade Brasileira de Computação, 1982.
MENDES, S. B. T. ; SEGRE, L. ; KIRNER, C. . LPC - Uma Linguagem para Programação Concorrente. In: II Congresso da Sociedade Brasileira de Computação, 1981. Anais do II Congresso da Sociedade Brasileira de Computação, 1981.
MENDES, S. B. T. . Projeto de Máquina Básica para Implantação de Sistemas Operacionais num Computador de Arquitetura Clepsidra. In: 8o. Seminário Integrado de Software e Hardware, 1981, Florianópolis. Anais do 8o. Seminário Integrado de Software e Hardware, 1981.
MENDES, S. B. T. . Projeto de um Monitor de Hardware para a Avaliação do Desempenho de Sistemas de Computação de Médio e Grande Porte. In: IV Seminário sobre Desenvolvimento Integrado de Software e Hardware, 1977, Belo Horizonte, 1977.
MENDES, S. B. T. ; MILAN, M. R. . Um Módulo para Manutenção de Base de Dados de um Sistema de Ensino Avaliado por Computador. In: III Seminário sobre Desenvolvimento Integrado de Software e Hardware, 1976, Porto Alegre, 1976.
MENDES, S. B. T. ; MILAN, M. R. . A System for Teaching Programming by Means of a Brazilian Mini-Computer. In: 2a. Conferência Internacional da IFIP, 1975, Marseille. Proceedings da 2a. Conferência Internacional da IFIP, 1975.
MENDES, S. B. T. ; MILAN, M. R. . Lector: A Language to Write CAI Courses. In: International Congress of Cybernetics and Systems, 1975, Bucareste. Proceedings of the International Congress of Cybernetics and Systems, 1975.
MENDES, S. B. T. ; MILAN, M. R. . Automatic Proofs for Theorems on Predicate Calculus. In: International Congress of Cybernetics and Systems, 1972, Londres. Proceedings of the International Congress of Cybernetics and Systems, 1972.
MENDES, S. B. T. . Formal Correctness of an Interpreter for a Conversational Language. 1974 (Tese de Doutorado) .
MENDES, S. B. T. . Gramáticas Transformacionais como Modelo de Linguagens Naturais. 1970 (Tese de Mestrado) .

Histórico profissional

Endereço profissional

Universidade do Estado do Rio de Janeiro, Centro de Tecnologia e Ciências, Departamento de Engenharia e Sistemas e Computação. , Rua São Francisco Xavier, 524, bloco D, quinto andar, Maracanã, 20550-900 - Rio de Janeiro, RJ - Brasil, Telefone: (2) 5877442, Fax: (2) 5264219, URL da Homepage:

Experiência profissional

1999 - 2000

Universidade do Estado do Rio de Janeiro

Vínculo: Professor Visitante, Enquadramento Funcional: Professor titular, Carga horária: 40

Atividades

03/2000
Pesquisa e desenvolvimento , Centro de Tecnologia e Ciências, Departamento de Engenharia e Sistemas e Computação.,Linhas de pesquisa

1999 - 1999

Universidade Gama Filho

Vínculo: Servidor público ou celetista, Enquadramento Funcional: Outro, Carga horária: 40

Atividades

Direção e administração, Centro de Ciências Exatas e Tecnologia, .,Cargo ou função, Diretora de Informática.

1978 - 1995

Universidade Federal do Rio de Janeiro

Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
ProfessorTitular na COPPE Sistemas de 1988 a 1995

Atividades

06/1978 - 07/1995
Ensino, Engenharia de Sistemas e Computação, Nível: Pós-Graduação,Disciplinas ministradas, Semin.D.Sc.Eng.Sist. I, II e III, Semin.D.Sc.Eng.IV, Sistemas Operacionais II, Organização de Computadores, Seminário de D.Sc, Sistemas Operacionais I e II, Tóp.Esp. Eng. Sistemas I,II e III, Tóp.Esp. Eng. Sistemas, Mét. de Desen. de Sistemas, Mét. de Desen. de Programas, Tóp.Esp. em Prog. Lógica, Tóp.Esp. Sistemas Operacionais I, Tóp.Esp. Progr. Ling. Natural, Tóp. Esp. Linguag. Natural I e II, Tóp.Esp. Prog. Lógica Concorrente, Tóp.Esp. em Repres. do Conhecimento I e II, Especificações Formais, Tóp.Esp. Int. Artificial I, Proc. Linguagem Natural I e II, Tóp.Esp. em Int. Artificial I, II e III
02/1984 - 12/1993
Ensino,,Disciplinas ministradas, LógicaAplicada, SistemasOperacionaisII, Tópicos Especiais em Computação I, Tópicos Especiais em Computação II, Tópicos em Inteligência Artificial, Tópicos em Representação do Conhecimento
07/1980 - 07/1983
Direção e administração, Instituto Alberto Luiz Coimbra de Pós Graduação e Pesquisa de Engenharia, Programa de Engenharia de Sistemas.,Cargo ou função, Coordenador de Programa.
09/1978 - 09/1980
Direção e administração, Instituto Alberto Luiz Coimbra de Pós Graduação e Pesquisa de Engenharia, Programa de Engenharia de Sistemas.,Cargo ou função, Vice-Coordenadora do Programa de Engenharia de Sistemas e Computação.

1971 - 1973

Pontifícia Universidade Católica do Rio de Janeiro

Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Assistente, Carga horária: 44, Regime: Dedicação exclusiva.

Atividades

01/1971 - 06/1978
Ensino,,Disciplinas ministradas, Teoria da Computação I, Ling. Formais e Automata, Teoria de Máquinas Sequenciais, Teoria da Computação II, Semântica e Linguagem de Programação, Software Básico
01/1971 - 06/1974
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, Teoria da Computação I e II, Linguagens Formais e Automata, Introdução Ciência de Computadores, Tóp.Esp. Ciências Computação, Semântica de Linguagens de Programação
Pesquisa e desenvolvimento , Centro Técnico-Científico, Departamento de Informática.,Linhas de pesquisa

1969 - 1970

Stanford University

Vínculo: Outro, Enquadramento Funcional: Professor Auxiliar, Carga horária: 0

Atividades

Ensino,,Disciplinas ministradas, Introduction to Logic, Intermediate Logic