Lógicas e Semântica de Programas

área de pesquisa

Computability, Approximate Reasoning, Ordered structures and Logics
Raciocínio Derrotável Distribuído Baseado Em Argumentação Para Ambientes Abertos E Dinâmicos
"Complexidade Descritiva de Problemas em Grafos"
"Contribuições a Dedução Natural Rotulada: Análise das Regras de Inferências para os Quantificadores"
"Criação de uma Biblioteca Padrão para a Linguagem HasCASL"
"Proofs from a Geometric Perspective"
"Sobre os Critérios de Corretude para os Grafos de Prova"
"The Common Sense for a Mobile Robot "
"Tradução de Diagramas de Estado UML para um Modelo de Verificação Formal"
'ProVisual - Um Modelo para a Programação de Matrizes'.
(Mestrado sem dissertação)
-Dimensional Admissibly Ordered Interval-Valued Overlap Functions and Its Influence in Interval-Valued Fuzzy-Rule-Based Classification Systems
A Comprehensive Environment for Collaborative Web Browsing ? Pragmatic Specification and Development Approach
A connection-based reasoner for ALC ontologies
A constructive framework to define fusion functions with floating domains in arbitrary closed real intervals
A Flexible Framework for Hardware/Software Design Space Exploration using Rewriting Logic
A Fuzzy Semantic for BDI Logic
A Graph Based Theorem Proving Platform with Strategies.
A higher-order logic as the basis for logic programming
A Implantação de um Laboratório Associado de Serviços e Assessoramento Remotos como ferramenta de disseminação e orientação metrológica.
A INTEGRAÇÃO DO TUTORIAL INTERATIVO TRYLOGIC VIA IMS LEARNING TOOLS INTEROPERABILITY: CONSTRUINDO UMA INFRAESTRUTURA PARA O ENSINO DE LÓGICA ATRAVÉS DE ESTRATÉGIAS DE DEMONSTRAÇÃO E REFUTAÇÃO
A linear approach to the proof theory of at least and greatest fixed points
A linguagem de programação Cm
A logical framework for induction over natural numbers and lists
A Logical Framework for Reasoning about Logical Specifications
A logical framework to reason about Reo circuits
A Lógica dos Recursos no Formalismo de Rede de Petri
A Lógica dos Recursos no Formalismo de Redes de Petri
A Lógica sobre Leis iALC: Implementação de Provas de Correção e Completude e Proposta de Formalização da Legislação Brasileira
A Multi-Strategy Theorem Prover
A multidimensional dynamic framework for handling simple interruption phenomena, anaphoric pronouns, and definite descriptions
A Neural-Symbolic System for Temporal Reasoning with Application to Model Verification and Learning
A New Class of Fuzzy Subsethood Measures
A NONMONOTONIC MULTI-AGENT LOGIC OF BELIEF: A MODAL DEFEASIBLE RELEVANT APPROACH
A RASTREABILIDADE DE DOCUMENTOS NA REDE MUNDIAL DE COMPUTADORES - UMA PROPOSTA DE SOLUÇÃO ATRAVÉS DE SOFTWARES ACOPLADORES A MECANISMOS DE BUSCA
A Refinement Based Strategy for Locally Verifying Networks of CSP Processes
A resolution-based E-connected calculus
A ROBÓTICA EDUCACIONAL NO ENSINO FUNDAMENTAL: PERSPECTIVAS E PRÁTICA
A Solution for Goal-oriented Policy Refinement in NFV Management and Orchestration Systems
A Study on Induction of Recursive Logic Programs
A survey of categorical properties of $L$ -fuzzy relations
A Syntactical and Semantical Uniform Treatment for the IDL & LEI Nonmonotonic System
A Syntactical and Semantical Uniform Treatment for the IDL and LEI Nonmonotonic System
A Tableaux for Dolev-Yao Multi-Agent Epistemic Logic
A tableaux method for dolev-yao multi-agent epistemic logic
A-implicações fuzzy valoradas Intervalarmente
Abdução Clássica e Abdução Probabilística: a busca pela explicação de dados reais
Abstract Graph Transformation - Theory and Practice
Abstract Intepretation in Continuation Passing Style
Abstração funcional de programas : uma contribuição ao entendimento do codigo fonte de um programa
Adalberto Cajueiro de Farias
Adalberto Dias Costa
Ademir Avila
Ademir Cristiano Gabardo
Ademir Roberto Freddo
Aderencia do paradigma da programacao orientada a objetos a simulacao de redes neurais artificiais
Admissible orders on fuzzy numbers
Adriana Bastos da Costa
Adriana Cursino Thomé
Adriana Esmeraldo de Oliveira
Adriana Maia Pinto Ishihara
Adriana Mayumi Sediyama Lelis
Adriana Medeiros Martins
Adriane Paulieli Colossetti
Adriano Soares de Barros
Afonso Rabelo Costa Junior
AGENTE-M: Um Matriculador Inteligente
Aggregation functions on n-dimensional ordered vectors equipped with an admissible order and an application in multi-criteria group decision-making
Agnaldo Martins Rodrigues
Agostinho José Barrios Schlindwein
ALAN HENRIQUE FERREIRA SILVA
Alayne Duarte Amorim
Alba Cristina Magalhães Alves de Melo
Albero Pardo Costa
Alberto Rubens Beckler
Alceir da Silva Amorim
Alcides Renato da Silva Pamplona Junior
ALDO MÁRCIO FONSECA LAGE
Alessandra Cini
Alessandra Mendes Pacheco Guerra Vale
Alessandro Zimmer
Alex de Vasconcellos Garcia
Alex Mauricio Mazo
Alex Pinho Magalhães
Alex Sandro Romeo de Souza Poletto
Alexandra Barreto Assad de Barros
Alexandre Araújo Feijó
Alexandre Cavalhero
Alexandre Costa Martins
Alexandre Cruz Berg
Alexandre de Barros Barreto
Alexandre José Braga da Silva
Alexandre Luiz Galvao Damasceno
Alexandre Matos Arruda
Alexandre Miège
Alexandre Rademaker
Alexandre Ribeiro
Alexandre Roberto dos Passos
Alexandre Sztajnberg
Alexandre Teodoro Guimarães
Alfredo Antonio de Araujo Malheiros Filho
Algebraic semantics and calculi for Nelson's logics
Algebraic Semantics for Nelson's Logic S
Algoritmo de Submissão de Métodos de Otimização de Geometria de Proteínas por Etapas Recursivas (ALOGper)
Algoritmos de agrupamento fuzzy intervalares e índices de validação para agrupamentos de dados simbólicos do tipo intervalo
Algoritmos genéticos para solução de problemas de alcançabilidade em uma determinada classe de redes de Petri acíclicas
Alice Mota Faleiro
Aline da Cruz Rodrigues Souza
Alneu de Andrade Lopes
Alvaro Costa Neto
Alvinei Santos Laudelino
Alysson Barros de Morais
Alysson Filgueira Milanez
Alysson Ramirez de Freitas Santos
Amanda Saraiva Bezerra
Amaro Elton Fagundes Silva
Ambientes para Processamento de Conhecimento
An approach for the preservation of Privacy for the Internet of Things based on ontologies
An Embedded Hardware Description Language using Dependent Types
Ana Carolina do Prado
Ana Cristina Vieira de Melo
ANAC - Uma Ferramenta para a Automatização da Análise da Complexidade de Algoritmos
Analysis and Synthesis of Concurrent Digital Circuits Using Control-Flow Expressions
Anamaria Martins Moreira
Anapetri - Um analisador de Redes de Petri
Anderson Almeida Ferreira
Anderson Ceolin Soares
Anderson Conceicao Rodrigues
ANDERSON DE PAULA FORTES
Anderson Santana de Oliveira
Andre Abdala Noel
Andre Luis Monteiro Pacheco dos Santos
Andre Luís Duarte
Andre Murbach Maidl
Andrigo Dametto
André Bruno de Oliveira
André Gustavo Andrade
André Teixeira de Frades
Angelo Gonçalves da Luz
Anibal Santos Jukemura
Animação de Relações de Equivalência entre Modelos Computacionais, suas Gramáticas e Linguagens
Anna Carolina Carvalho Moreira de Oliveira
Answer Set Programming probabilístico
Antonio Generoso de Medeiros Filho
Antonio Marcos Prestes de Oliveira
Antonio Soares de Azevedo Terceiro
Antonio Tadeu Rogerio Franco
Antônio da Mota Moura Júnior
Análise Automática da Complexidade de Programas
Análise da Criptografia Algébrica com Matriz Pseudoortogonal 3x2 e Alfabeto Conhecido
Análise de Mecanismos para Combinar Passos de Beta-Contração em Cálculos de Substituições Explícitas
Análise de Medidas de Similaridade Semântica na Tarefa de Reconhecimento de Implicação Textual
Análise de Ontologias por Meio de um Analisador Baseado em Busca de Modelos
Análise de Programas
Análise didaticamente estruturada das correspondências entre Lógicas de Descrições e Lógicas Modais
Análise dos Requisitos de Software em uma Estrutura de Intervalos de Tempo
Análise gramatical de etiquetas em sites colaborativos: estudo de caso Flickr
Aplicação de Redes de Petri à Especificação formal de sistemas, via Invariantes.
Aplicação de Reescrita Lógica na Especificação de Processadores
Aplicação de Regras de Inferência sobre ontologias da Web Semântica
Aplicações de Lógicas Modais a Teoria de Grafos e Sistemas Concorrentes
Apoio à tradução da política de segurança para regras de firewall utilizando uma linguagem de modelagem visual: SPML2
Aprendizagem de máquina em um ambiente para negociações automatizadas.
Armando Cardoso Ribas
Arquelau Pasta
Arquitetura e modelo de ciclo de vida para aplicações de curta duração
Arredondamento Direcionado em JAVA
Arthur Freitas Ramos
Arthur Ronald de Vallauris Buchsbaum
ASYNCRFJ: UMA ABORDAGEM ASSÍNCRONA À PROGRAMAÇÃO ORIENTADA A OBJETO REATIVA
ATENÇÃO FARMACÊUTICA EMPREGANDO RACÍOCINIO BASEADO EM CASOS.
Aurélio Gomes Ferreira
Automatic Extraction of Program Models for Formal Software Verification
Autômato Não-Seqüencial Identificado como Suporte para Classes em Náutilus
Avaliação de métodos de paralelização automática.
Avaliação do sistema de informação processual por meio do design macro ergonômico
Avaliação Parcial em Máquinas de Estado Abstratas
Backforneb - Uma Ferramenta Para Construcao de Sistemas Especialistas Diagnosticadores
Behavioral Congruences and Veriﬁcation of Graph Transformation Systems with Applications to Model Refactoring
Benedito Melo Acióly
Benedito Tourinho Dantas
Benjamín René Callejas Bedregal
Bernardo Giori Ambrósio
Bernardo Pinto de Alkmim
Bi-aggregated contrapositivisation: A new contrapositivisation technique for fuzzy implications
Big Data and Semantic Lab
Breno Reims Nogueira Souza
Bruno Azevedo Vilela
Bruno Lopes Vieira
Bruno Otavio Piedade Prado
Bruno Pontes Soares Rocha
Bruno Siqueira Campos Mendonça Vilar
Bráulio Coelho Ávila
CACoq
Camila de Araújo
Carlos Alberto Barth
Carlos Alberto Cavalcanti Cordeiro
Carlos Alberto Jacintho
Carlos Alberto Olarte Vega
Carlos Alexandre Ferreira de Lima
Carlos Benedito Barreiros Gutierrez
Carlos de Oliveira Bravo
Carlos Eduardo Barbosa
Carlos Eduardo de Argolo Pinheiro
Carlos Eduardo Rodrigues Alves
Carlos Henrique Cabral Duarte
Carlos Isaias dos Santos Junior
Carlos Jones Rebello Junior
Carlos Ramon Pantaleon Dionisio
Carlos Roberto Lopes
Carlos Santos da Silva
Carmen Cecília Centeno
Cassio David Borralho Pinheiro
CATEGORIAS E SEQUENCIALIDADE
CaTLeT : ferramenta computacional de apoio ao ensino/aprendizado de teoria das categorias
Causalidade e dependência em raciocínio sobre ações
Celso Peixoto Garcia
Centro de Inovação e Pesquisa em Educação e Computação - CIPEC
CENTROS DE COMANDO E CONTROLE DA FAB:
Certified derivative based parsing of regular expressions
Certified virtual machine based parsing of regular expressions
Changing the past: applications of two-dimensional temporal logic to databases
Charles Gomes de Almeida
Choices that make you change your mind: a Dynamic Epistemic Logic approach to the semantics of BDI agent programming languages
Christian Jacques Rentería
Christiane da Costa Santana Soares
Christiano de Oliveira Braga
Christiano do Carmo de Oliveira Maciel
CI-posets, domínios e espaços de funções
Cintia Carvalho Oliveira
Circuitos Transformacionais
Classes de tipos com múltiplos parâmetros e opcionais em Haskell
Classificação Automática de Dados Semi-Estruturados / Automatic Classification of Semi-Structured Data
Classificação pela Concentração Relativa de Compostos Químicos Cmplexos por Redes Neurais Artificiais sobre Espectros Infravermelhos: o Caso da Adulteração de Combustíveis
Claudia Dell'Agnolo Petry
Claudia Marinho Wanderley
Claudio Ricardo Vieira Carvilhe
Claumir Claudino dos Santos
CLAYTON VIEIRA FRAGA FILHO
Cleber Evalci da Silva Barros
Cláudia Nalon
Cláudia Neli de Souza Zambon
Cláudio José da Silva
CN: Dedução Natural para CLT
CN: Dedução Natural para CTL
Coimplicações Fuzzy Valoradas Intervalarmente
Combinando Técnica e Doutrina por meio de Conceitos Ontológicos para Representar Cenários Operacionais Militares em Sistemas de Comunicações Cognitivos
Combining clause learning and resolution for multimodal reasoning
COMPACTAÇÃO DE PROVAS LÓGICAS
Comparação Entre Cálculos de Substituições Explícitas com Eta-Conversão
Comparação entre os principais formalismos não clássicos para o raciocínio aproximativo
Comparing logic programming and formal argumentation; the case of ideal and eager semantics
Compartilhamento e Semântica Denotacional
Compilação de um Cálculo Lambda Estendido para Supercombinadores
Complexidade Descritiva de Classes de Complexidade Probabilísticas de Tempo Polinomial e das Classes parity P e NP interseção coNP Através de Lógicas com Quantificadores Generalizados de Segunda Ordem
Componentes de percepção para o ambiente PROSOFT cooperativo
Composição de serviços em ambientes pervasivos: um modelo de referência.
Composição dinâmica de Serviços Web utilizando ontologias na descrição e planejadores hierárquicos em inteligência artificial
Computational aspects of proofs in modal logic
Computação Paralela e Distribuída: Teoria e Aplicações
Computação Teórica Aplicada em Hardware e Software
Confluencia de Sistemas de Reescritas em Termos Lineare Esquerdos não-Terminantes
Conjuntos fuzzy multidimensionais
ConSeg - Confiabilidade e Segurança de Sistemas
Constructing general overlap and grouping functions via multiplicative generators
Construção da Semântica de Programas Fluxogramáveis
Construção de Ontologias de Domínio a Partir de Mapas Conceituais
Context-Sensitive Analysis of x86 Obfuscated Executables
Contraintes Dynamiques et Schémas Transactionnels
Contribuições aos Fundamentos de Programação em Lógica
Contribuições para um sistema de gerenciamento de workflow transacional para a www
Controle das Decisões Jurídicas pela Técnica do Auto-Precedente: Lógica Deôntica Paraconsistente Aplicada em Sistemas Especialistas Legais
Conversão de Provas em Lógica de Descrições 𝒜ℒ𝒞Geradas pelo Método de Conexões para Sequentes
CoreACQ: Um Framework Computacional para Validar Questões de Competência por Raciocínio Automático sobre a Ontologia SUMO
Correctness of Programs Manipulating Data Structures
Correctness Proofs of Compilers and Debuggers: an Approach Based on Relational Semantics
Cremildo Martins Freitas
Criação de uma Interface Comum para Manipulação de MIDI Usando a Linguagem Funcional Clean.
CRIOULO - TECNOLOGIAS, TERRITORIALIDADE E EDUCAÇÃO
Cristiane Costa de Queiroz
Cristiane Regina Yamaguti Mashuda
Cristiane Yanase Hirabara de Castro
Cristiano Braz Rocha
Cristiano Damiani Vasconcellos
Cristiano Pires Martins
Cristiano Roque Roland Portella
Cristina Fogaça Soares
Cálculo de Sequentes e Dedução Natural: Relacionamentos e Consequências
Cálculos de Substituições Explícitas que Preservam a Propriedade de Redução de Sujeito
Cálculos de Substituições Explícitas à la de Bruijn com Sistemas de Tipos com Interseção
Cássio Rodrigo Conti
d-Choquet integrals: Choquet integrals based on dissimilarities
Dale Miller
Daltro José Nunes
Dalva de Oliveira
Dalva Gonzalez Santiago Gusson
Daniel Bruno Fernandes Conrado
Daniel de Sousa Luz
Daniel Edgardo Fridlender
Daniel Guimarães Santos
Daniel Hiroshi Iizuka
Daniel Kazuyuki Fugii Matsumoto
Daniel Lima Ventura
Daniele Carvalho Oliveira
Daniele de Alcantara Barbosa
Daniele Nantes Sobrinho
Daniella Albuquerque dos Angelos
Daniella Rodrigues Bezerra
Danielle Caled Vieira
Danielle Simone da Silva Casillo
Danilo Douradinho Fernandes
Danilo Murta Coimbra
Darci Luiz Tomasi Junior
Davi Romero de Vasconcelos
David Boris Paul Déharbe
David Calhau Jorge
David Cavassana Costa
David Soares do Monte
Davidson Rodrigo Boccardo
De la connaissance à la paraconsistance: un modèle d'application pour la résolution des conflits aériens
Dealing with Lack of Awareness in Multiagent Systems
Debugging and Repair of Description Logic Ontologies
Dedução Natural e Normalização Fraca para a Lógica Linear Completa
Definição Inicial de um Sistema de Provas Rotulado para Lógicas do Conhecimento
Demonstração Formal da Correção de Compilador Simples
Denis Andrei de Araujo
Denise Gomes Silva Morais Cavalcante
Denys Alves da Silva
Descoberta de conhecimento e apoio a decisão a partir de análises de sinais e imagens médicas
Desenvolvimento de Programas por Composição de Passos de Implementação usando Lógica Clássica e Default
Desenvolvimento de Sistemas Críticos e Complexos
Desenvolvimento de Sistemas de Armazenaemnto para Redes de Sensores Sem Fio Baseado em Máquina de Estados
Desenvolvimento de Software Robusto
Desenvolvimento de softwares educativos para alunos das escolas de educação infantil e de ensino fundamental (ênfase em interfaces GUI).
Design and implementation of a theorem prover for operational semantics
Detection of Myocardial Infarction in Electrocardiograms using Machine Learning
DETECÇÃO DE CONFLITOS EM CONTRATOS MULTILATERAIS
Detecção de Padrões de Código Java para o Ambiente Eclipse
Detecção de Paralelismo a partir da Semântica Denotacional e de Grafos de Dependências
Deteção de Deadlock em Especificações Algébricas para Sistemas Concorrentes
Developing a Method for Discovering Expertise in Cyber Security Communities: an ontological approach
Diego Munk London
Diego Nascimento Esteves da Silva
Diferença Fuzzy Intuicionista : robustez, dualidade e conjugação
Diovanni Moraes de Araújo
Disunificação Nominal via Pontos Fixos
Diógenes Cogo Furlan
Documentação Semântica no Apoio à Integração de Dados e Rastreabilidade::
Douglas Nogueira Oliveira
Douglas Vieira Santos
DSCEP: An Infrastrucure for Decentralised Semantic Complex Event Processing
Débora Lina Nascimento Ciriaco Pereira
Débora Pereira Coura
Définition de la Sémantique Dynamique d'un Language a Objet (Eiffel)
EDEILSON MILHOMEM DA SILVA
Edgard Massahiro Munetiko
Edgardo Paúl Ponce Escobedo
Edimilson Ricardo Azevedo Novais
Edson Alexandre Domingues Moreno
Edson Funke
Edson Martins Lecheta
Eduardo dos Santos
Eduardo Ferreira Galego
Eduardo Jaime Quirós Batres
Eduardo Kazuaki Gondo
Eduardo Mendes Oliveira
Eduardo Menezes de Morais
Eduardo Rocha Monteiro
Eduardo Soares Albuquerque
Edward Hermann Haeusler
Edy Carlos Hidemi Hayashida
Efficient and Mechanised Analysis of Infinite CSP-Z Processes: strategy and tool support
Efficient Static Analysis to Find Tainted Variable Attacks
Egeu Eduardo Berni Soares
ELABORAÇÃO E AVALIAÇÃO DE UMA FERRAMENTADE MINERAÇÃO DE ASSOCIAÇÕES DE MODIFICAÇÕESINTEGRADA A UM AMBIENTE DE DESENVOLVIMENTODE SOFTWARE
Elaine Barbosa de Figueiredo
Elaine Gouvêa Pimentel
Elaine Matheus Messias de Andrade
Eldane Vieira Júnior
Eleandro Alexandre Kochhann
Eliane Maria Duarte de Barros
Elias Antônio Morgan
Eliomar Russi
Elizabeth Brito Llamosas Gomes
Elvis Canteri de Andrade
Em direção a um cálculo de sequentes para a lógica de descrição ALCH
Em direção a uma representação para equações algébricas: uma lógica equacional local
Emanuel Maués da Costa Tavares
Emanuel Mineda Carneiro
Emerson de Oliveira Batista
Emerson Eustaquio Costa
Emilio Evaristo de Sousa
Emmanuel Felix Lopes da Silva
Ensino à distância no Brasil: estado atual e perspectivas futuras.
Equivalência e consistência entre funções intervalares
Erick Rocha Sousa
Erico Verissimo Xavier de Abreu
Erlei Roldan Melgarejo
Ernani Gaspar Santos
Eronita Ana Cantarelli Noal
Especificação de Problemas Solúveis por Decomposição via Análise da Intencionalidade
Especificação de Sistemas de Software utilizando Lógica Temporal
Especificação de um Sistema de Tipos para a Linguagem TVQL
Especificação Formal de Jogos de Inteligência Artificial
Especificação Formal de links e nós em um sistema de hipertexto para desenvolvimento de software
Especificação Formal de Tipos Abstratos de Dados via Sequência de Sistemas de Reescrita
Especificação Formal do SNMPv3 usando Semântica de Ações
Especificação Semântica de LaND: uma linguagem para o Método das Diferenças Finitas.
Especulação em Compilação JIT
Esquema de Alocação de Recursos Baseado em Antenas Inteligentes para Ambientes Moveis Celulares de 3G
Esquemas Abstratos para Dedução Natural, Cálculo dos Sequentes e Lambda Cálculo Tipificado
Estruturando e concretizando especificações para implementações
Estruturação e evolução conceituais de um agente assistente pessoal em domínios técnicos.
Estudo da Categoria Computável dos Espaços Coerentes Gerados por Conjuntos Básicos com Aplicação em Análise Real
Estudo experimental da aplicação do algoritmo IVL na etapa de detecção de isomorfismos do GROOVE
Estudo sobre a Influência da Taxa de Amostragem na Classificação de Eletrocardiogramas Realizada pela Rede de Kohonen
Estudo sobre Equivalência entre Especificações Algébricas
ESTUDO, ANÁLISE E VALIDAÇÃO DE ZEROS DE POLINÔMIOS
Etude du Modèle de Programmation Paralèle Eiffel//: Sémantique Formelle, Preuves et Visualisation
Eugênio Júlio Messala Cândido Carvalho
Eunice Santos da Silva Ramos
Evaluation Ascendante de Programmes Logiques avec Constraintes
Evandro Bülow Fiegenbaum
Event structure of American Sign Language
Evolução do Conhecimento
Expansibilidade em Cálculos de Substituições Explícitas.
Explicit computational paths in type theory
Exploiting non-canonicity in the sequent calculus
Explorando ferramentas de Web semântica na construção de um sistema de autoaprendizagem de Física.
Exploring fuzzy set consensus analysis in IoT resource ranking
EXTENDING PROPOSITIONAL DYNAMIC LOGIC FOR PETRI NETS
Extensões não Lógicas do Cálculo Relacional
Extraindo Conteúdo Computacional de Provas Intuicionistas
Fabiana Santiago Sgobbi
Fabiano Carvalho Gomes
Fabiano Maximiano Guedes
Fabio Britto de Carvalho Almeida
Fabio Lopes Licht
Fabio Lucio Prado
Fabricio Carneiro Costa
Fabricio Chalub Barbosa do Rosário
Fabricio Schlag
Fabricio Vargas Matos
Fabrízzio Cabral de Lacerda
Facol - Ferramenta de Autoria Colaborativa para Comunidades de Aprendizagem
Fagner Leal Pantoja
Fayol: Um Sistema Multi-Agente de Gerência e Controle de Acesso à Plataforma Milos
Felipe Azevedo Sant'Anna
Felipe Ferreira de Morais Netto
Felipe Pinto da Silva
Felipe Schimith Batista
Felipe Silva Loredo
Felipe Valadão Goulart
Felipe Vieira Silva
Felippe Marcel Zancarli
Fernanda Isabel Marques Argoud
Fernando Alves de Lima Moreto
Fernando Antonio Dantas Gomes Pinto
Fernando Antônio de Cerqueira
Fernando de Lucca Siqueira
Fernando Marcos Nogueira Miranda
Fernando Náufel do Amaral
Fernando Passold
Fernando Vernal Salina
Filipe da Silva Regueira
Filipe de Aguiar Geissler
Filipe Deó Guimarães
Fillipe Manoel Xavier Resina
Flavio Marcello Strelow
Flavio Monastirscy
Floriano Augusto Rodrigues da Silva
Flávia dos Santos Zenaro
Formal Methods and Languages Research Laboratory
Formal methods, Artificial Intelligence, and Logic in Computer Science (FRAME)
Formal Reuse of Hardware Design
Formalismos dos Paradigmas de Programação Funcional e Lógica
Formalização da Automação da Terminação Através de Grafos com Matrizes de Medida
Formalização da comunicação de conhecimentos probabilísticos em sistemas multiagentes : uma abordagem baseada em lógica probabilística
Formalização da Confluência para Sistemas de Reescrita Ortogonais.
Formalização da lógica linear em Coq
Formalização da terminação de especificações funcionais
Formalização de conectores Reo híbridos com aplicações a Consenso Bizantino
Formalização de um Modelo de Representação de Conhecimentos Orientado a Objetos
Formalização de um Processo de Tradução de Consultas em Ambientes de Integração de Fontes XML
Formalização do Processo de Tradução de Consultas em Ambientes de Integração de Dados XML
FORMAS - Formalismos e Aplicações Semânticas
Framework para gerenciar dados de interação de usuário em ambientes hipermídia de aprendizagem
Francicleber Martins Ferreira
Francisco de Assis Cartaxo Pinheiro
Francisco do Nascimento Júnior
Francisco Jose Muller
Franklin de Souza Ramalho
Frantchesco Cecchin
Frederico Jorge Ribeiro Barboza
Frederico Papatella Guerino
From states to objects and events through stratification: A formal account and an application to data analytics
FUNDAMENTAÇÃO COMPUTACIONAL DA MATEMÁTICA INTERVALAR
Fundamentos de Linguagens para Bancos de Dados (provisório)
Fundamentos e Aplicações de Lógica Fuzzy e suas Extensões
Fundamentos Lógicos para Modelos de Usuários em Ambientes Cooperativos
Funções Sobrecarregadas como Objetos de Primeira Classe
Fusion of General Modal Logics Labelled with Truth Values
Fábio D'Agostini
Fábio Teixeira Franciscato
Gabriel André Duquesnois Dubois Brito
Gabriel de Oliveira Campos Pacheco
Gabriela Ferreira Drumond
Galvez Gonçalves
GEATC - Grupo de Estudos e Aplicações de Teoria da Computação
Geise Divino da Silva
Geiza Maria Hamazaki da Silva
Gel Analis
General Interval-valued Overlap Functions and Interval-valued Overlap Indices
General Pseudo Quasi-Overlap Functions on Lattices
Generalizações da Integral de Choquet como Método de Combinação em Comitês de Classificadores
Generating Hypertext Summaries of Quantitative Data in Multidimensional Databases
Generation of admissible orders on n-dimensional fuzzy set $L_{n} ([0, 1<$
Generation of Test Patterns for Electronic Circuits
Genesis Stefan Muniz de Almeida
Genildo Nascimento dos Santos
Geração Automática de Programas
Geração de expressões algébricas para processos de negócio usando reduções em digrafos acíclicos
Geração de Seqüências de Teste de Software com Auxílio de Ontologias.
Gerson Risso
Gilberto Corrêa de Souza
Gilberto Ferreira da Silva
GILM - Grupo de Pesquisa em Informática, Lógica e Matemática
Giovan Araújo de Marco
Giselle Cristina Cardoso
Giuliano Santos Pinheiro
GIULLIANO PAES CARNIELLI
Givaldo Almeida dos Santos
Glauber Modolo Cabral
Gley Fabiano Cardoso Xavier
GNI - Gestão, Negócios, Inovação. Internacionalização e Tecnologia
GOAL - Grupo de Otimização e Algoritmos
GPDES - Grupo de Pesquisa e Desenvolvimento em Engenharia de Software
Graded epistemic logic with public announcement
Grafos Fuzzy Intervalares n-Dimensional
Grafos Fuzzy n-Dimesionais Intervalares
Gramáticas de grafos baseada em objetos com tempo
Graçaliz Pereira DImuro
Grupo de Estudos Aplicados à Tecnologia da Informação e Comunicação (GEATIC)
Grupo de Estudos e Pesquisas em Educação Popular
Grupo de Estudos em Linguística Computacional, Corpus e Humanidades Digitais (ComCorHd)
Grupo de Lógica Teórica e Aplicada
Grupo de Pesquisas Replicon
Grupo de Redes de Computadores e Sistemas
GRUPO DE TECNOLOGIA DE INFORMACAO APLICADA
Guilherme Grochau Azzi
Guilherme Salum Rangel
Guiliano Rangel Alves
Gustavo Costa Vieira de Araujo
Gustavo Jordan Castro Brasil
Gustavo Ludovico Guidoni
Gustavo Salvadori Baptista do Carmo
Gênesis Medeiros do Carmo
Hamilton Pinheiro dos Santos Filho
Handling Crimes of Omission by reconciling a criminal core ontology with UFO
Haniel Moreira Barbosa
Harley de Faria Rios
Heitor Andre Kirsten
Heitor Luis Polidoro
Helca Karen Puget de Oliveira
Helder Frederico da Silva Lopes
Helmuth Grossmann Junior
Henrique Teske Barbieri
Henrique Valle de Lima
Heraldo Pimenta Borges Filho
Herbrand Sequent Extraction
Herbrand Sequent Extraction
Heuber Gustavo Frazão de Lima
High-cardinality categorical attributes impact on credit card fraud detection
Higher-order graph rewriting systems
Higman lemma in type theory
Homogeneidade e pseudo-homogeneidade intervalar de t-normas intervalares e de t-normas intuicionistas de Atanassov intervalarmente valoradas
HUDSON SÉRGIO DE SOUZA
Hugo Neiva de Melo
Hugo Vares Vieira
Humanidades Digitais
Humberto Fioravante Ferro
Hyper-Automaton: Hipertextos e Cursos na Web Usando Autômatos com Saída
Hélida Salles Santos
Identificação de Nomes ativos em Agentes Pi Baseda em Tipos
Identificação de Nomes Ativos em Agentes-pi Baseada em Tipos
Identificação de Reuso em Documentos Digitais
Igor Vinicius Mussoi de Lima
IMAGON3D
Implementação de Conversão de Provas ALC para Linguagem Natural
Implementação de um sistema de interpretação de sequências de imagens baseado em uma semântica de caminhos.
Implementações de Algoritmos Paralelos da Subsequência Máxima e da SubMatriz Máxima em GPUs
Implementações de Tableaux para Raciocínio Aproximado
Implementing theorem provers in a higher-order logic programming language
Independência parcial no problema da satisfazibilidade probabilística
Inducing Theorem provers from Proofs
Inductive Generalization of Proof Search Strategies from
Inferência de Tipos com Suporte para Sobrecarga Baseado no Sistema CT
Inflationary BL-algebras obtained from 2-dimensional general overlap functions
Informática e Tecnologia da Informação Aplicadas
INTEGRANDO REALIDADE VIRTUAL EM SISTEMAS TUTORES INTELIGENTES NO DOMÍNIO DA
Integração de Verificadores Formais para Agentes Moveis
Integração semântica das bases de dados do Sistema Único de Saúde: um estudo de caso com o Município de São Paulo
Inteligência Artificial
Inteligência Artificial Aplicada
Inteligência Artificial aplicada a Tecnologia Educacional
Inteligência artificial e programação em lógica, e suas aplicações nos sistemas de supervisão e controle de sistemas de potência
Inteligência Computacional (CIRG@UPE)
Intellec: Shell para Desenvolvimento de Sistemas Especialistas
INTERACTUA: ANÁLISE DE AÇÕES DE MEDIAÇÃO PEDAGÓGICA EM AMBIENTES VIRTUAIS DE APRENDIZAGEM BASEADA EM REGISTROS PADRONIZADOS
Interface Humano-Máquina Sensível a Contexto em Unidades de Tratamento Intensivo Baseada em Princípios de Semiótica Computacional
Interfacer: um método para especificação de interfaces para internet do futuro
Interoperabilidade de documentos digitais usando ontologias
Interoperabilidade Lógica via Mapementos entre Instituições
Interoperabilidade organizacional : uma abordagem com ontologia de processos intensivos em conhecimento e sistemas multiagentes
Interpreting Reo Circuits as PDL models
Interval-valued Atanassov intuitionistic t-norms and t-conorms endowed with the usual or admissible orders
Intuicionismo no Contexto da Computação Científica
Irenice de Fátima Carboni
Isabel Cristina Régio de Oliveira Marinho
Isabel Leite Cafezeiro
Isidro Lopes da Silva Neto
Ivan Jeukens
Ivan José Varzinczak
Ivaneide Alves Protásio
Ivanosca Andrade da Silva
Ivens Roberto Fonseca Leão
Ivonei da Silva Marques
Jacqueline Felix da Silva
Jacques Pierre Louis Robin
Jair de Oliveira Júnior
Jaqueline Dorneles de Souza
Jardell Fillipe da Silva
Jefferson de Barros Santos
Jefferson Oliveira Andrade
Jefferson Zanutto
Jelson Andre Cordeiro
Jezer Machado de Oliveira
Joao Luiz Rebelo Moreira
Joao Rafael Moraes Nicola
JOEL ALVES DE LIMA JÚNIOR
Joel de Lima Pereira Castro Júnior
Joelson de Alencar Degaspari
Jogos Ocultos de Markov
Jonathan Henrique Efigênio de Oliveira
JONATHAN SIMON PRATES
Jone dos Santos Sodré Correia
Joni Hoppen dos Santos
Jordano Ribeiro Celestrini
Jorge Lopes de Souza Leão
Jorge Petrúcio Viana
Jose Amilton Moura Acioli Filho
Jose Carlos dos Santos
Jose Evandro Motta Vargas
Jose Jesse Goncalves
Jose Luiz Carlos Demario
Josiane Aparecida Cardoso
José Augusto Navarro Garcia Manzano
José Barbosa Dias Júnior
José Carlos Loureiro Ralha
José Cé Júnior
José Demisio Simões da Silva
José Gomes de Carvalho Júnior
José Henrique Pignatti dos Santos
José Lopes de Siqueira Neto
José Luis Vivas Frontana
José Luiz de Freitas Júnior
José Manuel Cárdenas Medina
José Maria Parente de Oliveira
José Matias Lemes Filho
José Rafael Moraes Garcia da Rocha
José Ricardo da Silva Ferreira
José Roberto Campos
José Roberto Gorski
José Thiago Pereira da Silva
José Tomé de Souza Azevedo Filho
José Ulisses Ferreira Junior
José Vieira Lima Junior
Jovanini Ulhoa Timo
João Bosco de Oliveira Alencar Júnior
JOÃO BOSCO FERREIRA FILHO
João Luís Cardoso de Moraes
João Neumann Neto
João Paulo Carneiro Aramuni
João Paulo Carvalho Colu de Queiroz
João Paulo Müller da Silva
Juan Carlos Zuñiga Torres
Juarez Assumpção Muylaert Filho
Jucélio Costa de Araújo
Juliana Carpes Imperial
Juliana Kaizer Vizzotto
Juliana Lilis da Silva
Juliana Pinheiro Campos Pirovani
Juliano Antonio Broli
Juliano Efson Norberto Sales
Juliano Gomes Weber
Juliano Ratusznei
Juliano Ribeiro de Oliveira
Julio Augusto de Oliveira
Julio Cesar Rodrigues de Menezes
Jung Hyun Choi
Jurema Rocha Barretto
Jôner Martins Veiga Duarte Júnior
Júlio Henrique Araújo Pereira Machado
K2 - Uma Arquitetura para a Adaptação de Agentes de Software ao Contexto
Karina Girardi Roggia
Katiane Ribeiro Lopes
Katilene Nunes da Conceição
KATYEUDO KARLOS DE SOUSA OLIVEIRA
Keila Bonin Reis de Camargo
Kelly Maria Rangel
Kim Lima Silva
Kleber Jacques Ferreira de Souza
L-valued quasi-overlap functions, L-valued overlap index, and Alexandroff?s topology
La Généralisation: un Outil pour la Réutilisation
Labelled Proof Theory for Conditional Logic
Laboratório de Computação Aplicada à Medicina
Laboratório de Inteligência Artificial e Métodos Formais
Laboratório de Sistemas Distribuídos (LaSiD)
Laira Vieira Toscani
Language-driven software engineering
Larissa Rodrigues Damiani
Lattice-valued Overlap and Quasi-Overlap Functions
Lawrence Zordam Klein
Leandro Colevati dos Santos
Leandro Manassi Panitz
Leandro Terra Cunha Melo
Leandro Zerbinatti
Learning Recursive Definitions in Prolog
Leda Mara Cadore
Leila Jane Brum Lage Sena Guimarães
Leila Ribeiro
Leonardo de Lima Oliveira
Leonardo José Simões de Freitas
Leonardo Kenworthy Brandão Silva
Leonardo Lazarte
Leonardo Mendes de Souza
Leonardo Monteiro Pessoa
Leonardo Soares Motta
Leopoldo Motta Teixeira
LES - Laboratório de Engenharia de Software
Letícia Carvalho Pivetta
Levi Jordão Memória Paiva Ribeiro
Liana Dessandre Duenha Garanhani
Lidiane Visintin
Lilia Ramalho Martins
Lilian Ribeiro Mendes de Paiva
Lin Tse Min
Lindemberg Naffah Ferreira
Linear Logic and the specification of sequent systems
Linear logic as a framework for specifying sequent systems
Linear logic as a logical framework
Linguagens de Programação, Verificação e Engenharia de Sistemas
LLaRC - Laboratório de Lógica e Representação do Conhecimento
Logic Programming in Intuitionistic Linear Logic: Theory, Design, and Implementation
Logiques non Standard dans la Réprésentation Qualitative de Systèmes Phisiques
Logprob: Lógica e Probabilidade
Lop - Uma Abordagem Unificada de Especificação Algébrica, Orientação A Objetos e Processos
Luca Paolini
Lucas Costa Pereira Cavalcante
Lucas de Oliveira Arantes
Lucas Emanuel Silva e Oliveira
Lucas Gonçalves de Moura Leite
Lucas Roberto Bechert Schmitz
Luciana Conceição Dias Campos
Luciana do Espírito Santo Rezende Vieira
Luciana Foss
Luciano Emilio Hack
Luciano Zamperetti Wolski
Lucimara de Sousa Teixeira
Lucio Luzetti Criado
Lucília Camarão de Figueiredo
Luis Felipe Saldanha de Menezes
Luis Fernando Nunes Mello
Luis Henrique Bustamante de Morais
Luis Menasché Schechter
Luis Soares Barbosa
Luiz Alberto da Silva Filho
Luiz Antonio Palmeira Monteiro
Luiz Augusto de Aragão Topázio
Luiz Carlos Castro Guedes
Luiz Carlos de Abreu Albuquerque
Luiz Cláudio Frederico Fernandez
Luiz Fernando Cardeal de Souza
Luiz Fernando Castro da Cruz
Luiz Fernando Martins Pignata
Luiz Filipe da Silva Souza Pinto
Luiz Gustavo Diniz de Oliveira Veras
Luiz Henrique Castelo Branco
Luiz Henrique Franco Giovanini
Luiz Olavo Bonino da Silva Santos
Luk Cho Man
Luís da Cunha Lamb
Lydia Mary Silva Muñoz
Lígia Maria Soares Passos
Lógica BDI fuzzy
Lógica Computacional e Matemática
Lógica de Conhecimento e Eventos em Sistemas Assíncronos
Lógica e Fundamentos da Matemática
Lógica e Inteligência Artificial (LogIA)
Lógica Modal da Bifurcação
Lógica, Linguagem e Conhecimento - LLC
Lógicas da Inconsistência e da Incompletude: Semântica e Axiomática
Lógicas de raciocinio aproximado e o problema sat.
Maikol Magalhães Rodrigues
MAINLab - Main Artificial Intelligence Laboratory
Majid Ali
Mantendo código-fonte em XML - rumo ao hiperfonte.
Manuella Dias Carvalho Silva Cruz
Marcel Leite Rios
Marcela Quispe Cruz
Marcelino Pequeno
Marcella Teixeira Rodrigues
Marcelo Alves Ribeiro
Marcelo Antonio Thomaz de Aragão
Marcelo Araújo
Marcelo Caetano Martins Muniz
Marcelo da Silva Corrêa
Marcelo de Freitas Rigon
Marcelo de Mello Camanho
Marcelo de Oliveira Albuquerque
Marcelo Finger
Marcelo Frate
Marcelo Henrique Bottas Sant'Anna
Marcelo Henrique de Ávila
Marcelo Jaccoud Amaral
Marcelo Luiz Silva
Marcelo Queiroz Schimidt
Marcelo Rodrigues de Sousa
Marcio Fuckner
Marco Antonio de Castro Barbosa
Marco Antonio Mansur Biagi
Marco Antônio Xaves Valentim
Marco Rodrigo Costa
Marcos Antonio Schreiner
Marcos Borges Cabral
Marcos Cezar Kujiv Müller
MARCOS FERREIRA TAVARES
MARCOS PAULO FERREIRA REBELLO
Marcos Paulo Monteiro
Marcos Veloso Peixoto
Marcos Vinicius Vieira Souza
Marcus Salerno de Aquino
Marcus Vinicius Gomes Lopes
Marcus Vinicius Tolentino dos Santos
Margarete Oliveira dos Santos de Sá
Maria Adélia Icó Machado dos Santos
Maria Amélia Lopes Silva
Maria Clotilde Prado
Maria Cristina Aranda Batocchio
Maria do Rosário Moreira Rates
Maria José Lima dos Santos
Maria Luciana Ferreira da Costa
Mariano Sergio Pacheco de Angelo
Mariela Mizota Tamada
Mario Massato Harada
Mario Roberto Folhadela Benevides
Marisol Solis Yucra
Marlise Vidal Montello
MARLO VIEIRA DOS SANTOS E SOUZA
Martin Alejandro Musicante
Martín Escardó
Matheus Qualio Barbosa
Matheus Segalotto
Mauri José Klein
Mauricio de Moraes
Maurício Ayala Rincon
Maverson Eduardo Schulze Rosa
Max Rosan dos Santos Junior
Measuring inconsistency in probabilistic knowledge bases
Mecanismos de Interação para um Modelo de Redes de Petri Orientada a Objetos
Memory Consistency and Program Verification
Metodologia Fuzzy para a Construção de Sistemas Especialistas com Bases de Conhecimento Inconsistentes
Michael da Costa Móra
Michel Oleynik
Michele Francisca Dias da Silva
Michell Angelo Santos Lima
Milton Nunes Pedroso
Milton Pires Ramos
Mineração de Sequências Generalizadas Utilizando Algoritmos Genéticos
Mirtha Lina Fernández Venero
MNLAC: Uma Proposta de Modelagem de Fluxo de Navegação baseada em Lógica Modal
Modalities in ecumenical systems
MODEL CHECKING DOLEV-YAO MULTI-AGENT EPISTEMIC LOGIC
Modelagem de Banco de Dados Georreferenciado para subsidiar a Gestão do Transporte Coletivo Urbano
Modelagem de Conhecimento em Logica de primeira ordem
Modelagem de Usuários para Sistemas de auxilio à Escrita Técnica
MODELAGEM DO FLUXO DE ESTADOS DE APLICAÇÕES ORIENTADAS A RECURSOS USANDO BPMN
Modelagem e Simulação de Algoritmos Paralelos Baseados em Operações com DNA.
Modelagem e verificação de escalonabilidade de sistemas de tempo real
MODELAGEM E VERIFICAÇÃO DE PROPRIEDADES EPISTÊMICAS EM SISTEMAS MULTI-AGENTES
Modelagem, Síntese e Projeto de Microeletrônica e Sistemas Embarcados
Modelando uma Arquitetura PRAM-CRCW com Espaços de Chu
Modelo de Anotação de Documentos para a Codificação do Conteúdo Semântico no Processo de Autoria
Modelo Gráfico para SMIL 2.0
MODELO LÓGICO MATEMÁTICO COM APONTAMENTOS À TEORIA DOS JOGOS E TEORIA ECONÔMICA DO CRIME PARA COMBATE A FAKE NEWS
Modelos Minimais e Hierarquia de Expressividade
Modelos para Previsão de Movimentos de Massa utilizando controle Topográfico
Modularidade e Relação de Conseqüência
Modularity and Belief Change of Description Logic Bases
Modèles de Filtres
Mozar Baptista da Silva
Multidimensional fuzzy implications
Multiparty Interactions in Dependable Distributed Systems
Multiplicadores Algébricos de Validade Lógica
Murilo Santos
Murilo Varges da Silva
Máquinas Abstratas Para Prova de Teoremas.
Márcia Cristina Valle Zanetti
Márcio Giovane Cunha Fernandes
Mário Gomes Godinho
Método de obtenção de SBVR com definição bilíngue
Métodos de desenvolvimento de algoritmos: especificação formal, análise comparativa e de complexidade
Métodos de solução para a montagem de grades escolares.
Métodos Formais e Fundamentos Matemáticos da Ciência da Computação
Métricas para medir a uniformidade de dados em testes de aceitação
Mônica Sakuray Pais
n-Dimensional (S,N)-implications
n-Dimensional fuzzy implications: analytical, algebraic and applicational approaches
Nayara Zago Bassetto
NEES - Núcleo de Excelência em Tecnologias Sociais
Negation and Implication in Quasi-Nelson Logic
Negações e Implicações Difusas Multidimensionais
NEGOCIAÇÃO DE SIGNIFICADO PARA VIABILIZAR INTEROPERABILIDADE SEMÂNTICA
Neilor Avelino Tonin
Nelcileno Virgilio de Souza Araujo
Nelson de Sousa
Nelson Nascimento Junior
NEPI - Núcleo de Estudos e Pesquisas em Direito e Internet
Nicholas Eduardo Lopes dos Santos
Nilcia Cristina de Carvalho Julian
Nilo Acir Hirt
Nilzete Olimpio Alvares
Nivea de Carvalho Ferreira
Nizi Voltareli Morselli
No Sentido de uma Lógica Construtiva para a Análise Real
No Sentido de uma Lógica Construtiva para a Análises Real
Non-Functional Requirements for Quantum Programs
NOVAS ESTRATÉGIAS DE PLANEJAMENTO NO FIRN: UM FRAMEWORK PARA NAVEGAÇÃO INTELIGENTE DE ROBÔS
Novo Algorítmo Paralelo para Construção de Árvores de Sufixos
Novos métodos determinísticos para gerar centros iniciais dos grupos no algoritmo fuzzy C-Means e variantes
Nu[TeC]² : Núcleo de estudos em Técnicas e Teoria da Computação
Nuno Ernesto Slagado Oliveira
Núcleo de Pesquisa e Extensão em Tecnologia da Informação no Seridó
Números Reais Computacionalmente Exatos na Linguagem de Programação C Padrão ANSI
O isomorfismo de Curry-Howard
O Método das Conexões de Bibel para Lógica Anotada
O problema da dedução do intruso para teorias AC-convergentes localmente estáveis
O Problema da Dedução do Intruso para um Protocolo Criptográfico Especificado via Reescrita Módulo AC
O TEMPO COMO MODELO: A APLICACAO DE LOGICAS TEMPORAIS NA ESPECIFICACA O FORMAL DE SISTEMAS DISTRIBUIDOS
O Tipo Identidade Como o Tipo de Caminhos Computacionais
O Uso do Computador no Auxílio à Instrução Programada
Object Programming, Linear Logic and Java
Object-language substitution and unification in meta-logic
Object-oriented graph grammars
Object-Oriented Programming in Logic Programming
Objetos adaptativos: aplicação da tecnologia adaptativa à orientação a objetos.
Olivier Hermant
Omero Francisco Bertol
On A Proof Theory for Description Logics
On admissible orders over closed subintervals of [0,1]
On admissible total orders for typical hesitant fuzzy consensus measures
On Algebras for Interval-Valued Fuzzy Logic
On Dummett’s Pragmatist Justification Procedure
On Extension of Fuzzy Connectives
On Fuzzy Ideals and Fuzzy Filters of Fuzzy Lattices
On fuzzy implications classes - Towards extensions of fuzzy rule-based systems
On Fuzzy Implications Derived from General Overlap Functions and Their Relation to Other Classes
On new contrapositivisation techniques for (interval-valued) fuzzy (co)implications and their generalizations
On some classes of nullnorms and h-pseudo homogeneity
On the Residuation Principle of n-dimensional R-implications
On Typical Hesitant Fuzzy Automata
On Typical Hesitant Fuzzy Languages and Automata
ONTOER+: uma Ontologia para descrição de Recursos Educacionais Fragmentados
Ontologia para histocompatibilidade em transplante de órgãos
Ontologias na educação : uma proposta de aplicação em sistemas de recomendação
Ontologias no processo de gerenciamento de atividades empresariais
Ontology-based metadata for e-learning content
Operation of a Video Server in an Academic Environment
Ordinal sums of the main classes of fuzzy negations and the natural negations of t-norms, t-conorms and fuzzy implications
ORLANDO BERNARDO FILHO
Orlei José Pombeiro
Oscar Pedro Neves Júnior
Osvaldo Severino Junior
Otimizações e Estensões para o Compilador Prolog/IME
Otília Cassiano Nogueira
Over the top: o consumo audiovisual em softwares culturais
Ovidio Lopes da Cruz Netto
P-Datalog: Uma linguagem dedutiva de consultas para banco de dados inconsistentes
Pablo Mayckon Silva Farias
Pablo Ribeiro Suárez
Padrões de Fluxos de Processos em Banco de Dados Relacionais
Parallel composition and unfolding semantics of graph grammars
Patricia Garces Rabelo
Patricia Graziely Antunes de Mendonça
Patricia Santos Andrade
Patrícia Buzzatto Siqueira
Paulino Almeida Cantanhêde Filho
Paulo Armando Schermer
Paulo Augusto Neves de Carvalho Elias
Paulo Cesar Guerreiro da Costa
Paulo Cesar Longhue
Paulo Coelho Ventura Pinto
Paulo Eduardo Mologni da Silva
Paulo Fernando Blauth Menezes
Paulo Henrique Barchi
Paulo Henrique Epifanio de Oliveira
Paulo Henrique Fernandes de Matos
Paulo Pinheiro da Silva
Paulo Sergio Pollo
PAULO SÉRGIO MUNIZ SILVA
Paôla de Oliveira Souza
Pedrina Célia Brasil
Pedro Henrique Azevedo de Amorim
Pedro Henrique de Moura Araujo
Pedro Ivo Rodrigues
Pedro Porfirio Muniz Farias
Percy Antonio Pari Salas
Pesquisa em Sistemas Computacionais para Aplicações Cientes de Contexto e IoT
Plataforma Computacional para o Gerenciamento e Acompanhamento de Projetos utilizando a Metodologia PDP
Polimorfismo de registros no sistema CT
Polyana Santos Fonseca Nascimento
Predição de parto de gado Holandês com o uso de Redes Neurais Artificiais
Preenchimento semi-automático de ontologias de domínio a partir de textos em língua portuguesa
Priscila Machado Vieira Lima
Probabilidades Imprecisas: Intervalar, Fuzzy e Fuzzy Intuicionista
Probabilistic Ontology: Representation and Modeling Methodology
Procedimentos de Refutação por Eliminação de Modelos
Processamento de Cadeias, Imagem e Visão Computacional
Processamento Paralelo e Distribuído
Prof Dr. Vicente de Paulo Emerenciano
Profile Guided Hybrid Compilation
Programação em lógica difusa: um sistema formal e um interpretador
Programação em Lógica em Jogos Extensivos
Programação em Lógica Estendida da Inconsistência Epistêmica
Programação Genérica no Sistema CT
Projeto de Análise Estratégica da Informação e Concorrência Competitiva
Projeto e Implementação de um Protótipo para a linguagem ParaLog
Proof Theoretic Approach To Specification Languages
Proof-theoretic foundations for the design of extensible software systems
Proof-theoretic methods for analysis of functional programs
Propositional Belief Merging and Distributive Justice
Proposta de um Modelo de Computabilidade no Contínuo
PROPOSTA DE UM MODELO DE DATA WAREHOUSE APLICÁVEL AO GERENCIAMENTO DE RISCOS DE UMA SEGURADORA
Proposta de uma ferramenta de anotação semântica para publicação de dados estruturados na Web
Proposta de uma Ferramenta de Apoio à Formulação de Definições em Semântica Denotacional
ProS4 - provador automático de teoremas para a lógica modal S4
Protótipo para Especificação de Processos baseado em CSP: Um Enfoque em Orientação a Objetos
Prova de Teoremas Utilizando Simplificacao por Eliminacao de Literais
Pseudo Overlap Functions, Fuzzy Implications and Pseudo Grouping Functions with Applications
Quintino Izidio dos Santos Neto
RACICIOCÍNIO E DECISÃO USANDO LEI
Raciocinando por Jogos Semânticos
RACIOCINIO AUTOMATICO EM SITUACOES DE CONHECIMENTO INCOMPLETO E INCONSISTENTE
RACIOCÍNIO BASEADO EM CASOS
Raciocínio e Decisão Usando LEI
Raciocínio sobre Crenças utilizando a Lógica de Confiança em Tópicos.
Rafael Bernardo Teixeira
Rafael da Silva Albuquerque
Rafael da Silva Carrasco
Rafael dos Santos Ferreira
Rafael Guilherme Rodrigues da Silva
Rafael Heitor Bordini
Rafael Loureiro Serpa de Moraes
Rafael Mello da Fonseca
Rafael Mendes Pereira
Rafael Munhoz Almeida da Silva
Rafael Ogayar Gomes
Rafael Stubs Parpinelli
Rafael Teixeira de Araújo
Rafael Vergara Borges
Raisonnement dans des bases de connaissances possédant des informations inconsistentes
Ramon Gouveia Rodrigues
Ramsey theorem in type theory
Raoni de Paula Lourenço
Raphael Melo Thiago
Raphael Mendes de Oliveira Cobe
Raphael Petegrosso
Rastreabilidade Ontológica sobre o Processo Unificado
Rastreamento de Múltiplos Objetos em Cenas de Videovigilância com uso de Filtro de Kalman e Descritores Locais
Raul César Baptista Martins
Raul Henriques Cardoso Lopes
Raví Vilela Rauber
Ray McDowell
Reasoning about logic programs using definitions and induction
Reasoning about Petri Nets: A Calculus Based on Resolution and Dynamic Logic
Redes Neurais na Estimativa da Capacidade Requerida em Comutadores ATM
Regiane Moreno
Regiano da Silva Alves
Regina Célia Moreth Bragança
Regina Célia Teixeira Pádua
Register Allocation by Puzzle Solving
Regras e Casos: Uma Abordagem à Aprendizagem Relacional Multi-Estratégia
Reificação de Objetos Concorrentes
Reinaldo Afonso Mayer
Reinaldo Augusto de Oliveira Ramos
Relational approach of graph grammars
Relações formais entre redes de Petri e gramáticas de grafos
ReLo: a Dynamic Logic to Reason About Reo Circuits
ReLo: a dynamic logic to reason about Reo circuits
RENAN DE OLIVEIRA SILVA
Renata Pereira de Freitas
Reo2nuXmv
Residuated implications derived from quasi-overlap functions on lattices
Resolution for Synchrony and No Learning
RETOOL: uma Lógica de Ações para Sistemas de Transição Temporizados (DISSERTAÇÃO APROVADA COM LOUVOR)
Revisitando o Teorema de Courcelle
Ricardo Batista Rebouças
Ricardo Ferraro de Souza
Ricardo Ferreira de Oliveira
Ricardo José Cabeça de Souza
Ricardo José Marques
Ricardo Lima Feitosa de Ávila
Ricardo Maciel Gazoni
Ricardo Rall
Richard Bonichon
RICHARDSON Bruno da Silva Andrade
Rita de Cassia Farias Vidal
Rita Maria da Silva Julia
Robert Graham
Roberta Vanessa Rojo Parcianello
Roberth Adam da Silva
Roberto Cassio de Araujo
Roberto da Silva Bigonha
Roberto Fernandes Tavares Neto
Roberto Hirochi Herai
Robinson Callou de Moura Brasil Filho
Robson Ribeiro
Rodrigo Augusto Barbato Ferreira
Rodrigo da Silva Riquena
Rodrigo Figueiredo Magalhaes
Rodrigo Galvão Kono
Rodrigo Geraldo Ribeiro
Rodrigo Gomide Baquero
Rodrigo Gonçalves de Oliveira
Rodrigo Jereissati Martins
Rodrigo Machado
Rodrigo Monteiro de Aquino
Rodrigo Perozzo Noll
Rodrigo Quites Reis
Rodrigo Reis Gomes
Roger Simon Steppan
Rogerio Tronco Vassoler
Rolfi Cintas Gomes Luz
Romildo Felix Correa
Ronaldo Juliatto
Ronaldo Lima Rocha Campos
Ronaldo Pereira de Oliveira
Roque Mendes Prado Trindade
Rosana de Oliveira Santos
Rosianni de Oliveira Cruz
Rossana Cristina Ribeiro Morais
Rubén Dario Castro Cuellar
Rubén Mario Nazzetta
Rudimar Luis Scaranto Dazzi
Ruiter Braga Caldas
Régis Alessandro Glonvezynski
Rômulo Alexandre Ellery de Alencar
RÔMULO NUNES DE OLIVEIRA
SAAPIEnS: autoria de objetos de aprendizagem e acompanhamento pedagógico para o ensino de dedução natural na lógica proposicional
Sabrina Rocha da Silva Melo
Samuel Linhares Santana
Samy Soares Passos de Sá
Sandra Aparecida de Amo
Sandra Bianca Henriques Geroldo
Sandra Mara Guse Scós Venske
Sandra Vieira
Sandro Ferreira Resende
Sara Luzia de Melo
SAURON - Sistema de Aplicação Unificada de Regras e Ontologias
Schema and Query Evolution
Sebastião Estefânio Pinto Rabelo Júnior
Segurança Computacional
Semantica para Processamento de Linguagem Natural
Semantica Via Jogos Para A Deducao Rotulada
Semi-overlap functions and novel fuzzy reasoning algorithms with applications
SEMÂNTICA DE AÇÕES ORIENTADA A OBJETOS
Semântica denotacional escalável de linguagens imperativas
Semântica formal para TVQL
Semântica Formal paraTVQL
Semântica Incremental de Linguagens de Programação
Semânticas e Inferências Não-Monotônicas: Um Estudo Comparativo
Sergio da Silva Aguiar
Sidi Ould Ehmety
Silvana Lourenço Simonato Paulicena
Silviane Gomes Rodrigues
Silvio Antonio Carro
Silvio Petroli Neto
Simone Cristine Mendes Paiva
Simone Nasser Matos
Sintonia Fina Baseada em Ontologia: o caso de visões materializadas
Sistema Automático de Testes e Diagnósticos
Sistema de irrigação para culturas de alface crespa baseado em lógica fuzzy
Sistema de Recomendação de Tags Aplicado na Catalogação de Recursos de Aprendizagem
Sistema de recomendação para apoiar a construção de gráficos com dados estatísticos
Sistema de Reescrita de Termos para Intervalos: Em Direção a Um Modelo Formal para a Computação Intervalar
Sistema Inteligente de Inspeções Industriais - S3i
Sistemas de Informação Contínuos: Uma Abordagem Lógica e Computacional para a matemática Intervalar
Sistemas Formais Avançados e Estratificação Relevante : Uma defesa da predicatividade
Sistemas Híbridos Neuro-Simbólicos, Estudo e Implementação
Sistemas Inteligentes
Sistemas modais de conhecimento
Sistemas Reativos: Uma Abordagem Geométrica
Sobre a Definição Semântica de Linguagens de Programação através de Sistemas para Manipulação de Florestas Encadeadas
Sobre a questão da formalização do raciocínio abdutivo via sistemas dedutivos rotulados.
Sobre a Representação de Linguagem Natural usando Dedução Natural Rotulada
Sobre Esquemas de Indução
Sobre uma Arquitetura da Informação Multimodal: reflexões sobre uma proposta espitemológica
Solange Duarte Palma
Some finitary constructions on inflationary BL-algebras and their properties
Spatial Reasoning and Abductive Interpretation of Sensor Data Obtained by a Mobile Robot in Dynamic Environment
Steffen Lewitzka
Stephenson de Sousa Lima Galvão
Strategies for Testing and Formalizing Properties of Modern Programming Languages
Strategies on admissible total orders over typical hesitant fuzzy implications applied to decision making problems
Structural Validation of Enhanced Entity-Relationship models Using Description Logic Reasoners
Sueli Bandeira Teixeira Mendes
Suelyn Fernanda da Silva
Sven Stork
SwTOI (Software Test Ontology Integrated): Uma Ontologia com Aplicação em Teste do Linux.
Sérgio Akira Sato
Sérgio Joel de Menezes Ferreira Vaz
Síntese Construtiva de Programas em Teorias Intuicionistas
Síntese de Filtros Passivos com Algoritimo Genético Orientado a Objetos
Sônia Miranda de Oliveira
Tableaux et Déduction modulo
Tarcísio Genaro Rodrigues
Tarcísio Haroldo Cavalcante Pequeno e Marcelino Pequeno
Tarcísio Souza Costa
TecMF - Logical Reasoning
Tecnologia da Informação: Um estudo sobre a correlação entre a evolução dos profissionais desenvolvedores de sistemas de informações e o ambiente de desenvolvimento de sistemas.
Telma Luiza de Azevedo
Temporal Logic for Social Networks
Teoria da Computação
Teoria da revisão de primeira ordem para a modelagem do estudante
Teoria das Equações Intervalares Locais
Teoria das filas e a automação comercial.
Teoria e Inteligência Computacional
Teoria Fuzzy Intervalar: Uma Proposta de Integração da Matemática Intervalar à Teoria Fuzzy
Testing from Structured Algebraic Specification: The Oracle Problem
Thadeu Ribeiro Benicio Milfont
Thalles Cerqueira de Mello
Thaína Amélia de Oliveira Alves
The infinity-groupoid generated by an arbitrary topological lambda-model
The Interval Constructor on classes of ML-algebras
The Magnetic Formfactor of the Neutron
Theoretical Computer Science
Thiago Crystyan Soares Macêdo
Thiago Fabiano Gomes Varjão
Thiago Nascimento da Silva
THIAGO NICOLAU MAGALHÃES DE SOUZA CONTE
Thiago Sanches Ranzani da Silva
Thiago Silva de Souza
Thullyo Dennier Castro Reis Ferreira
Tiago Manczak
Tiago Mazzutti
Tiago Monteiro do Nascimento
TIMEFEX: UMA ABORDAGEM PARA A MODELAGEM DE COMPORTAMENTO EM LINHAS DE PRODUTOS DE SOFTWARE
Tohossou: Sistema Multiagente de Apoio ao Desenvolvimento de Aplicações Web Acessíveis
Tomada de Dicisão em Grupo e Multi-Atributos Baseada na Lógica Fuzzy Intuicionista de Atanassov Intervalarmente Valorada
Tornando a Linguagem LOTOS Apta para Especificar Sistemas Dependentes do Tempo (Doutorado sandwich realizado no Laboratoire d'Architecture et d'Analise des Systèmes du CNRS du CNRS, Toulouse, França)
Towards interval uncertainty propagation control in bivariate aggregation processes and the introduction of width-limited interval-valued overlap functions
Tranformacao entre Provas para a Deducao Natural Rotuladad via Reescrita de Termos
Transactional graph transformation systems
Transformacao Entre Provas Para A Deducao Natural Rotulada Via Reescrita de Termos
Type-Based Locality Analysis for a Functional Distributed Language
Técnicas Nominais e aplicações em Lógica de primeira ordem
Técnicas para o Uso do Cálculo de Hoare em PCC
Ubirajara Santos Nogueira
UCL:Uma Linguagem de comunicação para Agentes de software na Internet.
Ulisses Telemaco Neto
Um Algoritmo baseado em Colônias de Formigas para Classificação em Data Mining.
Um algoritmo genético aplicado à correção sintática do cantus firmus
Um Compilador de Exceções para Otimização de Programas em Lógica Baseados no Paradigma de Geração e Teste
Um Cálculo de Continuações com Tipos Dependentes
Um depurador inteligente para programas prolog
Um estudo Comparativo em Unificação de Ordem Superior via Cálculos de Substituições Explícitas
Um Estudo do Conhecimento: Algumas Abordagens para sua Verificação
Um Estudo em Síntese Construtiva de Programas Utilizando Lógica Intuicionista
Um estudo preliminar e uma experiência na integração entre a concepção formal de sistemas e a construção de programas
Um estudo sobre teste versus verificação formal de programas Java
Um estudo sobre verificação formal de sistemas concorrentes
UM FRAMEWORK PARA CONSTRUÇÃO DE PROVADORES DE TEOREMAS USANDO OBJETOS DISTRIBUIDOS
Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas
Um Framework para Desenvolvimento de Sistemas Sensíveis ao Contexto e de Tempo Real
Um Gerenciador de Processos de Desenvolvimento de Software para o Ambiente PROSOFT
Um Interpretador e Typechecker para uma Linguagem Reversível com Patter-matching Simétrico e Controle Quântico
UM META-ALGORITMO PARA O DESENVOLVIMENTO DE INDICADORES DE QUALIDADE DE SOFTWARE AMPARADOS POR MODELOS E POR UM MÉTODO FORMAL
UM METODO AUTOMATICO DE PROVA PARA UMA LOGICA PARACONSISTENTE
Um Modelo Categórico para Traduções entre Linguagens de Programação
UM MODELO DE BUSCA DE INFORMAÇÃO USANDO ESTRUTURAS HIERÁRQUICAS COMPLEXAS
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 a Análise de Impacto em Código Fonte usando Ontologias e Recuperação de Informação
Um modelo para sistemas multiagentes baseado na teoria de sistemas sociais para o estudo do problema da ligação micro-macro.
Um Método Baseado em Lógica Paraconsistente para Detecção de Inconsistências em Classificadores à Base de Regras
Um Método Baseado em Ontologias para Interpretação e Catalogação de Elementos Pouco Evidentes em Imagens
Um Método de Dedução Não-Monotônico baseado em Eliminação de Modelos
UM MÉTODO DE EXPANSÃO DE ONTOLOGIAS BASEADO EM QUESTÕES DE COMPETÊNCIA COM RASTREABILIDADE AUTOMÁTICA
Um método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais.
Um Método de Tableaux para o Cálculo Lambek baseado em Caracterização por Matrizes
Um Método de Transformação de Modelos em UML e OCL para Código Java e SQL
Um Método dos Tablôs por Prova Direta para a Lógica Clássica
Um Método Evolucionário para a Tradução de Linguagem Natural para a SQL
Um papel para a lógica operatória de Jean Piaget na representação do conhecimento do senso comum
Um Provador de Teoremas baseado em Tableaux para Verificação de Propriedades em Lógicas Temporais de Conhecimento ou Crença
Um provador Interativo de Teoremas em Dedução Natural
Um Simulador para Validação de Sistemas Dependentes de Tempo Descritos em RT-LOTOS
Um Sistema Infinitário para a Lógica de Menor Ponto Fixo
Um Sistema Neuro-Simbólico para Representação de Conhecimento Temporal
Um Sistema Paraconsistente para Verificação Automática de Assinaturas Manuscritas
UM TRATAMENTO FORMAL PARA O RACIOCÍNIO SOBRE AÇÃO EM INTELIGÊNCIA ARTIFICIAL
Uma Abordagem Baseada em Computação Evolucionista para o Problema da Regulação Gênica
Uma abordagem baseada em Lógica de Reescrita para a Semântica Operacional Modular
Uma Abordagem Baseada em Ontologias para Obtenção de Indicadores a partir de Dados Abertos.
Uma Abordagem Categorica baseada em Topoi para Heurísticas
UMA ABORDAGEM CATEGÓRICA À TEORIA DAS MÁQUINAS SEQÜENCIAIS
Uma abordagem geral para quantificadores em dedução natural
Uma Abordagem Geral para Quantificação em Dedução Natural
Uma Abordagem Ontológica para Simulação de Ação Legal e Consistência Semântica Aplicada à Legislação Brasileira
Uma Abordagem para Apoio à Aprendizagem de Programação em Cursos Introdutórios de Programação usando Mundos Virtuais
Uma abordagem para construção das etapas de análise de um compilador.
Uma Abordagem para Modelagem e Verificação de Protocolos Síncronos de Barramentos de Comunicação.
Uma abordagem para recuperação de informações sensível ao contexto usando retroalimentação implícita de relevância
Uma análise de auto-referência baseada em fluxos semânticos
Uma Apresentação dos Principais Sistemas Relacionados à Lógica Clássica
Uma Arquitetura de Software para Realizar Processamento Analítico e Semântico de Dados a partir de MDX e Lógica Descritiva
Uma arquitetura suportada por busca semântica para recuperação de fontes de informação em repositórios de metadados
Uma Certificação em Coq do Algoritmo W Monádico
Uma Ferramenta de Prototipação de Software para o Ambiente PROSOFT
Uma Ferramenta Formal para Especificação e Análise de Arquiteturas de Software
Uma Ferramenta para Modelagem Visual de Ontologias com Raciocínio Automático
Uma Formalização da Teoria de Reescrita em Linguagem de Ordem Superior.
Uma implementação da Semântica de Ações Orientada a Objetos em Maude
Uma Implementação de Semântica Operacional Estrutural Modular em Maude
Uma implementação do algoritmo 2-intercâmbio para o problema de roteamneto de veículos com janela de tempo
Uma Introducao à Teoria das Categorias e sua Aplicacao à Ciência da Computacão
Uma linguagem de especificação formal orientada a objetos
Uma linguagem funcional com processos e a sua semântica dinâmica
Uma Linguagem para Simulação de Processos de Negócio baseada em Semântica de Ações.
Uma Logica Condicional Forte
Uma Lógica de Ações para Sistemas de Transição Temporizados
Uma lógica de descrição default
Uma Lógica Intuicionista Bidimensional Com Semântica Categórica
Uma Lógica Modal Bidimensional para Representação do Conhecimento em Sistemas Distribuídos Multiagentes
Uma lógica para a referência ambígua
Uma lógica proposicional de resolução de problemas.
Uma Metodologia baseada na Lógica Linear para Análise de Processos de Workflow Interorganizacionais
Uma Modelagem Categórica para a Modularidade da Confluência em Sistemas de Reescrita de Termos
Uma Nova Forma de Calcular os Centros dos Clusters em Algoritmos de Agrupamento Tipo Fuzzy C-Means
Uma ontologia artificial para o controle cambial brasileiro.
Uma proposta de arquitetura de sistemas de controle utilizando padrões de projeto e CSP-OZ
Uma Proposta de Especificação Formal e Fundamentação Teórica para Simulated Annealing.
Uma Proposta de Estudo da Incerteza Integrando a Teoria dos Conjuntos Fuzzy e a Computação Quântica
Uma Proposta de Formalização das Práticas Específicas do CMMI usando Regras de Negócio
UMA PROPOSTA DE GESTÃO DO CONHECIMENTO CIENTÍFICO-ACADÊMICO ATRAVÉS DE ONTOLOGIAS
Uma proposta de ontologia para plano de projeto
Uma proposta para gestão do conhecimento em programação
Uma Representação Construtiva Global para Sistemas Ordenados de Segunda Ordem em Espaços Coerentes Bi-Estruturados, com aplicação em Matemática Intervalar
Uma Semântica Axiomática para DSL - uma Linguagem para Descrição de Hardware
Uma Semântica Categórica para a Matemática Intervalar
Uma semântica formal para MooZ
Uma Tradução de Gramáticas de Hipergrafos Baseados em Objetos para Cálculo-pi
Umberto Rivieccio
Un Lenguaje de Especificación para Tipos de Datos
Un Système Hybride Pour le Traitement du Langage Naturel et Pour la Récuperation de l´Information
Une étude logique du contrôle (appliquée à la programmation fonctionnelle et logique)
Unificação Em Teorias Monoidais e Módulo A Aritmética de Presburger
Unificação, Confluência e Tipos com Interseção para Sistemas de Reescrita Nominal
Uniformly Strongly Prime Ideals on Fuzzy Environment
Universal Set of Reversible Quaternary Logic Gates
Usando Logica Para Concorrencia: Um Estudo Critico
Use of Probabilistic Ontologies and Multi-Entity Bayesian Networks for Defining, Modeling, Guiding and Aiding Decision-Making Forensic Processes
Using extended tactics to do proof transformations
Using Logic for Concurrency - A Critical Study
Uso da Robótica Educacional como Suporte ao Ensino e Aprendizagem de Lógica de Programação
Uso de Orientação A Objetos Na Prototipação de Semântica de Ações
Utilizando LOTOS na concepção formal de uma aplicação para gerencia de redes : especificação e verificação
Utilização do Paradigma Funcional no Ensino de Matemática Discreta
Validação Formal de Protocolos Criptográficos - O Caso dos Protocolos em Cascata
Valquiria Fenelon Pereira
Valter Wellington Ramos Junior
Valério Gutemberg de Medeiros Júnior
Vanderlei Freitas Junior
Vanderlei Moraes Rodrigues
Vania Costa
Vera Lúcia da Silva
Verficação formal de modelos de Blockchain
Verificador para ESTELLE
Verification of the Dynamic Authorization Protocol
Verificação de Conformidade entre Diagramas de Sequência UML e Código Java
Verificação de Propriedades do Cálculo lambda-ex em Coq
Verificação de sistemas dependentes do tempo a partir de especificações escritas em RT-LOTOS
VERIFICAÇÃO DE TIPOS DE XQUERY: UM PROTÓTIPO EM ASF + SDF
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 Código Imperativo em Coq
Verificação Formal de Sistemas embarcados em carro elétrico
Verifying concurrent systems by approximation
Veruska Carretta Zamborlini
Victor Hugo de Carvalho Fernandes
Vinicius Oliverio
Vinicius Tadeu dos Passos Almeida
Vinícius Silva de Andrade
Vinícius Soares Fonseca
Visualizacao de Modelos de Consistencia Hibridos
Visualização de Consistência de Memória Distribuída Compartilhada
Visão Computacional e Visualização de Informações
Vitor Faiçal Campana
VIVEK NIGAM
Viviana Sperotto de Bem
Viviane de Fatima Bartholo
Viviane Maria Lelis Carvalho
VLADIMIR OLIVEIRA DI IORIO
Vítor Alcântara de Almeida
Vívian Cirino de Lima
Wadilson Kleber Fabri Pereira
Wagner Toscano
Wallace Anacleto Pinheiro
Walter Aoiama Nagai
Wamberto Weber Miranda Peixoto de Vasconcelos
Weak Inflationary BL-Algebras and Filters of Inflationary (Pseudo) General Residuated Lattices
Welington Luis Codinhoto Garcia
Wellington Aparecido Della Mura
Wendel de Oliveira Castro
Wendell Figueiredo Taveira
Wesley Gabriel de Mendonça Pinto
What is a Fuzzy Bi-implication?
What Is a Good Domain Description? Evaluating and Revising Action Theories in Dynamic Logic
Willian Bruno Gomes Alves
Wilton de Paula Filho
Wilton Oliveira Ferreira
Wladimir Araujo Tavares
Álvaro Augusto Pereira
Álvaro Freitas Moreira
Árvore de Características e Redes de Petri Colorida com expressões da Lógica Proposicional: Propostas de Modelagem de Requisitos e Fluxo de Navegação
Éderson Marcos Ferreira
Étude des protocoles paramétrés de bus - Validation par transformations synchrone-asynchrone

Pesquisas

área de pesquisa