Veröffentlichungen

Artikel

  • Presentations of parabolics in some elementary Chevalley--Demazure groups, Vorabdruck, 2018. (arXiv:1801.05320)
  • Formalization in PVS of balancing properties necessary for proving security of the Dolev--Yao cascade protocol model (mit Maurício Ayala-Rincón), J. Formaliz. Reason., vol. 6, no. 1, 2013, 31--61. (Journal; vollständige PVS-Theorie: PVS 5.n, PVS 6.0)

Weitere wissenschaftliche Arbeiten

  • Arithmetic groups and Reidemeister classes, erweitere Zusammenfassung, in: "Geometric structures in group theory" [Bridson, M., Druțu, C., Kramer, L., Rémy, B., Schwer, P. (orgs.)], Oberwolfach Rep., vol 17, no. 2/3, 2020, 900--903. (Journal)
  • Finiteness properties of split extensions of linear groups, Dissertation, Universität Bielefeld, Bielefeld, 2019. (DOI:10.4119/unibi/2937569)
  • Spraiges, 3-manifolds, and conjugacy for a braided Thompson group, erweiterte Zusammenfassung, in: "Cohomological and metric properties of groups of homeomorphism of R" [Burillo, J., Bux, K.-U., Nucinkis, B. E. A. (Orgs.)], Oberwolfach Rep., vol. 15, no. 2, 2018, 1594--1598. (Journal)
  • A desigualdade de Golod--Šafarevič para grupos pro-p e grupos abstratos, Masterarbeit, Unicamp, Campinas, 2014. (DOI:10.47749/T/UNICAMP.2014.932005, auf Portugiesisch)
  • Vivências matemáticas (with Paula Macedo Lins de Araujo and Mauro Luiz Rabelo), in: Anais do II EnaPETMAT, pp. 7, Universidade Federal do Goiás (UFG), Goiânia, 2010. (PDF, auf Portugiesisch)

Letzte Änderung: 15.01.2024 - Ansprechpartner: Yuri Santos Rego