Publicações

2019. “Game characterizations and lower cones in the Weihrauch degrees”. Logical Methods in Computer Science 15(3). Coautoria com Arno Pauly.

PDF

2019. “'Infinito mais um' e outras curiosidades: uma breve introdução à teoria dos conjuntos”. Seminário, Departamento de Matemática Aplicada, Universidade Federal do Rio de Janeiro.

2018. “Jogos para funções em teoria descritiva dos conjuntos”. Seminário, Programa de Engenharia de Sistemas e Computação, Universidade Federal do Rio de Janeiro.

2018. “Games for functions: Baire classes, Weihrauch degrees, transfinite computations, and ranks”. Tese de doutorado, Institute for Logic, Language and Computation, University of Amsterdam. ISBN 978-94-028-1000-4. Orientado por Benedikt Löwe e Arno Pauly.

PDF

2017. “On the (in)dependence of the Dedekind-Peano axioms for natural numbers”. Proceedings of CNMAC 2016, XXXVI Congresso Nacional de Matemática Aplicada e Computacional 5(1). Coautoria com Márcia R. Cerioli, Guilherme Silveira e Petrucio Viana.

2017. “Game Characterizations and Lower Cones in the Weihrauch Degrees”. In: Kari J., Manea F., Petre I. (eds) Unveiling Dynamics and Complexity. CiE 2017. Lecture Notes in Computer Science 10307, pp. 327–337. Coautoria com Arno Pauly.

DOI

2017. “Towards Computable Analysis on the Generalised Real Line”. In: Kari J., Manea F., Petre I. (eds) Unveiling Dynamics and Complexity. CiE 2017. Lecture Notes in Computer Science 10307, pp. 246–257. Coautoria com Lorenzo Galeotti.

DOI

2016. “Games for functions in descriptive set theory”. Seminário, Formal Methods and Verification group, Université Libre de Bruxelles.

2016. “Games for Baire classes and partition classes”. Colloquium Logicum 2016, Hamburg.

2015. “Computable analysis and games in descriptive set theory”. Seminário, Mathematical, Foundational and Computational Aspects of the Higher Infinite, Isaac Newton Institute for Mathematical Sciences, Cambridge.

2015. “Game characterizations of functions of finite Baire class”. DMV 2015, Annual Meeting 2015 of the Deutsche Mathematiker-Vereinigung, Hamburg.

2015. “Game characterizations and Weihrauch degrees”. CCA 2015, Twelfth International Conference on Computability and Complexity in Analysis, Tokyo. Coautoria com Benedikt Löwe e Arno Pauly.

2015. “Jogos infinitos em teoria descritiva dos conjuntos”. Seminário, Instituto de Matemática e Estatística, Universidade do Estado do Rio de Janeiro.

2015. “Game characterizations of functions of finite Baire class”. Seminário, Dipartimento di Matematica Giuseppe Peano, Università degli Studi di Torino.

2015. “Games in Descriptive Set Theory, or: it's all fun and games until someone loses the axiom of choice”. Seminário, Cool Logic, Universiteit van Amsterdam.

Slides

2014. “Decomposition by maxclique separators”. Discrete Mathematics 337, 119–126. Coautoria com Márcia R. Cerioli e Petrucio Viana.

DOI

2014. “Obtaining Weihrauch-complete functions and relations from sets of real numbers”. Colloquium Logicum 2014, Munich.

Slides

2014. “Some Weihrauch completeness results for classes of functions in descriptive set theory”. Seminário, Logic & Algorithms Reading Group, University of Cambridge.

2014. “Game characterizations of function classes and Weihrauch degrees”. PhDs in Logic VI, Utrecht.

2014. “Connecting computable analysis and descriptive set theory via games”. Seminário, Informal Amsterdam-Hamburg Set Theory Encounter, Institute for Logic, Language, and Computation.

Slides

2013. “Game characterizations of some classes of functions in Baire space”. Seminário, Grupo de Lógica, Universidade Federal Fluminense.

Slides

2013. “Game characterizations of function classes and Weihrauch degrees”. Dissertação de mestrado, Institute for Logic, Language and Computation, University of Amsterdam. Orientado por Benedikt Löwe.

PDF

2012. “Characterizations by nice forbidding sets”. Seminário, Cool Logic, Universiteit van Amsterdam.

Slides

2012. “Decomposições por cliques maximais e subgrafos proibidos para grafos de caminho”. CTD 2012, Proceedings of XXXII Congresso da Sociedade Brasileira de Computação – Concurso de Teses e Dissertações. Orientado por Márcia R. Cerioli e Petrucio Viana.

2011. “On characterizations by nice forbidding sets”. Electronic Notes in Discrete Mathematics 38, 233–238. Coautoria com Márcia R. Cerioli e Petrucio Viana.

DOI

2011. “A partial characterization by forbidden subgraphs of edge path graphs”. In: L. Adacher et al. (eds), CTW 2011, Proceedings of the 10th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, held in Villa Mondragone, Frascati, Italy, June 14–16, 2011, pp. 109–112. Coautoria com Márcia R. Cerioli e Petrucio Viana.

PDF

2011. “Characterizations by nice forbidding sets”. EBL 2011, XVI Brazilian Logic Conference, Petrópolis, 9–13 May. Coautoria com Márcia R. Cerioli e Petrucio Viana.

2011. “Decomposição por cliques maximais e subgrafos proibidos para grafos de caminho”. Dissertação de mestrado, Programa de Engenharia e Sistemas, COPPE/UFRJ. Orientado por Márcia R. Cerioli e Petrucio Viana.

PDF

2010. “Decomposition by maxclique separators”. LawCliques'10, Proceedings of the 4th Latin-American Workshop on Cliques in Graphs. Matemática Contemporânea 39, 69-76. Coautoria com Márcia R. Cerioli e Petrucio Viana.

2008. “Independência dos Axiomas de Dedekind-Peano”. XVIII Seminário de Iniciação Científica, Universidade Federal Fluminense. Orientado por Petrucio Viana.

2007. “Cálculos Relacionais: equações, inclusões e pontos”. XVII Seminário de Iniciação Científica, Universidade Federal Fluminense. Orientado por Petrucio Viana.