Browsing by Advisor Moura, Arnaldo Vieira, 1950-

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 13 of 13
PreviewIssue DateTitleAuthor(s)AdvisorType
2000Verificação e sintese de sistemas hibridosBonifácio, Adilson LuizMoura, Arnaldo Vieira, 1950-TESE
2014Computação quântica e teoria de computaçãoGrilo, Alex Bredariol, 1987-Moura, Arnaldo Vieira, 1950-TESE
2009Geração de conjuntos de teste para sistemas reativos, de tempo-real, e com transformações de contextoBonifácio, Adilson LuizMoura, Arnaldo Vieira, 1950-TESE
2000Problemas de escalonamento no transporte coletivo : programação por restrições e outras tecnicasYunes, Tallys HooverMoura, Arnaldo Vieira, 1950-TESE
2010Geração automática de casos de testes para máquinas de estados finitosPedrosa, Lehilton Lelis Chaves, 1985-Moura, Arnaldo Vieira, 1950-TESE
2015Quantum computing = automata, games, and complexity = Computação quântica: autômatos, jogos e complexidadeJeronimo, Fernando Granha, 1987-Moura, Arnaldo Vieira, 1950-TESE DIGITAL
2008Modelos computacionais para o escalonamento de tarefas em redes de dutosCire, Andre AugustoMoura, Arnaldo Vieira, 1950-TESE
2011Métodos formais algébricos para geração de invariantesRebiha, Rachid, 1977-Moura, Arnaldo Vieira, 1950-TESE
2003Grau de indecidibilidade da universidade para subclasses de automatos temporizadosPinto, Guilherme AlbuquerqueMoura, Arnaldo Vieira, 1950-TESE
2002Ferramentas computacionais hibridas para a otimização da produção de petroleo em aguas profundasNascimento, Juliana Martins doMoura, Arnaldo Vieira, 1950-TESE
2010O problema de planejamento e agendamento de operações em uma rede de oleodutosLopes, Tony Minoru TamuraMoura, Arnaldo Vieira, 1950-TESE
2010Criação de uma biblioteca padrão para a linguagem HasCASLCabral, Glauber MódoloMoura, Arnaldo Vieira, 1950-TESE
2010Complexidade computacional e o problema P vs NPOliveira, Igor CarboniMoura, Arnaldo Vieira, 1950-TESE