Skip navigation

Browsing by ???browse.type.metadata.unidade??? Departamento de Ciência da Computação (IE CIC)

Jump to: 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
or enter first few letters:  
Showing results 551 to 562 of 562 < previous 
Issue DateData de defesaTitleAuthor(s)Orientador(es)Coorientador(es):
13-Aug-202415-Jun-2023Verificação das propriedades computacionais de um modelo funcional de primeira-ordemRamos, Thiago Mendonça FerreiraAyala-Rincón, MauricioMuñoz, César Augusto
22-Oct-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-May-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-May-202026-Jul-2019Verification of the Dynamic Authorization ProtocolOliveira, Felipe Rodopoulos deNalon, Cláudia-
13-Aug-202418-Jan-2024Visual and textual feature fusion for document analysisDrumond, Patrícia Medyna Lauritzen de LucenaCampos, Teófilo Emídio de-
7-Dec-20092006Visualização de dados genômicos do fungo Paracoccidioides brasiliensisFerreira, Marcos Francisco RibeiroWalter, Maria Emília Machado Telles-
Dec-2019-Vocal fold oscillators at large asymmetriesLucero, Jorge Carlos; Pelorson, X.; Hirtum, A. V.--
-18-Feb-2020What could the source code history tell UsAbout errorsAmaral, Luis Henrique VieiraAlmeida, Rodrigo Bonifácio de-
Oct-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-Dec-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-