Skip navigation
Universidade de Brasília

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:  
Mostrando resultados 1 a 20 de 25  Siguiente >
Fecha de publicaciónData de defesaTítuloAutor(es)Orientador(es)Coorientador(es):
17-may-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-oct-202426-abr-2024Dynamically reconfigurable heterogeneous parallel island modelSilveira, Lucas Ângelo daAyala-Rincón, Mauricio-
12-mar-202130-sep-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-may-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-dic-201217-ago-2012Formalização da confluência para sistemas de reescrita ortogonaisOliveira, Ana Cristina RochaAyala-Rincón, Mauricio-
7-may-20113-dic-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-sep-201920-feb-2019Nominal equational problems modulo associativity, commutativity and associativity-commutativityCarvalho Segundo, Washington Luís Ribeiro deAyala-Rincón, MauricioFernández, Maribel
9-dic-20136-sep-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-feb-2013Ordenação por reversões de permutações sem sinal usando uma abordagem de algoritmos genéticosSoncco Álvarez, José LuisAyala-Rincón, Mauricio-
30-may-201629-feb-2016Ordenação por translocação de genomas sem sinal utilizando algoritmos genéticosSilveira, Lucas Ângelo daAyala-Rincón, Mauricio-
3-dic-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-dic-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  Siguiente >