Skip navigation
Universidade de Brasília

Navegando por Unidade Acadêmica Departamento de Ciência da Computação (IE CIC)

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 491 a 500 de 500 < 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-
Dez-2019-Vocal fold oscillators at large asymmetriesLucero, Jorge Carlos; Pelorson, X.; Hirtum, A. V.--
-18-Fev-2020What could the source code history tell UsAbout errorsAmaral, Luis Henrique VieiraAlmeida, Rodrigo Bonifácio de-
Out-2020-What do female students in middle and high schools think about computer science majors in Brasilia, Brazil? : a survey in 2011 and 2019Holanda, Maristela Terto de; Mourão, Roberto N.; Borries, George Freitas von; Ramos, Guilherme Novaes; Araújo, Aletéia Patrícia Favacho de; Walter, Maria Emília Machado Telles--
20-Jul-202312-Dez-2022When technical solutions are not enough : analysing challenges at delivery in mixed-signal projects inside design houses : Software Engineering research perspectiveVidigal, Tiago PereiraAguiar, Carla Silva Rocha-
Mostrando resultados 491 a 500 de 500 < Anterior