Skip navigation
Communautés
Parcourir le dépôt par :
Author
Orientador
Coorientador
Title
Subject
Tipo
Issue Date
???browse.menu.unidade???
???browse.menu.ppg???
Documentos
Portaria n.13 CAPES
Resolução - Política de Informação do RIUnB
Resolução VRT n.27-2014 - Alteração de Teses e Dissertações
Creative Commons
Termo de Autorização - Teses e Dissertações
Termo de Autorização - Artigos e Outros
Modelo de Justificativa - Publicação Parcial
Modelo de Justificativa - Extensão de Prazo
A-
A
A+
Services personnalisés :
Espace personnel
Recevoir les nouveautés
Modifier mon profil
Voltar
Repositório Institucional da UnB
Browsing by Orientador Ayala-Rincón, Mauricio
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:
Sort by:
title
issue date
submit date
Data de defesa
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 21 to 25 of 25
< previous
Date de publication
Data de defesa
Titre
Auteur(s)
Orientador(es)
Coorientador(es):
30-oct-2013
17-mai-2013
Um índice baseado em árvores de sufixos comprimidas com baixo consumo de memória
Nunes, Daniel Saad Nogueira
Ayala-Rincón, Mauricio
-
1-fév-2017
15-sep-2016
Unificação, confluência e tipos com interseção para sistemas de reescrita nominal
Valverde, Ana Cristina Rocha Oliveira
Ayala-Rincón, Mauricio
Fernández, Maribel
13-aoû-2024
15-jui-2023
Verificação das propriedades computacionais de um modelo funcional de primeira-ordem
Ramos, Thiago Mendonça Ferreira
Ayala-Rincón, Mauricio
Muñoz, César Augusto
22-oct-2014
4-jui-2014
Verificação de implementações em hardware por meio de provas de correção de suas definições recursivas
Almeida, Ariane Alves
Ayala-Rincón, Mauricio
-
2008
2008
Verificação formal de protocolos criptográficos – o caso dos protocolos em cascata
Nogueira, Rodrigo Borges
Ayala-Rincón, Mauricio
-
