Instituto de Computação   Departamento de Teoria da Computação   Produções / Trabalhos completos publicados em anais de congresso Trabalhos completos em anais de congressos (internacional)   1.   MELLO, Célia Picinin de; MORGANA, Maria Aurora; "The clique operator on extended P_4-sparse graphs", 10/2002, XI CLAIO - Congresso Latino-Iberoamericano de Investigación de Operaciones, Vol. 1, pp.15-25, Concepción, CHILE, 2002   2.   DAHAB, Ricardo; MONTEIRO, José Roberto M.; "An Attack on a Protocol for Certified Delivery", 09/2002, ISC 2002 - 5th. International Security Conference, Vol. 2433, pp.428-436, São Paulo, SP, BRASIL, 2002   3.   MOURA, Arnaldo Vieira; PINTO, Guilherme A.; "Classes of Timed Automata and the Undecidability of Universality", 04/2002, Theory and Practice of timed System - 2002, Vol. 1, pp.1-16, Grenoble, FRANCA, 2002   4.   DIAS VIEIRA BRAGA, Marilia; MEIDANIS, João; "An algorithm that builds a set of strings given its overlap graph", 04/2002, Latin American Theoretical Informatics (LATIN02), Vol. 1, pp.52-63, Cancun, MEXICO, 2002