Departamento de Ciência da Computação - IME - USP

Resumos expandidos publicados em anais de congressos



Número total de itens: 173

2015

1.   BOTLER, F. ; MOTA, G. O. ; OSHIRO, M. T. I. ; WAKABAYASHI, Y. Path decompositions of regular graphs with prescribed girth. Em: European Conference on Combinatorics, Graph Theory and Applications (EuroComb), 2015, Bergen, Norway. Electron. Notes in Discrete Mathematics (doi: 10.1016/j.endm.2015.06.085), v. 49C, p. 629-636, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   BOTLER, F. ; MOTA, G. O. ; OSHIRO, M. T. I. ; WAKABAYASHI, Y.. Decompositions of highly connected graphs into paths of any given length. Em: European Conference on Combinatorics, Graph Theory and Applications (EuroComb), 2015, Bergen, Norway. Electron. Notes in Discrete Mathematics (doi: 10.1016/j.endm.2015.06.107), v. 49C, p. 795-802, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   BOTLER, F. ; MOTA, G. O. ; OSHIRO, M. T. I. ; WAKABAYASHI, Y.. Decompositions of highly connected graphs into paths of length five. Em: VIII Latin-American Algorithms, Graphs and Optimization Symposium (LAGOS), 2015, Beberibe, CE-Brasil. Electronic Notes in Discrete (doi:10.1016/j.endm.2015.07.036, v. 50C, p. 211-216, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   CUKIER, D. ; KON, F. ; KRUEGER, N.. Designing a Maturity Model for Software Startup Ecosystems. Em: 16th International Conference on Product-Focused Software Process Improvement (PROFES'2015) Workshop on Software Startups: State of the Art and State of the Practice, 2015, Bolzano. Proceedings PROFES'2015, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   de BARROS, Leliane ; GEROSA, M.A. ; WASSERMANN, R. ; SOUZA, R. T. ; YUCRA, M. S.. Da Folksonomia para formatos da Web Semântica: Um estudo exploratório no Sistema Arquigrafia. Em: XII Simpósio Brasileiro de Sistemas Colaborativos (SBSC 2015), 2015, Salvaor. Anais do SBSC 2015, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   Fernandes, Cristina G.; Schmidt, Tina Janne ; Taraz, Anusch. On Minimum Bisection and Related Partition Problems in Graphs with Bounded Tree Width. Em: EUROCOMB, 2015, Bergen, Norway. Electronic Notes in Discrete Mathematics, v. 49, p. 481-488, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   MEKKAOUI, C. ; CHEN, H. H. ; CHEN, I. Y. ; Jackowski, M. P. ; KOSTIS, WILLIAM J ; REESE, TIMOTHY G. ; LIAO, R. ; SOSNOVIK, D. E.. Alterations in Myofiber Architecture in Response to Left Ventricular Pressure Overload are Associated with the Upregulation of Genes Encoding for Cell Adhesion and Matrix Remodeling. Em: 23rd Annual Meeting and Exhibition (ISMRM), 2015, Toronto. Proceedings of the ISMRM, v. x, p. x-x, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   MEKKAOUI, C. ; CHEN, H. H. ; CHEN, I. Y. ; KOSTIS, WILLIAM J ; Jackowski, M. P. ; REESE, TIMOTHY G. ; SOSNOVIK, D. E.. Detection of Diffuse Myocardial Fibrosis In Vivo Using Diffusion Tensor Imaging with the Supertoroidal Model. Em: 23rd Annual Meeting and Exhibition (ISMRM), 2015, Toronto. Proceedings of the ISMRM, v. x, p. x-x, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   MEKKAOUI, C. ; PEREIRA, FABRICIO ; KOSTIS, WILLIAM J ; Jackowski, M. P.. Diffusion Tensor Imaging in Patients with Glioblastoma Multiforme using the Supertoroidal Model. Em: 23rd Annual Meeting and Exhibition (ISMRM), 2015, Toronto. Proceedings of the ISMRM, v. x, p. x-x, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   POLATO, IVANILTON ; BARBOSA, DENILSON ; HINDLE, ABRAM ; Kon, Fabio. Hadoop branching: Architectural impacts on energy and performance. Em: 2015 Sixth International Green and Sustainable Computing Conference (IGSC), 2015, p. 1, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   Rafael S. Coelho ; Phablo F.S. Moura ; Yoshiko Wakabayashi. The k-hop connected dominating set problem: hardness and polyhedra. Em: VIII Latin-American Algorithms, Graphs and Optimization Symposium (LAGOS), 2015, Beberibe, CE-Brasil. Electron. Notes in Discrete Mathematics (doi:10.1016/j.endm.2015.07.011), v. 50, p. 59-64, 2015.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2014

1.   CHAVES, A.P. ; GEROSA, M. A.. Using Collective Intelligence to Improve Urban Mobility in Smart Cities. Em: Doing CSCW Research in Latin America: Differences, Opportunities, Challenges, and Lessons Learned, 2014. Anais do Doing CSCW Research in Latin America: Differences, Opportunities, Challenges, and Lessons Learned, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   CORREA, ANDREIWID SHEFFER ; CORREA, PEDRO L.P. ; SILVA, DANIEL L. ; SILVA, FLAVIO SOARES CORREA DA. Really Opened Government Data: A Collaborative Transparency at Sight. Em: 2014 IEEE International Congress on Big Data (BigData Congress), 2014, Anchorage. 2014 IEEE International Congress on Big Data, p. 806-807, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   Graciano, Ana B.V. ; Cesar Jr, Roberto M. ; BLOCH, Isabelle. Modeling and recognition of structured objects: a statistical-relational approach. Em: Workshop FEAST - ICPR 2014, 2014, Stockholm. Proc. Workshop FEAST - ICPR 2014, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   MEKKAOUI, C. ; Jackowski, M. P. ; SAKADZIC, S. ; STOECK, C. ; REESE, TIMOTHY G. ; KOZERKE, SEBASTIAN ; OTT, H. C. ; SOSNOVIK, D. E.. Impact of the Connective Tissue Matrix in the Myocardium on the Restriction of Water Revealed with Diffusion Tensor MRI of a Decellularized Human Heart. Em: Joint Annual Meeting International Society for Magnetic Resonance in Medicine (ISMRM), 2014, Milan. Proceedings of the ISMRM, v. x, p. x-x, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   MEKKAOUI, C. ; Jackowski, M. P. ; STOECK, C. ; Thiagalingam, Aravinda ; KOSTIS, WILLIAM J ; RUSKIN, JEREMY N ; REESE, TIMOTHY G. ; KOZERKE, SEBASTIAN ; SOSNOVIK, D. E.. Detection of Infarcted and Arrhythmogenic Myocardium with DTI Tractography and Electroanatomical Voltage Mapping. Em: Joint Annual Meeting International Society for Magnetic Resonance in Medicine (ISMRM), 2014, Milan. Proceedings of the ISMRM, v. x, p. x-x, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   MORIMITSU, H. ; Cesar Jr, Roberto M. ; BLOCH, Isabelle. A graph-based approach for object detection and action recognition in videos. Em: Workshop FEAST - ICPR 2014, 2014, Stockholm. Proc. Workshop FEAST - ICPR 2014, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   Ribeiro, M. M. ; Wassermann, R.. Minimal Change in AGM Revision for Non-classical Logics. Em: International Conference on Principles of Knowledge Representation and Reasoning (KR), 2014, Viena. Proceedings of KR2014, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   STEINMACHER, I. ; GEROSA, M. A.. How to Support Newcomers Onboarding to Open Source Software Projects. Em: 10th IFIP WG 2.13 International Conference on Open Source System, 2014, San José, Costa Rica. OSS 2014, p. 199-201, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   STEINMACHER, IGOR ; GEROSA, M.A.. Choosing an Appropriate Task to Start With In Open Source Software Communities: a Hard Task. Em: 20th International Conference on Collaboration and Technology, 2014, Santiago. CRIWG 2014, p. 1-8, 2014.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2013

1.   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.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   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-2, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   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.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   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.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   DIAZ TULA, ANTONIO ; KURAUCHI, ANDREW T.N. ; Morimoto, Carlos H.. Facilitating gaze interaction using the gap and overlap effects. Em: CHI '13 Extended Abstracts on Human Factors in Computing Systems, 2013, p. 91, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   Jackowski, M. P.; CONCEICAO, D. M.. Produto interno de polinômios característicos entre tensores: uma abordagem para segmentação de imagens de tensores de difusão. Em: XXVI SIBGRAPI Conference on Graphics Patterns and Images, 2013, Arequipa. Proceedings of the SIBGRAPI, v. x, p. x, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   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.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   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.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   MAUÁ, D. D. Approximation Algorithms for Max-Sum-Product Problems. Em: Doctoral Consortium at International Joint Conference on Artificial Intelligence (IJCAI-13), 2013, Beijing, China. Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. Menlo Park, California: AAAI Press / International Joint Conferences on Artificial Intelligence, p. 3235-3236, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   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.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   RODRIGUES, J. R. A. ; BRANDÃO, L. O. ; NASCIMENTO, M. G. F. ; RODRIGUES, P. A. ; BRANDÃO, A. A. F. ; Giroire, H. ; Auzende, O.. iQuiz: integrated assessment environment to improve Moodle Quiz. Em: 2013 IEEE Frontiers in Education Conference, 2013, Oklahoma City, Oklahoma, EUA. Proceedings of the 43rd Annual Frontiers in Education Conference, 2013.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2012

1.   CALVAO, LEANDRO DANTAS ; PIMENTEL, Mariano ; FUKS, Hugo ; GEROSA, MARCO AURELIO. A Taxonomy of Computer Mediated Conversation. Em: 2012 Brazilian Symposium on Collaborative Systems (SBSC), 2012, Sao Paulo. 2012 Brazilian Symposium on Collaborative Systems, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   DALMON, D. L. ; BRANDÃO, L. O. ; GOMES, G. M. ; BRANDÃO, A. A. F. ; ISOTANI, Seiji. Work in Progress: A Generic Model for Interactivity-Intense Intelligent Tutor Authoring Tools. Em: 2012 Frontiers in Education Conference, 2012, Seattle. 2012 Frontiers in Education Conference Proceedings. Danvers: IEEE, v. 1, p. 1162-1163, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   MONTAGNER, I. S. ; HIRATA JR., R. ; HIRATA, N. S. T.. TRIOS - an open source toolbox for training image operators from samples. Em: Conference on Graphics, Patterns and Images, 25 (SIBGRAPI), 2012, Ouro Preto. Workshop of Works in Progress (WIP) in SIBGRAPI 2012 (XXV Conference on Graphics, Patterns and Images). Los Alamitos: IEEE Computer Society Conference Publishing Services, p. 45-46, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   MORAES JR, Hamilton F. ; NISHIDA, Fabia L. ; de Melo, Ana C.V.. Modelling websites elements according to usability aspects. Em: 8th International Conference on the Quality of Information and Communications Technology, 2012, Lisbon. Quality of Information and Communications Technology (QUATIC), 2012, p. 299-302, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   RIBEIRO, R. S. ; BRANDÃO, A. A. F. ; BRANDÃO, L. O.. Uma visão do cenário Nacional do Ensino de Algoritmos e Programação: uma proposta baseada no Paradigma de Programação Visual. Em: Simposio Brasileiro de Informática na Educação, 2012, Rio de Janeiro. Anais do Simpósio Brasileiro de Informática na Educaçào. Porto Alegre: SBC, v. 1, p. 1-5, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   SCHWERZ, ANDRE LUIS ; LIBERATO, RAFAEL ; WIESE, IGOR SCALIANTE ; STEINMACHER, IGOR ; GEROSA, MARCO AURELIO ; FERREIRA, JOAO EDUARDO. Prediction of Developer Participation in Issues of Open Source Projects. Em: 2012 Brazilian Symposium on Collaborative Systems (SBSC), 2012, Sao Paulo. 2012 Brazilian Symposium on Collaborative Systems, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   SILVA, P. P. S. B. ; BRAGHETTO, K. R. ; FERREIRA, J. E.. Uma abordagem ad hoc para o tratamento de exceções em processos transacionais. Em: Simpósio Brasileiro de Bancos de Dados, 2012, São Paulo. Proceedings of the 27th Brazilian Symposium on Databases - Short Papers. Porto Alegre: Sociedade Brasileira de Computação, v. 1, p. 153-160, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   TAKECIAN, P. L. ; FERREIRA, J. E.. Methodological Guidelines and Adaptive Statistical Data Validation to Build Effective DataWarehouses. Em: Simpósio Brasileiro de Bancos de Dados, 2012, São Paulo. Proceedings of the 27th Brazilian Symposium on Databases - Thesis and Dissertation Workshop. Sâo Paulo: Sociedade Brasileira de Computação, v. 1, p. 61-68, 2012.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2011

1.   BESSON, F. ; LEAL, P. ; KON, F. ; GOLDMAN, A. ; MILOJICIC, D.. Towards automated testing of web service choreographies. Em: 6th IEEE/ACM International Workshop on Automation of Software Test (AST'11), 2011, Waikiki-Hawaii - USA. Proceeding of the 6th IEEE/ACM International Workshop on Automation of Software Test (AST'11), p. 109-110, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   BESSON, F. ; LEAL, P. ; KON, F. ; GOLDMAN, A. ; MILOJICIC, D.. Supporting Test-Driven Development of Web Services Choreography. Em: Open Cirrus Summit 2011, 2011, Moscow - Russia. Proceedings of Open Cirrus Summit 2011, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   BRANDÃO, L. O.; ISOTANI, S. ; BRANDÃO, A. A. F.. Tools to support learning and teaching with interactive activities. Em: APplications to Provide LEarning and Teaching Support (APPLETS), 2011, Aracaju, SE. Anais do Simpósio Brasileiro de Informática na Educação, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   CORREA, R. ; HOPPEN, C. ; Kohayakawa, Yoshiharu ; Sampaio, Rudini M.. A note on random k-dimensional posets. Em: LAGOS '11 6th Latin-American Algorithms, Graphs and Optimization Symposium, 2011, Bariloche. Electronic Notes in Discrete Mathematics. Amsterdã: Elsevier, v. 37, p. 51-56, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   DALMON, D. L. ; ISOTANI, S. ; BRANDÃO, A. A. F. ; BRANDÃO, L. O.. Work in Progress: Enhancing Interactive Geometry Systems with Intelligent Tutoring Features. Em: 2011 Frontiers in Education Conference, 2011, p. F3-E1-F3-E2, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   DALMON, D. L. ; ISOTANI, S. ; BRANDÃO, A. A. F. ; BRANDÃO, L. O.. Work in Progress: Enhancing Interactive Geometry Systems with Intelligent Tutoring Features. Em: 2011 Frontiers in Education Conference, 2011, RAPID CITY. Proceedings of the 41st IEEE/ASEE Frontiers in Education Conference, p. F3-E1-F3-E2, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   DE MELO OLIVEIRA, RENAN ; Goldman, Alfredo. How to Build an Informative Workspace? An Experience Using Data Collection and Feedback. Em: 2011 AGILE Conference, 2011, p. 143-146, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   de Rezende, Susanna F. ; Fernandes, Cristina G. ; Martin, Daniel M. ; WAKABAYASHI, YOSHIKO. Intersection of Longest Paths in a Graph. Em: European Conference on Combinatorics, Graph Theory and Applications (EuroComb), 2011, Budapest. Electronic Notes in Discrete Mathematics. Amsterdam: Elsevier, v. 38, p. 743-748, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   DOMINGUES, H. ; KON, F. ; FERREIRA, J. E.. Asynchronous Replication for Evolutionary Database Development: A Design for the Experimental Assessment of a Novel Approach. Em: The 10th International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE 2011), 2011, Hersonissos - Crete - Greece. On the Move to Meaningful Internet Systems: OTM 2011. Berlin / Heidelberg: Springer, v. 7045, p. 818-825, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   Fernandes, Cristina G.; Ferreira, Carlos E. ; MIYAZAWA, F. K. ; Wakabayashi, Yoshiko. Selfish Square Packing. Em: LAGOS - VI Latin American Algorithms, Graphs, and Optimization Symposium, 2011, Bariloche, Argentina. Electronic Notes in Discrete Mathematics, v. 37, p. 369-374, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   Fernandes, Cristina G.; Stein, Maya. Stability in geodesics for memoryless binary long-lived consensus. Em: VI Latin-American Algorithms, Graphs and Optimization Symposium, 2011, Bariloche, v. 37, p. 351-356, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   FREIRE, A. S. ; FERREIRA, C. E. ; Assunção, G.P.. A dynamic programming algorithm for the tree mapping problem. Em: LAGOS - VI Latin American Algorithms, Graphs, and Optimization Symposium, 2011, Bariloche, Argentina. Electronic Notes in Discrete Mathematics, v. 37, p. 147-152, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   Goldman, Alfredo; FLORIANO, PAULO. An evaluation system. Em: the 3rd Extreme Conference, 2011, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14.   HOPPEN, C. ; Kohayakawa, Yoshiharu ; Lefmann, H.. Edge colorings of graphs avoiding some fixed monochromatic subgraph with linear Turán number. Em: EuroComb 2011 European Conference on Combinatorics, Graph Theory and Applications, 2011, Budapest. Electronic Notes in Discrete Mathematics. Amsterdã: Elsevier, v. 38, p. 469-472, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
15.   Kohayakawa, Yoshiharu; KONSTADINIDIS, P. B. ; MOTA, G. O.. On an anti-Ramsey property of random graphs. Em: LAGOS '11 6th Latin-American Algorithms, Graphs and Optimization Symposium, 2011, Bariloche. Electronic Notes in Discrete Mathematics. Amsterdã: Elsevier, v. 37, p. 237-242, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
16.   Kohayakawa, Yoshiharu; MOTA, G. O. ; PARENTE, R. F.. A note on counting orientations. Em: LAGOS '11 6th Latin-American Algorithms, Graphs and Optimization Symposium, 2011, Bariloche. Electronic Notes in Discrete Mathematics. Amsterdã: Elsevier, v. 37, p. 3-8, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
17.   KON, F.; MELO, C. O.. Empirical evaluation of agile practices impact on team productivity. Em: PhD Symposium at 12th International Conference on Agile Software Development (XP'2011), 2011, Madrid. Proceedings of the 12th International Conference on Agile Software Development, 2011, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
18.   Lima, Karla Roberta ; WAKABAYASHI, YOSHIKO. Convex Recoloring of Paths. Em: VI Latin American Algorithms, Graphs and Optimization Symposium, 2011, v. 37, p. 165-170, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
19.   MENEZES, M. V. ; BARROS, L. N.. Model Update for Automated Planning. Em: AAAI Doctoral Consortium 2011, 2011, São Francisco. 25th Association for the Advancement of Artificial Intelligence. Menlo Park, California: AAAI Press, v. 25, p. 1-3, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
20.   MORAES, G. ; GEROSA, M.A.. Semi-Automatic Sentiment Analysis: Results from a Case Study in Portuguese Web 2.0 Sites. Em: IADIS International Conference WWW/Internet (ICWI 2011), 2011. ADIS International Conference WWW/Internet (ICWI 2011), 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
21.   RODRIGUES, P. A. ; PIRES DA SILVA, M. R. S. ; DALMON, D. L. ; BRANDÃO, L. O.. O uso de Geometria Interativa em cursos a distância para motivar e aprofundar conhecimentos de Matemática: um estudo com alunos do ensino fundamental II. Em: 17o Workshop de Informática na Educação, 2011, Aracaju, SE. Anais do Workshop de Informática na Educação, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
22.   SANTOS JUNIOR, C. D. ; KON, F. ; KUK, J. ; SUGUIURA, R.. The Inextricable Role of Organizational Sponsorship for Open Source Sustainability. Em: SOS 2011, 2011, salvador - BA. Proceedings of SOS 2011: Towards Sustainable Open Source, p. 7-11, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
23.   SANTOS, A. P. O. ; KON, F.. Applying usability and user experience goals in Agile Software Development. Em: XP'2011, 2011, Matrid, Spain. Proceedings of the 2nd workshop Dealing with Usabiliy in an Agile Domain, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
24.   V. Santos ; A. Goldman. A Study on Facilitating Organizational Learning in Agile Software Organizations. Em: XP 2011 - 12th International Conference on Agile Software Development, 2011, Madrid. Proceedings of the doctoral symposium of the 12th International Conference on Agile Software Development, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
25.   V. Santos ; A. Goldman. Uma Abordagem de Apresndizagem Organizacional no Desenvovimento Ágil de Software. Em: WTDSoft - CBSoft, 2011, São Paulo. Anais do Workshop de Teses e Dissertações do CBSoft, 2011.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2010

1.   BATISTA, D. M.; Chaves, Cesar G. ; FONSECA, N. L. S.. Scheduling Virtual Machines and Grid Tasks on Clouds. Em: First Workshop on Network Virtualization and Intelligence For Future Internet - WNetVirt'10, 2010, Búzios. WNetVirt'10, p. 1-1, 2010.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   Coutinho, Flavio L. ; Morimoto, Carlos H.. A depth compensation method for cross-ratio based eye tracking. Em: the 2010 Symposium, 2010, v. 1, p. 137-140, 2010.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   DALMON, D. L. ; BRANDÃO, L. O. ; ISOTANI, S.. Melhorando a Geometria Interativa com o uso de Tutores Rastreadores de Padrões: iGeom e CTAT. Em: XVI Workshop de Informática na Escola, XXX Congresso da SBC, 2010, Belo Horizonte. XVI Workshop de Informática na Escola, 2010.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   DALMON, D. L. ; ISOTANI, S. ; BRANDÃO, L. O.. Sistemas de Geometria Interativa e Tutores Inteligentes: desafios e perspectivas de uma abordagem conjunta. Em: Simpósio Brasileiro de Informática na Educação, 2010, 2010.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   LAISNÉ, J.P. ; LAGO, N. P. ; KON, F.. A Network of FLOSS Competence Centres. Em: 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS'2010, 2010, Notre Dame, IN, USA. Open Source Software: New Horizons, p. 348-353, 2010.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   Morimoto, Carlos H.; AMIR, Arnon. Context switching for fast key selection in text entry applications. Em: the 2010 Symposium, 2010, v. 1, p. 271-274, 2010.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   Rafael de O. L. Gonçalves ; André Shoji Asato ; HIRATA JR., R.. Sistema de Acessibilidade a Cores - Visocor. Em: Brazilian Symposium on Computer Graphics and Image Processing, 2010, Gramado. Workshop of Undergraduate Works, 2010.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   Ribeiro, M. M. ; WASSERMANN, R.. More About AGM Revision in Description Logics. Em: Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE), 2010, Lisboa. Notes of the Workshop on Automated Reasoning about Context and Ontology Evolution, 2010.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   ROSA, E. R. M. S. ; BRANDÃO, L. O.. iRCD: Proposta de um novo recurso de Repositório de Conteúdos Digitais Interativos para o Moodle. Em: Simpósio Brasileiro de Informática na Educação, 2010, João Pessoa. Anais do XXI Simpósio Brasileiro de Informática na Educação, p. 792-799, 2010.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   SANTOS, V. R. N. ; Porsani, J.L. ; Hirata, N.S.T.. Automatic classification of metallic targets using pattern recognition of GPR reflection: a study in the IAG-USP Test Site. Em: XIII International Conference on Ground Penetrating Radar, 2010, Leece, Italy. XIII International Conference on Ground Penetrating Radar, v. 1, p. 1-5, 2010.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   SENNA, C. R. ; BATISTA, D. M. ; MADEIRA, E. R. M. ; FONSECA, N. L. S.. Experiments with Virtual Network Management Based on Ontology. Em: First Workshop on Network Virtualization and Intelligence For Future Internet - WNetVirt'10, 2010, Búzios. WNetVirt'10, p. 1-2, 2010.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   T. Serra ; Y. WAKABAYASHI. The Full Employment Theorem for Solver Designers and Related Issues in CP Modeling. Em: WTDIA: Workshop on MSc Dissertation and PhD Thesis in Artificial Intelligence, 2010, São Bernardo do Campo, SP. Proceedings of V WTDIA at SBIA 2010, 2010.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   VINCENT, H. ; ISSARNY, V. ; GEORGANTAS, N. ; FRANCESQUINI, E. C. ; GOLDMAN, A. ; KON, F.. CHOReOS: scaling choreographies for the internet of the future. Em: 5th MW4SOC Workshop of the 11th International Middleware Conference, 2010, Bangalore. Workshop Proceedings of the 11th International Middleware Conference. New York: ACM Press, v. 1, p. 1-3, 2010.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14.   VINCENT, HUGUES ; ISSARNY, VALÉRIE ; GEORGANTAS, NIKOLAOS ; FRANCESQUINI, EMILIO ; Goldman, Alfredo ; Kon, Fabio. CHOReOS. Em: Middleware '10 Posters and Demos Track, 2010, 2010.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2009

1.   ARAUJO, C. J. A. ; CORREA DA SILVA, F. S.. Governmental virtual institutions. Em: International conference on theory and practice of electronic governance, 2009, Bogotá. Proceedings of international conference on theory and practice of electronic governance, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   BRANDÃO, L. O.; Eisenmann, Alexandre Luís Kundrát. Work in Progress: iComb Project - a mathematical widget for teaching and learning combinatorics through exercises. Em: Proceedings of the 38th Annual Frontiers in Education Conference, 2009, San Antonio. 38th Annual Frontiers in Education Conference, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   Bressane Neto, A. F. ; CORREA DA SILVA, F. S.. Synthetic characters with personality and emotion. Em: Intelligent Virtual Agents, 2009, Amsterdam. Intelligent Virtual Agents. Berlin: Springer LNAI, v. 5773, p. 533-534, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   Böttcher, Julia ; Kohayakawa, Yoshiharu ; Taraz, Anusch. Almost spanning subgraphs of random graphs after adversarial edge removal?. Em: LAGOS 09 5th Latin-American Algorithms, Graphs and Optimization Symposium, 2009, Gramado. Electronic Notes in Discrete Mathematics. Amsterdã: Elsevier, v. 35, p. 335-340, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   E. Francesquini ; A. Goldman. Scheduling on multi-core clusters. Em: Workshop on Algorithms and Techniques for Scheduling on Clusters and Grids, 2009, Les Plantiers. Proc. of ASTEC 2009, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   FREIRE, A. S. ; FERREIRA, C. E.. Correspondência inexata de grafos. Em: Concurso de Teses e Disertações da SBC, 2009, Bento Gonçalves. Anais do Congresso da SBC, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   GOYA, Denise ; Vilc Q. Rufino ; TERADA, Routo. Acordo de Chave sem Certificados sob Emissão Múltipla de Chaves Públicas. Em: Simpósio Brasileiro em Segurança da Informação de Sistemas Computacionais, 2009, Campinas. Anais do IX Simpósio Brasileiro em Segurança da Informação de Sistemas Computacionais. Porto Alegre, RS: Sociedade Brasileira de Computação, p. 241-242, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   Higa, Carlos ; HASHIMOTO, R. F. ; Hirata Jr., Roberto ; HIRATA, N. S. T. ; Carlos S. Santos. Inference of gene regulatory network using temporal coefficient of determination obtained from ergodic Markov chains. Em: Genomic Signal Processing and Statistics - GENSIPS, 2009, Minneapolis. IEEE International Workshop on Genomic Signal Processing and Statistics, p. 1-4, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   Hoppen, C. ; Kohayakawa, Y. ; Lefmann, H.. Kneser Colorings of Uniform Hypergraphs. Em: European Conference on Combinatorics, Graph Theory and Applications (EuroComb 2009), 2009, Bordeaux. Electronic Notes in Discrete Mathematics. Amsterdã: Elsevier, v. 34, p. 219-223, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   Hoppen, C. ; KOHAYAKAWA, Y. ; Sampaio, R.M.. A note on permutation regularity. Em: LAGOS 09 5th Latin-American Algorithms, Graphs and Optimization Symposium, 2009, Gramado. Electronic Notes in Discrete Mathematics. Amsterdã: Elsevier, v. 35, p. 183-188, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   L. Arantes ; A. Goldman ; M. Santos. Using Evolving Graphs to evaluate DTN routing protocols. Em: ExtremeCom 2009, 2009, Lapônia. Proc, of the first Extreme Workshop on Communication, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   Luis Roberto Pereira de Paula ; Carlos S. Santos ; Marco Antônio Gutierrez ; Marina Rebelo ; Hirata Jr., Roberto. MIV: A Cardiac Image Visualizer. Em: Brazilian Symposium on Computer Graphics and Image Processing - Sibgrapi, 2009, Rio de Janeiro. 22nd Brazilian Symposium on Computer Graphics and Image Processing. SIBGRAPI, 2009, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   MACHADO, A. F. ; HASHIMOTO, R. F.. Erosões e Dilatações Morfológicas Binárias Seqüenciais Rápidas. Em: XXIX Congresso da Sociedade Brasileira de Computação, 2009, Bento Gonçaves. Anais do CSBC 2009 - CTD, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14.   Mendes, Hammurabi ; Fernandes, Cristina G.. A Concurrent Implementation of Skip Graphs. Em: V Latin-American Algorithms, Graphs and Optimization Symposium, 2009, Gramado, v. 35, p. 263-268, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
15.   MOGUILLANSKY, M. ; WASSERMANN, R.. Inconsistent-Tolerant DL-Lite Reasoning: An Argumentative Approach. Em: The IJCAI-09 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-09), 2009, Pasadena, CA. Proceedings of ARCOE-09, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
16.   Reginaldo Rideaki Kamiya ; BRANDÃO, L. O.. iVProg - um sistema para introdução à Programação através de um modelo Visual na Internet. Em: Simpósio Brasileiro de Informática na Educação, 2009, Florianópolis, SC. Anais do ... Simpósio Brasileiro de Informática na Educação, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
17.   Ribeiro, M. M. ; WASSERMANN, R.. AGM Revision for Description Logics. Em: The IJCAI-09 Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE-09), 2009, Pasadena, CA. Proceedings of ARCOE-09, 2009.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2008

1.   ADI, S. S. ; BRAGA, M. D. V. ; FERNANDES, C.G. ; FERREIRA, C. E. ; MARTINEZ, F. H. V. ; SAGOT, M-F. ; STEFANES, M. A. ; TJANDRAATMADJA, C. ; Y. WAKABAYASHI. Repetition-free Longest Common Subsequence. Em: IV Latin-American Algorithms, Graphs and Optimization Symposium, 2008, Puerto Varas, Chile. Electronic Notes in Discrete Mathematics. Amsterdam: Elsevier, v. 755, p. 243-248, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   B. Klava ; HIRATA, N. S. T.. Watershed Transform based Interactive Image Segmentation Tool. Em: XI Brazilian Symposium on Computer Graphics and Image Processing - SIBGRAPI, 2008, 2008, Campo Grande. Proceedings of the XXIst Brazilian Symposium on Computer Graphics and Image Processing - Technical Posters, p. 3-4, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   BRAGHETTO, K. R.; FERREIRA, J. E. ; PU, C.. Using Process Algebra to Control the Execution of Business Processes. Em: 23rd Annual ACM Symposium on Applied Computing, 2008, Fortaleza. 23rd Annual ACM Symposium on Applied Computing, v. 1, p. 128-129, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   CONCEICAO, A. F. ; PEREIRA, R. L. ; REZENDE, J. V. P. ; SILVA, B. N. M. ; CORREIA, R. ; DOMINGUES, H. ; Kon, R. ; KON, F.. ProjetoBorboleta:FerramentasMóveiseMultimídiaparaAtençãoBásicaDomiciliar. Em: XI Congresso Brasileiro de Informática em Saúde, 2008, Campos do Jordão. Anais do XI Congresso Brasileiro de Informática em Saúde, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   D. Cordeiro ; A. Goldman ; D. Trystram. Implicit Cooperation in Multi-Organization Clusters. Em: XXI European Chapter on Combinatorial Optimization, 2008, Dubrovnik. Proceedings of the XXI European Chapter on Combinatorial Optimization, p. 24-25, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   DELGADO, K. V. ; BARROS, L. N.. Factored Markov Decision Processes with Imprecise Probabilities: a multilinear solution. Em: Doctoral Consortium of ICAPS 2008, 2008, Sydney. Proceedings of Doctoral Consortium of ICAPS 2008, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   FINGER, M. Using Abduction to Compute Efficient Proofs. Em: LSFA'08 Third Workshop on Logical and Semantic Frameworks, with Applications, 2008, Salvador. Third Workshop on Logical and Semantic Frameworks, with Applications, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   FUJITA, A. ; SOGAYAR, M. C. ; FERREIRA, C. E.. Análise de dados de expressão gênica: normalização de microarrays e modelagem de redes regulatórias. Em: CTD do Congresso da SBC, 2008, Belém, PA. Anais do CTD do XXIX Congresso da Sociedade Brasileira de Computação. Porto Alegre, RS: Editora da SBC, p. 9-16, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   Higa, Carlos ; HASHIMOTO, R. F. ; Hirata Jr., Roberto ; HIRATA, N. S. T.. Considerations on Using CoD for Inference of Gene Regulation Networks. Em: 4th X-Meeting, 2008, Salvador. 4th X-Meeting, p. 1-4, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   LEANDRO, J. J. G. ; CESAR JUNIOR, R. M. ; COSTA, L F. Automatic Contour Extraction Of Neurons In Presence Of Overlap. Em: 3rd Workshop on Bio-Image Informatics: Biological Imaging, Computer Vision and Data Mining, 2008, 2008, Santa Barbara, CA. 3rd Workshop on Bio-Image Informatics: Biological Imaging, Computer Vision and Data Mining, 2008, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   LOPES, Fabrício Martins ; CESAR JUNIOR, R. M. ; COSTA, L. F.. AGN Simulation and Validation Model. Em: III Brazilian Symposium on Bioinformatics, 2008. Lecture Notes in Computer Science, v. 5167, p. 169-173, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   M. Kolberg ; D. Cordeiro ; G. Bohlender ; L. Fernandes ; A. Goldman. A Multithreaded Verified Method for Solving Linear Systems in Dual-Core Processors. Em: Workshop on State-of-the-Art in Scientific and Parallel Computing, 2008, Trondheim. Proceedings of the Workshop on State-of-the-Art in Scientific and Parallel Computing (PARA 2008), 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   Marcio Moretto Ribeiro ; WASSERMANN, R.. On the Relation Between Remainder Sets and Kernels. Em: Encontro Brasileiro de Lógica (EBL), 2008, Paraty. Anais do EBL, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14.   MIYZAWA, Alvaro Heiji ; SILVA, Paulo Salem da ; MELO, Ana C. V. de. Towards Pragmatical Generation of Software from Z Specifications. Em: 11th Brazilian Symposium on Formal Methods, 2008, Salvador. SBMF2008: 11th Brazilian Symposium on Formal Methods. Porto Alegre: SBC, p. 1-8, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
15.   WASSERMANN, R. Inclusion versus Recovery in Belief Base Dynamics. Em: Encontro Brasileiro de Lógica (EBL), 2008, Paraty. Anais do EBL, 2008.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2007

1.   B. Klava ; HIRATA, N. S. T.. Watershed segmentation: Switching back and forth between markers and hierarchies. Em: 8th International Symposium on Mathematical Morphology, 2007, Rio de Janeiro. Proceedings of ISMM 2007 - Extended abstracts, v. 2, p. 29-30, 2007.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   CHATAIGNER, F. ; MANIC, G. ; WAKABAYASHI, YOSHIKO ; YUSTER, R.. Approximation Algorithms and Hardness Results for the Clique Packing Problem. Em: European Conference on Combinatorics, Graph Theory and Applications (Eurocomb), 2007, Sevilha. Electronic Notes in Discrete Mathematics, v. 29, p. 397-401, 2007.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   CLUA, D. M. G. ; BERTONI, V. D. ; SILVA, R. A. ; CORREA DA SILVA, F. S.. ViDa - Jogo de Simulação de Vida e Evolução utilizando. Em: SBGames - Simpósio Brasileiro de Jogos de Computador, 2007, São Leopoldo. Atas do SBGames, 2007.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   MACHADO, A. F. ; HASHIMOTO, R. F. ; LAGO, A. P.. Efficient Binary Erosion Algorithm Based on a String-Matching-Like Technique. Em: International Symposium on Mathematical Morphology, 2007, Rio de Janeiro. International Symposium on Mathematical Morphology, 2007.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   SECA NETO, A. G. S. ; FINGER, M.. A KE Tableau for a Logic of Formal Inconsistency. Em: TABLEAUX'07, 2007, Marseille. Proceedings of TABLEAUX'07 position papers and Workshop on Agents, Logic and Theorem Proving, p. 1-10, 2007.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   TORRES, M. H. C. ; KON, F.. Arcabouço Orientado a Objetos para Simulação Acústica na Plataforma AcMus. Em: XI Simpósio Brasileiro de Computação Musical, 2007, São Paulo. Proceedings of the 11th Brazilian Symposium on Computer Music. Porto Alegre: SBC, v. 1, p. 227-230, 2007.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   VIZZARI, G. ; PIZZI, G. ; CORREA DA SILVA, F. S.. A Framework for Situated Crowd Behavior in Virtual Environments. Em: SBGames - Simpósio Brasileiro de Jogos de Computador, 2007, São Leopoldo. Atas do SBGames, 2007.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2006

1.   BATISTA, D. M.; FONSECA, N. L. S. ; GRANELLI, F ; KLIAZOVICH, D. Engineering Grid Networks. Em: III Workshop TIDIA, 2006, São Paulo. Proceedings of III Workshop TIDIA, p. 45-47, 2006.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   BATISTA, D. M.; FONSECA, N. L. S. ; MIYAZAWA, F. K.. Scheduling in Grid Networks. Em: III Workshop TIDIA, 2006, São Paulo. Proceedings of III Workshop TIDIA, p. 192-194, 2006.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   FERREIRA, J. E. ; TAKAI, O. K. ; BRAGHETTO, K. R. ; PU, C.. Large Scale Order Processing through Navigation Plan Concept. Em: IEEE International Conference on Services Computing (SCC 2006), 2006, Chicago. Proceedings of the IEEE International Conference on Services Computing. Washington: IEEE Computer Society, p. 297-300, 2006.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   LUIZ, A. C. ; FERREIRA, V. G. ; ROZANTE, L. C. ; GUBITOSO, M. D.. Modelo baseado em autômato celular para o sistema de. Em: REUNIÃO ANUAL DA SBPC, 58.,, 2006, Florianópolis. Resumos.... Florianópolis: SBPC, p. 1-3, 2006.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   TREPODE, N. W. ; ARMELIN, H. ; BITTNER, M. ; BARRERA, J. ; GUBITOSO, M. D. ; HASHIMOTO, R. F.. Discrete dynamical system simulation for the study of genetic networks. Em: INTERNATIONAL CONFERENCE ON BIOINFOMATICS AND COMPUTATIONAL BIOLOGY - ICOBICOBI, 1., 2004, Angra dos Reis. Proceedings.... Angra dos Reis: FUNPAC, 2006.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   VIDAL, A. ; PINHEIRO JUNIOR, J. R. B. ; KON, F. ; KOFUJI, S. T.. Defining and Exploring a Grid System Ontology. Em: ACM/IFIP/USENIX 4th International Workshop on Middleware for Grid Computing (MGC 2006), 2006, Melbourne. ACM/IFIP/USENIX Middleware Workshop Proceedings, v. 1, 2006.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2005

1.   A. Goldman; A. Goldchleger ; F. Kon ; U. Hayashida. The Implementation of the BSP Parallel Computing Model on the InteGrade Grid Middleware. Em: 3rd ACM/IFIP/USENIX International Workshop on Middleware for Grid Computing, 2005, Grenoble. 3rd ACM/IFIP/USENIX International Workshop on Middleware for Grid Computing, v. 117, p. 1-6, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   ADI, S. S. ; FERREIRA, C. E.. Gene prediction by syntenic alignment. Em: Brazilian Simposium on Bioinformatics, 2005, São Leopoldo, RS. Lecture Notes in Bioinformatics. Berlin Heidelberg: Springer Verlag, v. 3594, p. 246-250, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   BARBOSA, R. M. ; GOLDMAN, A. ; KON, F.. A Study of Mobile Agents Liveness Properties on MobiGrid. Em: Mobility Aware Technlogies and Applications (MATA'2005), 2005, Montreal. Mobility Aware Technlogies and Applications Companion Proceedings to LNCS 3744, v. 3744, p. 30-34, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   CONCEICAO, A. F. ; KON, F.. Adaptive streaming based on IEEE 802.11b signal quality. Em: Simpósio Brasileiro de Redes de Computadores, 2005, Fortaleza. Anais do 23o Simpósio Brasileiro de Redes de Computadores, v. 1, p. 1147-1150, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   J. C. de Pina; MARTINEZ, F. V. ; SOARES, J. A. R.. Algorithms for Terminal Steiner Trees. Em: Computing and Combinatorics: 11th Annual International Conference (COCOON), 2005. Lecture Notes in Computer Science. Heidelberg: Springer, v. 3595, p. 369-379, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   KOHAYAKAWA, Y.; SIMONOVITS, M. ; SKOKAN, J.. The 3-colored Ramsey number of odd cycles. Em: Brazilian Symposium on Graphs and Combinatorics (GRACO), 2005, Angra dos Reis. Electronic Notes in Discrete Mathematics. Amsterdã: Elsevier Science, v. 19, p. 397-402, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   MANIC, G. ; Y. WAKABAYASHI. Packing Triangles in Low Degree Graphs and Indifference Graphs. Em: European Conference on Combinatorics, Graph Theory and Applications, 2005, Berlin. Discrete Mathematics and Theoretical Computer Science (DMTCS), v. AE, p. 251-256, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   MASCARENHAS, W. F. Two aspects of the pallet loading problem. Em: GRACO 2005, 2005, Angra dos Reis. Eletronic Notes in Discrete Mathematics, v. 19, p. 381-387, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   MIYAZAWA, F. K. ; Y. WAKABAYASHI. Two- and Three-dimensional Parametric Packing Problems. Em: Second Braziilian Symposium on Graphs, Algorithms and Combinatorics (GRAC0 2005), 2005, Angra dos Reis. Electronic Notes in Discrete Mathematics. Amserdam: Elsevier, v. 19, p. 313-319, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   PINHEIRO JUNIOR, J. R. B. ; VIDAL, A. ; KON, F.. Repositório Seguro de Aplicações baseado em GSS. Em: Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, 2005, Florianópolis. Anais do V Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, v. 1, p. 271-274, 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   TREPODE, N. W. ; ARMELIN, H. A. ; BITTNER, M. L. ; BARRERA, J. ; GUBITOSO, M. D. ; HASHIMOTO, R. F.. Modeling Cell-Cycle Regulation by Discrete Dynamical Systems. Em: IEEE Workshop on Genomic Signal Processing and Statistics (GENSIPS '05), 2005, Rhode Island. Proceedings of IEEE Workshop on Genomic Signal Processing and Statistics (GENSIPS '05), 2005.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2004

1.   ADI, S. S. ; FERREIRA, C. E.. An Experimental Evaluation of Similarity-Based Gene Prediction Tools. Em: 2nd International Conference on Bioinformatics and Computational Biology, 2004, Angra dos Reis, Brazil. Proceedings of the 2nd ICOBICOBI, 2004.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   ARAÚJO, L. V. ; TANURI, A. ; SABINO, E. C. ; DIAZ, R. S. ; BRINDEIRO, R. M. ; FERREIRA, J. E.. Bioinformatic tools for HIV-1 sequences analyses developed for the Brazilian STD/AIDS programme network for genotype testing. Em: XV International AIDS Conference, 2004, BangKok, Thailand 11-16 July 2. In anais XV International AIDS Conference , BangKok, Thailand 11-16 July 2004. BangKok, Thailand 11-16 July 2: In anais XV International AIDS Conference, p. 14-15, 2004.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   BARRERA, J ; CESAR JUNIOR, R. M. ; MARTINS JR, D C ; MERINO, e F ; VENCIO, R Z N ; LEONARDI, F G ; YAMAMOTO, M M ; PEREIRA, C A B ; PORTILLO, H A Del. A New Annotation Tool For Malaria Based On Inference Of Probabilistic Genetic Networks. Em: Fifth International Conference for the Critical Assessment of Microarray Data Analysis (CAMDA 2004), 2004, Durham. Proc. Fifth International Conference for the Critical Assessment of Microarray Data Analysis (CAMDA 2004), 2004.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   BRANDÃO, L. O.; ISOTANI, S.. Autoria e Avaliação Automática de Exercícios no iGeom. Em: Webmedia La-Web Joint Conference, 2004, Ribeirão Preto. Proceedings of Webmedia La-Web Joint Conference, v. 1, p. 276-279, 2004.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   BRANDÃO, L. O.; ISOTANI, S.. Geometria Interativa na Internet através do iGeom. Em: Webmedia La-Web Joint Conference, 2004, Ribeirão Preto. Proceedings of Webmedia La-Web Joint Conference, v. 1, p. 291-292, 2004.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
6.   BRANDÃO, L. O.; MOURA, Janine Gomes. A Plug-in Based Adaptive System: SAAW. Em: International Conference on Intelligent Tutoring Systems (ITS), 2004, Maceió. Proceedings of International Conference on Intelligent Tutoring Systems (ITS), p. 791-793, 2004.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
7.   CONCEICAO, A. F. ; KON, F.. Transmissão de fluxos contínuos de vídeo MPEG sobre redes sem fio IEEE 802.11b. Em: Workshop de Doutorado do Simpósio WebMídia, 2004, Ribeirão Preto. Anais do X Simpósio Brasileiro de Multimídia e Web, v. 1, p. 261-264, 2004.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
8.   FERREIRA, C. E.; OLIVEIRA FILHO, F. M. DE. Some formulations for the group Steiner tree problem. Em: Latin-American Conference on Combinatorics, Graphs and Applications, 2004, Santiago, Chile. Eletronic Notes in Discrete Mathematics - Proceedings of the LACGA04, v. 18, p. 127-132, 2004.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
9.   GOLDCHLEGER, A. ; QUEIROZ, C. A. ; KON, F. ; GOLDMAN, A.. Running Highly-Coupled Parallel Applications in a Computational Grid. Em: XXII Simpósio Brasileiro de Redes de Computadores, 2004, Gramado. Anais do XXII Simpósio Brasileiro de Redes de Computadores, v. 1, p. 125-128, 2004.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
10.   GONCALVES, B. M. T. ; SABINO, E. C. ; ARAÚJO, L. V. ; FERREIRA, J. E.. Data Warehouse Development for the Brazilian STD/AIDS Programme. Em: In anais XV International AIDS Conference, 2004, BangKok, Thailand 11-16 July 2. In anais XV International AIDS Conference. BangKok, Thailand 11-16 July 2: XV International AIDS Conference, p. 15-18, 2004.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
11.   GUBITOSO, M. D.; ROZANTE, L. C. ; MATIOLI, S. R.. A new discrete model for neurogenesis in Drosophila. Em: INTERNATIONAL CONFERENCE ON BIOINFOMATICS AND COMPUTATIONAL BIOLOGY - ICOBICOBI, 2004, Angra dos Reis. Proceedings.... Angra dos Reis: FUNPEC, 2004.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
12.   LAGO, N. P. ; KON, F.. The Quest for Low Latency. Em: 30th International Computer Music Conference, 2004, Miami. Proceedings of the 2004 International Computer Music Conference, v. 1, p. 33-36, 2004.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
13.   Liliane Salgado ; Y. WAKABAYASHI. Approximation Results on Balanced Connected Partitions of Graphs. Em: Latin American Conference on Combinatorics, Graphs and Application, 2004, Santiago. Electronic Notes in Discrete Mathematics, v. 17, p. 207-212, 2004.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
14.   UEDA, L. K. ; KON, F.. Mobile Musical Agents - The Andante Project. Em: ACM OOPSLA Poster Session, 2004, Vancouver. ACM OOPSLA'04 Conference Companion. New York: ACM Press, v. 1, p. 206-207, 2004.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2003

1.   A. Goldman; C. Queiroz. A model for parallel job scheduling on dynamical computer grids. Em: ACM/IFIP/USENIX Middleware'2003 Workshop on Middleware for the Grid, 2003, Rio de Janeiro. Middleware Workshops. Rio de Janeiro: PUC-Rio, p. 264-266, 2003.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   A. Goldman; F. Kon ; M. Finger ; A. Goldchleger. InteGrade: Object-Oriented Grid Middleware Leveraging Idle Computing Power of Desktop Machines. Em: ACM/IFIP/USENIX Middleware'2003 Workshop on Middleware for the Grid, 2003, Rio de Janeiro. Middleware Workshops. Rio de Janeiro: PUC-Rio, p. 232-234, 2003.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   CALINESCU, G. ; FERNANDES, C. G. ; MANDOIU, I. ; OLSHEVSKY, A. ; YANG, K. ; ZELIKOVSKY, A.. Primal-Dual Algorithms for QoS Multimedia Multicast. Em: GLOBECOM, 2003, San Francisco, EUA. Proceedings of the Globecom, v. 2003, 2003.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   DURHAM, A. M.; CONCEICAO, A. F. ; SUSSUMU, E. ; LIMA, A. M. ; TEGLIA, J. ; SANTOS, M. B.. A Framework for Building Language Interpreters. Em: Educator's Symposium - OOPSLA' 03, 2003, Anaheim. OOPSLA'03 Companion, p. 191-196, 2003.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
5.   SIMON, I. Words distinguished by their subwords. Em: WORDS'03 4th International Conference on Combinatorics on Words, 2003, Turku. Proceedings of WORDS'03, p. 6-13, 2003.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2002

1.   OIKAWA, M. K. ; FERREIRA, J. E.. Heterogeneous database integration to support data mining. Em: The International Conference on Bioinformatics 2002, 2002, Bangkok, Thailand. Incob 2002. bangkok, Thailand: Incob 2002, v. 1, p. 88-94, 2002.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2001

1.   KOHAYAKAWA, Y. ; MIYAZAWA, F. K. ; RAGHAVAN, P. ; Y. WAKABAYASHI. Multidimensional Cube Packing?. Em: GRACO'2001: Brazilian Symposium on Graphs and Combinatorics., 2001, Fortaleza. Electronic Notes of Discrete Mathematics 7 (Elsevier Science), 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   MOREIRA, C. G. T. A. ; KOHAYAKAWA, Y. Bounds for Optimal Coverings?. Em: Brazilian Symposium on Graphs and Combinatorics (GRACO), 2001, p. 62-65, 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   SILVA, P. J. S. E. ; HUMES C.. Solving LP´s with a Proximal Point Method with unprecise inner loops. Em: Optimization 2001, 2001, Aveiro. Optimization 2001, p. 76-76, 2001.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

2000

1.   ARAÚJO, L. V. ; FERREIRA, J. E.. Cache semântico para computação sem fio baseado na abstração de composição de dados. Em: I Workshop SIDAM, 2000, São Paulo. I Workshop SIDAM, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   LAGO, A. P. Local groups in free Burnside Groupoids. Em: ICGS 2000, 2000, Lincoln, NE, EUA. Geometric and Combinatorial Methods in Group Theory and Semigroup, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   SOUZA, M. C. ; FERREIRA, J. E.. Integração assíncrona de instâncias de base de dados em esquemas homogêneos. Em: I Workshop SIDAM, 2000, São Paulo. I Workshop SIDAM, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
4.   WAINER, J. ; BARROS, L. N. ; BERNAL, V. B. ; LEMOS, M.. Network Fault Diagnosis: a Model Based Approach. Em: Network Operations and Management Symposium - NOMS 2000, 2000, Honollu - Hawaii. Proceedings of Network Operations and Management Symposium - NOMS 2000, p. 969-970, 2000.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1999

1.   HUMES C.; QUEIRÓZ, M. G.. Global Optimization for the Capacity and Flow Problem. Em: Optimization Workshop, 1999, Coimbra. Universidade de Coimbra, p. 6, 1999.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1997

1.   HUMES C.; HUMES, A. F. P. C.. Stability of manufacturing systems with quasi-periodic policies. Em: Anais do XX Congresso Nacional de Matematica Aplicada e Computacional, 1997, Gramado, RS. Anais do XX Congresso Nacional de Matematica Aplicada e Computacional, p. 92-93, 1997.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1996

1.   FINGER, M.; KEMPSON, R. ; KIBBLE, R.. Parsing Natural Language Using Lds: A Prototype. Em: 3rd Workshop on Logic, Language, Information and Computation (WoLLIC96), 1996, Salvador, BA. 3rd Workshop on Logic, Language, Information and Computation (WoLLIC96), p. 25-28, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   FINGER, M.; RUSSO, A. ; BRODA, K.. Lds-Natural Deduction For Substructural Logics. Em: 3rd Workshop on Logic, Language, Information and Computation (WoLLIC96), 1996, Salvador, Bahia. 3rd Workshop on Logic, Language, Information and Computation (WoLLIC96), p. 15-18, 1996.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1992

1.   HUMES C. Some results in the Perkins-Kumar framework for distributed activity scheduling. Em: NSF Workshop on Hierarchical Control for real-time scheduling of manufacturing systems, 1992, Lincoln,New Hampshire. NSF Workshop on Hierarchical Control, p. 11-18, 1992.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
2.   HUMES C. Decentralized scheduling in manufacturing systems. Em: V Reunião ABE-SBMAC, 1992, Brasília. Anais da V Reunião ABE-SBMAC, p. 45-46, 1992.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]
3.   LAGO, A. P. On the Free Burnside Semigroups X N = X N+M. Em: LATIN 92, 1992, Sao Paulo. LATIN 92. Berlin: Springer-Verlag, v. 583, p. 329-343, 1992.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1991

1.   HUMES C.; ZANJACOMO, P. R. ; Wasserstein. On the complexity of discrete bicriterion optimization using dynamic programmig. Em: Workshop on Large Scale Optimization, 1991, Coimbra. Proceedings of the Workshop on Large Scale Optimization, p. 85-86, 1991.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1988

1.   HUMES C.; QUEIRÓZ, M. G.. Global optimization and the continuous capacity and flow assignement in computer networks. Em: Optimization 98, 1998, Coimbra. Optimization 98, p. 43-43, 1988.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1987

1.   HUMES C. O problema de designação em redes de computadores. Em: III ERMAC, 1987, p. 6-7, 1987.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

1981

1.   d'Azevedo Neto ; HUMES C.. A methodology for the definition of data base schema. Em: CORS-TIMS-ORSA Meeting, 1981, Toronto. CORS-TIMS-ORSA Meeting, p. 118-121, 1981.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]

*itens sem ano

1.   A. Goldman. Scalable Algorithms for Complete Exchange on Multi-Cluster Networks. In: 2nd IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGRID'02), 2002, Berlin. 2nd IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGRID'02). New York: IEEE, 2002. p. 286-287.. . 0.
[ citações Google Scholar | citações Microsoft Acadêmico | busca Google ]


Data de processamento: 31/03/2016 13:54:43