Formal Analysis of Multi-Robot Patrolling Metrics
Pablo Sampaio, Rodrigo De Souza, Geber Ramalho, Patricia Tedesco
Algoritmo de Shor: uma introdução à criptografia quântica
William Silva, Maigan Alcantara
N Grafos para Lógica de Primeira Ordem: Um estudo
Jorge Farias, Anjolina Oliveira, Ruan Carvalho
Jogos Fechados de Convexidade em Árvores: complexidade e estratégias vencedoras
João Marcos Brito, Samuel N. Araújo, Raquel Folz, Rosiane De Freitas, Rudini Sampaio
Análise Comparativa dos Operadores do Algoritmo Genético aplicado ao Problema de Corte Bidimensional em Madeira
Alejandro Estevan da Silva Santos, Yasmim Luana Avelino Figueredo, Rafael Santiago da Silva, Lucas Davi da Silva Paixao, Jean Honorio de Arruda Filho, Kerven Kildhery Silva, Lucas Matheus de Oliveira Ramos, Mayrton Queiroz
Uma prova elementar da caracterização dos N-autômatos limitados
Rodrigo De Souza, Maria Virgínia Dos Santos, Maria Aparecida Sibaldo
Imersão de caminhos curtos em (di)grafos
Ana Karolinna Oliveira, Matheus Alencar
Semântica de Reescrita para PEG Tipada
Regina Paula, Daniel Pereira, Leonardo Reis, Elton Cardoso, Rodrigo Ribeiro
GBL no Ensino de Aspectos Teóricos da Computação
Alcides Andrade, Jeane Melo
Versão preliminar dos resumos
