|
|
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
Nacional
1.
|
|
GOUVÊA, C.P.L.; HERNÁNDEZ, J.C.L.; Implementação em Software de Criptografia Assimétrica para Redes de Sensores com o Microcontrolador MSP430, 10/2010, Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg),Vol. 1, pp.1-8, Fortaleza, CE, Brasil, 2010
|
2.
|
|
OLIVEIRA, T. E. F.; HERNÁNDEZ, J.C.L.; Improving the Performance of Luffa Hash Algorithm, 10/2010, Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg),Vol. 1, pp.1-8, Fortaleza, CE, Brasil, 2010
|
3.
|
|
PEREIRA, D.R.; STOLFI, J.; GOMIDE, A.; Comparison of Finite Element Bases for Global Illumination in Image Synthesis, 10/2010, Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI),Vol. 1, pp.1-8, Gramado, RS, Brasil, 2010
|
4.
|
|
CABRAL, G. M.; MAEDER, C.; MOSSAKOWSKI, T.; SCHRODER, L.; MOURA, A.V.; Creating a HasCASL Library, 09/2010, 14th Brazilian Symposium on Programming Languages,Vol. 1, pp.153-182, Salvador, BA, Brasil, 2010
|
Internacional
1.
|
|
DIAS, Z.; ROCHA, A. R.; GOLDENSTEIN, S. K.; First Steps Toward Image Phylogeny, 12/2010, IEEE Workshop on Information Forensics and Security (WIFS),Vol. 1, pp.1-6, Seatle, Estados Unidos da América, 2010
|
2.
|
|
GALLO FILHO, R. A.; KAWAKAMI, H.de M.; DAHAB, R.; ARAÚJO, G.C.S.; AZEVEDO, Rafael; T-DRE: A Hardware Trusted Computing Base for Direct Recording Electronic Vote Machines, 12/2010, Annual Computer Security Applications Conference (ACSAC),Vol. 1, pp.191-198, Austin, Estados Unidos da América, 2010
|
3.
|
|
PEIXOTO, R. R. S.; XAVIER, E.C.; On the Worst Case of Scheduling with Task Replication on Computational Grids, 10/2010, International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD),Vol. 1, pp.135-142, Petrópolis, RJ, Brasil, 2010
|
4.
|
|
QUEIROZ, T. A.; MIYAZAWA, F.K.; WAKABAYASHI, Y.; Heurísticas para o Problema da Mochila 2D Não-Guilhotinada Ilimitada, 10/2010, Conferencia Latinoamericana de Informática (CLEI),Vol. 1, pp.1-14, Assunção, Paraguai, 2010
|
5.
|
|
SILVA, F. L. S.; QUEIROZ, T. A.; MIYAZAWA, F.K.; Um Algoritmo Branch-and-Cut para o Problema de Empacotamento em Faixa Bidimensional sujeito à Restrição de Ordem e a Estabilidade dos Objetos, 10/2010, Conferencia Latinoamericana de Informática (CLEI),Vol. 1, pp.1-14, Assunção, Paraguai, 2010
|
6.
|
|
MATRINGE, N.; REBIHA, R.; MOURA, A.V.; Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods, 09/2010, International Static Analysis Symposium (SAS),Vol. 6337, pp.373-389, Perpignan, França, 2010
|
7.
|
|
ARANHA, D. F.; HANKERSON, D.; HERNÁNDEZ, J.C.L.; Efficient Software Implementation of Binary Field Arithmetic Using Vector Instructio Sets, 08/2010, International Conference on Cryptology and Information Security (Latin Crypt),Vol. 1, pp.1-8, Puebla, México, 2010
|
8.
|
|
MALHEIRO, A.P.R.; STOLFI, J.; Finding Minimal Bases in Arbitrary Spline Spaces, 08/2010, 22nd Canadian Conference on Computational Geometry (CCCG),Vol. 1, pp.135-138, Winnipeg, Canadá, 2010
|
9.
|
|
CUNHA, A.S. da; BAHIENSE, L.; LUCENA FILHO, ABILIO PEREIRA DE; SOUZA, C. C.; A New Lagrangian Based Branch and Bound Algorithm for the 0-1 Knapsack Problem?, 07/2010, International Symposium on Combinatorial Optimization (ISCO),Vol. 36, pp.623-630, Hammamet, Tunísia, 2010
|
10.
|
|
PEDROSA, L. L. C.; MOURA, A.V.; Generalized Partial Test Case Generation Method, 06/2010, Model-Based Verification & Validation,Vol. 1, pp.1-8, Cingapura, Cingapura, 2010
|
11.
|
|
PEDROSA, L. L. C.; MOURA, A.V.; A new Method for Incremental Testing of Finite State Machines, 04/2010, Second NASA Formal Methods Symposium (NFM),Vol. 1, pp.91-100, Wasshington D.C., Estados Unidos da América, 2010
|
12.
|
|
ARANHA, D. F.; HANKERSON, D.; HERNÁNDEZ, J.C.L.; High-Speed Parallel Software Implementation of the n_T Pairing, 03/2010, The Cryptographers' Track at the RSA Conference (CT- RSA),Vol. 5985, pp.89-105, São Francisco, Estados Unidos da América, 2010
|
13.
|
|
BAUDET, C.; DIAS, Z.; An Improved Algorithm to Enumerate All Traces that Sorts a Signed Permutation by Reversals, 03/2010, Conference Track on Bioinformatics and Computational Systems Biology (ACM-SAC BIO),Vol. 1, pp.1521-1525, Sierre, Suiça, 2010
|
14.
|
|
BAUDET, C.; DIAS, Z.; Chronological Order of Reversal Events on Rickettsia Genus, 02/2010, International Symposium on Biocomputing (ACM-ISB),Vol. 1, pp.1-5, Calicut, Índia, 2010
|
15.
|
|
DIAS, U. M.; DIAS, Z.; Extending Bafna-Pevzner Algorithm, 02/2010, International Symposium on Biocomputing (ACM-ISB),Vol. 1, pp.1-8, Calicut, Índia, 2010
|
|
|
