Henrique dos Santos Goulart - A state rebalanced strategy to partitioning checkpoints (Co-supervisor Master 2023)
Edmilson Domingues - Using mathematical programming and genetic algorithm to solve the school timetabling problem - (TCC 2023)
Pedro Guimarães Caninas - Infection graphs with constraints - (IC 2023) *
Matheus Leonel Balduino - A travelling salesman problem variant - (TCC 2023)
Eduardo Henke - An implementation of a language with dependent type system - (TCC 2022)
Lucas Henrique Goncalves Wodtke - Optimization in academic management using techniques of integer and linear programming - (TCC 2022)
Thiago Martendal Salvador - Adaptive mesh generation using hash tables - (TCC 2022)
Wesly Carmesini Ataide - Spreading minimization in a topology using mathematical programming - (TCC 2021)
Marcelo Emilio Vendramin - Algorithms for finding chromatic rings in kinship networks) - (TCC and Co-supervisor IC 2020)
João Gabriel Trombeta - Partitioning balanced graph analysis to explore parallelism in Parallel Replication State Machine - (Co-supervisor TCC 2020)
Lucas Rodrigo da Silva Suppes Algorithms and data structures to visualize polygons in real time applications - (TCC 2019)
Published Papers
H.S. Goulart, J. Trombeta, Á.J.P. Franco, O.M. Mendizabal, "Achieving Enhanced Performance Combining Checkpointing and Dynamic State Partitioning", In: 35th IEEE International Symposium on Computer Architecture and High Performance Computing, 2023 (DOI:10.1109/sbac-pad59825.2023.00024).
P.G. Caninas, P.C. Calegari, Á.J.P. Franco, "Um estudo sobre árvores geradoras como alternativas conexas para o controle de doença em um grafo de infecção", Em: LV Simpósio Brasileiro de Pesquisa Operacional, 2023 (ISSN: 2965-1476).
W.C. Ataide; P.B. Castellucci; Á.J.P. Franco; R. de Santiago, "Minimizing Infection in a Topology using Mathematical Programming", Em: ETC - VII Encontro de Teoria da Computação, 2022 (DOI:10.5753/etc.2022.223209).
Á.J.P. Franco and M.E. Vendramin, "Uma experiência com redes de parentesco totalmente coloridas", Em: REACT - VIII Reunião de Antropologia da Ciência e da Tecnologia, 2022 (OJS:v5.n5).
P.C. Calegari and Á.J.P. Franco, "Geração de malhas com refinamento adaptativo usando tabelas de dispersão", Em: CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2021 (DOI:10.5540/03.2021.008.01.0421).
Á.J.P. Franco and M.E. Vendramin, "Super-colored paths in digraphs", Em: ETC - Encontro de Teoria da Computação, 2021 (DOI:10.5753/etc.2021.16389).
Á.J.P. Franco, "Epidemic models with restricted circulation and social distancing on some network topologies", In: ACRI - Cellular Automata for Research and Industry, 2021 (DOI:10.1007/978-3-030-69480-7_26).
G.A. Domene, ÁJ.P. Franco and G. E. de Oliveira, "Atribuição de salas para disciplinas com demanda e horários fixos", Em: SBPO - Simpósio Brasileiro de Pesquisa Operacional, 2020 (ISSN: 1518-1731).
C. Paulino, and Á.J.P. Franco "The Kraho Empiric Network: an exercise in modelling", In: 18th IUAES World Congress, 2018 (ISBN: 978-85-62946-96-7).
C.E. Ferreira, and Á.J.P. Franco "A min-max relation in flowgraphs and some applications", Discrete Applied Mathematics, 2018 (DOI:10.1016/j.dam.2017.04.038).
C.G. Fernandes, C.E. Ferreira, Á.J.P. Franco, and R.C.S. Schouery, "The Envy-Free Pricing Problem, Unit-Demand Markets and Connections with the Network Pricing Problem", Discrete Optimization, 2016 (DOI:10.1016/j.disopt.2015.09.003).
C.E. Ferreira and Á.J.P. Franco, "A min-max relation in flowgraphs", In: LAGOS'15 -- VIII Latin-American Algorithms, Graphs and Optimization Symposium. Electronic Notes in Discrete Mathematics, 2015, 50, pp.109-114 (DOI:10.1016/j.endm.2015.07.019).
C.E. Ferreira, Á.J.P. Franco, and M.F. da Silva, "Finding Matrimonial Circuits in some Amerindian Kinship Networks: an Experimental Study", In: 10th IEEE International Conference on e-Science, 2014 (DOI:10.1109/eScience.2014.12).
C.G. Fernandes, C.E. Ferreira, Á.J.P. Franco, and R.C.S. Schouery, "The Envy-Free Pricing Problem and Unit-Demand Markets", In: 3rd International Symposium on Combinatorial Optimization (ISCO). (Org.). Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2014, p. 707-718 (DOI:10.1007/978-3-319-09174-7_20).
C.E. Ferreira, and Á.J.P. Franco, "Algorithms for Junctions in Acyclic Digraphs", In: Michael Jünger; Gerhard Reinelt. (Org.). Facets of Combinatorial Optimization. 1ed.Berlin Heidlberg: Springer Berlin Heidelberg, 2013, p. 175-194 (DOI:10.1007/978-3-642-38189-8_8).
Technical report
Á.J.P. Franco and G.E. de Oliveira, "Uma Apresentação Sucinta do Sistema de Criptografia RSA", 2016 (pdf).
Papers in preparation
"Epidemiological model on networks". Join work with Priscila C. Calegari.
"The kinship as a computational question" (pdf - preliminary version). Join work with C. E. Ferreira e M. F. Silva, M. Teixeira-Pinto.