Skip navigation
Universidade de Brasília

Navegando por Orientador Ayala-Rincón, Mauricio

Ir para: 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
ou entre com as primeiras letras:  
Mostrando resultados 1 a 20 de 25  Próximo >
Data de publicaçãoData de defesaTítuloAutor(es)Orientador(es)Coorientador(es)
17-Mai-20173-Mar-2017Cálculo da distância de reversão e construção de árvores filogenéticas usando a ordem dos genesSoncco Álvarez, José LuisAyala-Rincón, Mauricio-
29-Jun-20115-Mar-2010Cálculos de substituições explícitas à la de Bruijn com sistemas de tipos com interseçãoVentura, Daniel LimaAyala-Rincón, Mauricio-
16-Out-202426-Abr-2024Dynamically reconfigurable heterogeneous parallel island modelSilveira, Lucas Ângelo daAyala-Rincón, Mauricio-
12-Mar-202130-Set-2020Um estudo em unificação e desunificação móduloArshid, MehwishAyala-Rincón, Mauricio-
29-Jul-201329-Nov-2012Expansibilidade em cálculos de substituições explícitasSilva, Fábio Henrique daAyala-Rincón, MauricioVentura, Daniel Lima
4-Mai-201522-Ago-2014Formalização da automação da terminação através de grafos com matrizes de medidaAvelar, Andréia BorgesAyala-Rincón, Mauricio-
20-Dez-201217-Ago-2012Formalização da confluência para sistemas de reescrita ortogonaisOliveira, Ana Cristina RochaAyala-Rincón, Mauricio-
7-Mai-20113-Dez-2009Formalização da prova do teorema de existência de unificadores mais gerais em teorias de primeira-ordemAvelar, Andréia BorgesAyala-Rincón, MauricioGaldino, André Luiz
20082008Uma formalização da teoria de reescrita em linguagem de ordem superiorGaldino, André LuizAyala-Rincón, Mauricio-
27-Abr-20172-Mar-2017Formalização da terminação de especificações funcionaisRamos, Thiago Mendonça FerreiraAyala-Rincón, Mauricio-
1-Jun-202211-Mar-2022Grammar compression by induced suffix sortingNunes, Daniel Saad NogueiraAyala-Rincón, Mauricio-
27-Set-201920-Fev-2019Nominal equational problems modulo associativity, commutativity and associativity-commutativityCarvalho Segundo, Washington Luís Ribeiro deAyala-Rincón, MauricioFernández, Maribel
9-Dez-20136-Set-2013O problema da dedução do intruso para teorias AC-convergentes localmente estáveisNantes Sobrinho, DanieleAyala-Rincón, MauricioFernández, Maribel
20092009O problema da dedução do intruso para um protocolo criptográfico especificado via reescrita módulo ACNantes Sobrinho, DanieleAyala-Rincón, Mauricio-
4-Nov-20219-Jul-2021On Termination by Dependency Pairs and Termination of First-Order Functional Specifications in PVSAlmeida, Ariane AlvesAyala-Rincón, MauricioMuñoz, César Augusto
8-Nov-201229-Jun-2012Ordenação de sequências finitas por reversões usando conjugações em grupos de permutaçõesMoraes, José Luiz Correa deAyala-Rincón, Mauricio-
2-Ago-201325-Fev-2013Ordenação por reversões de permutações sem sinal usando uma abordagem de algoritmos genéticosSoncco Álvarez, José LuisAyala-Rincón, Mauricio-
30-Mai-201629-Fev-2016Ordenação por translocação de genomas sem sinal utilizando algoritmos genéticosSilveira, Lucas Ângelo daAyala-Rincón, Mauricio-
3-Dez-20102010Representação combinatória e algébrica das permutações na análise do problema de rearranjo de genomas por reversõesLima, Thaynara Arielly deAyala-Rincón, Mauricio-
26-Nov-200919-Dez-2006Um 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çoMiranda, Rodrigo César de CastroAyala-Rincón, Mauricio-
Mostrando resultados 1 a 20 de 25  Próximo >