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 6 to 25 of 25 < previous 
Issue DateData de defesaTitleAuthor(s)Orientador(es)Coorientador(es):
4-May-201522-Aug-2014Formalização da automação da terminação através de grafos com matrizes de medidaAvelar, Andréia BorgesAyala-Rincón, Mauricio-
20-Dec-201217-Aug-2012Formalização da confluência para sistemas de reescrita ortogonaisOliveira, Ana Cristina RochaAyala-Rincón, Mauricio-
7-May-20113-Dec-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-Apr-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-Dec-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-Aug-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-Dec-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-Dec-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-
30-Oct-201317-May-2013Um índice baseado em árvores de sufixos comprimidas com baixo consumo de memóriaNunes, Daniel Saad NogueiraAyala-Rincón, Mauricio-
1-Feb-201715-Sep-2016Unificação, confluência e tipos com interseção para sistemas de reescrita nominalValverde, Ana Cristina Rocha OliveiraAyala-Rincón, MauricioFernández, Maribel
13-Aug-202415-Jun-2023Verificação das propriedades computacionais de um modelo funcional de primeira-ordemRamos, Thiago Mendonça FerreiraAyala-Rincón, MauricioMuñoz, César Augusto
22-Oct-20144-Jul-2014Verificação de implementações em hardware por meio de provas de correção de suas definições recursivasAlmeida, Ariane AlvesAyala-Rincón, Mauricio-
20082008Verificação formal de protocolos criptográficos – o caso dos protocolos em cascataNogueira, Rodrigo BorgesAyala-Rincón, Mauricio-
Showing results 6 to 25 of 25 < previous