Linguagem Formais e Autômatos Conceito

área de pesquisa

• Computability, Approximate Reasoning, Ordered structures and Logics
• "Aplicações da tecnologia adaptativa no gerenciamento de diálogo falado em sistemas computacionais"
• "Checagem de equivalência de sequências de estados de projetos digitais em RTL com modelos de referência em alto nível e de protocolo de comunicação"
• "Geração Automática de Casos de Testes para Máquinas de Estados Finitos"
• "Modelagem de um componente adaptativo para o gerenciamento dos recursos de acessibilidade de um sistema computacional de uso geral"
• "Redução de gastos com energia elétrica em sistemas de distribuição de água utilizando processos decisórios de Markov"
• "Tecnologias adaptativas aplicadas na flexibilização de redes neurais artificiais e redes de Petri"
• "Tradução Automática Estatística Baseada em Sintaxe e Linguagens de Árvores"
• "Verificação e Comprovação de erros em Códigos C usando Bounded Model Checker"
• "Tradução de Diagramas de Estado UML para um Modelo de Verificação Formal"
• : Uma metodologia para a implementação de aplicações MHEG-5 specificadas em E-LOTOS
• A apropriação da escrita por alunos da 3ª fase do I ciclo : um estudo com sequências didáticas
• A Bayesian Phylogenetical Grouping According to Syntactic Properties
• A black-box testing technique for the detection of crashes based on automated test scenarios
• A CIÊNCIA LINGUÍSTICA:UM PERCURSO HISTÓRICO DE INTERDISCIPLINARIDADE
• A comunicação no setor público e as suas intersecções com as mídias
• A Estética da memória e da confissão em "memorial de Maria Moura"
• A FACE TECNOLÓGICA DOS ESTUDOS DA LINGUAGEM: O PROCESSAMENTO AUTOMÁTICO DAS LÍNGUAS NATURAIS
• A Family of Coverage Criteria Based on Patterns to the Test of Metaprograms
• A Formação do Professor para uma Alfabetização Significativa nos Anos Iniciais do Ensino Fundamental
• A Grammar of the Distinctive Competence Development at the Firm for the Solution of Systemic Problems
• A Graph Based Theorem Proving Platform with Strategies.
• A Graph Grammar Formalism for Software Transactional Memory Correctness
• A Graph Language and its Applications
• A note on the class of languages generated by F-systems over regular languages
• A Pragmatic Method to Generate Test Sequences for Embedded Testing (and Application to Open Distributed Platforms and Telecommunications Services)
• A Refinement Based Strategy for Locally Verifying Networks of CSP Processes
• A reversible system based on hybrid toggle radius-4 cellular automata and its application as a block cipher
• A Rhythmic Activation Mechanism for Soft Multi-legged Robots
• Aarão Lyra
• Abordagem para Geração Automática de Código para Framework de Automação de Testes
• ABORDAGEM PARA VERIFICAÇÃO POR MODEL CHECKING DE REQUISITOS DE SISTEMAS CRÍTICOS EMBARCADOS REPRESENTADOS EM STATECHARTS
• Abstract Graph Transformation - Theory and Practice
• Abstraction of infinite and communicating CSPZ processes
• Acurácia de um Modelo Fonotático de Entropia Máxima aplicado ao Português Brasileiro
• Adalberto Cajueiro de Farias
• Adaptabilité et robustesse des méthodes d'optimisation à l'arrivée de nouvelles contraintes hétérogènes : application à un problème de dimensionnement de réseau de télécommunication
• AdaptHA : ambiente para autoria e ensino adaptativo
• Ademir Avila
• Adilson de Oliveira Arcoverde Junior
• Adilson Luiz Bonifácio
• Adriana de Andrade Oliveira
• Adriana Jouris
• Adriana Postal
• Adriane Barbosa Camargo
• Adriane Cristina Correa Soares Veronez
• Adriano Del Pino Lino
• Adriano José Cunha de Aguiar
• Adílson José Marcorin
• Afonso Ferreira Miguel
• Afonso Rabelo Costa Junior
• Afonso Silva Cunha Júnior
• AGA-Sign : animador de gestos aplicado à língua de sinais
• Agregação em Redes de Autômatos Estocásticos
• Agustín Alejandro Ortiz Díaz
• AHO - ANALISADOR HARMÔNICO OTIMISTA
• Airton Bordin Junior
• Airton Marco Polidorio
• Alair Pereira do Lago
• Alberto Rubens Beckler
• Alcides Teixeira Barboza Junior
• Aldenor Falcão Martins
• Aleckson Souto Silva
• Alex Bredariol Grilo
• Alex de Vasconcellos Garcia
• Alexandre Aparecido Soares
• Alexandre Araújo Feijó
• Alexandre Charles Cassiano
• Alexandre Denes dos Santos
• Alexandre Lenin Carneiro
• Alexandre Matos Arruda
• Alexandre Prado Teles
• Alexandre Rademaker
• Alexandre Roberto dos Passos
• Alexandre Scaico
• Alexandro dos Santos Silva
• Alexsandro Fernandes da Fonseca
• Algorithmic graph unification and simulations for haplotype networks
• ALGORITMO DE LEMPEL-ZIV APLICADO À CLASSIFICAÇÃO QUANTITATIVA DE AUTÔMATOS CELULARES
• AlgoritmoGenético Coevolutivo na Busca Parametrizada de Autômatos Celulares Unidimensionais
• Algoritmos e Grafos da Universidade do Estado do Rio de Janeiro
• Algoritmos para Casamento Aproximado de Padrões
• Algumas propriedades de autômatos celulares unidimensionais conservativos e reversíveis
• Aline Lúcia Baroni
• Aline Maria Santos Andrade
• Alinhamento de sequências por restrição de expressão regular
• Allan Kelvin Mendes de Sales
• Allison Magno Eugênio da Silva
• Almir Joaquim de Sousa
• Almir Rogério Camolesi
• Alternativas para o Tratamento Numérico Otimizado da Multiplicação Vetor-Descritor
• Altieres Ribeiro Lopes
• Alvaro Costa Neto
• Alysson Filgueira Milanez
• Amaury Antônio de Castro Junior
• Ambiente para Teste de Framework Utilizados na Implementação de Protocolos
• Amir Jalilifard
• An Empirical Exploration of Computations with a Cellular-Automata-Based Artificial Life World
• Ana Cristina Di Oliveira
• Ana Célia Rocha Costa
• Ana Karoline Queiroz Romeiro
• Ana Paula Domeneghetti Parizoto Fabrin
• Analise e Aplicações em Redes de Petri Temporais: Ima Abordagem via Álgebra Intervalar
• Analise Sintatica do Portugues
• Ananda Coaglia Trindade
• Anderson Almeida Ferreira
• Anderson Farias Briglia
• Anderson Jorge Serra da Costa
• Anderson Lemos da Silva
• Anderson Santana de Oliveira
• Andrea Aparecida Konzen
• André Barros Pereira
• André Faria Ruaro
• André Gobbi Farina
• André Gustavo Andrade
• André Luiz de Lima Figueiredo
• André Luiz Satoshi Kawamoto
• André Luís Ribeiro Didier
• André Murta
• Anibal Santos Jukemura
• Animação Bidimensional para World Wide Web Baseada em Autômatos Finitos.
• Animação de Relações de Equivalênica entre Modelos Computacionais, suas Gramáticas e Linguagens
• Antonio Augusto Oliveira Viana Santos
• Antonio Baptista Junior
• Antonio de Barros Serra
• Antonio Gilberto de Moura
• Análise da Máquina de Turing Persistente com múltiplas fitas de trabalho
• Análise de Agrupamento: O problema da identificação de línguas em textos por meio de bi-gramas
• Aplicação de Algoritmos Genéticos para o Problema de Escalonamento de Tarefas com Controle Supervisório e Autômatos com Parâmetros
• Aplicação de algumas construções categoriais em animações computacionais baseadas em autômatos finitos
• Aplicação de Métodos Formais no Projeto de Interfaces para Sistemas Críticos
• Aplicação de um modelo de navegação de IHM ao contexto de sistemas industriais.
• Aplicação do Profile UML MARTE na Modelagem de Serviços de Protocolos de Comunicação de Tempo Real
• Aprender, atividade inteligente :: e se esta inteligência for parcialmente artificial? /
• Ari Palu Junior
• Ariane Alves Almeida
• Arnaldo Mandel
• Arquitetura de software baseada numa abordagem UML/Redes de Petri com prevenção de bloqueio mortal em sistemas de tempo real
• ARTHUR VARGAS LOPES
• Artur Oliveira Gomes
• ASYNCRFJ: UMA ABORDAGEM ASSÍNCRONA À PROGRAMAÇÃO ORIENTADA A OBJETO REATIVA
• Aurélio Gomes Ferreira
• Automated Verification of Stand-alone Solar Photovoltaic Systems: Optimal Sizing and Project Validation
• Automatic Extraction of Program Models for Formal Software Verification
• Automatic generation of configurable test-suites for software product lines
• Automatic generation of configurable test-suites for software product lines
• Autômatos Fuzzy Hesitantes Típicos: Teoria e Aplicações
• Autômatos sincronizados e a Conjectura de Cerný
• Avaliação de Atributos de Dependabilidade e Sustentabilidade em Sistemas de Refrigeração de Data Centers
• Avaliação de instrumentos de interação para escrita
• Avaliação de performabilidade do processo de manufatura do café
• Avaliação Interativa de alunos em Cursos na Web Baseada em autômatos Finitos
• Avaliações das Inovações Tecnologicas da Internet: Imolicação para Implantação de Portais Educaionais de Tecnologia de Ponta e a Formação Profissional
• AVELINO FRANCISCO ZORZO
• Benedito Melo Acióly
• Benjamín René Callejas Bedregal
• Braz Araujo da Silva Junior
• Bruna Elisa Zanchetta Leal
• Bruno Albuquerque Scrignoli
• Bruno Azevedo Vilela
• BRUNO CESAR RIBAS
• Cache Comprimido Adaptativo via SOM (Mapas Auto-organizáveis) em Sistemas Embarcados
• Canopus : a domain-specific language for modeling performance testing
• Caracterização do comportamento limite de alguns autômatos celulares elementares
• Carlos Augusto Prolo
• Carlos Castelo Branco Caldas Neto
• Carlos Eduardo Caminha Lopes Rodrigues
• Carlos Eduardo de Jesus Guimarães Oliveira
• Carlos Eduardo Gesser
• Carlos Eduardo Pires de Camargo
• Carlos Eduardo Rodrigues Alves
• Carmen Cecília Centeno
• Categoria de Grafos Parciais com Homomorfismos Totais: teoria e aplicações
• Celia Yumi Okano Taniwaki
• Celso Alberto Saibel Santos
• Celso de Renna e Souza
• Centro de Inovação e Pesquisa em Educação e Computação - CIPEC
• Certified virtual machine based parsing of regular expressions
• Charbel Szymanski
• Cheyenne Ribeiro Guedes Isidro
• Christian Jacques Rentería
• Christine Vieira
• Cirney Ricardo Jose Borges Carneiro
• Ciro Alves Justino Nunes
• Ciro de Barros Barbosa
• Ciência da Computação Aplicada à Indústria
• Claudio de Oliveira
• Claudio Soares de Carvalho Neto
• Clebeson Canuto dos Santos
• CLÁUDIA SANTOS FERNANDES
• Cléver Ricardo Guareis de Farias
• Clóvis Yutaka Harada
• CMIIS - The Cyclops Medical Image Interpretation System
• Coevolução de Agentes de Estado Finito
• Cognitio USP - Computação Cognitiva
• Combinaison des concepts de segmentation et de reconnaissance pour l'écriture manuscrite hors-ligne: application à la lecture automatique des montants numériques des chèques
• Combinando seqüências temporais de autômatos celulares elementares
• CompBioTech Lab (CBT-L)
• Complexidade descritiva das lógicas de ordem superior com menor ponto fixo e análise de expressividade de algumas lógicas modais
• CompLin - Computação e Linguagem Natural
• Computação de Alto Desempenho e Sistemas Distribuídos
• Computação para Engenharias
• Conception Formelle de Documentos Hypermédias Portables
• Conception formelle de documents multimédia interactifs : une approche s'appuyant sur RT-LOTOS
• Construção de um Agente Inteligente por Cognição Situada: framework para Interconexão de Redes Neurais Artificiais
• Construção de um Agente Inteligente por Cognição Situada: Sistema Emocional e Motivacional
• Construções condicionais no discurso de autoajuda
• Contribuições para o Processo de Verificação de Satisfatibilidade Módulo Teoria em Event-B.
• Contrinuições para a verificação automática de applets JavaCard
• Controle supervisório modular e multitarefa de sistemas compostos
• Controle supervisório modular local de sistemas de veículos auto-guiados
• Convergência no comportamento de um agente, pela sua interação com outros em um sistema multi-agentes celular: estudos iniciais com o modelo DRIMA
• Correspondência entre PEGs e Classes de Gramáticas Livres de Contexto.
• CRISTIANE DIVINA LEMES HAMAWAKI
• Cristiane Regina Yamaguti Mashuda
• Cristiane Yanase Hirabara de Castro
• César Magno Gomes da Silva
• Dalva de Oliveira
• Daniel Assis Alfenas
• Daniel Augusto Martins
• Daniel de Souza Carvalho
• Daniel Emilio Beck
• Daniel Hiroshi Iizuka
• Daniel Kazuyuki Fugii Matsumoto
• Daniel Saad Nogueira Nunes
• Daniella Rodrigues Bezerra
• Danielle Passos de Ruchkys
• Danilo Douradinho Fernandes
• Danilo Mori Palomo
• Dayanne Kelly Freire da Rocha Escale
• Debora Schuch da Rosa
• Definição de uma linguagem de alto nível para microcomputadores e sugestões para sua implementação
• Deivid Rodrigues do Vale
• Delcino Picinin Júnior
• Dependability evaluation and sensitivity analysis of data center cooling systems
• Desdobramento para Redes de Petri k-limitadas
• Desenvolvimento de Sistemas Críticos e Complexos
• Desenvolvimento de um simulador para análise e projeto de sistemas de controle de tráfego em malha fechada /
• Design and Formal Verification of Fly-by-Wire Flight Control Systems
• Design e validação formal de sistemas de controle de voo fly-by-wire
• DETECÇÃO DE CONFLITOS EM CONTRATOS MULTILATERAIS
• Diego Munk London
• Dinâmica e evolução de autômatos celulares unidimensionais.
• Diogo Branquinho Ramos
• Douglas Nunes de Oliveira
• Dynamic Binding of Names in Calculi for Mobile Processes
• EASy ? Sistema de Avaliações via Web baseado no Hyper-Automaton
• Edgar Marcos Ancioto Junior
• Edinei Peres Legaspe
• Edivaldo de Araújo Pereira
• Eduardo Maciel Haitzmann dos Santos
• Eduardo Schmitt da Luz
• Eduardo Soares Albuquerque
• Edward Hermann Haeusler
• Efficient and Mechanised Analysis of Infinite CSP-Z Processes: strategy and tool support
• Efraim Zalmoxis de Almeida Machado
• Egeu Eduardo Berni Soares
• Elaine Elizabeth de Souza
• Elda Nunes de Carvalho
• Elder Donizetti dos Santos
• Eliane Lucia Bodanese
• Elias Antônio Morgan
• Elisangela Mieko Kanacilo
• Eliselma Vieira dos Santos
• Eliseu Cesar Miguel
• Elthon Allex da Silva Oliveira
• Em busca da otimização do projeto do guia de ondas de um filtro óptico, através de computação evolutiva.
• Emerson Rodrigo Alves Tavares
• Emerson Rogério de Oliveira Junior
• Emmanuel Felix Lopes da Silva
• Emmanuel Sapin
• Engenharia de Sistemas Cognitivos
• ENSINO E APRENDIZAGEM DE TEORIA DA COMPUTAÇÃO COM O SUPORTE DE AMBIENTES COMPUTACIONAIS: UTILIZAÇÃO DE AVALIAÇÃO AUTOMÁTICA E SEMI-AUTOMÁTICA PARA PROVER FEEDBACK RÁPIDO PARA O ALUNO E FACILITAR O ACOMPANHAMENTO PELO PROFESSOR
• ERICK GALANI MAZIERO
• Erinaldo Sanches Nascimento
• Ernesto Luis Malta Rodrigues
• Ernesto Vasconcelos Carvalho
• Ernesto Wilhelms Neto
• Especialização de linguagens orientadas a aspectos baseada em extensibilidade de gramáticas
• Especificação de uma linguagem para desenvolvimento de aplicações concorrentes.
• Especificação de uma Rede MPLS Fim-a-Fim com Diferenciação de Serviços
• Especificação formal da atividade de negociação em serviços semânticos.
• Especificação Formal de Sistemas de Computação
• Especificação Formal de Uma Ferramenta de Especificações de Requisitos
• Estratégia sistemática para identificar falhas em componentes usando comportamento nominal
• Estudo e Especificação formal de linguagens na perspectiva de paralelização de programas
• Etiene Anastacio Lamas
• Etude structurelle des transducteurs de norme bornée
• Evaluating and modelling solutions for disaster recovery
• Evaluation of GUI Testing Techniques for System Crashing: From Real to Model-based Controlled Experiments
• Explorando Arranjos Espaciais e Conexões Não-Locais em Autômatos Celulares Elementares.
• Explorando o Espaço de Autômatos Celulares Conservativos Binários com Vizinhança de Moore
• Explorando o Uso de Distinguidores e de Autômatos Finitos Estendidos na Teoria do Controle Supervisório de Sistemas a Eventos Discretos.
• Extending agent languages for multiagent domains
• Extração de Conhecimento a partir de Redes Neurais Recorrentes
• Fabiana Gomes Marinho
• Fabio Asturian Zanin
• Fabio Cardoso
• Fabio Gomes de Andrade
• Fabio Soares dos Santos
• Fabio Victor Pfeiff
• Fabio Vinicius Binder
• Fabricio Chalub Barbosa do Rosário
• Fabricio Doi
• Fabrício da Costa Dias
• Felipe da Silva Pinheiro
• Felipe Ferreira de Morais Netto
• Felipe Vieira Duval
• Felipe Vieira Silva
• Felippe Marcel Zancarli
• Fellipe Augusto Ugliara
• Fernando Cabral Alves
• Fernando Kauffmann Barbosa
• Fernando Marcos Nogueira Miranda
• Fernando Náufel do Amaral
• Fernando Rodrigues Peres
• Fernando Sales Panont
• Filipe Costa Fernandes
• Filipe Diniz Dal Moro Borges
• Fischer Stefan Meira
• FIZ POR GOSTO UMA INVESTIGAÇÃO SOBRE O PAPEL DAS ESCOLHAS DO JOGADOR NA CONSTRUÇÃO DO SENTIDO EM JOGOS
• Flexibilidade em linhas de produtos dinâmicas cientes de qualidade : uma abordagem baseada em linguagens específicas de domínio
• Flávio Gonçalves Fernandes
• Flávio Neves Júnior
• Formal Definition of Object Oriented Design Metrics
• Formal Specification and Validation of Real Time Systems
• Formal Specification Generation from Requirement Documents
• Formalismos Adaptativos na Análise Sintática de Linguagem Natural
• Formalismos Estruturados de Modelagem para Sistemas Markovianos Complexos
• FORMALIZAÇÃO A ANÁLISE DE PADRÕES DE PROJETO PARA AGENTES MÓVEIS.
• Formalização de Entidades Gerenciadas Utilizando Redes de Petri Orientadas A Objetos
• Formalização de um Modelo de Representação de Conhecimentos Orientado a Objetos
• FORMAS - Formalismos e Aplicações Semânticas
• Frameworks for Implementing Protocols: a Model Based Approach
• Francicleber Martins Ferreira
• Francisco de Assis Carvalho da Silva Neto
• Francisco Gessivaldo Regino Costa
• Francisco Isidro Massetto
• Francisco Miranda Soares da Silva Neto
• Francisco Nilson Rodrigues dos Santos
• Franck Carlos Vélez Benito
• Frederico Jorge Ribeiro Barboza
• Funciones de Censo de Lenguajes Libres del Contexto
• Fundamentos e Aplicações de Lógica Fuzzy e suas Extensões
• Fábio Andreatta Santos
• Fábio Tokio Miki
• Fátima Gisele Gomes Elpidio
• Gabriel Diego de Aguiar Aranha
• Gabriel Efrain Humpire Mamani
• Gabriel Wellesley de Barros Ferreira
• Galileu Santos de Jesus
• GEATC - Grupo de Estudos e Aplicações de Teoria da Computação
• GENERALIZAÇÃO DE GRAMÁTICAS DE DETERMINAÇÃO PARA CONSULTAS A BASES DE DADOS EM LINGUAGEM NATURAL
• Geometria Dinâmica: Uma Ferramenta para Experimentação com Ênfase na Dedução e na Formalização
• Geração automática de casos de teste para sistemas baseados em agentes móveis.
• Geração Automática de Ferramentas de Suporte ao Desenvolvimento de Software Embarcado para ASIPs
• Geração de Jogos Multiníveis e com Múltiplos Usuários por meio de Modelagem em Redes de Petri Coloridas Hierárquicas
• Germana Menezes da Nóbrega
• Gerson Rissetti
• Gilmar Pereira dos Santos
• Giorgio Prímola Ferreira Guimarães Torres
• Giulian Dalton Luz
• Glauber Marcius CARDOSO MENEZES
• GPEC - Grupo de Pesquisa em Engenharia e Computação
• GPITIC - Grupo de Pesquisa Interdisciplinar em Tecnologia da Informação e Comunicação
• Grafos Internos e Multirrelações como ''Spans'' - Propriedades e Composicionalidade
• Grammar Compression by Induced Suffix Sorting
• Grammar Compression by Induced Suffix Sorting
• Gramáticas de Determinação: uma Ferramenta para o Processamento da Língua Portuguesa
• Grau de Indecidibilidade da Universalidade para Subclasses de Autômatos Temporizados
• Graziela Santos de Araújo
• Greenow: Um algoritmo de roteamento para uma arquitetura de Internet do Futuro workspace-driven
• Gretchen Torres de Macedo
• Grupo de Estudos de Semântica Formal do Português
• Grupo de Estudos e Pesquisa em Computação
• Grupo de Inteligência Computacional Aplicada
• Grupo de Inteligência. Artificial, Robótica e Automação - IARA
• Grupo de Pesquisa em Automção e Robótica - GPAIROM
• Grupo de Redes e Gerência
• Grupos maximais em semigrupos de Burnside livres
• Guarascript: Projeto e Implementação de uma Linguagem de Programação "Open Source"orientada a Computação Científica
• GuaráScript
• GUASH
• Guilherme Albuquerque Pinto
• Guilherme Gonçalves Schardong
• Guilherme José da Costa Kami
• GUILHERME MENDONÇA FREIRE
• Guilherme Willian de Oliveira
• Gustavo Augusto Lima de Campos
• Gustavo Bouzon
• Gustavo da Fonseca Limaverde Cabral
• Hammurabi das Chagas Mendes
• Hardware reconfigurável para geração de música harmonizada utilizando autômatos celulares.
• HealthDrones - Algorithms with mathematical solutions for environmental monitoring by UAVs without GPS or GPRS
• Hebert Bratefixe Alquimim
• Heitor Luis Polidoro
• Helca Karen Puget de Oliveira
• Henderson Amparado de Oliveira Silva
• Heraldo Pimenta Borges Filho
• Hierarchies of Events with Dot-Depth One
• Hugo Valentim Barros
• Hugo Vares Vieira
• Hyper-Automaton: Hipertextos e Cursos na Web Usando Autômatos Finitos com Saída
• Hélida Salles Santos
• Hélio Leonam Barroso Silva
• Identificacao de expressoes cristalizadas
• Identificando Regras de Transição de Autômato Celular Probabilista via Algoritmo Genético em Sistemas Epidemiológicos.
• Identificação de Nomes Ativos em Agentes-pi Baseada em Tipos
• Igor Leonardo Eloy Macedo
• Implementação de Sistemas Concorrentes e Distribuídos em Java
• Implementação de uma Análise Semântica da Construção estar + particípio em Português
• Implementação e Testes do protocolo da camada de transferência do sistema de telecomando da estação solo do satélite SACI-1
• Implementação no computador FM-1600 B de um interpretador BASIC
• Imre Simon
• Inferência de Gramáticas Formais Livres de Contexto utilizando Computação Evolucionária com Aplicação em Bioinformática
• Influência da Introdução de Dinâmica no Modelo Comportamental do Mercado de Ações
• Informática e Tecnologia da Informação Aplicadas
• Interfacer: um método para especificação de interfaces para internet do futuro
• Introduction to reversal fuzzy switch graph
• introdução a agentes inteligentes com ênfase nos aspectos de comunicação
• Inversão de automata celulares com vizinhança Neumann.
• Investigação e aplicação de operações categoriais entre atores de animações baseadas em autômatos finitos com saída
• Iran Calixto Abrao
• Itamar Leite de Oliveira
• Itens de teste colaborativo em 6 camadas: Perspectivas para avaliação formativa assistida por computador considerando níveis de compreensão
• Ivan José Varzinczak
• Ivaneide Alves Protásio
• Ivo José da Cunha Serra
• Ivone Penque Matsuno
• Jair de Oliveira Júnior
• Jamilson Bispo dos Santos
• Jan Jose Hurtado Jauregui
• Jardell Fillipe da Silva
• JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java
• JEDPI: UM AMBIENTE PARA EXECUTAR PROGRAMAS DISTRIBUÍDOS JAVA NA INTERNET
• Jeferson Luiz Curzel
• Jefferson Magalhães de Morais
• Jezer Machado de Oliveira
• Joabe Bezerra de Jesus Júnior
• Joao Lourenco Vivan Bernartt
• Joaquim Vinicius Carvalho Assunção
• Jonas Henrique Mendonça
• Jorge Stolfi
• Jose Evandro Motta Vargas
• Josemar Barone Marangoni
• Josias Gomes Lima
• Josué Pereira de Castro
• José Bernardo Neto
• José Carlos Bortot
• José Carlos Martins Oliveira
• JOSÉ JEAN PAUL ZANLUCCHI DE SOUZA TAVARES
• José Luis Vivas Frontana
• José Maria Novaes dos Santos
• José Olino de Campos Lima Júnior
• José Oscar Machado Alexandre
• JOSÉ PACHECO DE ALMEIDA PRADO
• José Rafael Moraes Garcia da Rocha
• José Tomé de Souza Azevedo Filho
• José Vieira Lima Junior
• José Wagner Vasconcelos Alves
• Joyce Martins
• João Henrique Goncalves de Sá
• João José Neto
• João Luiz Luguesi
• João Milani Júnior
• João Paulo Chaves Barbosa
• João Paulo Rodolfo de Siqueira
• Juan Manuel Nogales Viedman
• Judson Santos Santiago
• Juliana Carpes Imperial
• Juliana Pinheiro Campos Pirovani
• Juliano Ratusznei
• Júlio Henrique Araújo Pereira Machado
• K-subconjuntos limitados de um monóide livre
• Kalina Saraiva de Lima
• Karina Girardi Roggia
• Katiuscia de Moraes Andrade
• Kézia de Vasconcelos Oliveira Dantas
• L-Sistemas Discretos e Continuos e Suas Ramificacoes
• LA RECUPERACION AUTOMATICA DE INFORMACAO JURIDICA: METODOLOGIA LOGICO- SINTACTICA PARA LA LENGUA PORTUGUESA
• Laboratório de Desenvolvimento de Sistemas - LADES
• Laboratório de geração de classificadores de seqüências
• Laboratório de Psicologia da Computação
• Lana Beatriz Medeiros de Mesquita
• Language Features Library - Uma biblioteca de Classes para Semântica de Ações Orientada a Objetos
• Laura Elizabeth Florian Cruz
• Laurentino Augusto Dantas
• Laurentino Duodecimo Rosado Fernandes
• Laís do Nascimento Salvador
• Leandro César Prudente
• Leandro Dias da Silva
• Leia Sousa de Sousa
• Leonardo Amorim de Barros
• Leonardo Augusto Taniguti Mantovani
• Leonardo Brenner
• Leonardo Daniel Tavares
• Leonardo Filipe Batista Silva de Carvalho
• Leonardo Freire de Andrade
• Leonardo José Simões de Freitas
• LEONARDO LEHNEMANN AGOSTINHO MARTINS
• Leonardo Monteiro Pessoa
• Leonardo Teixeira Passos
• Leopoldo Motta Teixeira
• Letícia Carvalho Pivetta
• Letícia Gindri
• Lia Carrari Rodrigues Lopes
• Lifetime Increase for Wireless Sensor Networks Using Cellular Learning Automata
• Lilian Kawakami Carvalho
• Liliane Neves de Oliveira Kunstmann
• Lin Tse Min
• Linguagem MOLDES: Projeto e Implementação de um Interpretador
• Linguagem, Cognição e Subjetividade
• Linguagens e Técnicas Adaptativas
• LINGUAGENS FORMAIS PARA GERAÇÃO, RECONHECIMENTO E DIFERENCIAÇÃO DE 6 FAMÍLIAS DE SEQUÊNCIAS ALU
• Linguagens Lineares Fuzzy
• Lino Sanabria
• Lise Rommel Romero Navarrete
• Lisley Mara Guimarães de Souza
• LR Parsing for Tree Adjoining Grammars and its Application to Corpus-based Natural Language Parsing
• Luana Vieira Morellato
• Lucas Antonio Toledo de Godoy
• Lucas Pauli Simões
• Lucas Pereira da Silva
• Lucas Welter Hilgert
• Lucia Lea Gondar de Oliveira
• Luciana Aparecida de Oliveira Betetto
• Luciana da Silveira Espindola
• Luciana Foss
• Luciano Barco
• Luciano Freire
• Ludmilla Reis Pinheiro dos Santos
• Luis Allan Künzle
• Luis Armando Queiroz de Araujo
• Luis Carlos de Sousa Menezes
• Luis Felipe Sivolella
• Luis Guilherme Pereira Lima
• Luis Menasché Schechter
• LUIS OTÁVIO DE COLLA FURQUIM
• Luiz Alberto Crispiniano Garcia
• Luiz Alfredo Soares Garcindo
• Luiz Antonio Palmeira Monteiro
• Luiz Carlos Castro Guedes
• Luiz Fernando Batista Loja
• Luiz Pedro Petroski
• Luiz Thadeu Grizendi
• Luís Eduardo de Souza Amorim
• Luís Henrique Campos Braune
• Luís Henrique Sacchi
• Mapping Live Sequence Charts to Coloured Petri Net for Analysis and Verification of Embedded Systems
• MAQUINAS, AUTOMATOS E LINGUAGENS DE MEMORIA FINITA
• Mara Franklin Bonates
• Marcelo Antonio Perotto
• Marcelo Cezar Pinto
• Marcelo Dick Cainelli
• Marcelo Luiz Silva
• Marcelo Monteiro Custódio
• Marcelo Queiroz Schimidt
• Marcelo Silva Cintra
• Marcelo Soares Loutfi
• Marcia Luciana Aguena Castro
• Marcia Roberta Falcao de Farias
• Marco Antonio Campos Benvenga
• Marco Antonio de Castro Barbosa
• Marco Antonio de Grandi
• Marco Antônio Teixeira
• Marcos Alberto Lopes da Silva
• Marcos Antonio Estremote
• Marcos Aurélio Carrero
• Marcos José Hermes
• Marcos Moisés Crisóstomo de Oliveira
• MARCOS PAULO FERREIRA REBELLO
• Marcos Paulo Monteiro
• Marcos Veloso Peixoto
• Marcus Vinícius Midena Ramos
• Marcus Vinícius Sousa Leite de Carvalho
• Margarete Keiko Iwai
• Maria Alice de Brito Moraes
• Maria Amélia Lopes Silva
• Maria Berenice Ordones de Oliveira
• Maria Clotilde Prado
• Maria do Carmo Garcia Noronha
• Maria José da Costa Machado
• Maria Viviane de Menezes
• MARILTON SANCHOTENE DE AGUIAR
• Marine Ksenia Kovalhuk
• Mario Leston Rey
• Marnes Augusto Hoff
• María Guillermina Cledou
• MATEUS GUILHERME FUINI
• Mauri José Klein
• Mauricio Chagas da Silva
• Mauricio da Silva Pires
• Maurilio Alves Martins da Costa
• Mauro José Carlos e Silva
• Maurício Ayala Rincon
• Maurício Verardo da Costa
• Methodes Numeriques pour la Solution de Systemes Markoviens a Grand Espace d´Etats
• Metodologia de Implementação do Controle Supervisório Modular Local Aderente à Norma IEC 61499
• Metodologia de Implementação do Controle Supervisório Modular Local Aderente à Norma IEC61499
• Michael da Costa Móra
• Michel Coura Dias
• Michele Nasu Tomiyama
• Miguel Raymundo Flores Santibanez
• Mineração de Opinião em Textos em Língua Portuguesa (provisório)
• Mirela Sechi Moretti Annoni Notare
• Mirtha Lina Fernández Venero
• MMTD - Modelos e Métodos em Tomada de Decisão
• Model Checking Circus
• Model Checking Requirements Written in Controlled Natural Language
• Modelagem de Sistemas de Tempo-Real: Uma Abordagem Formal para Modelagem Orientada a Objetos.
• Modelagem de Usuários para Sistemas de auxilio à Escrita Técnica
• Modelagem e Análise Quantitativa de uma Estação de Montagem
• Modelagem e simulação de sistemas terrestres
• Modelagem e verificação de escalonabilidade de sistemas de tempo real
• Modelagem Térmica de um Processo de Laminação de Tubos Usando Redes Neurais Fuzzy-CMAC
• Modelling and Integrating Formal models: From Test Cases and Requirement Models
• Moises Gomes de Carvalho
• Molecular paleontology of retrotransposons in the Arabidopsis thaliana genome
• Movimento Coordenado de Sistemas Veículo-Manipulador Submarinos Utilizando Técnicas de Inteligência Artificial e Sistemas Híbridos
• Márcia Rodrigues Cappelle
• Márcio de Souza Balian
• Márcio Lima Albuquerque
• Márcio Rodrigo de Oliveira
• MÉTODO DE CONVERSÃO DE DIAGRAMAS DE ATIVIDADES UML PARA REDE DE AUTÔMATOS ESTOCÁSTICOS E GERAÇÃO DE CASOS DE TESTE DE SOFTWARE
• Método de Refinamneto Machina
• Método para analisar autoria de textos baseado em regras de associação e redes de palavras
• Método para Automação de Teste de Sistemas Instrumentados de Segurança em Plataforma de Petróleo
• Métodos de Análise para Redes de Petri Temporais
• Métodos de pontos interiores como alternativa para estimar os parâmetros de uma gramática probabilística livre do contexto
• Métodos Eficientes para Reconhecimento de Padrões em Textos
• Métodos Formais e Fundamentos Matemáticos da Ciência da Computação
• Nadia Nedjah
• Nami Kobayashi
• Neide Franca Rocha
• Nelson Batista Leitão Neto
• Nelson de Sousa
• Nilseu Perside Ortiz Padilha Junior
• Notes on Noncounting Languages of Order 2
• Nova caracterização da noção de reversibilidade parcial para autômatos celulares unidimensionais em reticulado cíclico, com foco no espaco elementar
• NOVAS ESTRATÉGIAS DE PLANEJAMENTO NO FIRN: UM FRAMEWORK PARA NAVEGAÇÃO INTELIGENTE DE ROBÔS
• Núcleo de Complexidade e Cognição (Antigo Núcleo de Ecoergonomia)
• Números Reais Computacionalmente Exatos na Linguagem de Programação C Padrão ANSI
• O autômato dos sufixos
• O ethos em Rota 66: estratégias linguístico-discursivas de adesão ao dito do enunciador
• O funcionamento do discurso dos intersexuais: questões de registro, de ethos e de cenografia.
• O letramento literário no Ensino Fundamental II: um estudo sobre o Projeto Jovens Mediadores de Leitura.
• O Problema MODn com Composição de Autômatos Celulares Unidimensionais: Resolução e Simplicações
• O problema MODn com composição de autômatos celulares unidimensionais: Resolução e simplificações
• O uso combinado da tecnica de modelagem baseada em objetos OMT com a linguagem de especificacao formal SDL como metodologia alternativa para o desenvolvimento do ambiente de software AIDA
• Odorico Machado Mendizabal
• OERTrust: UM FRAMEWORK PARA AFERIÇÃO DE CONFIABILIDADE EM RECURSOS EDUCACIONAIS ABERTOS BASEADO EM TESTES DE SOFTWARE
• Olinto Jose Varela Furtado
• On closure properties of $\mathcal{L}$ -valued linear languages
• On Typical Hesitant Fuzzy Automata
• On Typical Hesitant Fuzzy Languages and Automata
• On-line synthesis of parsers for string events
• Orlei José Pombeiro
• Oscar Kiyokazu Uehara
• Osvaldo Severino Junior
• Osvaldo Vargas Jaques
• Otimização e Combinatória
• Pablo Ribeiro Suárez
• Palavras infinitas sem repetições
• Parallel Model Checking for Multiprocessor Architecture
• Patricia Santos Andrade
• Patrick Pedreira Silva
• Patrícia Curvelo Rodrigues Stroele
• Patrícia Silva Peres
• Pattern-Matching Automata for Efficient Evaluation in Equational Programming
• Paulo Alexandre da Silva Costa
• Paulo Augusto de Castro Soares
• Paulo Cezar de Souza
• Paulo Coelho Ventura Pinto
• Paulo Ewerton Gomes Fragoso
• Paulo Fernando Blauth Menezes
• Paulo Henrique Lemelle Fernandes
• PAULO ROBERTO DO CARMO FAUSTINO
• Paulo Roberto Massa Cereda
• Paulo Schreiner
• Paulo Vieira Milreu
• Pedro Augusto Felipe Machado Gazolla
• Pedro Fernandes Ribeiro Neto
• Pedro Frosi Rosa PhD.
• Pedro Luis Angel Restrepo
• Pedro Northon Nobile
• Pedro Paulo Balbi de Oliveira
• Pericles Lopes Machado
• PLANEJAMENTO DA EXPANSÃO DE SISTEMAS DE TRANSMISSÃO ASSISTIDO POR SISTEMAS BASEADOS NO CONHECIMENTO
• Planning on Discrete Event Systems Using Parallelism Maximization
• Power Map Explorer: uma ferramenta para visualização e previsão de vazões
• Preconceito linguístico para humanizar as máquinas
• Processamento de Cadeias, Imagem e Visão Computacional
• Prof Dr. Bento Carlos Dias da Silva
• Prof Dr. Nizam Omar
• Prof Dr. Sérgio Donizetti Zorzo
• Prof. Dr. Paulo Nazareno Maia Sampaio
• Profa Dra. Gina Maira Barbosa de Oliveira
• Programação em lógica difusa: um sistema formal e um interpretador
• Projeto do Subsistema de Comunicação e Distribuição e da Camada de Serviços da Arquitetura OpenReality para suporte à criação de Aplicações de Visualização Distribuída
• Projeto e Implementação de linguagem funcional adaptativa
• Proposta de Táticas para Prova de Teoremas de Gramática de Grafos.
• Proposta de um Ambiente Virtual Institucional Baseado em Agentes de Interface
• Proposta de uma Representação Tensorial para Modelos Markovianos Ocultos
• Propriedades de algumas classes de relações racionais.
• Propriedades de conjuntos-igualdade de codigos
• Propriedades de M-subconjuntos reconhecíveis de um monóide livre
• Propriedades de M-subconjuntos reconhecíveis de um monóide livre
• Propriedades dinâmicas e transição de fase num autômato celular probabilístico usado na modelagem de resposta imunológica por infecção parasítica
• Rafael Alceste Berri
• Rafael Bernardo Teixeira
• Rafael da Silva Albuquerque
• Rafael Ferreira Barcelos
• Rafael Garlet de Oliveira
• Rafael Leal Martins
• Rafael Machado Duarte
• Rafael Merredin Alves Falcão
• Rafael Stubs Parpinelli
• Raisonnement Temporel Basé sur les Réseaux de Petri pour des Systèmes Manipulant des Ressources
• Raoni de Paula Lourenço
• Raphael Melo Thiago
• Raví Vilela Rauber
• Rayner de Melo Pires
• Reconhecimento de Faces Humanas Através de Técnicas de Inteligência Artificial Aplicadas a Formas 3D
• Redes e Sistemas de Informação
• Redução de supervisores utilizando marcação por eventos e métodos de otimização
• Reengenharia de Software Orientada a Componentes Distribuídos
• Reginaldo Aparecido Gotardo
• Reginaldo Inojosa da Silva Filho
• Renan Lima Baima
• Renata Medeiros de Carvalho
• Renato Correia de Barros
• Renato Francisco Pereira
• Renato Preigschadt de Azevedo
• Representando famílias de autômatos celulares por meio de templates.
• Representação de Léxicos Através de Autômatos Finitos
• Representação e análise de gramáticas de grafos
• Revisitando o Teorema de Courcelle
• Ricardo Azambuja Silveira
• Ricardo Barros Duarte D'Oliveira
• Ricardo Ferreira de Oliveira
• Ricardo Ferreira Martins
• Ricardo Ghisi Tobaldini
• Ricardo Giuliani Martini
• Ricardo Henrique Gracini Guiraldelli
• Ricardo Honorato de Araújo
• Ricardo Luis Binsfeld
• Ricardo Santos de Oliveira
• Ricardo Tavares de Oliveira
• Ricardo Wandré Dias Pedro
• Richard Bonichon
• RICHARDSON Bruno da Silva Andrade
• Roberto Borges Kerr Junior
• Roberto Claudino da Silva
• Roberto de Oliveira Leão
• Roberto Luiz de Souza Monteiro
• Roberto Luís Miranda Pereira de Castro
• Roberto Milton Scheffel
• Roberto Panerai Velloso
• Roberto Tenorio Figueiredo
• Roberto Willrich
• Robson Aparecido Calvo
• Robson da Silva Aguiar
• Robson Eduardo De Grande
• Robson Gonzaga Silva
• ROBÓTICA
• Rodrigo Augusto Barbato Ferreira
• Rodrigo Bossini Tavares Moreira
• Rodrigo Marques Almeida da Silva
• Rodrigo Nonamor Pereira Mariano de Souza
• Rodrigo Reis Gomes
• Rodrigo Tacla Saad
• Rodrigo Teixeira Ramos
• Roger Simon Steppan
• Rogers Prates de Pelle
• Rogério de Leon Pereira
• Rogério Melo Kinape
• Rogério Messias da Silva
• Ronaldo de Sousa Moreira
• Ronaldo Lima Rocha Campos
• Ronaldo Luiz Alonso
• Ronan Mendonça Amorim
• Roque Mendes Prado Trindade
• Rosangela Gehrke Seger
• Rosemeire Lima Secco
• Rossana Maria de Castro Andrade
• Rui Carlos Botelho Almeida da Silva
• Ruiter Braga Caldas
• Réseaux d'Automates Stochastiques : Génération de l'espace d'états atteignables et Multiplication vecteur-descripteur pour une sémantique en temps discret
• Rômulo César Silva
• Salvador Ramos Bernardino da Silva
• Samuel Lincoln Magalhaes Barrocas
• Sandra Dutra Piovesan
• Sandra Mara Guse Scós Venske
• Sandrerley Ramos Pires
• Sandro Alex Damasceno Costa
• Satoshi Nagayama
• SCALING PROPERTIES OF THE BOUNDARY OF SIEGEL DISKS:A COMPUTER STUDY
• Schema and Query Evolution
• Sensores em Sistemas a Eventos Discretos
• SERCOMP - Grupo de Pesquisa em Compiladores de Sergipe
• Severino Carlos de Oliveira Filho
• Sidney de Castro
• Sidney Roberto Dias de Carvalho
• Sidney Soares Marcelino
• Silvia Fernanda Martins Brandão
• Simulador de Cenários Bioeconômicos para Suporte à Decisão em Fazendas Produtoras de Gado de Corte
• Sistema de Conversão de Texto Kana-Kanji em Texto com Alfabeto Romano
• Sistema de Recuperação de Imagens Baseada na Teoria Computacional das Percepções e em Linguagens Formais Fuzzy.
• Sistemas de Hardware e Software
• Sistemas de Transições Modais de Kripke para Representação
• Sistemas Híbridos Neuro-Simbólicos, Estudo e Implementação
• Sistemas Inteligentes
• SLAP: UMA LINGUAGEM VISUAL PARA GERAÇÃO SEMIAUTOMÁTICA DE ANIMAÇÕES A PARTIR DE STORYBOARDS
• Sobre a Utilização de Conceitos Subjacentes às Linguagens Formais Orientadas a Objetos na Modelagem de Aspectos do Aparato Cognitivo
• Sobre os Semigrupos de {Burnside} x^n = x^{n+m}
• SOFT ROBOTS - RASTREAMENTO E RECONSTRUÇÃO DE MOVIMENTO UTILIZANDO TÉCNICAS DE VISÃO COMPUTACIONAL
• Solução Numérica de Escoamento Viscoelásticos Tridimensionais com Superfíeis Livres: Fluidos de Segunda Ordem
• Special Properties of Recursively Ennumerable Sets
• Split-MBT : a model-based testing method for software product lines
• Sueli Bandeira Teixeira Mendes
• Sumarização e extração de conceitos de notas explicativas em relatórios financeiros: ênfase nas notas das principais práticas contábeis
• Supervisory Control Theory for Controlling Swarm Robotics Systems
• Suporte a simulação distribuída em SystemC
• Sven Stork
• SÉRGIO CARNEIRO DOS REIS
• Sérgio de Sá Leitão Paiva Junior
• Sérgio Murilo Schütz
• Sérgio Vale Aguiar Campos
• Sônia Aparecida Santana
• Sônia Limoeiro Monteiro
• T-Automaton e Particionamento de Matrizes de Transição
• Tadeu José Facchinetti Leone
• Tarcísio Haroldo Cavalcante Pequeno e Marcelino Pequeno
• Tarcísio Souza Costa
• Tecnologias da Informação e da Comunicação
• TECSOAR - UMA TÉCNICA PARA DESENVOLVIMENTO DE SISTEMAS ESPECIALISTAS NA ORGANIZAÇÃO E ALOCAÇÃO DE RECURSOS AEROPORTUÁRIOS
• TEMPO E CONSCIÊNCIA
• Teoria da Computação, Combinatória e Otimização
• Test Generation from TLA+ Specifications
• Teste de Conformidade em Contexto Guiado por Casos de Teste do Componente
• Theoretical Computer Science
• Thiago Braga Carneiro
• Thiago Carvalho Pedrazzi
• Thiago Coelho Vieira
• Thiago de Medeiros Gualberto
• Thiago Ferreira Chaves
• Thiago Muniz Barbosa
• Thiago Ribeiro de Almeida
• Thiago Ribeiro de Azeredo
• Thiago Rodrigues Barros da Silva Soares
• Tiago Alves de Oliveira
• Tiago Zonta
• Tomas Fernandes
• Tradutores on-line, Inteligência Artificial e a Era de Aquarius: um ponto de vista
• Transdutores adaptativos programáveis e sua aplicação no desenvolvimento de agentes de diálogos
• Transições de fase e processos de nucleação no espaço de regras de autômatos celulares.
• Turing's Analysis of Computation and Artificial Neural Networks
• Técnicas de Modelagem para a Análise de Desempenho de Processos de Negócio
• Técnicas para o Uso do Cálculo de Hoare em PCC
• Ulisses Rodrigues Afonseca
• Um Algoritmo Distribuído para Verificação de Modelos com Fronteiras
• UM ALGORITMO PARA DETERMINACAO DE FUNCOES LINEARES DE PRECEDENCIA.
• Um ambiente de desenvolvimento baseado em tabelas de decisão adaptativas.
• Um ambiente para a análise e simulação de sistemas modelados por redes de Petri
• Um ambiente para desenvolvimento formal de programas em OBJ3
• Um arcabouço para verificação automática de modelos UML
• Um Compilador de Exceções para Otimização de Programas em Lógica Baseados no Paradigma de Geração e Teste
• Um Controlador da Dinâmica da Aritmética de Múltiplas Colunas usando Redes Neurais Artificiais
• Um Editor Orientado a Sintaxe de LOTOS
• Um Enfoque Baseado na Utilização Consistente de Múltiplos Métodos Formais
• Um Estudo de Implementação da Linguagem Pascal no Computador B-6700
• Um estudo exploratório da Indexação Semântica Latente e das Funções Peso
• Um formalismo Adaptativo com Mecanismo de Sincronização para Aplicações Concorrentes.
• Um interpretador RPG para o terminal inteligente
• UM MODELO COMPUTACIONAL PARA A TRANSCRIÇÃO AUTOMÁTICA DE MELODIAS PARA PARTITURA
• Um modelo Formal para a Quinta disciplina.
• Um modelo operacional automático para detecção de padrões lógicos e linguísticos na programação
• Um Modelo Orientado A Objetos Para A Geracao Automatica de Compiladores
• Um Modelo para recuperação de exames DICOM baseado no conteúdo de imagens médicas
• Um método de reconfiguração dinâmica segura e sua aplicação em sistemas aderentes à IEC 61499.
• Um método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais.
• Um Método Eficiente de Redução da Árvore de Alcançabilidade das Redes de Petri Predicado-Transição, sem Perda das Propriedades do Modelo
• Um Método Evolucionário para a Tradução de Linguagem Natural para a SQL
• Um método para a construção de analisadores morfológicos, aplicado à língua portuguesa, baseado em autômatos adaptativos.
• Um Provedor de Serviços Biométricos Para Transações Derivadas do ANSI/NIST ITL 1-2000
• Um sistema a base de regras para simulação de redes de Petri com marcações imprecisas
• Um Sistema de Reutilização de Âmbito Global
• Um sistema de tipos para uma linguagem de representacao estruturada de conhecimento
• Um Sistema Inteligente para o Sequenciamento da Produção com o Apoio de Simulação
• Um suporte para programação distribuída em múltiplas linguagens (SPML)
• UM TRATAMENTO FORMAL PARA O RACIOCÍNIO SOBRE AÇÃO EM INTELIGÊNCIA ARTIFICIAL
• UMA ABORDAGEM CATEGÓRICA À TEORIA DAS MÁQUINAS SEQÜENCIAIS
• Uma abordagem de Automação de Teste de Software para Sistemas de Controle de Atitude e Órbita de Satélites Artificiais
• Uma Abordagem Matricial para Desdobramento de Redes de Petri Utilizando a Ferramenta Matlab
• Uma abordagem para a verificação de cenários de sistemas tempo real, baseada em diagramas dinâmicos UML e em um jogador de redes de Petri
• Uma Abordagem para Modelagem e Verificação de Protocolos Síncronos de Barramentos de Comunicação.
• Uma Abordagem para o Desenvolvimento de Sistemas Distribuidos Baseada em Componentes
• Uma abordagem quântica para o uso de expressões regulares.
• Uma alternativa à distributividade do produto clássico de matrizes sobre o produto tensorial generalizado
• Uma Análise Categógrica do Teorema da Confluência de Sistemas de Reescrita de Termos
• Uma aplicação prática para um modelo computacional de condicionamento por medo utilizando Machine Learning
• Uma Arquitetura Baseada em SCTP e SIP para Suporte a Aplicações VoIP Móveis e a Especificação do seu Módulo de Controle
• Uma bilblioteca de padrões de especificação em Event-B para mecanismos de troca de mensagens
• Uma disciplina de análise e projeto para aplicações concorrentes, baseada no RUP
• Uma Ferramenta de Apoio ao Teste Baseado em Estados para Aplicações Java Utilizando Aspectos.
• Uma Ferramenta de Prototipação de Software para o Ambiente PROSOFT
• Uma ferramenta de verificação semi-automatizada de especificações LOTOS usando técnicas algébricas
• Uma Ferramenta para a Verificação Formal de Propriedades de Especificações LOTOS
• Uma implementação do método das conexões de Bibel para uma lógica paraconsistente anotada
• Uma Máquina de Redução de Grafos Extensível para a Implementação de Fluxos de Trabalho
• Uma nova abordagem para a síntese de supervisores de sistemas a eventos discretos.
• Uma nova formulação algébrica para o autômato finito adaptativo de segunda ordem aplicada a um modelo de inferência indutiva.
• Uma outra história da leitura: considerações sobre o acesso dos cegos à palavra escrita na era das mediações digitais.
• Uma Plataforma para Análise Sintática e sua Aplicação ao Português
• Uma Proposta de Apoio para Decisões de Grupo no Ambiente Prosoft.
• Uma Proposta de Especificação Formal e Fundamentação Teórica para Simulated Annealing.
• Uma Proposta de Especificação Formal para Data Warehousing
• Uma proposta de extensão para um protocolo para arquiteturas de alta disponibilidade
• Uma proposta de formalismo como arcabouço teórico para engenharia dirigida por modelos e aplicações.
• Uma Proposta de um Modelo de Implementação de Serviços de Apoio a Aplicações Industriais segundo o Padrão MMS
• Uma Proposta de um Modelo de Tarefas em um Ambiente de Monitoramento da Usabilidade
• Uma Tradução de Gramáticas de Hipergrafos Baseados em Objetos para Cálculo-pi
• Uma tradução para Gramática de Grafos Fuzzy
• Uma técnica heurística para verificação semi-automatizada de sistemas distribuídos
• Un système d'apprentissage de modules comportementaux
• Une approche formelle pour la conception et la vérification de documents hypermedia
• Une méthode pour l'évolution des schémas XML préservent la validité des documents
• Uso de Gramática de Atributos para Definição da Interface com o Usuário
• Uso de Orientação A Objetos Na Prototipação de Semântica de Ações
• USO DE TESTE BASEADO EM APRENDIZAGEM PARA A VALIDAÇÃO DE PROGRAMAS DE CLP NA INDÚSTRIA DE PETRÓLEO E GÁS NATURAL
• Utilizando Rede de Petri Colorida Hierárquica no Auxílio à Recomposição de Subestações
• Validando AJCSP com o uso de JPF em leis algébricas CSP
• Valmir Tadeu Fernandes
• Valquiria Fenelon Pereira
• Valter Wellington Ramos Junior
• Vanderson Hafemann Fragal
• Vanessa Vianna da Silva Carvalho
• Vania Costa
• VDM-TXT: Um Tradutor de Especificação em VDM para Linguagem Natural
• VERIFICAÇÃO PROBABILÍSTICA DE MODELOS PARA INFERÊNCIA DE IDENTIDADE GENÉTICA
• Verification of Symmetric Models Using Semiautomatic Abstractions
• Verification of Temporal Properties in Embedded Software
• Verificação Automática
• Verificação Automática de Software e Sistemas
• Verificação Baseada em Contexto da Linguagem de Especificação de Regras L-FORUM
• Verificação de implementações em hardware por meio de provas de correção de suas definições recursivas
• Verificação de Modelos em Redes de Petri Orientadas a Objetos
• Verificação de sistemas dependentes do tempo a partir de especificações escritas em RT-LOTOS
• Verificação e sintese de sistemas hibridos
• Verificação Formal Automatizada para Sistemas de Raciocínio Procedural Utilizando Redes de Petri Coloridas
• Verificação Formal da Função de Controle de Acesso ao Meio do Protocolo IEEE 802.11 e Investigação da sua Aplicabilidade em Sistemas de Tempo-Real
• Verificação formal de planos para agentes autônomos e sistemas multiagentes: um estudo de caso aplicado ao futebol de robôs
• Verificação Formal de Protocolos para Sistemas de Tempo Real Tolerantes a Falhas
• Victor Geraldo Gomes
• Vida Artificial em Ambientes Virtuais
• Vilar Fiuza da Camara Neto
• Viorel Milea
• Virgílio Borges de Oliveira
• Vitor de Gamboa Viana
• Viviane de Menezes Ramalho Souza
• Vladymir de Lima Bezerra
• Vítor Alcântara de Almeida
• Vítor Moraes Aranha
• Wagner Toscano
• Waldir Andrade Trevizano
• WALISON JOEL BARBERÁ ALVES
• Warley Rodrigues de Almeida
• Wellington Aparecido Della Mura
• Wendell Figueiredo Taveira
• WiKLaTS - Um Ambiente de interface e interação para manipulação e formalização de conhecimento para tradução entre pares de linguas baseada em regras
• William Pereira dos Santos Junior
• Willian Aurélio Nogueira
• Wilson Bittencourt Vicentini
• Wilton Souza Alencar
• Ximena Mariel Zeballos Vasquez
• Yandre Maldonado e Gomes da Costa
• Yuri Kaszubowski Lopes
• Ângelo Vinícius Almeida Spósito
• Éric Teixeira Araujo