Isabel Cafezeiro
Isabel Cafezeiro
Instituto de Computação, Universidade Federal Fluminense
Ei vahvistettua sähköpostiosoitetta - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Semantic interoperability via category theory
I Cafezeiro, EH Haeusler
Tutorials, posters, panels and industrial contributions at the 26th …, 2007
422007
Ontology and context
I Cafezeiro, EH Haeusler, A Rademaker
2008 Sixth Annual IEEE International Conference on Pervasive Computing and …, 2008
172008
A formal framework for modeling context-aware behavior in ubiquitous computing
I Cafezeiro, J Viterbo, A Rademaker, EH Haeusler, M Endler
International Symposium On Leveraging Applications of Formal Methods …, 2008
162008
Specifying ubiquitous systems through the algebra of contextualized ontologies
I Cafezeiro, J Viterbo, A Rademaker, EH Haeusler, M Endler
102014
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, L da Costa, R Kubrusly
Anais do XXIV Workshop sobre Educação em Computação, 250-259, 2016
52016
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
International Conference on Human-Computer Interaction, 58-68, 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
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 (3), 111-133, 2016
42016
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
Strengthening of the Sociotechnical Approach in Information Systems Research
I Cafezeiro, J Viterbo, LC da Costa, L Salgado, M Rocha, RS Monteiro
I GranDSI-BR 133, 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| Extending extensions: computing as an integrating agent
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
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 (2), 227-246, 2017
12017
Crises e Incompletudes, Multi-histórias Matemáticas
IL Cafezeiro, R Kubrusly, I da Costa Marques, NL de Souza, ...
Revista Eletrônica de Educação Matemática 11, 162-177, 2016
12016
Da corte suprema, a matemática, à matemática nos tribunais
I Cafezeiro, I Marques
Scientiarum Historia IV, Rio de Janeiro, 2011
12011
The technological mediation as a strategy to innovate the teacher-student interaction
R Lima, LVB Gomes, I Cafezeiro
ICERI2010 Proceedings, 5935-5942, 2010
12010
Algebraic Framework for Reverse Engineering on Specifications.
I Cafezeiro, EH Haeusler
LAPTEC, 1-12, 2007
12007
Paradigmas de Linguagens de Programa cão: uma abordagem geom etrica
I Cafezeiro, EH Haeusler, CJP Lucena
Anals of the 1st Brazilian Symposium of Programing Languages, 1996
11996
Caminhando com Valentim (Rizoma, Pandemia e possibilidades)
I Cafezeiro
Texto Digital 16 (1), 20-35, 2020
2020
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20