Journal papers and papers in proceedings volumes

Game Characterizations and Lower Cones in the Weihrauch Degrees. (With Arno Pauly)
Proceedings of the 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12–16, 2017. Kari, Manea, Petre (eds.). Lecture Notes in Computer Science, v. 10307, pp. 327–337, Springer International Publishing, 2017.

Towards Computable Analysis on the Generalised Real Line. (With Lorenzo Galeotti) Best student paper award.
Proceedings of the 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12–16, 2017. Kari, Manea, Petre (eds.). Lecture Notes in Computer Science, v. 10307, pp. 246–257, Springer International Publishing, 2017.

On the (in)dependence of the DedekindPeano axioms for natural numbers. (With Márcia R. Cerioli, Guilherme Silveira, and Petrucio Viana)
Proceedings of CNMAC 2016, XXXVI Congresso Nacional de Matemática Aplicada e Computacional, v. 5, n. 1, 2017.

Decomposition by maxclique separators. (With Márcia R. Cerioli and Petrucio Viana)
Discrete Mathematics 337:119–126, 2014.

Decomposições por cliques maximais e subgrafos proibidos para grafos de caminho. (in Portuguese, with Márcia R. Cerioli and Petrucio Viana)
Proceedings of XXXII Congresso da Sociedade Brasileira de Computação — Concurso de Teses e Dissertações, 2012.

On characterizations by nice forbidding sets. (With Márcia R. Cerioli and Petrucio Viana)
Proceedings of the Sixth European Conference on Combinatorics, Graph Theory and Applications, EuroComb 2011. Nešetřil, Győri, Sali (eds.). Electronic Notes in Discrete Mathematics, 38:233–238, 2011.

A partial characterization by forbidden subgraphs of edge path graphs. (With Márcia R. Cerioli and Petrucio Viana)
Proceedings of the 10th CologneTwente Workshop — CTW 2011, pp. 109–112, 2011.

Decomposition by maxclique separators. (With Márcia R. Cerioli and Petrucio Viana)
Proceedings of the 4th LatinAmerican Workshop on Cliques in Graphs, LawCliques’10. Matemática Contemporânea, 39:69–76, 2010.
Theses

Games for functions: Baire classes, Weihrauch degrees, transfinite computations, and ranks.
PhD thesis supervised by Benedikt Löwe at the Institute for Logic, Language and Computation of the University of Amsterdam, 2018.

Game characterizations of function classes and Weihrauch degrees.
MSc. thesis supervised by Benedikt Löwe at the Institute for Logic, Language and Computation of the University of Amsterdam, 2013.

Decomposição por Cliques Maximais e Subgrafos Proibidos para Grafos de Caminho. (in Portuguese)
MSc. thesis supervised by Márcia R. Cerioli and Petrucio Viana at the Systems and Computer Engineering Program of the Federal University of Rio de Janeiro, 2011.
English summary available.
Abstracts presented at conferences

Games for Baire classes and partition classes.
Colloquium Logicum 2016, Hamburg, 10–12 September 2016.

Game characterizations of functions of finite Baire class.
Annual Meeting 2015 of the Deutsche MathematikerVereinigung, Hamburg, 21–25 September 2015.

Game characterizations and Weihrauch degrees. (With Benedikt Löwe and Arno Pauly)
Twelfth International Conference on Computability and Complexity in Analysis, CCA 2015, Tokyo, 12–15 July 2015.

Obtaining Weihrauchcomplete functions and relations from sets of real numbers.
Colloquium Logicum 2014, Munich, 4–6 September 2014.

Game characterizations of function classes and Weihrauch degrees.
PhDs in Logic VI, Utrecht, 24–25 April 2014.

Characterizations by nice forbidding sets. (With Márcia R. Cerioli and Petrucio Viana)
XVI Brazilian Logic Conference, Petrópolis, 9–13 May 2011.

Decompositions by maxclique separators. (With Márcia R. Cerioli and Petrucio Viana)
4th Latin American Workship on Cliques in Graphs (LawCliques'10), Petrópolis, 16–19 November 2010.
Other talks given

Games for functions in descriptive set theory.
Seminar given at the Formal Methods and Verification group, Université Libre de Bruxelles, 7 October 2016.

Computable analysis and games in descriptive set theory.
Seminar given at the Isaac Newton Institute for Mathematical Sciences as part of the program Mathematical, Foundational and Computational Aspects of the Higher Infinite, 9 October 2015.

Jogos infinitos em teoria descritiva dos conjuntos. (in Portuguese)
Seminar given at the Institute of Mathematics and Statistics, Universidade do Estado do Rio de Janeiro, 24 June 2015.

Game characterizations of functions of finite Baire class.
Seminar given at the Department of Mathematics “Giuseppe Peano”, University of Turin, 29 May 2015.

Games in Descriptive Set Theory, or: it's all fun and games until someone loses the axiom of choice.
Cool Logic, University of Amsterdam, 22 May 2015.

Some Weihrauch completeness results for classes of functions in descriptive set theory.
Seminar given at the Logic & Algorithms Reading Group, University of Cambridge, 27 August 2014.

Connecting computable analysis and descriptive set theory via games.
Informal AmsterdamHamburg Set Theory Encounter, ILLC, 29 April 2014.

Characterizations by nice forbidding sets.
Cool Logic, University of Amsterdam, 2 November 2012.

Independência dos Axiomas de DedekindPeano. (in Portuguese)
XVIII Seminário de Iniciação Científica, Universidade Federal Fluminense, 2008.

Cálculos Relacionais: equações, inclusões e pontos. (in Portuguese)
XVII Seminário de Iniciação Científica, Universidade Federal Fluminense, 2007.