Skip navigation
Universidade de Brasília

Navegando por Programa de pós-graduação Programa de Pós-Graduação em Informática

Ir para: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
ou entre com as primeiras letras:  
Mostrando resultados 258 a 264 de 264 < Anterior 
Data de publicaçãoData de defesaTítuloAutor(es)Orientador(es)Coorientador(es)
22-Out-20144-Jul-2014Verificação de implementações em hardware por meio de provas de correção de suas definições recursivasAlmeida, Ariane AlvesAyala-Rincón, Mauricio-
11-Mai-201113-Jul-2010Verificação de propriedades do cálculo גex em CoqCarvalho Segundo, Washington Luís Ribeiro deMoura, Flávio Leonardo Cavalcanti de-
17-Jul-201510-Mar-2015Verificação de texto manuscrito em dispositivos móveisGuerin Júnior, Nilson DonizeteEspinoza, Bruno Luiggi MacchiavelloVidal, Flávio de Barros
20082008Verificação formal de protocolos criptográficos – o caso dos protocolos em cascataNogueira, Rodrigo BorgesAyala-Rincón, Mauricio-
15-Mai-202026-Jul-2019Verification of the Dynamic Authorization ProtocolOliveira, Felipe Rodopoulos deNalon, Cláudia-
7-Dez-20092006Visualização de dados genômicos do fungo Paracoccidioides brasiliensisFerreira, Marcos Francisco RibeiroWalter, Maria Emília Machado Telles-
-18-Fev-2020What could the source code history tell UsAbout errorsAmaral, Luis Henrique VieiraAlmeida, Rodrigo Bonifácio de-
Mostrando resultados 258 a 264 de 264 < Anterior