Skip navigation
Comunidades
Listar
Autor
Orientador
Coorientador
Título
Materia
Tipo
Fecha Publicación
???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+
Servicios
Mi DSpace
Alertas
Editar perfil
Voltar
Repositório Institucional da UnB
Buscar por Orientador Ayala-Rincón, Mauricio
Ir a:
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
O introducir las primeras letras:
Ordenar por:
Título
Fecha de publicación
Fecha de envío
Data de defesa
En orden:
Ascendente
Descendente
Resultados por página
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Autor/Registro:
Todo
1
5
10
15
20
25
30
35
40
45
50
Mostrando resultados 12 a 25 de 25
< Anterior
Fecha de publicación
Data de defesa
Título
Autor(es)
Orientador(es)
Coorientador(es):
27-sep-2019
20-feb-2019
Nominal equational problems modulo associativity, commutativity and associativity-commutativity
Carvalho Segundo, Washington Luís Ribeiro de
Ayala-Rincón, Mauricio
Fernández, Maribel
9-dic-2013
6-sep-2013
O problema da dedução do intruso para teorias AC-convergentes localmente estáveis
Nantes Sobrinho, Daniele
Ayala-Rincón, Mauricio
Fernández, Maribel
2009
2009
O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo AC
Nantes Sobrinho, Daniele
Ayala-Rincón, Mauricio
-
4-nov-2021
9-jul-2021
On Termination by Dependency Pairs and Termination of First-Order Functional Specifications in PVS
Almeida, Ariane Alves
Ayala-Rincón, Mauricio
Muñoz, César Augusto
8-nov-2012
29-jun-2012
Ordenação de sequências finitas por reversões usando conjugações em grupos de permutações
Moraes, José Luiz Correa de
Ayala-Rincón, Mauricio
-
2-ago-2013
25-feb-2013
Ordenação por reversões de permutações sem sinal usando uma abordagem de algoritmos genéticos
Soncco Álvarez, José Luis
Ayala-Rincón, Mauricio
-
30-may-2016
29-feb-2016
Ordenação por translocação de genomas sem sinal utilizando algoritmos genéticos
Silveira, Lucas Ângelo da
Ayala-Rincón, Mauricio
-
3-dic-2010
2010
Representação combinatória e algébrica das permutações na análise do problema de rearranjo de genomas por reversões
Lima, Thaynara Arielly de
Ayala-Rincón, Mauricio
-
26-nov-2009
19-dic-2006
Um algoritmo para pesquisa aproximada de padrões baseado no método de Landau e Vishkin e uso de arranjos de sufixos para reduzir o uso de espaço
Miranda, Rodrigo César de Castro
Ayala-Rincón, Mauricio
-
30-oct-2013
17-may-2013
Um índice baseado em árvores de sufixos comprimidas com baixo consumo de memória
Nunes, Daniel Saad Nogueira
Ayala-Rincón, Mauricio
-
1-feb-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-ago-2024
15-jun-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-jul-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
-