SIGAA - Sistema Integrado de Gestão de Atividades Acadêmicas

ELAINE GOUVEA PIMENTEL

DEPARTAMENTO DE PESSOAL PENSIONISTA CIVIS

elaine gouvea pimentel

- DEPARTAMENTO DE PESSOAL PENSIONISTA CIVIS

Projetos de Pesquisa

Projeto de Pesquisa		Área de Conhecimento
2021
PVB18472-2021	MOSAIC	Lógicas e Semântica de Programas
PVB18974-2021	POTIMÁTICAS - Meninas Potiguares na Matemática	Lógica Matemática

2020
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
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
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
PVB11851-2014	Provas: identidade, estrutura e representação – PIER	Lógica Matemática
PVB11864-2014	GeVe - Generalizações de Verofuncionalidade	Lógicas e Semântica de Programas
PIJ11898-2014	Sistemas interativos e programacão concorrente por restricões: fundamentacão e aplicacõ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

2012
PVB11865-2012	GeTFun Generalizing Truth-Functionality	Lógicas e Semântica de Programas