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.