1. | ALDEWERELD, H. (Org.) ; Sichman, Jaime Simão (Org.). Coordination, Organizations, Institutions, and Norms in Agent Systems VIII. 1 ed. Heildelberg: Springer-Verlag, 2013. v. 1, . |
2. | ALLEN, PETER ; Böttcher, Julia ; GRIFFITHS, SIMON ; Kohayakawa, Yoshiharu ; MORRIS, ROBERT. The chromatic thresholds of graphs. ADVANCES IN MATHEMATICS. v. 235, p. 261-295, 2013. Qualis: A1 |
3. | ALLEN, PETER ; Böttcher, Julia ; Han, H. ; Kohayakawa, Yoshiharu ; Person, Yury. An approximate blow-up lemma for sparse pseudorandom graphs. Em: LAGOS '13 7th Latin-American Algorithms, Graphs and Optimization Symposium, 2013, Playa del Carmen. Electronic Notes in Discrete Mathematics. Amsterdã: Elsevier, v. 44, p. 393-398, 2013. Qualis: Não identificado (LAGOS '13 7TH LATIN-AMERICAN ALGORITHMS, GRAPHS AND OPTIMIZATION SYMPOSIUM, 2013, PLAYA DEL CARMEN. ELECTRONIC NOTES IN DISCRETE MATHEMATICS. AMSTERDÃ: ELSEVIER) |
4. | ALMEIDA, FERNANDA N. ; Sabino, Ester C. ; TUNES, GISELA ; Schreiber, George B. ; B. DA SILVA, PEDRO PAULO S. ; CARNEIRO-PROIETTI, ANNA BARBARA F. ; Ferreira, João Eduardo ; Mendrone-Junior, Alfredo. Predictors of low haematocrit among repeat donors in São Paulo, Brazil: eleven year longitudinal analysis. Transfusion and Apheresis Science. v. 49, p. 553-559, 2013. Qualis: B1 |
5. | ALMEIDA, M. S. O. ; CORREA DA SILVA, F. S.. Towards a Library of Game Components. Em: Simpósio Brasileiro de Games, v. 1, p. 1-1, 2013.Qualis: Não identificado (Simpósio Brasileiro de Games) |
6. | ALMEIDA, M. S. O. ; CORREA DA SILVA, F. S.. Requirements for game design tools. Em: Simpósio Brasileiro de Games, v. 1, p. 1-1, 2013.Qualis: Não identificado (Simpósio Brasileiro de Games) |
7. | ALMEIDA, M. S. O. ; CORREA DA SILVA, FLAVIO S.. A Systematic Review of Game Design Methods and Tools. Em: 12th International Conference on Entertainment Computing, v. 1, p. 17-29, 2013.Qualis: Não identificado (12th International Conference on Entertainment Computing) |
8. | ALMEIDA, M. S. O. ; GONCALVES, R. A. ; VALENTIN, L. G. ; CORREA DA SILVA, F. S.. Towards a Game Design Patterns Suggestion Tool. Em: Simpósio Brasileiro de Games, v. 1, p. 1-1, 2013.Qualis: Não identificado (Simpósio Brasileiro de Games) |
9. | ALVES, WONDER ALEXANDRE LUZ ; MORIMITSU, ALEXANDRE ; CASTRO, JOEL SANCHEZ ; HASHIMOTO, RONALDO FUMIO. Extraction of Numerical Residues in Families of Levelings. Em: 2013 XXVI SIBGRAPI Conference on Graphics, p. 349, 2013. Qualis: Não identificado (2013 XXVI SIBGRAPI Conference on Graphics) |
10. | AMANTEA, GUILHERME ; RIVANO, HERVE ; Goldman, Alfredo. A Delay-Tolerant Network Routing Algorithm Based on Column Generation. Em: 2013 IEEE 12th International Symposium on Network Computing and Applications (NCA), p. 89, 2013. Qualis: Não identificado (2013 IEEE 12th International Symposium on Network Computing and Applications (NCA)) |
11. | ANACLETO, J. C. (Org.) ; CLUA, E. (Org.) ; CORREA DA SILVA, FLAVIO S. (Org.) ; FELS, S. (Org.) ; YANG, H. S. (Org.). 12th International Conference, ICEC 2013, São Paulo, Brazil, October 16-18, 2013. Proceedings. 1 ed. Alemanha: Springer, 2013. v. 1, p. 203. |
12. | ANDREWS, P. Y. ; CORREA DA SILVA, F. S.. Using Parliamentary Open Data to Improve Participation. Em: International Conference on Theory and Practice of Electronic Governance, v. 1, p. 1-8, 2013.Qualis: Não identificado (International Conference on Theory and Practice of Electronic Governance) |
13. | ANICHE, MAURICIO FINAVARO ; OLIVA, GUSTAVO ANSALDI ; GEROSA, MARCO AURELIO. What Do the Asserts in a Unit Test Tell Us about Code Quality? A Study on Open Source and Industrial Projects. Em: 2013 17th European Conference on Software Maintenance and Reengineering (CSMR), p. 111, 2013. Qualis: Não identificado (2013 17th European Conference on Software Maintenance and Reengineering (CSMR)) |
14. | ANTUNES, P. (Org.) ; GEROSA, M. A. (Org.) ; SYLVESTER, A. (Org.) ; VASSILEVA, J. (Org.) ; VREEDE, G. (Org.). Collaboration and Technology - 19th International Conference, CRIWG 2013, Wellington, New Zealand, October 30 - November 1, 2013, Proceedings. 1 ed. 2013. v. 1, p. 323. |
15. | ARANGO, J. J. ; TOMIYOSHI, M. M. ; IAZZETTA, F. ; QUEIROZ, M.. Brazilian Challenges for Network Music. Em: Sound and Music Computing Conference, p. 453-460, 2013. Qualis: Não identificado (Sound and Music Computing Conference) |
16. | ARANGO, J. J. ; TOMIYOSHI, M. M. ; QUEIROZ, M. ; Iazzetta, Fernando. Brazilian Challenges for Network Music. 2013. Apresentação de Trabalho/Congresso |
17. | ARAUJO, R. W. M. ; TERADA, Routo. Implementação Eficiente de Protocolos de Acordo de Chave em Dispositivos de Poder Computacional Restrito. Em: XIII Simpósio Brasileiro em Segurança da Informação, 2013.Qualis: Não identificado (XIII Simpósio Brasileiro em Segurança da Informação) |
18. | ARRUDA, A. ; Finger, M. Completeness for cut-based abduction. Logic Journal of the IGPL (Print). v. 21, p. 1, 2013. Qualis: A2 |
19. | BARROSO, A. D. ; SANTANA, F. C. ; SILVA, V. L. O. E. ; Nardin, Luis G. ; BRANDÃO, Anarosa Alves Franco ; Sichman, Jaime Simão. Using Agent Coordination Techniques to Support Rescue Operations in Urban Disaster Environments. Em: VII Workshop-Escola de Agentes, seus Ambientes e ApliCações (WESAAC 2103), 2013, São Paulo. Anais do WESAAC 2013, p. 189-191, 2013. Qualis: Não identificado (VII WORKSHOP-ESCOLA DE AGENTES, SEUS AMBIENTES E APLICAÇÕES , 2013, SÃO PAULO. ANAIS DO WESAAC 2013) |
20. | Belussi, Luiz F. F. ; Hirata, Nina S. T.. Fast Component-Based QR Code Detection in Arbitrarily Acquired Images. Journal of Mathematical Imaging and Vision (Dordrecht. Online). v. 45, p. 277-292, 2013. Qualis: Não identificado (ONLINE)) |
21. | BIANCHI, A. J. ; QUEIROZ, M.. Real time digital audio processing with Arduino. Em: Sound and Music Computing Conference, p. 538-545, 2013. Qualis: Não identificado (Sound and Music Computing Conference) |
22. | BIANCHI, A. J. ; QUEIROZ, M.. Real time digital audio processing with Arduino. 2013. Apresentação de Trabalho/Congresso |
23. | BRANDÃO, Anarosa Alves Franco (Org.) ; BORDINI,Rafael Heitor (Org.) ; Sichman, Jaime Simão (Org.). Anais do VII Workshop-Escola de Sistemas de Agentes, seus Ambientes e apliCações ? WESAAC 2013. 1 ed. 2013. v. 1, p. 207. |
24. | BRANDÃO, L. O.; RODRIGUES, P. A.. Incrementando a interatividade em cursos Web via Moodle: examinando o sistema iTarefa com o iGeom. Em: Amanda Meincke Melo. (Org.). Jornada de Atualizacão em Informática na Educacão (JAIE). 1ed.Campinas. : Universidade Estadual de Campinas. 2013.v. 1, p. 99-125. |
25. | Böttcher, Julia ; Kohayakawa, Yoshiharu ; Taraz, Anusch. Almost Spanning Subgraphs of Random Graphs After Adversarial Edge Removal. Combinatorics, Probability & Computing (Print). v. 22, p. 639-683, 2013. Qualis: A2 |
26. | CAMARA, P. G. ; Nakamura, Ricardo. Design de jogos e a experiência de exploração de espaços. Obra Digital: journal of communication and technology. v. 5, p. 20-35, 2013.Qualis: A4 |
27. | CAMPELO, M. B. ; HUIBAN, C. G. ; SAMPAIO, R. M. ; WAKABAYASHI, Y. On the Complexity for Solving or Approximating Convex Recoloring Problems. Em: 19th International Computing and Combinatorics Conference (COCOON), v. 7936, p. 614-625, 2013.Qualis: Não identificado (19th International Computing and Combinatorics Conference (COCOON)) |
28. | CAMPIOLO, RODRIGO ; SANTOS, LUIZ ARTHUR F. ; BATISTA, DANIEL MACÊDO ; Gerosa, Marco Aurélio. Evaluating the utilization of Twitter messages as a source of security alerts. Em: the 28th Annual ACM Symposium, 2013, p. 942, 2013.  |
29. | CAMPITELI, MONICA GUIMARÃES ; COMIN, CESAR HENRIQUE ; COSTA, LUCIANO DA FONTOURA ; BABU, MADAN ; Cesar, Roberto Marcondes. A methodology to infer gene networks from spatial patterns of expression - An application to fuorescence insitu hybridization images. Molecular Biosystems (Print). v. 9, p. 1926, 2013. Qualis: A3 |
30. | CAMPOS, C. N. ; WAKABAYASHI, Y.. On dominating sets of maximal outerplanar graphs. Discrete Applied Mathematics. v. 161, p. 330-335, 2013. Qualis: A2 |
31. | CAMPÊLO, MANOEL ; Karla Roberta Lima ; Phablo F.S. Moura ; Y. WAKABAYASHI. Polyhedral Studies on the Convex Recoloring Problem. Em: Latin-american Algorithms, Graphs and Optimization Symposium (LAGOS 2013), 2013, Playa del Carmen. Electronic Notes in Discrete Mathematics (DOI: 10.1016/j.endm.2013.10.036), v. 44, p. 233-238, 2013. Qualis: Não identificado (LATIN-AMERICAN ALGORITHMS, GRAPHS AND OPTIMIZATION SYMPOSIUM , 2013, PLAYA DEL CARMEN. ELECTRONIC NOTES IN DISCRETE MATHEMATICS) |
32. | CARVALHO JR., A. D. ; ROSAN, M. ; QUEIROZ, M. ; BIANCHI, A. J.. FFT benchmark on Android devices: Java versus JNI. Em: 14th Brazilian Symposium on Computer Music, p. 1-4, 2013.Qualis: Não identificado (14th Brazilian Symposium on Computer Music) |
33. | CASTRO, J. E. S. ; HASHIMOTO, Ronaldo F ; BARRERA, Junior. Analytical Solutions for the Minkowski Addition Equation. Em: ISMM 2013 - Mathematical Morphology and its applications to Signal and Image Processing, v. 7883, p. 61-72, 2013.Qualis: Não identificado (ISMM 2013 - Mathematical Morphology and its applications to Signal and Image Processing) |
34. | Castro, Paulo André Lima ; Sichman, Jaime Simão. Automated asset management based on partially cooperative agents for a world of risks. Applied Intelligence (Dordrecht. Online). v. 38, p. 210-225, 2013. Qualis: Não identificado (ONLINE)) |
35. | CERVANTES, E. P. ; Mena-Chalco, Jesús P. ; OLIVEIRA, M C F ; Cesar Jr, Roberto M.. Using Link Prediction to Estimate the Collaborative Influence of Researchers. Em: IEEE eScience Conference, 2013.Qualis: Não identificado (IEEE eScience Conference) |
36. | CHALLCO, GEISER CHALCO ; Gerosa, Marco Aurélio ; BITTENCOURT, IG IBERT ; ISOTANI, SEIJI. Automated Instructional Design for CSCL: A Hierarchical Task Network Planning Approach. Expert Systems with Applications. v. 41, p. 3777-3798, 2013. Qualis: A1 |
37. | Chui, M. ; FERREIRA, J. E. ; PU, C.. Web Services Composition through Data Events Approach. 2013. Apresentação de Trabalho/Conferência ou palestra |
38. | Colen, William ; Finger, Marcelo. Improving CoGrOO: the Brazilian Portuguese Grammar Checker. Em: STIL 2013 ? The 9th Brazilian Symposium in Information and Human Language Technology, 2013.Qualis: Não identificado (STIL 2013 ? The 9th Brazilian Symposium in Information and Human Language Technology) |
39. | CORDEIRO, D. ; BRAGHETTO, K. R. ; GOLDMAN, A. ; KON, F.. Da ciência à e-ciência: paradigmas da descoberta do conhecimento. Revista USP. v. 97, p. 71-80, 2013. Qualis: A1 |
40. | CORREA DA SILVA, F. S. Information - Special Issue: Philosophy of Information: Views and Reflections on the Work of Luciano Floridi. Basel: MDPI. 2013. Editor convidado - número especial de períodico internacional |
41. | CORREA DA SILVA, F. S.; ROBERTSON, D. S. ; VASCONCELOS, Wamberto. Experimental Interaction Science. Em: AISB 2013 - British Symposium of Artificial Intelligence and Simulation of Behaviour, v. 1, p. 1-5, 2013.Qualis: Não identificado (AISB 2013 - British Symposium of Artificial Intelligence and Simulation of Behaviour) |
42. | CÓBE, Raphael M. O. ; RESINA, F. M. X. ; WASSERMANN, R.. Merging Ontologies via Kernel Contraction. Em: Ontobras, 2013.Qualis: Não identificado (Ontobras) |
43. | D'Agostino, Marcello ; Finger, Marcelo ; Gabbay, Dov. Semantics and proof-theory of depth bounded Boolean logics. Theoretical Computer Science. v. 480, p. 43-68, 2013. Qualis: A4 |
44. | da Ponte Barbosa, Rafael ; WAKABAYASHI, YOSHIKO. Algorithms for Scheduling Sensors to Maximize Coverage Time. Em: Michael Juenger; Gerhard Reinelt. (Org.). Facets of Combinatorial Optimization. 1ed. : Springer Berlin Heidelberg. 2013.p. 195-214. |
45. | DA SILVA, FLAVIO. Philosophy of Information: Views and Reflections on the Work of Luciano Floridi. Information. v. 4, p. 31-32, 2013. Qualis: B1 |
46. | DA SILVA, P. S. ; DE MELO, A. C. V.. On-the-fly verification of discrete event simulations by means of simulation purposes: Extended version. Simulation (San Diego, Calif.). v. 89, p. 977-1008, 2013. Qualis: A4 |
47. | DALMON, D. L. ; BRANDÃO, L. O.. Sobre o desenvolvimento de software educacional: proposta de uma Linha de Produto de Software para Módulos de Aprendizagem Interativa. Revista Brasileira de Informática na Educação. v. 21, p. 6, 2013.Qualis: B3 |
48. | DAVID, Nuno ; SICHMAN, J. S.. O papel da emergência em simulações de sociedades de agentes artificiais. Ciência e Cultura. v. 65, p. 36-41, 2013.Qualis: B4 |
49. | De Almeida-Neto, Cesar ; Sabino, Ester Cerdeira ; Liu, Jing ; Blatyta, Paula Fraiman ; Mendrone-Junior, Alfredo ; Salles, Nanci Alves ; Leão, Silvana Carneiro ; Wright, David J. ; Basques, Fernando Valadares ; Ferreira, João Eduardo ; Busch, Michael P. ; Murphy, Edward L. ; NHLBI RETROVIRUS EPIDEMIOLOGY DONOR STUDY-II (REDS-II), INTERNATIONAL COMPONENT. Prevalence of serologic markers for hepatitis B and C viruses in Brazilian blood donors and incidence and residual risk of transfusion transmission of hepatitis C virus. Transfusion (Arlington, Va.). v. 53, p. 827-834, 2013. Qualis: A3 |
50. | De Bona, Glauber ; COZMAN, F. G. ; Finger, M. Towards classifying propositional probabilistic logics. Em: progic 2013: The Sixth Workshop on Combining Probability and Logic, 2013, Munich. progic 2013: The Sixth Workshop on Combining Probability and Logic, 2013. Qualis: Não identificado (PROGIC 2013: THE SIXTH WORKSHOP ON COMBINING PROBABILITY AND LOGIC, 2013, MUNICH. PROGIC 2013: THE SIXTH WORKSHOP ON COMBINING PROBABILITY AND LOGIC) |
51. | De Bona, Glauber ; Finger, Marcelo ; COZMAN, F. G.. Generalized Probabilistic Satisfiability. Em: BRACIS -- Brazilian Conference on Intelligent Systems, 2013.Qualis: Não identificado (BRACIS -- Brazilian Conference on Intelligent Systems) |
52. | de Carli Silva, Marcel K. Geometric Ramifications of the Lovász Theta Function and Their Interplay with Duality. 2013. Tese de Doutorado |
53. | de Carli Silva, Marcel K.; Harvey, Nicholas J. A. ; Sato, Cristiane M.. Sparse Sums of Positive Semidefinite Matrices. 2013. Apresentação de Trabalho/Simpósio |
54. | de Carli Silva, Marcel K.; Tunçel, Levent. Optimization Problems over Unit-Distance Representations of Graphs. The Electronic Journal of Combinatorics. v. 20, p. 1-20, 2013. Qualis: A3 |
55. | DE MELO OLIVEIRA, RENAN ; Goldman, Alfredo ; MELO, CLAUDIA O.. Designing and Managing Agile Informative Workspaces: Discovering and Exploring Patterns. Em: 2013 46th Hawaii International Conference on System Sciences (HICSS), p. 4790, 2013. Qualis: Não identificado (2013 46th Hawaii International Conference on System Sciences (HICSS)) |
56. | DE O. MELO, CLAUDIA ; S. CRUZES, DANIELA ; Kon, Fabio ; CONRADI, REIDAR. Interpretative case studies on agile team productivity and management. Information and Software Technology. v. 55, p. 412-427, 2013. Qualis: A1 |
57. | DE REZENDE, S. F. ; FERNANDES, C. G. ; MARTIN, D. M. ; Y. WAKABAYASHI. Intersecting longest paths. Discrete Mathematics. v. 313, p. 1401-1408, 2013. Qualis: A3 |
58. | Delgrande, J. ; Wassermann, R.. Horn Clause Contraction Functions. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH. v. 48, p. 475-511, 2013. Qualis: A2 (THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH) |
59. | DIANA, M. ; GEROSA, M.A.. Desempenho de Sistemas com Dados Georeplicados com Consistência em Momento Indeterminado e na Linha do Tempo. Em: XII Workshop em Desempenho de Sistemas Computacionais e de Comunicação (WPerformance), 2013.Qualis: Não identificado (XII Workshop em Desempenho de Sistemas Computacionais e de Comunicação (WPerformance)) |
60. | DIAZ, J. G. ; JUNIOR, ROBERTO HIRATA ; CANU, S.. Support Vector Data Description for Uncertainty Data Sets. Em: Machine Learning Summer School, 2013.Qualis: Não identificado (Machine Learning Summer School) |
61. | FERNÁNDEZ VENERO, MIRTHA LINA ; CORREA DA SILVA, FLÁVIO SOARES. On the use of SPIN for studying the behavior of nested Petri nets. Em: 16th Brazilian Symposium on Formal Methods, v. 8195, p. 83-98, 2013.Qualis: Não identificado (16th Brazilian Symposium on Formal Methods) |
62. | Finger, Marcelo; GOMES, C. ; LE BRAS, R. ; SELMAN, B.. Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability. Em: SAT 2013 - 16th International Conference on Theory and Applications of Satisfiability Testing, p. 1-16, 2013.Qualis: Não identificado (SAT 2013 - 16th International Conference on Theory and Applications of Satisfiability Testing) |
63. | Finger, Marcelo; REIS, POLIANA. On the Predictability of Classical Propositional Logic. Information. v. 4, p. 60-74, 2013. Qualis: B1 |
64. | FOUTOURA, V. ; WIESE, IGOR SCALIANTE ; STEINMACHER, IGOR ; Ré, R. ; SILVA, J. T. ; GEROSA, M. A.. Uma abordagem para classificação de construção de software utilizando redes de comunicação e cooperação. Em: X Workshop de Manutenção de Software Moderna (WMSWM), 2013.Qualis: Não identificado (X Workshop de Manutenção de Software Moderna (WMSWM)) |
65. | FRANCESQUINI, EMILIO ; Goldman, Alfredo ; MEHAUT, JEAN-FRANCOIS. A NUMA-Aware Runtime Environment for the Actor Model. Em: 2013 42nd International Conference on Parallel Processing (ICPP), p. 250, 2013. Qualis: Não identificado (2013 42nd International Conference on Parallel Processing (ICPP)) |
66. | FRANCESQUINI, EMILIO ; Goldman, Alfredo ; MÉHAUT, JEAN-FRANÇOIS. Improving the performance of actor model runtime environments on multicore and manycore platforms. Em: the 2013 workshop, p. 109, 2013. Qualis: Não identificado (the 2013 workshop) |
67. | FRANCESQUINI, EMILIO ; Goldman, Alfredo ; MÉHAUT, JEAN-FRANÇOIS. Actor scheduling for multicore hierarchical memory platforms. Em: the twelfth ACM SIGPLAN workshop, p. 51, 2013. Qualis: Não identificado (the twelfth ACM SIGPLAN workshop) |
68. | FRANCO, L. S. ; BRANDÃO, L. O. ; PIRES DA SILVA, M. R. S. ; RODRIGUES, P. A.. Uma investigação sobre o papel da Geometria Interativa no processo de aquisição do conceito de circunferência com alunos do 6º Ano do Ensino Fundamental. Em: XIX Workshop de Informática na Escola (WIE 2013), v. 1, p. 199-208, 2013.Qualis: Não identificado (XIX Workshop de Informática na Escola (WIE 2013)) |
69. | Franco, Mariana Ramos ; Rosset, Luciano Menasce ; Sichman, Jaime Simão. LTI-USP Team: A JaCaMo Based MAS for the MAPC 2012. Lecture Notes in Computer Science. 1ed. Em: . : Springer Berlin Heidelberg. 2013.p. 224-233. |
70. | Franco, Mariana Ramos ; Sichman, Jaime Simão. Improving the LTI-USP Team: A New JaCaMo Based MAS for the MAPC 2013. Lecture Notes in Computer Science. 1ed. Em: . : Springer Berlin Heidelberg. 2013.p. 339-348. |
71. | FREIBERGER, E. C. ; NAKAMURA, Ricardo ; TORI, Romero. Plataforma Orientada a Serviços para Aplicações de Realidade Virtual. Em: Conferência Ibero-Americana www/Internet 2013, v. 1, p. 107-114, 2013.Qualis: Não identificado (Conferência Ibero-Americana www/Internet 2013) |
72. | FREIBERGER, EVANDRO CESAR ; Nakamura, Ricardo ; TORI, Romero. Architectural Model for VR and AR Applications in the Cloud. Em: 2013 XV Symposium on Virtual and Augmented Reality (SVR), v. 1, p. 280-283, 2013. Qualis: Não identificado (2013 XV Symposium on Virtual and Augmented Reality (SVR)) |
73. | GALEGO, E. F. ; Wassermann, R.. Extração e Consulta de Informações do Currículo Lattes Baseadas em Ontologias. Em: Encontro Nacional de Inteligência Artificial e Computacional (ENIAC), 2013.Qualis: Não identificado (Encontro Nacional de Inteligência Artificial e Computacional (ENIAC)) |
74. | Goldman, Alfredo; LEPPING, JOACHIM ; NGOKO, YANIK ; TRYSTRAM, DENIS. Combining Parallel Algorithms Solving the Same Application: What is the Best Approach?. Em: 2013 IEEE International Symposium on Parallel & Distributed Processing, p. 1859, 2013. Qualis: Não identificado (2013 IEEE International Symposium on Parallel & Distributed Processing) |
75. | Gonçalez, Thelma T. ; Sabino, Ester C. ; SCHLUMPF, KAREN S. ; Wright, David J. ; MENDRONE, ALFREDO ; LOPES, MARIA ; LEÃO, SILVANA ; MIRANDA, CAROLINA ; Capuani, Ligia ; CARNEIRO-PROIETTI, ANNA BARBARA F. ; BASQUES, FERNANDO ; Ferreira, João E. ; Busch, Michael ; Custer, Brian ; NHLBI RETROVIRUS EPIDEMIOLOGY DONOR STUDY-II (REDS-II), INTERNATIONAL COMPONENT. Analysis of donor deferral at three blood centers in Brazil. Transfusion (Arlington, Va.). v. 53, p. 531-538, 2013. Qualis: A3 |
76. | GRAVIN, NICK ; KOLOUNTZAKIS, MIHAIL N. ; ROBINS, SINAI ; SHIRYAEV, DMITRY. Structure Results for Multiple Tilings in 3D. Discrete & Computational Geometry. v. 50, p. 1033-1050, 2013. Qualis: A2 |
77. | GUERRA, E. ; ANICHE, MAURICIO FINAVARO ; GEROSA, M. A. ; YODER, J.. Test-Driven Development Step Patterns For Designing Objects Dependencies. Em: 20th Conference on Pattern Languages of Programs, 2013.Qualis: Não identificado (20th Conference on Pattern Languages of Programs) |
78. | GUEVARA, JORGE ; Hirata, Roberto ; CANU, STEPHANE. Kernel functions in Takagi-Sugeno-Kang fuzzy system with nonsingleton fuzzy input. Em: 2013 IEEE International Conference on Fuzzy Systems (FUZZIEEE), p. 1, 2013. Qualis: Não identificado (2013 IEEE International Conference on Fuzzy Systems (FUZZIEEE)) |
79. | HANAZUMI, SIMONE ; DE MELO, ANA C. V.. Generation of Java programs properties from test purposes. Em: the 2013 International Symposium, p. 362, 2013. Qualis: Não identificado (the 2013 International Symposium) |
80. | HASHIMOTO, R. F. Gene Interactions Modeled by Boolean Networks. 2013. Apresentação de Trabalho/Conferência ou palestra |
81. | HERRMANN, RICARDO G. ; BARROS, LELIANE N. DE. Algebraic Sentential Decision Diagrams in Symbolic Probabilistic Planning. Em: 2013 Brazilian Conference on Intelligent Systems (BRACIS), p. 175, 2013. Qualis: Não identificado (2013 Brazilian Conference on Intelligent Systems (BRACIS)) |
82. | HIGA, C. H. A. ; ANDRADE, T. P. ; HASHIMOTO, R. F.. Growing Seed Genes from Time Series Data and Thresholded Boolean Networks with Perturbation. IEEE/ACM Transactions on Computational Biology and Bioinformatics (Print). v. 10, p. 37-49, 2013. Qualis: A1 |
83. | HOPPEN, CARLOS ; Kohayakawa, Yoshiharu ; LEFMANN, HANNO. An Unstable Hypergraph Problem with a Unique Optimal Solution. Em: Aydinian, H.; Cicalese, F.; Deppe, C.. (Org.). Lecture Notes in Computer Science. 1ed.Heidelberg. : Springer Berlin Heidelberg. 2013.v. 1777, p. 432-450. |
84. | INOCENCIO, A. C. G. ; PARREIRA JUNIOR, P. A. ; VALLE, P. H. D. ; MUNIZ, R. J. ; VILELA, R. F. ; LIMA, W. A.. Processo Otimizado para o Desenvolvimento de Módulos Educacionais Digitais com o Envolvimento do Professor. Em: II Seminário Nacional de Inclusão Digital, 2013.Qualis: Não identificado (II Seminário Nacional de Inclusão Digital) |
85. | INOCÊNCIO, ANA CAROLINA G. ; JUNIOR, PAULO AFONSO P. ; RIBEIRO, MARCOS WAGNER S. ; VILELA, RICARDO F. ; VALLE, PEDRO HENRIQUE D. ; MUNIZ, RAPHAEL J. ; LIMA, WÊNDER A.. GrupJED - Grupo de Pesquisa e Desenvolvimento de Jogos Educacionais Digitais. Em: Worshops do II Congresso Brasileiro de Informática na Educação, 2013.  |
86. | ISOTANI, S. ; BRANDÃO, L. O.. O papel do professor e do aluno frente ao uso de um software de geometria interativa: iGeom. Bolema. Boletim de Educação Matemática (UNESP. Rio Claro. Impresso). v. 27, p. 165-192, 2013. Qualis: Não identificado (IMPRESSO)) |
87. | KASHIWABARA, ANDRÉ YOSHIAKI ; BONADIO, ÍGOR ; ONUCHIC, VITOR ; AMADO, FELIPE ; MATHIAS, RAFAEL ; Durham, Alan Mitchell. ToPS: A Framework to Manipulate Probabilistic Models of Sequence Data. PLOS Computational Biology (Online). v. 9, p. e1003234, 2013. Qualis: A1 |
88. | KAWAMOTO, A. L. S. ; CORREA DA SILVA, FLÁVIO SOARES. Utilização de dispositivos de interfaces naturais de usuário em aplicações de realidade aumentada. Em: Tendências e técnicas em realidade virtual e aumentada, v. 3, p. 75-88, 2013.Qualis: C |
89. | KAWAMOTO, A. L. S. ; MARTINS, V. F. ; CORREA DA SILVA, FLAVIO S.. Usability Evaluation of an Application Designed for the Older Adults. Em: 12th International Conference on Entertainment Computing, ICEC 2013, 2013, São Paulo. 12th International Conference, ICEC 2013, São Paulo, Brazil, October 16-18, 2013. Proceedings. Alemanha: Springer, v. 1, p. 189-192, 2013. Qualis: Não identificado (12TH INTERNATIONAL CONFERENCE ON ENTERTAINMENT COMPUTING, ICEC 2013, 2013, SÃO PAULO. 12TH INTERNATIONAL CONFERENCE, ICEC 2013, SÃO PAULO, BRAZIL, OCTOBER 16-18, 2013. PROCEEDINGS. ALEMANHA: SPRINGER) |
90. | KOHAYAKAWA, Y.; HOPPEN, C. ; Moreira, Carlos Gustavo ; RATH, B. ; Sampaio, R.M.. Limits of permutation sequences. JOURNAL OF COMBINATORIAL THEORY SERIES B. v. 103, p. 93-113, 2013. Qualis: A2 (JOURNAL OF COMBINATORIAL THEORY. SERIES B) |
91. | KON, F. Ciência Aberta, Dados Abertos e Código Aberto. Computação Brasil, Porto Alegre, p. 22-29, 01 jul. 2013. |
92. | KON, F. Palestra no Google Campus Tel-Aviv (Israel): The Power of Open Source. 2013. Apresentação de Trabalho/Conferência ou palestra |
93. | KON, F. Aulas convidadas em Technion (Israel). 2013. Apresentação de Trabalho/Conferência ou palestra |
94. | KRAEMER, ALESSANDRO ; OLIVEIRA, JUNIOR CESAR DE ; SANTOS, FABIO ANDRE GARALUZ DOS ; MACIEL, ANA CLAUDIA ; Goldman, Alfredo ; CORDEIRO, DANIEL. Dynamic Creation of BSP/CGM Clusters on Cloud Computing Platforms. Em: 2013 Fourth International Conference on Emerging Intelligent Data and Web Technologies (EIDWT), p. 767, 2013. Qualis: Não identificado (2013 Fourth International Conference on Emerging Intelligent Data and Web Technologies (EIDWT)) |
95. | Krzysztof Chris Ciesielski ; Miranda, P.A.V. ; A.X. Falcão ; Udupa, J.K.. Joint graph cut and relative fuzzy connectedness image segmentation algorithm. Medical Image Analysis (Print). v. 17, p. 1046-1057, 2013. Qualis: A1 |
96. | L.A.C. Mansilla ; Miranda, P.A.V.. Image Segmentation by Oriented Image Foresting Transform with Geodesic Star Convexity. Em: 15th International Conference on Computer Analysis of Images and Patterns (CAIP), v. 8047, p. 572-579, 2013.Qualis: Não identificado (15th International Conference on Computer Analysis of Images and Patterns (CAIP)) |
97. | LAMAS, L. ; BARRERA, Junior ; Santana, F. ; UGRINOWITSCH, C.. Team sports modeling: building a framework for quantitative approaches. Em: Juarez Vieira do Nascimento; Valmor Ramos; Fernando Tavares. (Org.). Jogos Desportivos: Formação e Investigação. 1ed.Florianópolis. : EUDESC. 2013.v. 2013, p. 439-462. |
98. | Lara, Arnaldo C. ; Hirata Jr., Roberto. A Pyramid of Concentric Circular Regions to Improve Rotation Invariance in Bag-of-Words Approach for Object Categorization. Em: 8th International Joint Conference on Computer Vision, 2013.Qualis: Não identificado (8th International Joint Conference on Computer Vision) |
99. | Lara, Arnaldo C. ; Hirata Jr., Roberto. A Granulometry Based Descriptor For Object Categorization. Em: 11th International Symposium on Mathematical Morphology, 2013.Qualis: Não identificado (11th International Symposium on Mathematical Morphology) |
100. | Leandro, Jorge J. G. ; Cesar Jr, Roberto M. ; FERIS, Rogério S.. Shape Analysis using the Spectral Graph Wavelet Transform. Em: IEEE eScience Conference, 2013.Qualis: Não identificado (IEEE eScience Conference) |
101. | LEITE, LEONARDO A. F. ; LAGO, N. P. ; GEROSA, M. A. ; KON, F.. Um Middleware para Encenação Automatizada de Coreografias de Serviços Web em Ambientes de Computação em Nuvem. Em: XXXI Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC), v. 1, p. 937-950, 2013.Qualis: Não identificado (XXXI Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC)) |
102. | LEMESZENSKI, D. A. ; NAKAMURA, Ricardo. A marker-free calibration and registration process for multiple depth maps from structured light sensors and its application in Video Avatar systems. Em: Symposium on Virtual and Augmented Reality, v. 1, p. 73-82, 2013.Qualis: Não identificado (Symposium on Virtual and Augmented Reality) |
103. | LEÓN, LEISSI CASTAÑEDA ; JUNIOR, ROBERTO HIRATA. Car detection in sequences of images of urban environments using mixture of deformable part models. Pattern Recognition Letters. v. 39, p. 39-51, 2013. Qualis: A2 |
104. | LIMA, A. D. S. ; SICHMAN, J. S.. C.O.R.M.: Customized Opinion Relevance Model. Em: II Workshop de Pós-Graduação em Engenharia de Computação (WPGEC 2013), 2013, São Paulo. Anais do II Workshop de Pós-Graduação em Engenharia de Computação (WPGEC 2013), 2013. |
105. | LIMA, W. A. ; VILELA, R. F. ; VALLE, P. H. D. ; MUNIZ, R. J. ; INOCENCIO, A. C. G. ; PARREIRA JUNIOR, P. A.. Sistematização da Etapa de Implementação de um Framework para Jogos Educacionais Digitais. Em: I Encontro Acadêmico do Câmpus Jataí da Universidade Federal de Goiás, 2013, Jataí. I Encontro Acadêmico do Câmpus Jataí da Universidade Federal de Goiás, 2013. |
106. | LIMA, W. A. ; VILELA, R. F. ; VALLE, P. H. D. ; MUNIZ, R. J. ; PARREIRA JUNIOR, P. A. ; INOCENCIO, A. C. G.. Sistematização da Etapa de Implementação de um Framework para Jogos Educacionais Digitais. 2013. Apresentação de Trabalho/Outra |
107. | LUZ, F. F. ; Wassermann, R.. Consulta a ontologias em língua portuguesa através do português controlado. Em: Encontro Nacional de Inteligência Artificial e Computacional (ENIAC), 2013.Qualis: Não identificado (Encontro Nacional de Inteligência Artificial e Computacional (ENIAC)) |
108. | M. Monteiro ; A. Goldman ; G. Amantea. WiP: A Framework to Evaluate Routing Protocols on Mobile Networks using Realistic Scenarios. Em: 5th Extreme Conference on Communication, 2013, Eyjafjallajökull region. Proceedings of the 5th Extreme Conference on Communication, 2013. Qualis: Não identificado (5TH EXTREME CONFERENCE ON COMMUNICATION, 2013, EYJAFJALLAJÖKULL REGION. PROCEEDINGS OF THE 5TH EXTREME CONFERENCE ON COMMUNICATION) |
109. | MACHADO, ANDERSON FRAIHA ; BONAFONTE, ANTONIO ; Queiroz, Marcelo. Parametric decomposition of the spectral envelope. Em: ICASSP 2013 2013 IEEE International Conference on Acoustics, p. 571-574, 2013. Qualis: Não identificado (ICASSP 2013 2013 IEEE International Conference on Acoustics) |
110. | MANSILLA, LUCY A. C. ; JACKOWSKI, MARCEL P. ; Miranda, Paulo A. V.. Image foresting transform with geodesic star convexity for interactive image segmentation. Em: 2013 20th IEEE International Conference on Image Processing (ICIP), p. 4054, 2013. Qualis: Não identificado (2013 20th IEEE International Conference on Image Processing (ICIP)) |
111. | MANSILLA, LUCY A. C. ; MIRANDA, PAULO A.V.. Image segmentation by oriented image foresting transform: Handling ties and colored images. Em: 2013 18th International Conference on Digital Signal Processing (DSP), p. 1, 2013. Qualis: Não identificado (2013 18th International Conference on Digital Signal Processing (DSP)) |
112. | MANSILLA, LUCY A.C. ; MIRANDA, PAULO A.V. VECHIATTO ; CAPPABIANCO, FABIO A.M.. Image Segmentation by Image Foresting Transform with Non-smooth Connectivity Functions. Em: 2013 XXVI SIBGRAPI Conference on Graphics, p. 147, 2013. Qualis: Não identificado (2013 XXVI SIBGRAPI Conference on Graphics) |
113. | Marcio Moretto Ribeiro ; Wassermann, R. ; Flouris, G. ; Antoniou, G.. Minimal change: Relevance and recovery revisited. Artificial Intelligence (General Ed.). v. 201, p. 59-80, 2013. Qualis: A1 |
114. | Mariana R. Franco ; Sichman, Jaime Simão. Using the JaCaMo framework to develop a SMA for the MAPC 2012 ?Agents on Mars? scenario. Em: VII Workshop-Escola de Agentes, p. 91-96, 2013.Qualis: Não identificado (VII Workshop-Escola de Agentes) |
115. | Martins, David C. ; DE OLIVEIRA, EVALDO A. ; BRAGA-NETO, ULISSES M. ; HASHIMOTO, RONALDO F. ; Cesar, Roberto M.. Signal Propagation in Bayesian Networks and its Relationship with Intrinsically Multivariate Predictive Variables. Information Sciences. v. 225, p. 18-34, 2013. Qualis: A1 |
116. | MARTINS, V. ; KAWAMOTO, A. L. S. ; CORREA DA SILVA, F. S.. Guidelines for the Development of Gestural Interface Games for Older Adults. Em: Simpósio Brasileiro de Games, 2013, São Paulo. Anais do SBGAMES 2013. São Paulo: SBC, v. 1, p. 1-1, 2013. |
117. | MATUSZEWSKI, D. J. ; LOPES, R. M. ; CESAR-JR, ROBERTO M.. Visual Rhythm-based method for continuous plankton monitoring. Em: IEEE eScience Conference, 2013.Qualis: Não identificado (IEEE eScience Conference) |
118. | MEDINA, A. C. ; NARDIN, Luis Gustavo ; PEREIRA, N. N. ; Rui Carlos Botter ; Sichman, Jaime Simão. A Distributed Simulation Model of the Maritime Logistics in an Iron Ore Supply Chain Management. Em: 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2013), 2013, Reykjavic. Proceedings of SIMULTECH 2013, 2013. Qualis: Não identificado (3RD INTERNATIONAL CONFERENCE ON SIMULATION AND MODELING METHODOLOGIES, TECHNOLOGIES AND APPLICATIONS , 2013, REYKJAVIC. PROCEEDINGS OF SIMULTECH 2013) |
119. | MEIRELLES, Paulo; VENTURELLI, S.. Mídias sociais expressivas e colaborativas. REVISTA VIS (UNB). v. 12, p. 113-125, 2013.Qualis: A4 |
120. | Melotti, M. ; GOMES, Roberta Lima ; Raft, V. ; GEROSA, M. A.. CReAMA: A Component-Based Reference Architecture for Collaborative Mobile Applications. Em: X Simposio Brasileiro de Sistemas Colaborativos, 2013.Qualis: Não identificado (X Simposio Brasileiro de Sistemas Colaborativos) |
121. | MENEZES, M. V. ; BARROS, L. N. ; PEREIRA, S. L.. Regressão de Ações Não Determinísticas: uma Solução Simbólica. Em: X Encontro Nacional de Inteligência Artificial e Computacional (ENIAC), v. 29, p. 1-12, 2013.Qualis: Não identificado (X Encontro Nacional de Inteligência Artificial e Computacional (ENIAC)) |
122. | Miranda, Paulo A. V.; CAPPABIANCO, FABIO A. M. ; IDE, JAIME S.. A case analysis of the impact of prior center of gravity estimation over skull-stripping algorithms in MR images. Em: 2013 20th IEEE International Conference on Image Processing (ICIP), p. 675, 2013. Qualis: Não identificado (2013 20th IEEE International Conference on Image Processing (ICIP)) |
123. | MORAIS, E. M. ; Finger, Marcelo. Probabilistic Answer Set Programming. Em: BRACIS -- Brazilian Conference on Intelligent Systems, 2013.Qualis: Não identificado (BRACIS -- Brazilian Conference on Intelligent Systems) |
124. | Mota, G.O. Ramsey number for bipartite graphs - 29º Colóquio Brasileiro de Matemática. 2013. Apresentação de Trabalho/Conferência ou palestra |
125. | Mota, G.O. Conjectura das fontes monocromáticas - Workshop em Estruturas Combinatórias, Otimização e Algoritmos. 2013. Apresentação de Trabalho/Outra |
126. | Mota, G.O. Ramsey number for bipartite graphs with small bandwidth - Mathematical Congress of the Americas. 2013. Apresentação de Trabalho/Congresso |
127. | Mota, G.O. Ramsey number for graphs with small bandwidth - European Conference on Combinatorics, Graph Theory and Applications. 2013. Apresentação de Trabalho/Congresso |
128. | Mota, G.O. Dois resultados em combinatória contemporânea. 2013. Tese |
129. | Mota, G.O.; Sárközy, G. ; Schacht, M. ; Taraz, A.. Ramsey number for bipartite graphs with small bandwidth. Em: European Conference on Combinatorics, Graph Theory and Applications - Eurocomb 2013, 2013, Pisa. The Seventh European Conference on Combinatorics, Graph Theory and Applications - Eurocomb 2013. Pisa: Edizioni Della Normale, v. 16, p. 165-170, 2013. Qualis: Não identificado (EUROPEAN CONFERENCE ON COMBINATORICS, GRAPH THEORY AND APPLICATIONS - EUROCOMB 2013, 2013, PISA. THE SEVENTH EUROPEAN CONFERENCE ON COMBINATORICS, GRAPH THEORY AND APPLICATIONS - EUROCOMB 2013. PISA: EDIZIONI DELLA NORMALE) |
130. | MOURA, PAULO ; Kon, Fabio. Automated scalability testing of software as a service. Em: 2013 8th International Workshop on Automation of Software Test (AST), v. 1, p. 8, 2013. Qualis: Não identificado (2013 8th International Workshop on Automation of Software Test (AST)) |
131. | MUNIZ, R. J. ; VILELA, R. F. ; VALLE, P. H. D. ; LIMA, W. A. ; PARREIRA JUNIOR, P. A. ; INOCENCIO, A. C. G.. Um Perfil UML para Modelagem de Jogos Educacionais. Em: I Encontro Acadêmico do Câmpus Jataí da Universidade Federal de Goiás, 2013, Jataí. I Encontro Acadêmico do Câmpus Jataí da Universidade Federal de Goiás, 2013. |
132. | MUNIZ, R. J. ; VILELA, R. F. ; VALLE, P. H. D. ; LIMA, W. A. ; PARREIRA JUNIOR, P. A. ; INOCENCIO, A. C. G.. Um Perfil UML para Modelagem de Jogos Educacionais. 2013. Apresentação de Trabalho/Outra |
133. | Nakamura, Ricardo. Serious Games. 2013. Apresentação de Trabalho/Congresso |
134. | Nardin, Luis G. ; Brandão, Anarosa A. F. ; KIRA, ELISABETI ; Sichman, Jaime S.. Effects of reputation communication expressiveness in virtual societies. Computational and Mathematical Organization Theory. v. 20, p. 113-132, 2013. Qualis: B1 |
135. | NASCIMENTO, MAURICIO G. F. ; BRANDAO, LEONIDAS O. ; BRANDAO, ANAROSA A. F.. A model to support a learning object repository for web-based courses. Em: 2013 IEEE Frontiers in Education Conference (FIE), p. 548, 2013. Qualis: Não identificado (2013 IEEE Frontiers in Education Conference (FIE)) |
136. | NGOKO, YANIK ; Goldman, Alfredo ; MILOJICIC, DEJAN. Service selection in web service compositions optimizing energy consumption and service response time. Journal of Internet Services and Applications. v. 4, p. 19, 2013. Qualis: A2 |
137. | O. MELO, CLAUDIA ; SANTOS, VIVIANE ; KATAYAMA, EDUARDO ; CORBUCCI, HUGO ; PRIKLADNICKI, RAFAEL ; Goldman, Alfredo ; Kon, Fabio. The evolution of agile software development in Brazil. Journal of the Brazilian Computer Society (Impresso),. v. 1, p. 523-552, 2013. Qualis: B1 (JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY) |
138. | OLEYNIK, M. ; Finger, M ; PATRAO, D. F. C.. Information Retrieval from Clinical Reports. Em: Workshop on Knowledge Extraction from Text at NIPS 2013, 2013.Qualis: Não identificado (Workshop on Knowledge Extraction from Text at NIPS 2013) |
139. | OLIVA, Gustavo ; STEINMACHER, I. ; WIESE, I. S. ; GEROSA, M.A.. What Can Commit Metadata Tell Us About Design Degradation?. Em: 13th International Workshop on Principles on Software Evolution (IWPSE), 2013. Qualis: Não identificado (13th International Workshop on Principles on Software Evolution (IWPSE)) |
140. | OLIVA, GUSTAVO A. ; GEROSA, MARCO A. ; MILOJICIC, DEJAN ; SMITH, VIRGINIA. A Change Impact Analysis Approach for Workflow Repository Management. Em: 2013 IEEE International Conference on Web Services (ICWS), p. 308-315, 2013. Qualis: Não identificado (2013 IEEE International Conference on Web Services (ICWS)) |
141. | OLIVEIRA, L. S. ; GRUBER, A. ; DURHAM, A. M.. Development of integrated environment for analysis and annotation of DNA sequences. 2013. Apresentação de Trabalho/Outra |
142. | OLIVEIRA, P. T. G. ; ANDRADE, A. ; WASSERMANN, R.. Toward the Revision of CTL Models through Kripke Modal Transition Systems. Em: Simpósio Brasileiro de Métodos Formais (SBMF), 2013.Qualis: Não identificado (Simpósio Brasileiro de Métodos Formais (SBMF)) |
143. | OLIVEIRA, P. T. G. ; Wassermann, R.. On the Difference Between Revising Models and Revising Specifications. Em: Workshop on Logical and Semantic Frameworks with Applications (LSFA), 2013, São Paulo. Proceedings of the Workshop on Logical and Semantic Frameworks with Applications (LSFA), 2013. Qualis: Não identificado (WORKSHOP ON LOGICAL AND SEMANTIC FRAMEWORKS WITH APPLICATIONS , 2013, SÃO PAULO. PROCEEDINGS OF THE WORKSHOP ON LOGICAL AND SEMANTIC FRAMEWORKS WITH APPLICATIONS) |
144. | PATRAO, D. F. C. ; BRENTANI, H. ; Finger, Marcelo ; WASSERMANN, R.. Ontocloud ? a clinical information ontology based data integration system. Em: Ontobras, p. 118-129, 2013.Qualis: Não identificado (Ontobras) |
145. | Queiroz, M. Computação Musical e Aplicações (Palestra de Divulgação na SIFSC 3 - Terceira Semana do Instituto de Física de São Carlos - IFSC/USP). 2013. Apresentação de Trabalho/Conferência ou palestra |
146. | RANGEL, L. T. ; Novaes, J. ; DURHAM, A. M. ; MADEIRA, A. M. B. N. ; GRUBER, A.. The Eimeria Transcript DB: an integrated resource for annotated transcripts of protozoan parasites of the genus Eimeria. DATABASE-OXFORD. v. 2013, p. bat006-bat006, 2013. Qualis: Não identificado (DATABASE-OXFORD) |
147. | REIS, D. F. ; SANTOS, J. P. M. ; VALLE, P. H. D. ; VILELA, R. F. ; INOCENCIO, A. C. G.. Uma Proposta de Avaliação Heurística para Ambientes Virtuais de Aprendizagem com Enfoque em Pessoas com Necessidades Educativas Especiais. Em: X Workshop de Realidade Virtual e Aumentada, 2013.Qualis: Não identificado (X Workshop de Realidade Virtual e Aumentada) |
148. | REIS, D. F. ; SANTOS, J. P. M. ; VALLE, P. H. D. ; VILELA, R. F. ; INOCENCIO, A. C. G.. Uma Proposta de Avaliação Heurísticas para Ambientes Virtuais de Aprendizagem com Enfoque em Pessoas com Necessidades Educativas Especiais. 2013. Apresentação de Trabalho/Outra |
149. | REIS, M. S. ; BARRERA, Junior. Solving problems in mathematical morphology through reduction to the U-curve problem. Em: ISMM - Mathematical Morphology and its applications to Signal and Image Processing, v. 11, p. 49-60, 2013.Qualis: Não identificado (ISMM - Mathematical Morphology and its applications to Signal and Image Processing) |
150. | Renan C.A. Alves ; CASTRO, Paulo André Lima de ; SICHMAN, J. S.. Um Mecanismo de Integração entre os Simuladores de Mercado Financeiro AgEx e MASSES. Revista Eletrônica de Iniciação Científica. v. 13, p. 3, 2013.Qualis: C |
151. | RODRIGUES, JOSE ROBERTO A. ; BRANDAO, LEONIDAS O. ; NASCIMENTO, MAURICIO ; RODRIGUES, PATRICIA ; BRANDAO, ANAROSA A. F. ; GIROIRE, HELENE ; AUZENDE, ODETTE. iQuiz: Integrated assessment environment to improve Moodle Quiz. Em: 2013 IEEE Frontiers in Education Conference (FIE), 2013, Oklahoma City. 2013 IEEE Frontiers in Education Conference (FIE), p. 293, 2013. Qualis: Não identificado (2013 IEEE FRONTIERS IN EDUCATION CONFERENCE , 2013, OKLAHOMA CITY. 2013 IEEE FRONTIERS IN EDUCATION CONFERENCE) |
152. | RODRIGUES, MAURICIO CHUI ; Ferreira, Joao Eduardo ; Pu, Calton. Web Services Composition through Data Events Approach. Em: 2013 IEEE International Conference on Services Computing (SCC), p. 320, 2013. Qualis: Não identificado (2013 IEEE International Conference on Services Computing (SCC)) |
153. | Rosset, Luciano Menasce ; Nardin, Luis G. ; Sichman, Jaime Simão. Use of High Performance Computing in Agent-Based Social Simulation: A Case Study on Trust-Based Coalition Formation. Em: VII Workshop-Escola de Agentes, seus Ambientes e ApliCações (WESAAC 2103), 2013, São Paulo. Anais do WESAAC 2013, p. 161-163, 2013. Qualis: Não identificado (VII WORKSHOP-ESCOLA DE AGENTES, SEUS AMBIENTES E APLICAÇÕES , 2013, SÃO PAULO. ANAIS DO WESAAC 2013) |
154. | Rosset, Luciano Menasce ; NARDIN, Luis Gustavo ; Sichman, Jaime Simão. Simulação de Parcerias Entre Agentes Autônomos. Em: 21o. Simpósio Internacional de Iniciação Científica da USP, 2013, São Carlos. Anais do 21o. Simpósio Internacional de Iniciação Científica da USP, 2013. |
155. | ROZESTRATEN, A.S. ; CHOU, A. ; VALENTINI, S. ; GEROSA, M. A. ; REGANATI, G. ; VALENTE, C. ; SILVA, T. F. ; CLARO, R.. Smart Audio City Guide: um sistema colaborativo para apoio ao deslocamento urbano de pessoas com deficiência visual. Em: X Simposio Brasileiro de Sistemas Colaborativos, 2013, Manaus. SBSC 2013, 2013. |
156. | SANCHES, SILVIO R. R. ; SILVA, VALDINEI F. ; Nakamura, Ricardo ; TORI, Romero. Objective assessment of video segmentation quality for augmented reality. Em: 2013 IEEE International Conference on Multimedia and Expo (ICME), p. 1, 2013. Qualis: Não identificado (2013 IEEE International Conference on Multimedia and Expo (ICME)) |
157. | SANTOS, CARLOS ; KUK, GEORGE ; Kon, Fabio ; PEARSON, JOHN. The attraction of contributors in free and open source software projects. Journal of Strategic Information Systems. v. 22, p. 26-45, 2013. Qualis: Não identificado (JOURNAL OF STRATEGIC INFORMATION SYSTEMS) |
158. | SANTOS, FELIPE MARTINS DOS ; BARROS, LELIANE NUNES DE ; HOLGUIN, MIJAIL GAMARRA. Stochastic Bisimulation for MDPs Using Reachability Analysis. Em: 2013 Brazilian Conference on Intelligent Systems (BRACIS), p. 213, 2013. Qualis: Não identificado (2013 Brazilian Conference on Intelligent Systems (BRACIS)) |
159. | SANTOS, J. P. M. ; REIS, D. F. ; VALLE, P. H. D. ; VILELA, R. F. ; INOCENCIO, A. C. G.. Proposta de um Método de Análise Comparativa de Tecnologias Assistivas para Utilização em Ambientes Virtuais de Aprendizagem. Em: X Workshop de Realidade Virtual e Aumentada, 2013.Qualis: Não identificado (X Workshop de Realidade Virtual e Aumentada) |
160. | SANTOS, J. P. M. ; REIS, D. F. ; VALLE, P. H. D. ; VILELA, R. F. ; INOCENCIO, A. C. G.. Proposta de um Método de Análise Comparativa de Tecnologias Assistivas para utilização em Ambientes Virtuais de Aprendizagem. 2013. Apresentação de Trabalho/Outra |
161. | SANTOS, L. A. ; CAMPIOLO, R. ; GEROSA, M.A. ; BATISTA, D. M.. Detecção de Alertas de Segurança em Redes de Computadores Usando Redes Sociais. Em: XXXI Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC), 2013.Qualis: Não identificado (XXXI Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC)) |
162. | SANTOS, VIVIANE ; Goldman, Alfredo ; RORIZ FILHO, HEITOR. The Influence of Practices Adopted by Agile Coaching and Training to Foster Interaction and Knowledge Sharing in Organizational Practices. Em: 2013 46th Hawaii International Conference on System Sciences (HICSS), p. 4852, 2013. Qualis: Não identificado (2013 46th Hawaii International Conference on System Sciences (HICSS)) |
163. | SANTROS JR., C. D. ; KON, F.. Colaboração e Software Livre. Em: CONSEGI; SERPRO. (Org.). Congresso Internacional de Software Livre e Governo Eletrônico. 1ed.Brasília. 2013.v. 3, p. 43-66. |
164. | SCHIAVONI, F. L. ; QUEIROZ, M. ; WANDERLEY, M.. Alternatives in Network Transport Protocols for Audio Streaming Applications. Em: International Computer Music Conference, p. 193-200, 2013.Qualis: Não identificado (International Computer Music Conference) |
165. | SCHIAVONI, F. L. ; QUEIROZ, M. ; WANDERLEY, M.. Network Music with Medusa - a Comparison of Tempo Alignment in Existing MIDI APIs. Em: Sound and Music Computing Conference, p. 419-424, 2013. Qualis: Não identificado (Sound and Music Computing Conference) |
166. | SCHIAVONI, F. L. ; WANDERLEY, M. ; Queiroz, Marcelo. Network Music with Medusa - a Comparison of Tempo Alignment in Existing MIDI APIs. 2013. Apresentação de Trabalho/Congresso |
167. | SCHWERZ, ANDRE LUIS ; LIBERATO, RAFAEL ; WIESE, IGOR SCALIANTE ; STEINMACHER, IGOR ; GEROSA, M. A. ; FERREIRA, JOAO EDUARDO. Predizendo a Participação de Desenvolvedores em Discussões em Projetos de Software Livre. Em: Workshop Internacional de Software Livre (WSL), 2013.Qualis: Não identificado (Workshop Internacional de Software Livre (WSL)) |
168. | SEVERINO, PATRICIA ; OLIVEIRA, LILIANE ; TORRES, NATALIA ; ANDREGHETTO, FLAVIA ; DE FATIMA GUARIZO KLINGBEIL, MARIA ; MOYSES, RAQUEL ; WÜNSCH-FILHO, VICTOR ; NUNES, FABIO ; MATHOR, MONICA ; PASCHOAL, ALEXANDRE ; DURHAM, ALAN. High-throughput sequencing of small RNA transcriptomes reveals critical biological features targeted by microRNAs in cell models used for squamous cell cancer research. BMC Genomics. v. 14, p. 735, 2013. Qualis: A2 |
169. | SICHMAN, J. S. SOARI: A Service Oriented Architecture for Agent Reputation Models Interoperability. 2013. Apresentação de Trabalho/Conferência ou palestra |
170. | SILVA, Paulo Salem da ; de Melo, Ana C.V.. On-The-Fly Verification of Discrete Event Simulations by Means of Simulation Purposes. Society for Modeling and Simulation International. Transactions. 2013. Qualis: Não identificado (TRANSACTIONS) |
171. | SILVA, Paulo Salem da ; MELO, ANA C.V. DE. An Approach for the Verification of Multi-agent Systems by Formally Guided Simulations. Em: 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), p. 266-273, 2013. Qualis: Não identificado (2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT)) |
172. | SILVA, Paulo Salem da ; MELO, ANA C.V. DE. Behaviorist Agent Architecture. Em: 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), p. 187, 2013. Qualis: Não identificado (2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT)) |
173. | SOKOL, F. ; ANICHE, M.F. ; GEROSA, M.A.. Does the Act of Refactoring Really Make Code Simpler? A Preliminary Study. Em: IV Workshop Brasileiro de Métodos Ágeis (WBMA), 2013.Qualis: Não identificado (IV Workshop Brasileiro de Métodos Ágeis (WBMA)) |
174. | SOKOL, FRANCISCO ZIGMUND ; ANICHE, MAURICIO FINAVARO ; GEROSA, MARCO AURELIO. MetricMiner: Supporting researchers in mining software repositories. Em: 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM), 2013, Eindhoven. 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM), p. 142-146, 2013.  |
175. | SONNINO, R. ; MATSUMURA, K. K. ; BERNARDES JR, João Luiz ; NAKAMURA, Ricardo ; TORI, Romero. Fusion4D: 4D unencumbered direct manipulation and visualization. Em: 2013 XV Symposium on Virtual and Augmented Reality, v. 1, p. 134-141, 2013.Qualis: Não identificado (2013 XV Symposium on Virtual and Augmented Reality) |
176. | SOUSA JR., V. D. ; NUNES, F. L. S. ; ARAUJO, L. ; NAKAMURA, Ricardo ; MONTEIRO, C. B. M.. MoVER: Serious Game aplicado a reabilitação motora usando sensor de movimento Kinect. Em: Workshop de Informática Médica, p. 1-10, 2013.Qualis: Não identificado (Workshop de Informática Médica) |
177. | STEINMACHER, IGOR ; CHAVES, ANA PAULA ; Gerosa, Marco Aurélio. Awareness Support in Distributed Software Development: A Systematic Review and Mapping of the Literature. Computer Supported Cooperative Work. v. 22, p. 113-158, 2013. Qualis: A2 |
178. | STEINMACHER, IGOR ; Silva, M.A.G. ; COGO, F. R. ; CHAVES, ANA PAULA ; GEROSA, M. A.. Tópicos de pesquisa e rede de coautoria no Simpósio Brasileiro de Sistemas Colaborativos. Em: X Simposio Brasileiro de Sistemas Colaborativos, 2013.Qualis: Não identificado (X Simposio Brasileiro de Sistemas Colaborativos) |
179. | STEINMACHER, IGOR ; WIESE, IGOR ; CHAVES, ANA PAULA ; GEROSA, MARCO AURELIO. Why do newcomers abandon open source software projects?. Em: 2013 6th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE), p. 25-32, 2013. Qualis: Não identificado (2013 6th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE)) |
180. | STERN, J. M.; DE BRAGANCA PEREIRA, C. A.. Bayesian epistemic values: focus on surprise, measure probability!. LOGIC JOURNAL OF THE IGPL. v. 22, p. 236-254, 2013. Qualis: A2 |
181. | SUCA, E. G. ; CORREA DA SILVA, F. S.. An Ontology for Portability and Interoperability Digital Documents. Em: 5th International Conference on Knowledge Management and Information Sharing, 2013.Qualis: Não identificado (5th International Conference on Knowledge Management and Information Sharing) |
182. | TAKECIAN, PEDRO L. ; OIKAWA, MARCIO K. ; BRAGHETTO, KELLY R. ; ROCHA, PAULO ; LUCENA, FRED ; KAVOUNIS, KATHERINE ; SCHLUMPF, KAREN S. ; ACKER, SUSAN ; CARNEIRO-PROIETTI, ANNA B.F. ; SABINO, ESTER C. ; CUSTER, BRIAN ; BUSCH, MICHAEL P. ; FERREIRA, JOÃO E.. Methodological guidelines for reducing the complexity of data warehouse development for transactional blood bank systems. Decision Support Systems. v. 55, p. 728-739, 2013. Qualis: A1 |
183. | TERADA, Routo; VILLENA, R. C.. Factoring a multi-prime modulus N with random bits. Em: 16th Information Security Conference (Qualis A2), v. 7807, p. 185-196, 2013. Qualis: Não identificado (16th Information Security Conference (Qualis A2)) |
184. | TREPODE, NESTOR W. ; DE FARIAS, CLÉVER R.G. ; BARRERA, JUNIOR. A pattern-oriented specification of gene network inference processes. Computers in Biology and Medicine. v. 43, p. 1415-1427, 2013. Qualis: A2 |
185. | VALLE, P. H. D.; MUNIZ, R. J. ; VILELA, R. F. ; LIMA, W. A. ; PARREIRA JUNIOR, P. A. ; INOCENCIO, A. C. G.. Proposta de Sistematização da Etapa de Arquitetura e Design para o Desenvolvimento de Jogos Educacionais. Em: I Encontro Acadêmico do Câmpus Jataí da Universidade Federal de Goiás, 2013, Jataí. I Encontro Acadêmico do Câmpus Jataí da Universidade Federal de Goiás, 2013. |
186. | VALLE, P. H. D.; MUNIZ, R. J. ; VILELA, R. F. ; LIMA, W. A. ; PARREIRA JUNIOR, P. A. ; INOCENCIO, A. C. G.. Proposto de Sistematização da Etapa de Arquitetura e Design para o Desenvolvimento de Jogos Educacionais. 2013. Apresentação de Trabalho/Outra |
187. | VALLE, P. H. D.; MUNIZ, R. J. ; VILELA, R. F. ; PARREIRA JUNIOR, P. A. ; INOCENCIO, A. C. G.. Um Conjunto de Heurísticas para Auxiliar no Design e Arquitetura de Jogos Educacionais Digitais. Em: Congresso de Pesquisa, 2013.Qualis: Não identificado (Congresso de Pesquisa) |
188. | VALLE, P. H. D.; REIS, D. F. ; VILELA, R. F. ; SANTOS, J. P. M. ; PARREIRA JUNIOR, P. A. ; INOCENCIO, A. C. G.. Uma Proposta para Avaliação de Ambientes Virtuais de Aprendizagem por Meio de Heurísticas. Em: X Workshop de Realidade Virtual e Aumentada, 2013.Qualis: Não identificado (X Workshop de Realidade Virtual e Aumentada) |
189. | VALLE, P. H. D.; REIS, D. F. ; VILELA, R. F. ; SANTOS, J. P. M. ; PARREIRA JUNIOR, P. A. ; INOCENCIO, A. C. G.. Uma Proposta para Avaliação de Ambiente Virtuais de Aprendizagem por Meio de Heurísticas. 2013. Apresentação de Trabalho/Outra |
190. | VALLE, P. H. D.; VILELA, R. F. ; PARREIRA JUNIOR, P. A. ; INOCENCIO, A. C. G.. HEDEG - Heurísticas para avaliação de Jogos Educacionais Digitais. Em: XVIII Conferência Internacional sobre Informática na Educação, 2013.Qualis: Não identificado (XVIII Conferência Internacional sobre Informática na Educação) |
191. | VALLE, P. H. D.; VILELA, R. F. ; PARREIRA JUNIOR, P. A. ; INOCENCIO, A. C. G.. HEDEG - Heurísticas para avaliação de jogos educacionais digitais. 2013. Apresentação de Trabalho/Conferência ou palestra |
192. | VENERO, M. L. F. ; ARAUJO, C. J. A. ; DAVID, DIEGO MIRA ; CORREA DA SILVA, FLÁVIO SOARES ; MAGALHAES, A. G.. OpenMuseum: a Framework for Collaboration Between Cultural Heritage Institutions. Em: Simpósio Brasileiro de Sistemas de Informação, p. 158-169, 2013.Qualis: Não identificado (Simpósio Brasileiro de Sistemas de Informação) |
193. | VENERO, M. L. F. ; CORREA DA SILVA, F. S.. Modelling and simulating interaction protocols using Nested Petri Nets. Em: Workshop on Formal Methods in the Development of Software, 2013.Qualis: Não identificado (Workshop on Formal Methods in the Development of Software) |
194. | VIANNA, L. G. R. ; S. Sanner ; BARROS, L. N.. Bounded Approximate Symbolic Dynamic Programming for Hybrid MDPs. Em: 29th Conference on Uncertainty in Artificial Intelligence (UAI-13)., v. 29, p. 674-683, 2013.Qualis: Não identificado (29th Conference on Uncertainty in Artificial Intelligence (UAI-13).) |
195. | VILELA, R. F. ; MUNIZ, R. J. ; VALLE, P. H. D. ; PARREIRA JUNIOR, P. A. ; INOCENCIO, A. C. G.. JEDReq: Um processo de Levantamento e Análise de Requisitos para Jogos Educacionais Digitais. Em: Congresso de Pesquisa, 2013.Qualis: Não identificado (Congresso de Pesquisa) |
196. | VILELA, R. F. ; VALLE, P. H. D. ; MUNIZ, R. J. ; LIMA, W. A. ; PARREIRA JUNIOR, P. A. ; INOCENCIO, A. C. G.. Processo para Levantamento e Análise de Requisitos para Produção de Jogos Educacionais. Em: I Encontro Acadêmico do Câmpus Jataí da Universidade Federal de Goiás, 2013, Jataí. I Encontro Acadêmico do Câmpus Jataí da Universidade Federal de Goiás, 2013. |
197. | VILELA, R. F. ; VALLE, P. H. D. ; MUNIZ, R. J. ; LIMA, W. A. ; PARREIRA JUNIOR, P. A. ; INOCENCIO, A. C. G.. Processo para Levantamento e Análise de Requisitos para Produção de Jogos Educacionais. 2013. Apresentação de Trabalho/Outra |
198. | VILELA, R. F. ; VALLE, P. H. D. ; REIS, D. F. ; SANTOS, J. P. M. ; PARREIRA JUNIOR, P. A. ; INOCENCIO, A. C. G.. Proposta de uma técnica de levantamento de requisitos para produção de ambientes virtuais de aprendizagem. Em: X Workshop de Realidade Virtual e Aumentada, 2013.Qualis: Não identificado (X Workshop de Realidade Virtual e Aumentada) |
199. | VILELA, R. F. ; VALLE, P. H. D. ; REIS, D. F. ; SANTOS, J. P. M. ; PARREIRA JUNIOR, P. A. ; INOCENCIO, A. C. G.. Proposta de uma técnica de levantamento de requisitos para produção de ambientes virtuais de aprendizagem. 2013. Apresentação de Trabalho/Outra |
200. | ZAMANI, Z. ; SANNER, S. ; DELGADO, K. V. ; BARROS, L. N.. Robust Optimization for Hybrid MDPs with State-dependent Noise. Em: 23rd International Joint Conference on Artificial Intelligence (IJCAI), v. 23, p. 2437-2443, 2013.Qualis: Não identificado (23rd International Joint Conference on Artificial Intelligence (IJCAI)) |