I GranDSI-BR: Grand Research Challenges in Information Systems in Brazil 2016-2026 C Boscarioli, RM de Araujo, RS Maciel, VVG Neto, F Oquendo, ... Sociedade Brasileira de Computação, 2017 | 80 | 2017 |
Semantic Interoperability via Category Theory. I Cafezeiro, EH Haeusler ER (Tutorials, Posters, Panels & Industrial Contributions), 197-202, 2007 | 50 | 2007 |
Ontology and context I Cafezeiro, EH Haeusler, A Rademaker 2008 Sixth Annual IEEE International Conference on Pervasive Computing and …, 2008 | 21 | 2008 |
I grandsi-br C Boscarioli, RM de Araujo, RS Maciel, VVG Neto, F Oquendo, ... Sociedade Brasileira de Computação, 2017 | 20 | 2017 |
A formal framework for modeling context-aware behavior in ubiquitous computing I Cafezeiro, J Viterbo, A Rademaker, EH Haeusler, M Endler Leveraging Applications of Formal Methods, Verification and Validation …, 2008 | 19 | 2008 |
Ciência da Computação, Ciência da Informação, Sistemas de Informação: Uma reflexão sobre o papel da informação e da interdisciplinaridade na configuração das tecnologias e das … I Cafezeiro, LC Costa, RS Kubrusly Perspectivas em Ciência da Informação 21, 111-133, 2016 | 15 | 2016 |
Specifying ubiquitous systems through the algebra of contextualized ontologies I Cafezeiro, J Viterbo, A Rademaker, EH Haeusler, M Endler The Knowledge Engineering Review 29 (2), 171-185, 2014 | 12 | 2014 |
Strengthening of the sociotechnical approach in information systems research I Cafezeiro, J Viterbo, LC da Costa, L Salgado, M da Costa Rocha, ... Sociedade Brasileira de Computação, 2017 | 9 | 2017 |
Modos contemporâneos de aprendizado e construção do conhecimento: reflexões sobre o ensino de Teoria da Computação para Sistemas de Informação I Cafezeiro, LC da Costa, R Kubrusly Anais do XXIV Workshop sobre Educação em Computação, 2245-2254, 2016 | 9 | 2016 |
Recontando a computabilidade I Cafezeiro, EH Haeusler, HL Cukierman, I da Costa Marques Revista Brasileira de História da Ciência 3 (2), 231-251, 2010 | 9 | 2010 |
A knowledge-construction perspective on human computing, collaborative behavior and new trends in system interactions I Cafezeiro, C Gadelha, V Chaitin, I da Costa Marques Human-Computer Interaction. Theories, Methods, and Tools: 16th International …, 2014 | 5 | 2014 |
Educação, informática e responsabilidade social: a contribuição da universidade pública I Cafezeiro Brazilian Symposium on Computers in Education (Simpósio Brasileiro de …, 2006 | 5 | 2006 |
Os números dos mundos I Cafezeiro, R Kubrusly, E Cafezeiro Revista Brasileira de História da Ciência 9 (1), 97-112, 2016 | 3 | 2016 |
Ontologias: interoperabilidade, contexto, computação ubíqua I Cafezeiro, J Viterbo, A Rademaker, EH Haeusler, M Endler SEMINÁRIO DE PESQUISA EM ONTOLOGIA NO BRASIL, Niterói. Disponível em:< http …, 2008 | 3 | 2008 |
Categorical Limits and Reuse of Algebraic Specifications I Cafezeiro, EH Haeusler Advances in Logic, Artificial Intelligence and Robotics, Eds J. MihoroAbe …, 2002 | 3 | 2002 |
Duas Matemáticas: percurso e co-construção das formas dedutiva e procedimental I Cafezeiro, RS Kubrusly Amazônia: Revista de Educação em Ciências e Matemáticas 16 (35), 105-122, 2020 | 2 | 2020 |
Paulo Freire, Mathematics and Policies that Shape Mathematics I Cafezeiro, R Kubrusly, I da Costa Marques, E Cafezeiro Journal of Indian Council of Philosophical Research 34, 227-246, 2017 | 2 | 2017 |
Designing ubiquitous applications: proposal of a specification environment I Cafezeiro, J Viterbo, A Rademaker, EH Haeusler, M Endler Proceedings of the 6th international workshop on Managing ubiquitous …, 2009 | 2 | 2009 |
Estendendo extensões: a computação como agente integrador I Cafezeiro, R Lima, RC de Leal Toledo Liinc em Revista 5 (1), 2009 | 2 | 2009 |
Limits in the Category of Algebraic Specifications I Cafezeiro, EH Haeusler Technical report, U, Rio de Janeiro, 2002 | 2 | 2002 |