Banca de DEFESA: CIRO MORAIS MEDEIROS
Uma banca de DEFESA de DOUTORADO foi cadastrada pelo programa.
STUDENT : CIRO MORAIS MEDEIROS
DATE: 30/08/2022
TIME: 09:00
LOCAL: DIMAp + Google Meet
TITLE:
Improvements on Graph Path Queries: Expression, Evaluation, and Minimum-Weight Satisfiability
KEY WORDS:
context-free languages, graph path queries, graph minimization.
PAGES: 91
BIG AREA: Ciências Exatas e da Terra
AREA: Ciência da Computação
SUBÁREA: Metodologia e Técnicas da Computação
SPECIALTY: Linguagens de Programação
SUMMARY:
We deal with three problems related to graphs and context-free languages: (1) we develop an alternative notation for expressing context-free languages; (2) we design, implement and experiment a context-free path query evaluation algorithm; and (3) we formalize the formal-language-constrained graph minimization problem, for which we design solutions for the cases where the formal language is regular or context-free.
COMMITTEE MEMBERS:
Presidente - 1221251 - MARTIN ALEJANDRO MUSICANTE
Interna - 1201268 - ELIZABETH FERREIRA GOUVEA GOLDBARG
Externo à Instituição - FAROUK TOUMANI
Externo à Instituição - NICOLAS TRAVERS
Externo à Instituição - CÉDRIC EICHLER
Externa à Instituição - CARMEM SATIE HARA - UFPR
Externa à Instituição - MIRIAN HALDFELD FERRARI - UDO
Externa à Instituição - NORA REYES - UNSL