Skip navigation

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 >
Issue DateData de defesaTitleAuthor(s)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-Apr-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-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-