Repositório Institucional da UnB: Browsing DSpace

Showing results 1 to 20 of 21 next >

Issue Date	Data de defesa	Title	Author(s)	Orientador(es)	Coorientador(es):
-	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*	-
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*	-
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*	-
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*	-
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
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*	-

Showing results 1 to 20 of 21 next >

Browsing by Orientador Ayala-Rincón, Mauricio