Repositório Institucional da UnB: Browsing DSpace

Showing results 16 to 21 of 21 < previous

Issue Date	Data de defesa	Title	Author(s)	Orientador(es)	Coorientador(es):
3-Dec-2010	2010	Representação combinatória e algébrica das permutações na análise do problema de rearranjo de genomas por reversões	Lima, Thaynara Arielly de	*Ayala-Rincón, Mauricio*	-
26-Nov-2009	19-Dec-2006	Um 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ço	Miranda, Rodrigo César de Castro	*Ayala-Rincón, Mauricio*	-
30-Oct-2013	17-May-2013	Um índice baseado em árvores de sufixos comprimidas com baixo consumo de memória	Nunes, Daniel Saad Nogueira	*Ayala-Rincón, Mauricio*	-
1-Feb-2017	15-Sep-2016	Unificação, confluência e tipos com interseção para sistemas de reescrita nominal	Valverde, Ana Cristina Rocha Oliveira	*Ayala-Rincón, Mauricio*	Fernández, Maribel
22-Oct-2014	4-Jul-2014	Verificação de implementações em hardware por meio de provas de correção de suas definições recursivas	Almeida, Ariane Alves	*Ayala-Rincón, Mauricio*	-
2008	2008	Verificação formal de protocolos criptográficos – o caso dos protocolos em cascata	Nogueira, Rodrigo Borges	*Ayala-Rincón, Mauricio*	-

Showing results 16 to 21 of 21 < previous

Browsing by Orientador Ayala-Rincón, Mauricio