Defesa de Mestrado da Sara Malvar Mauá (Julho-2015). Banca Examinadora: Jorge Lucero (CIC/MAT-UnB), Adriano Fabro (ENM-UnB), FRC (Orientador), Sara Mauá, Henrique Malvar (Convidado Especial - Microsoft Research).