Departamento de Teoria da Computação

Relatórios Técnicos

  1. Guilherme A. Pinto e Arnaldo Vieira Moura, "On the Verification of Nondeterministic Automata Specifications of Probabilistic Real-Time Systems. RT/IC-27/99", (1999). [94482]
  2. Flávio K. Miyazawa e Y. Wakabayashi, "Cube Packing. RT/IC-25/99", (1999). [94486]
  3. Rodrigo B. Westrupp e Pedro Jussieu de Rezende, "An optimal algorithm to construct all Voronoi diagrams for k nearest neighbor search in T^2. RT/IC-23/99", (1999). [94489]
  4. Arnaldo Vieira Moura, Cid Carvalho de Souza e Tallys H. Yunes, "Solving Large Scale Crew Scheduling Problems with Constraint Programming and Integer Programming. RT/IC-19/99", (1999). [94495]
  5. Arnaldo Vieira Moura, Adilson L. Bonifácio, João B. Camargo Jr. e Jorge R. Almeida Jr., "Análise, Verificação e Síntese de Segmentos de Via de uma Malha Metroviária. RT/IC-18/99", (1999). [94497]
  6. Érico F. Xavier, Cândido F. Xavier Mendonça Neto, Jorge Stolfi, Luerbio Faria e Celina M.H.de Figueiredo, "The Vertex Deletion Number and Splitting Number of a Triangulation of C_n \times C_m. RT/IC-15/99", (1999). [94500]
  7. Érico F. Xavier, Cândido F. Xavier Mendonça Neto, Luerbio Faria, Celina M.H.de Figueiredo e Jorge Stolfi, "The Vertex Deletion Number of C_n \times C_m. RT/IC-14/99", (1999). [94503]
  8. Denise Guarnieri Batista e Arnaldo Vieira Moura, "Aplicações de Programação por Restrições. RT/IC-13/99", (1999). [94505]
  9. Nalvo Franco Almeida Junior, João Carlos Setubal e Martin Tompa, "On the Use of Don't Care Regions for Protein Sequence Alignment. RT/IC-07/99", (1999). [94515]
  10. Alexandre Melo Braga, Ricardo Dahab e Cecília Mary Fischer Rubira, "A Meta-Object Library for Cryptography. RT/IC-06/99", (1999). [94516]
  11. Alexandre Melo Braga, Ricardo Dahab e Cecília Mary Fischer Rubira, "Composing Cryptographic Services: A Comparison of Six Cryptographic APIs. RT/IC-05/99", (1999). [94517]
  12. Alexandre Melo Braga, Ricardo Dahab e Cecília Mary Fischer Rubira, "A Reflective Variation for the Cryptographic Design Pattern. RT/IC-04/99", (1999). [94518]
  13. Alexandre Melo Braga, Ricardo Dahab e Cecília Mary Fischer Rubira, "Tropyc: A Pattern Language for Cryptographic Software. RT/IC-03/99", (1999). [94519]
  14. Marcos Nereu Arenales, Carlos E. Ferreira, Yoshiko Wakabayashi, Luiz A.N. Lorena, Horácio H. Yanasse, Nelson Maculan, Flávio K. Miyazawa, Reinaldo Morabito e Nei Yoshihiro Soma, "PCE - Packing, Cutting and Related Problems: Results of a Project Supported by CNPq", (1999). [94586]
  15. Luis Arturo P. Lozada, Cândido F. Xavier Mendonça Neto e Jorge Stolfi, "Automatic Visualization of 3D Complexes. RT/IC-28/99", (1999). [95424]
  16. Helena Cristina G. Leitão e Jorge Stolfi, "Information Contents of Fracture Lines. RT/IC-24/99", (1999). [95425]