Departamento de Teoria da Computação   Produções / Trabalhos completos publicados em anais de congresso Trabalhos completos em anais de congressos (nacional)   1.   Vieira Moura, Arnaldo (autor); Pinto, Guilherme A. (autor); "On the verification of non-deterministic automata specifications of probabilistic real-time systems", 11/2000, CIENTÍFICO NACIONAL, III Workshop on Formal Methods, Vol. 1, pp.181-192, João Pessoa, PA, BRASIL, 2000   2.   Lozada, Luis Arturo P. (autor); Mendonça Neto, Cândido F.X. (autor); Stolfi, Jorge (autor); "Visualization of Three-Dimensional Maps", 10/2000, CIENTÍFICO NACIONAL, 13º SIBGRAPI'2000-Brazilian Symp.on Comp.Graphics and Image Processing, Vol. 1, pp.251-258, Gramado, RS, BRASIL, 2000   3.   Setubal, João Carlos (autor); "Uma proposta de plano pedagogico para a materia computacao e algoritmos", 07/2000, CIENTÍFICO NACIONAL, Workshop de Educacao em Informatica, Vol. 1, pp.1-21, Curitiba, PR, BRASIL, 2000