Follow
Isabel Cafezeiro
Isabel Cafezeiro
Instituto de Computação, Universidade Federal Fluminense
No verified email - Homepage
Title
Cited by
Cited by
Year
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
802017
Semantic Interoperability via Category Theory.
I Cafezeiro, EH Haeusler
ER (Tutorials, Posters, Panels & Industrial Contributions), 197-202, 2007
502007
Ontology and context
I Cafezeiro, EH Haeusler, A Rademaker
2008 Sixth Annual IEEE International Conference on Pervasive Computing and …, 2008
212008
I grandsi-br
C Boscarioli, RM de Araujo, RS Maciel, VVG Neto, F Oquendo, ...
Sociedade Brasileira de Computação, 2017
202017
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
192008
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
152016
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
122014
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
92017
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
92016
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
92010
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
52014
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
52006
Os números dos mundos
I Cafezeiro, R Kubrusly, E Cafezeiro
Revista Brasileira de História da Ciência 9 (1), 97-112, 2016
32016
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
32008
Categorical Limits and Reuse of Algebraic Specifications
I Cafezeiro, EH Haeusler
Advances in Logic, Artificial Intelligence and Robotics, Eds J. MihoroAbe …, 2002
32002
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
22020
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
22017
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
22009
Estendendo extensões: a computação como agente integrador
I Cafezeiro, R Lima, RC de Leal Toledo
Liinc em Revista 5 (1), 2009
22009
Limits in the Category of Algebraic Specifications
I Cafezeiro, EH Haeusler
Technical report, U, Rio de Janeiro, 2002
22002
The system can't perform the operation now. Try again later.
Articles 1–20