|
|
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.
|
|
OLIVEIRA, A. K. D. S.; HERNÁNDEZ, J. C. L.; Implementação em software do Esquema de Assinatura Digital de Merkle e suas variantes, 11/2013, Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg),Vol. 1, pp.1-6, Manaus, AM, Brasil, 2013
|
2.
|
|
AFONSO, V. M.; AMORIM, M. F.; ELLERY, E. H. P.; GRÉGIO, A.R.A.; JUNQUERA, G. B.; SCHICK, G. A.K.; DAHAB, R.; GEUS, P. L.; Um sistema para análise e detecção de aplicações maliciosas de Android, 11/2013, Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg),Vol. 1, pp.240-252, Manaus, AM, Brasil, 2013 *
|
3.
|
|
MIRA, C. V. G.; SOUZA, M. A. L.; MOURA, A.V.; MEIDANIS, J.; GABRIEL A. C., Lima; BOSSOLAN, R. P.; FREITAS FILHO, Í. T. C.; Portfolio Selection and Scheduling in the Power Generation Industry, 09/2013, XLV Simpósio Brasileiro de Pesquisa Operacional (SBPO),Vol. 1, pp.1-12, Natal, RN, Brasil, 2013 *
|
4.
|
|
BOGUE, E. T.; SOUZA, C. C.; OSORIO, Alexandre F. da S.; XAVIER, E. C.; O problema da Máxima Interseção de k-Subconjuntos, 09/2013, XLV Simpósio Brasileiro de Pesquisa Operacional (SBPO),Vol. 1, pp.1-10, Natal, RN, Brasil, 2013
|
5.
|
|
SANTOS, R. V.; USBERTI, F. L.; LYRA FILHO, Christiano; Métodos heurísticos e exatos para o carregamento de contêineres em aeronaves, 09/2013, XLV Simpósio Brasileiro de Pesquisa Operacional (SBPO),Vol. 1, pp.1-6, Natal, RN, Brasil, 2013 *
|
6.
|
|
BACALHAU, E. T.; USBERTI, F. L.; CAVELLUCCI, C.; Programação dinâmica diferencial aplicada ao planejamento de recursos de manutenção preventiva em redes de distribuição de energia elétrica, 09/2013, XLV Simpósio Brasileiro de Pesquisa Operacional (SBPO),Vol. 1, pp.1-6, Natal, RN, Brasil, 2013 *
|
7.
|
|
USBERTI, F. L.; CAVELLUCCI, C.; LYRA FILHO, Christiano; Reliability evaluation of power distribution systems through interruption time flows, 09/2013, XLV Simpósio Brasileiro de Pesquisa Operacional (SBPO),Vol. 1, pp.1-6, Natal, RN, Brasil, 2013 *
|
8.
|
|
GALVÃO, G. R.; DIAS, Z.; Uma Ferramenta de Auditoria para Algoritmos de Rearranjo de Genomas, 07/2013, XXVI Concurso de Teses e Dissertações (CTD),Vol. 1, pp.17-22, Maceió, AL, Brasil, 2013
|
Internacional
1.
|
|
SILVA, I. R. M.; FONSECA, N. L. S.; XAVIER, E. C.; Algorithms for selection and allocation of virtual network requests, 11/2013, 5th IEEE Latin-American Conference on Communications,Vol. 1, pp.1-4, Santiago, Chile, 2013 *
|
2.
|
|
ARRUDA, T. S.; DIAS, U. M.; DIAS, Z.; Heuristics for the Sorting by Length-Weighted Inversion Problem, 09/2013, International Conference on Bioinformatics and Computational Biology (ACM BCB'2013),Vol. 1, pp.478-499, Washington, Estados Unidos da América, 2013
|
3.
|
|
DIAS, U. M.; BAUDET, C.; DIAS, Z.; Greedy Randomized Search Procedure to Sort Genomes using Symmetric, Almost-Symmetric and Unitary Inversions, 09/2013, International Conference on Bioinformatics and Computational Biology (ACM BCB'2013),Vol. 1, pp.176-181, Washington, Estados Unidos da América, 2013
|
4.
|
|
CÂMARA, D. F.; GOUVÊA, C. P. L.; HERNÁNDEZ, J. C. L.; DAHAB, R.; Fast Software Polynomial Multiplication on ARM Processors using the NEON Engine, 09/2013, 2nd International Workshop on Modern Cryptography and Security Engineering (MoCrySEn2013),Vol. 1, pp.1-6, Regensburg, Alemanha, 2013
|
5.
|
|
ZANETTI, J. P. P.; BILLER, P. N.; MEIDANIS, J.; On the Matrix Median Problem, 09/2013, Workshop on Algorithms in Bioinformatics (WABI),Vol. 8126, pp.230-243, Sophia Antipolis, França, 2013
|
6.
|
|
RAUBER, P. E.; FALCÃO, A. X.; SPINA, T. V.; REZENDE, P. J.; Interactive Segmentation by Image Foresting Transform on Superpixel Graphs, 08/2013, XXVI Conference on Graphics, Patterns, and Images (SIBGRAPI),Vol. 1, pp.131-138, Arequipa, Peru, 2013 *
|
7.
|
|
CREPALDI, B. E.; REZENDE, P. J.; SOUZA, C. C.; An Efficient Exact Algorithm for the Natural Wireless Localization Problem, 08/2013, 25th Canadian Conference on Computational Geometry,Vol. 1, pp.223-228, Ontario, Canadá, 2013
|
8.
|
|
SANTOS, D. O.; XAVIER, E. C.; Taxi and Car sharing Online: A Framework and Heuristics for the Optimization Problem, 08/2013, International Joint Conference on Artificial Intelligence (IJCAI),Vol. 1, pp.2885-2891, Beijing, China, 2013
|
9.
|
|
OLIVEIRA, T.; HERNÁNDEZ, J. C. L.; ARANHA, D. F.; HENRIQUEZ, F. R.; Lambda Coordinates for Binary Elliptic Curves, 08/2013, Workshop on Cryptographic Hardware and Embedded Systems (CHES),Vol. 8086, pp.311-330, Califórnia, Estados Unidos da América, 2013
|
10.
|
|
MIRA, C. V. G.; FEIJÃO, P. C.; SOUZA, M. A. L.; MOURA, A.V.; MEIDANIS, J.; GABRIEL A. C., Lima; BARROS, R. S. V.; BOSSOLAN, R. P.; FREITAS FILHO, Í. T. C.; A Project Portfolio Selection Decision Support System, 07/2013, 10th International Conference on Service Systems and Service Management (ICSSSM),Vol. 1, pp.725-730, Hong Kong, China, 2013 *
|
11.
|
|
REBIHA, R.; MATRINGE, N.; MOURA, A.V.; Generating Asymptotically Non-Terminant Initial Variable Values for Linear Diagonalizable Programs, 07/2013, 5th International Symposium on Symbolic Computation in Software Science (SCSS),Vol. 1, pp.81-92, Castle of Hagenberg, Austria, 2013
|
12.
|
|
ANDRADE, C. E.; MIYAZAWA, F. K.; RESENDE, M. G. C.; Evolutionary Algorithm for the k-Interconnected Multi-Depot Multi-Traveling Salesmen Problem, 07/2013, Genetic and Evolutionary Computation Conference (GECCO),Vol. 1, pp.1-8, Amsterdam, Holanda, 2013
|
13.
|
|
GALLO FILHO, R. A.; KAWAKAMI, H. M.; DAHAB, R.; Case Study: On the Security of Key Storage on PCs, 07/2013, 5th IEEE International Symposium on UbiSafe Computing,Vol. 1, pp.1645-1651, Melbourne, Austrália, 2013
|
14.
|
|
GRILO, A. B.; MOURA, A.V.; On finite automata with quantum and classical states, 06/2013, 6th School on Algorithm and Complexity,Vol. 1, pp.32-35, Ekaterinburg, Rússia, 2013
|
15.
|
|
LOUZA, F. A.; TELLES, G. P.; CIFERRI, C. D. A.; External Memory Generalized Suffix and LCP Arrays Construction, 06/2013, Annual Symposium on Combinatorial Pattern Matching (CPM),Vol. 7922, pp.201-210, Bad Herrenalb, Alemanha, 2013
|
16.
|
|
TOZONI, D. C.; REZENDE, P. J.; SOUZA, C. C.; The Quest for Optimal Solutions for the Art Gallery Problem: A Practical Iterative Algorithm, 06/2013, Symposium on Experimental Algorithms (SEA),Vol. 7933, pp.320-336, Roma, Itália, 2013
|
17.
|
|
MIRA, C. V. G.; FEIJÃO, P. C.; SOUZA, M. A. L.; MOURA, A.V.; MEIDANIS, J.; GABRIEL A. C., Lima; BARROS, R. S. V.; BOSSOLAN, R. P.; FREITAS FILHO, Í. T. C.; Project Portfolio Selection based on GRASP, 06/2013, International Conference on Management, Business & Economics (ICMBE),Vol. 1, pp.1-6, ANDHRA PRADESH, Índia, 2013 *
|
18.
|
|
CANO, R. G.; SOUZA, C. C.; REZENDE, P. J.; YUNES, T. H.; Arc-based integer programming formulations for three variants of proportional symbol maps, 04/2013, Latin American Algorithms, Graphs and Optimization Symposium (LAGOS),Vol. 44, pp.251-256, Playa del Carmen, México, 2013
|
19.
|
|
SAITO, P. T. M.; REZENDE, P. J.; FALCÃO, A. X.; SUZUKI, C.T.N.; GOMES, Jancarlo Ferreira; A data reduction and organization approach for efficient image annotation, 03/2013, Annual ACM Symposium on Aplied Computing,Vol. 1, pp.53-57, Coimbra, Portugal, 2013 *
|
20.
|
|
DIAS, U. M.; DIAS, Z.; Sorting Genomes Using Symmetric, Almost-Symmetric and Unitary Inversions, 03/2013, 5th International Conference on Bioinformatics and Computational Biology (BiCoB'2013),Vol. 1, pp.261-268, Honolulu, Estados Unidos da América, 2013
|
21.
|
|
GUERRA FILHO, G. B.; MEDEIROS, C. M. B.; REZENDE, P. J.; A Formalization of Topological Relations between Simple Spatial Objects, 01/2013, 15th International Symposium on Spatial Data Handling (SDH),Vol. 1, pp.61-75, Bonn, Alemanha, 2013 *
|
22.
|
|
QUEIROZ, T. A.; MIYAZAWA, F. K.; Approaches for the 2D 0-1 Knapsack Problem with Conflict Graphs, 01/2013, Conferência Latinoamericana em Informática (CLEI),Vol. 1, pp.1-8, Medelin, Colômbia, 2013
|
* Esta produção está associada também a outros órgãos
|
|
