Skip navigation
Communities
Browse
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+
Sign on to:
My DSpace
Receive email
updates
Edit Profile
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 1 to 20 of 25
next >
Issue Date
Data de defesa
Title
Author(s)
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-Apr-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-Aug-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-Dec-2012
17-Aug-2012
Formalização da confluência para sistemas de reescrita ortogonais
Oliveira, Ana Cristina Rocha
Ayala-Rincón, Mauricio
-
7-May-2011
3-Dec-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-Apr-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-Dec-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-Aug-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-Dec-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-Dec-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
-