|
|
Departamento de Teoria da Computação
Produções / Trabalhos completos publicados em anais de congresso
Trabalhos completos em anais de congressos (internacional)
1.
|
|
Hernandez, Julio Cesar L. (autor); Dahab, Ricardo (autor); "High-Speed software multiplication in F_{2^n}}", 12/2000, CIENTÍFICO INTERNACIONAL, Indocrypt 2000, Vol. 1, pp.1-10, Calcutá, INDIA, 2000
|
2.
|
|
Vieira Moura, Arnaldo (autor); Bonifácio, Adilson L. (autor); "Modeling and Parameters Synthsis foa an Air Traffic Management System", 11/2000, CIENTÍFICO INTERNACIONAL, Third Int.Conf.on Formal Methods in Computer-Aided Design, Vol. 1954, pp.316-334, Autin, Texas, ESTADOS UNIDOS, 2000
|
3.
|
|
Braga, Alexandre Melo (autor); Dahab, Ricardo (autor); Fischer Rubira, Cecília Mary (autor); "A Meta-object Protocol for Secure Composition of Security Mechanisms", 10/2000, CIENTÍFICO INTERNACIONAL, OOPSLA 2000 Workshop on Advanced Separation of Concerns, Vol. 1, pp.1-5, Tampa Bay, Florida, ESTADOS UNIDOS, 2000
|
4.
|
|
Leitão, Helena. C.G. (autor); Stolfi, Jorge (autor); "A Multi-Scale Method for the Re-Assembly of Fragmented Objects", 09/2000, CIENTÍFICO INTERNACIONAL, The Eleventh British Machine Vision Conference, Vol. 1, pp.705-714, Bristol, INGLATERRA, 2000
|
5.
|
|
Jussieu de Rezende, Pedro (autor); Pinto, Guilherme A. (autor); "Additively Weighted Voronoi Diagram on the Oriented Projective Plane", 08/2000, CIENTÍFICO INTERNACIONAL, 12th CCCG--Canadian Conference on Computational Geometry, Vol. 1, pp.119-126, Fredericton, New Brunswick, CANADA, 2000
|
6.
|
|
Ferreira, Lucas de C. (autor); Dahab, Ricardo (autor); Aragão, M.V.S.P.de (autor); Magalhães, João (autor); "Two Approaches for Pay-per-Use Software Construction", 06/2000, CIENTÍFICO INTERNACIONAL, Second Int.Work.on Advanced Issues of E-Commerce and Web-Based Inf.Sys, Vol. 1, pp.184-191, Milpitas, Califórnia, ESTADOS UNIDOS, 2000
|
7.
|
|
Keidi Miyazawa, Flávio (autor); Wakabayashi, Yoshiko (autor); "Cube Packing", 04/2000, CIENTÍFICO INTERNACIONAL, LATIN'2000: Theoretical Informatics., Vol. 1776, pp.58-67, Punta del Este, URUGUAI, 2000
|
8.
|
|
Picinin de Mello, Célia (autor); Figueiredo, Celina H.M.de (autor); Ortiz, Carmem (autor); "Edge colouring reduced indifference graphs", 04/2000, CIENTÍFICO INTERNACIONAL, IV Latin American Symposium on Theoretical Informatics, Vol. 1776, pp.145-153, Punta del Este, URUGUAI, 2000
|
9.
|
|
Vieira Moura, Arnaldo (autor); Bonifácio, Adilson L. (autor); Camargo Junior, João Batista de (autor); Almeida Junior, Jorge Rady de (autor); "Formal Parameter Synthesis for Track Segments of a Subway Mesh", 04/2000, CIENTÍFICO INTERNACIONAL, VII IEEE Int.Conf.on the Engineering of Computer Based Systems, Vol. 1, pp.263-271, Edinburgh, ESCOCIA, 2000
|
10.
|
|
Vieira Moura, Arnaldo (autor); Carvalho de Souza, Cid (autor); Yunes, Tallys H. (autor); "Solving Very Large Scale Crew Scheduling Problems to Optimality", 03/2000, CIENTÍFICO INTERNACIONAL, 2000 ACM Symposium on Applied Computing, Vol. 1, pp.446-451, Como, ITALIA, 2000
|
11.
|
|
Leitão, Helena C.G. (autor); Stolfi, Jorge (autor); "Information Contents of Fracture Lines. *WSCG'2000 - the 8th International Conference in Central Europe on Computer Graphics, Visualization, and Interactive Digital Media*.", 02/2000, CIENTÍFICO INTERNACIONAL, The 8th WSCG'2000, Vol. 2, pp.389-395, Plzen, REPUBLICA TCHECA, 2000
|
12.
|
|
Vieira Moura, Arnaldo (autor); Carvalho de Souza, Cid (autor); Yunes, Tallys H. (autor); "A hybrid approach for solving large Scale Crew scheduling problems", 01/2000, CIENTÍFICO INTERNACIONAL, Second Int. Workshop on Practical Aspects of Declarative Languages, Vol. 1753, pp.293-307, Como, ITALIA, 2000
|
13.
|
|
Vieira Moura, Arnaldo (autor); Carvalho de Souza, Cid (autor); Yunes, Tallys H. (autor); "A Hybrid Approach for Solving Large Scale Crew Scheduling Problems", 01/2000, CIENTÍFICO INTERNACIONAL, Second Int.Workshop on Practical Aspects of Declarative Languages, Vol. 1753, pp.293-307, Boston, ESTADOS UNIDOS, 2000
|
|
|
|
