Banca de QUALIFICAÇÃO: CIRO MORAIS MEDEIROS

Uma banca de QUALIFICAÇÃO de DOUTORADO foi cadastrada pelo programa.
STUDENT : CIRO MORAIS MEDEIROS
DATE: 17/12/2021
TIME: 09:30
LOCAL: online
TITLE:

Improvements on Graph Path Queries:
Expression, Evaluation and Minimum
Satisfiability

KEY WORDS:

context-free languages, graph path queries, graph minimization.

PAGES: 83
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 a solution
for the case where the formal language is context-free.

BANKING MEMBERS:
Presidente - 1221251 - MARTIN ALEJANDRO MUSICANTE
Interno - 1495704 - UMBERTO SOUZA DA COSTA
Externo à Instituição - MATHIEU LIEDLOFF - UDO
Externa à Instituição - MIRIAN HALDFELD FERRARI - UDO