Skip navigation
Universidade de Brasília

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:  
Showing results 1 to 20 of 25  next >
Date de publicationData de defesaTitreAuteur(s)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-jui-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-avr-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-jui-201329-nov-2012Expansibilidade em cálculos de substituições explícitasSilva, Fábio Henrique daAyala-Rincón, MauricioVentura, Daniel Lima
4-mai-201522-aoû-2014Formalização da automação da terminação através de grafos com matrizes de medidaAvelar, Andréia BorgesAyala-Rincón, Mauricio-
20-déc-201217-aoû-2012Formalização da confluência para sistemas de reescrita ortogonaisOliveira, Ana Cristina RochaAyala-Rincón, Mauricio-
7-mai-20113-déc-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-avr-20172-mar-2017Formalização da terminação de especificações funcionaisRamos, Thiago Mendonça FerreiraAyala-Rincón, Mauricio-
1-jui-202211-mar-2022Grammar compression by induced suffix sortingNunes, Daniel Saad NogueiraAyala-Rincón, Mauricio-
27-sep-201920-fév-2019Nominal equational problems modulo associativity, commutativity and associativity-commutativityCarvalho Segundo, Washington Luís Ribeiro deAyala-Rincón, MauricioFernández, Maribel
9-déc-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-jui-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-jui-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-aoû-201325-fév-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-fév-2016Ordenação por translocação de genomas sem sinal utilizando algoritmos genéticosSilveira, Lucas Ângelo daAyala-Rincón, Mauricio-
3-déc-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-déc-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-
Showing results 1 to 20 of 25  next >