carlos alberto olarte vega

ECT - ESCOLA DE CIÊNCIAS E TECNOLOGIA

Projetos de Pesquisa

Projeto de Pesquisa Área de Conhecimento
2021
PVB18472-2021 MOSAIC Lógicas e Semântica de Programas
2020
PVJ17268-2020 Geração de Parsers para DSLs com Suporte a Mensagens de Erro Intuitivas e Integração com IDEs Linguagens de Programação
PVB17288-2020 Sistemas de provas para Teorias Geométricas (PROGEO) Lógicas e Semântica de Programas
2019
PVB16106-2019 PROof search for Substructural and modAl logics (PROSA) Lógica Matemática
PIJ16135-2019 LOGOCOSMICS: LOgica, joGOs e Cálculos de prOcessos para Sistemas ModaIs ConcorrenteS Lógicas e Semântica de Programas
PIJ16136-2019 Sistemas concorrentes: semântica, provas e modelos declarativos Lógicas e Semântica de Programas
2017
Provador semiautomático para lógica linear Lógicas e Semântica de Programas
PIJ13861-2017 EPIC: EPistemic Interactive Concurrency Lógicas e Semântica de Programas
2016
PIB12828-2016 Modalidades em Concorrência: Fundamentos e aplicações em Bio-informática e Computação Orientada a Serviços (Produtividade em Pesquisa PQ 2015) Lógicas e Semântica de Programas
PIJ12956-2016 Extensões de Gramáticas de Expressões de Parsing e suas Aplicações Linguagem Formais e Autômatos
PVB13706-2016 Busca por provas em lógicas modais e sub-estruturais Lógica Matemática
2014
PVB11750-2014 MUSICAL - MUsic and Spatial Interaction with Constraints, Algebra and Logic: foundations and applications Lógicas e Semântica de Programas
PIJ11898-2014 Sistemas interativos e programacão concorrente por restricões: fundamentacão e aplicacões em multimedia Matemática Simbólica
2013
PIB11232-2013 Uma estrutura lógica para sistemas concorrentes epistêmicos, temporais e espaciais Lógicas e Semântica de Programas

SIGAA | Superintendência de Informática - | | Copyright © 2006-2021 - UFRN - sigaa25-producao.info.ufrn.br.sigaa25-producao v4.2.21