| 13 | -- | 24 | André Rauber Du Bois, Rodrigo Geraldo Ribeiro, Maycon Amaro. A Mechanized Proof of a Textbook Type Unification Algorithm |
| 25 | -- | 39 | André Tavares da Silva, Cristiano Roberto Siebert. DenseNet-DC: Optimizing DenseNet Parameters Through Feature Map Generation Control |
| 40 | -- | 49 | Joan Davi Santos Silva, Jâina Carolina Meneses Calçada, Solange Oliveira Rezende, Dario Brito Calçada. Automatic identification of knowledge related to dengue cases in the state of Piauí in public databases using Filtered-Association Rules Networks |
| 50 | -- | 61 | Antonio Rafael Braga, Juliana de Castro Rabelo, Arthur de Castro Callado, Atslands Rego da Rocha, Breno M. Freitas, Danielo G. Gomes. BeeNotified! A Notification System of Physical Quantities for Beehives Remote Monitoring |
| 62 | -- | 71 | Taison Anderson Bortolin, Lucas Moraes dos Santos, Adriano Gomes da Silva, Vania Elisabete Schneider. WebGIS development for base flow separation and recharge estimation |
| 72 | -- | 83 | Danilo da Silva Alves, Oseias Ayres Ferreira, Lucio Mauro Duarte, Davi Silva, Paulo Henrique M. Maia. Experiments on Model-Based Software Energy Consumption Analysis Involving Sorting Algorithms |
| 84 | -- | 101 | Alfio Ricardo de Brito Martini. Reasoning about Partial Correctness Assertions in Isabelle/HOL |
| 102 | -- | 117 | Guilherme Bayer Schneider, Bruno M. P. Moura, Adenauer C. Yamin, Renata Hax Sander Reiser. Int-FLBCC: Model for Load Balancing in Cloud Computing using Fuzzy Logic Type-2 and Admissible Orders |