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 1 a 20 de 25
Siguiente >
Fecha de publicación
Data de defesa
Título
Autor(es)
Orientador(es)
Coorientador(es):
17-may-2017
3-mar-2017
Cálculo da distância de reversão e construção de árvores filogenéticas usando a ordem dos genes
Soncco Álvarez, José Luis
Ayala-Rincón, Mauricio
-
29-jun-2011
5-mar-2010
Cálculos de substituições explícitas à la de Bruijn com sistemas de tipos com interseção
Ventura, Daniel Lima
Ayala-Rincón, Mauricio
-
16-oct-2024
26-abr-2024
Dynamically reconfigurable heterogeneous parallel island model
Silveira, Lucas Ângelo da
Ayala-Rincón, Mauricio
-
12-mar-2021
30-sep-2020
Um estudo em unificação e desunificação módulo
Arshid, Mehwish
Ayala-Rincón, Mauricio
-
29-jul-2013
29-nov-2012
Expansibilidade em cálculos de substituições explícitas
Silva, Fábio Henrique da
Ayala-Rincón, Mauricio
Ventura, Daniel Lima
4-may-2015
22-ago-2014
Formalização da automação da terminação através de grafos com matrizes de medida
Avelar, Andréia Borges
Ayala-Rincón, Mauricio
-
20-dic-2012
17-ago-2012
Formalização da confluência para sistemas de reescrita ortogonais
Oliveira, Ana Cristina Rocha
Ayala-Rincón, Mauricio
-
7-may-2011
3-dic-2009
Formalização da prova do teorema de existência de unificadores mais gerais em teorias de primeira-ordem
Avelar, Andréia Borges
Ayala-Rincón, Mauricio
Galdino, André Luiz
2008
2008
Uma formalização da teoria de reescrita em linguagem de ordem superior
Galdino, André Luiz
Ayala-Rincón, Mauricio
-
27-abr-2017
2-mar-2017
Formalização da terminação de especificações funcionais
Ramos, Thiago Mendonça Ferreira
Ayala-Rincón, Mauricio
-
1-jun-2022
11-mar-2022
Grammar compression by induced suffix sorting
Nunes, Daniel Saad Nogueira
Ayala-Rincón, Mauricio
-
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
-