Arndt, Freire, Luciano, Mariano: Fibring and sheaves, Proceedings of the 2nd Indian International Conference on Artificial Intelligence, Pune, India, 2005
Theses
The equivalence of edge symmetric double groupoids with connection and crossed modules over groupoids, Diplom thesis (M.Sc.), 2005, in German, supervisor: Prof. Dr. K.H. Kamps, FernUniversität Hagen, Germany
Finiteness in Toposes, master thesis, 2005, in Portuguese, supervisor: Prof. Dr. M. Coniglio, Unicamp, Campinas, Brazil
Abstract motivic homotopy theory, PhD thesis, 2016, supervisor: Prof. Dr. M. Spitzweck, University of Osnabrück, Osnabrück, Germany
Upcoming preprints / works in progress
Ranges of functors and elementary classes via topos theory (see video below)
Kappa filter pairs and natural extensions, with H. Mariano and D. Pinto
Horn filter pairs and Craig interpolation, with H. Mariano and D. Pinto