Publicações

Resumos estendidos em conferências

• [PDF] João Vitor Fröhlich, Karina Girardi Roggia e Paulo Henrique Torrens. Formalização e Verificação em Coq do Algoritmo de Dijkstra. IX Encontro de Teoria da Computação. 144-148. SBC. 2024.

Monografia de TCC

• [PDF] João Vitor Fröhlich. Formalização e Verificação em Coq do Algoritmo de Dijkstra. 2023. 51p. Graduação em Bacharelado em Ciência da Computação - UDESC, Joinville.

Dissertação de Mestrado

• [PDF] Elisa Fröhlich. Hydra: Static Detection of Hottest Blocks on Control Flow Graphs. 2025. 90p. Mestrado em Ciência da Computação - UFMG, Belo Horizonte.