Isabel Leite Cafezeiro
Possui graduação em Ciência da Computação pela Universidade Federal Fluminense (1992), mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1994), doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (2000) e pós-doutorado pelo Programa de Pós-Graduação em História das Ciências e das Técnicas e Epistemologia da UFRJ. É Professora Titular do Instituto de Computação da Universidade Federal Fluminense, professora colaboradora do Programa de Pós-Graduação em História das Ciências e das Técnicas e Epistemologia, da UFRJ. Atuou na área de Ciência da Computação, com ênfase em Lógicas e Semântica de Programas, focando principalmente nos seguintes temas: linguagens de programação e especificação formal de sistemas. Atua na área de Sistemas de Informação focando principalmente nos seguintes temas: Computação e Sociedade e Abordagens Sociotécnicas em Sistemas de Informação. Atua na área de Estudos Sociais de Ciência e Tecnologia, focando principalmente a História da Computabilidade e investigações sobre o trabalho acadêmico. Atua em ensino de graduação na Universidade Federal Fluminense desde 1994 e coordena projetos de extensão desde 2005. Participou do processo de concepção e implantação do curso de Bacharelado em Sistemas de Informação da Universidade Federal Fluminense, do qual foi vice-coordenadora por seis anos. É sócia fundadora e membro da diretoria (gestões eleitas 2017-2019 e 2019-2021) da Associação Brasileira de Estudos Sociais de Ciência e Tecnologia (ESOCITE.BR). É sócia das seguintes entidades: Associação Nacional de História (ANPUH), Sociedade Brasileira de História das Ciências (SBHC), International Association for Computing And Philosophy (IACAP), Computability in Europe(CiE), Sociedade Brasileira de Computação(SBC).
Informações coletadas do Lattes em 28/05/2022
Acadêmico
Formação acadêmica
Doutorado em Informática
1994 - 2000
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Título: Compartilhamento e Semântica Denotacional
Orientador: Edward Hermann Heausler
Palavras-chave: Compartilhamento de Recursos; Semântica Denotacional; Teoria dos Domínios; Especificações Formais de Sistemas.Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.
Mestrado em Informática
1992 - 1994
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Título: Protótipo para Especificação de Processos baseado em CSP: Um Enfoque em Orientação a Objetos,Ano de Obtenção: 1994
Edward Hermann Haeusler.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Especificação Formal de Sistemas; Semântica de Programas; Orientação a Objetos; Semântica Operacional; CSP.Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.
Pós-doutorado
2011 - 2011
Pós-Doutorado. , Pós-graduação em História das Ciências e das Técnicas - UFRJ, HCTE- UFRJ, Brasil. , Grande área: Ciências Humanas, Grande Área: Ciências Humanas / Área: Sociologia / Subárea: Sociologia do Conhecimento.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Áreas de atuação
Grande área: Ciências Humanas / Área: Sociologia / Subárea: Interdisciplinar.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Estudos de Ciência, Tecnologia e Sociedade.
Grande área: Ciências Humanas / Área: Educação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Computabilidade e Modelos de Computação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.
Organização de eventos
CAFEZEIRO, I. L. . Ato-rede 2021 Encontro Anual dos Estudos de Ciência, Tecnologia e Sociedade.. 2021. (Outro).
CAFEZEIRO, I. L. . Donna Haraway: Story Telling for Earthly Survival - Ato-rede Encontro Anual dos Estudos de Ciência, Tecnologia e Sociedade. 2021. (Outro).
CAFEZEIRO, I. L. ; LEAL, A. . Feminismos, dispositivos psi, TAR: Ato-rede Encontro Anual dos Estudos de Ciência, Tecnologia e Sociedade:. 2021. (Outro).
CAFEZEIRO, I. L. . IX ESOCITE.BRASIL TECSOC. 2021. (Congresso).
CAFEZEIRO, I. L. ; LEAL, A. . Ato-rede 2020 Encontro Anual dos Estudos de Ciência, Tecnologia e Sociedade.. 2020. (Outro).
CAFEZEIRO, Isabel . VIII ESOCITE.BRASIL TECSOC- organização. 2019. (Congresso).
CAFEZEIRO, Isabel . VIII ESOCITE.BRASIL TECSOC - organização de aglomerados. 2019. (Outro).
CAFEZEIRO, Isabel ; MANICA, D. . I Concurso de Teses e Dissertações ESOCITE.BR. 2019. (Concurso).
CAFEZEIRO, I. L. . Ato-Rede 2019 Encontro Anual dos Estudos de Ciência, Tecnologia e Sociedade.. 2019. (Outro).
CAFEZEIRO, Isabel . Primeiro Encontro de Extensão do Instituto de Computação. 2018. (Outro).
CAFEZEIRO, Isabel ; TREVISAN, D. . Visita à Casa da Descoberta. 2018. (Outro).
CAFEZEIRO, Isabel . II CCBWIKI, Congresso Científico Brasileiro da Wikipédia e do I IWSC, International Wikipedia Scientific Congress. 2017. (Congresso).
CAFEZEIRO, Isabel . VII ESOCITE.BRASIL TECSOC - organização. 2017. (Congresso).
CAFEZEIRO, Isabel . VII ESOCITE.BRASIL TECSOC - organização de aglomerados. 2017. (Outro).
Cafezeiro, Isabel ; DANTAS, R. ; KUBRUSLY, R. ; FROES, M. ; MARTINS, M. ; EVANGELISTA, G. ; BIZZO, M. L. G. ; LEAL, A. ; OURIQUES, E. ; FEIO, P. ; SANTOS, D. M. ; SOUZA FILHO, C. . Scientiarum História IX. 2016. (Congresso).
MARQUES, I. C. ; CAFEZEIRO, I. L. ; PAIVA, E. N. . VI ESOCITE.BRASIL TECSOC - organização. 2015. (Congresso).
Cafezeiro, Isabel ; MARQUES, I. C. ; PAIVA, E. N. ; CUKIERMAN, H. L. ; JONATHAN, M. ; SANTOS, D. M. . VI ESOCITE.BRASIL TECSOC - organização de aglomerados. 2015. (Congresso).
CAFEZEIRO, I. L. ; MARQUES, I. C. ; PAIVA, E. N. . Ator Rede e além ... no Brasil. 2013. (Outro).
FREITAS, Renata ; BRAGA, C. ; PEREIRA, L. C. ; AYALA-RINCÓN, M ; CAFEZEIRO, I. L. . 7th Workshop on Logical and Semantic Frameworks, with Applications. 2012. (Congresso).
CAFEZEIRO, I. L. ; MARQUES, I. C. ; PAIVA, E. N. . Ato-Rede 2012 Encontro Anual dos Estudos de Ciência, Tecnologia e Sociedade.. 2012. (Outro).
CAFEZEIRO, I. L. ; LIMA, Rosângela ; COSTA, L. C. ; JUNIOR, I. C. ; BOSCARIOLI, Clodis . Encontro Nacional de Informática e Educação. 2011. (Congresso).
CAFEZEIRO, I. L. ; MARQUES, I. C. ; DANTAS, R. ; KUBRUSLY, R. . Avaliação da produção científica brasileira: pensando com a história das ciências. 2011. (Outro).
CAFEZEIRO, I. L. ; LIMA, Rosângela . Oficina Informal. 2011. (Festival).
CAFEZEIRO, I. L. ; TREVISAN, D. . Semana Nacional de Ciência, Tecnologia e Inovação. 2010. (Outro).
CAFEZEIRO, Isabel ; MARQUES, I. C. ; PAIVA, E. N. . Ato-rede 2010 Encontro Anual dos Estudos de Ciência, Tecnologia e Sociedade.. 2010. (Outro).
CAFEZEIRO, I. L. . Semana Nacional de Ciência e Tecnologia e agenda acadêmica. 2009. (Outro).
CAFEZEIRO, I. L. ; MARQUES, I. C. ; PAIVA, E. N. . Ato-Rede 2009 Encontro Anual dos Estudos de Ciência, Tecnologia e Sociedade.. 2009. (Outro).
CAFEZEIRO, I. L. ; BOKEHI, J. R. . Palestras para alunos da Graduação em Ciência da Computação Roberto Bigonha Regulamentação da Profissão e criação do CR. 2007. (Outro).
CAFEZEIRO, Isabel . XII Semana de Extensão da UFF. 2007. (Outro).
CAFEZEIRO, I. L. ; BOKEHI, J. R. . Palestras para alunos da Graduação em Ciência da Computação Sérgio Amadeu SOFTWARE LIVRE: A SUPERIORIDADE DO DESENVOLVIMENTO COLABORATIVO. (OU: PORQUE COLABORAR É MAIS EFICIENTE QUE COMPETIR?). 2006. (Outro).
CAFEZEIRO, Isabel ; BRAGA, C. ; SPINOLA, A. I. . VIII SBLP (Simpósio Brasileiro de Linguagens de Programação). 2004. (Congresso).
HAEUSLER, E. H. ; CAFEZEIRO, I. L. ; GARCIA, A. V. . VI SBLP (Simpósio Brasileiro de Linguagens de Programação). 2002. (Congresso).
CAFEZEIRO, I. L. ; HAEUSLER, E. H. ; GARCIA, A. V. . IV Workshop de Métodos Formais. 2001. (Congresso).
Cafezeiro, Isabel . Semana de Apresentação dos Projetos de Aplicação. 1996. (Outro).
Cafezeiro, Isabel . Semana de Apresentação dos Projetos de Aplicação. 1995. (Outro).
Participação em eventos
Ato-Rede Encontro Anual dos Estudos de Ciência, Tecnologia e Sociedade.Matemática Feminista. 2018. (Encontro).
VII ESOCITE.BRASIL TECSOC.Computação Desplugada e Educada. 2017. (Simpósio).
15 Seminário Nacional de História da Ciência e da Tecnologia. Em fuxicos se fazem ciências e artes. 2016. (Congresso).
Scientiarum História IX. Aos amigos da Índia, algumas palavras brasileiras sobre Paulo Freire, matemáticas e políticas que configuram matemáticas. 2016. (Congresso).
XII Encontro Nacional de Educação Matemática. Arremates em pesponto. Alinhavos sobre matemática e matemáticos. 2016. (Congresso).
XXII Simpósio Brasileiro de Sistemas de Informação. Abordagem Sociotécnica. 2016. (Congresso).
XXXVI Congresso da Sociedade Brasileira de Computação - 24o Workshop em Educação em Informática. 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. 2016. (Congresso).
Scientiarum História VIII. Que teus olhos sejam atendidos!. 2015. (Congresso).
VI ESOCITE.BRASIL TECSOC. Aglomerados. 2015. (Congresso).
13th International Public Communication of Science and Technology Conference. Mathematics, Mathematical Practice and Communication of Mathematics. 2014. (Congresso).
14 Seminário Nacional de História da Ciência e da Tecnologia. Traduções, desvios, problematizações, transgressões e desdisciplinaridades. 2014. (Congresso).
16th International Conference on Human-Computer Interaction. A Knowledge-Construction Perspective on Human Computing, Collaborative Behavior and New Trends in System Interactions. 2014. (Congresso).
I Escola Regional de Sistemas de Informação RJ. 2014. (Encontro).
Scientiarum História VII. 2014. (Congresso).
The Annual Meeting of the International Association for Computing and Philosophy.ANTI-REDUCTIONIST COMPUTATIONAL METAPHORS IN EVOLUTION, METAMATHEMATICS, COMPUTING AND THE CONTEMPORARY HUMAN SELF-IMAGE (ARCM). 2014. (Simpósio).
Agenda Acadêmica UFF.Comput@arte. 2013. (Encontro).
Aneis 2013. Ensino a Alunos Superdotados: a mediação por meio da robótica educativa. 2013. (Congresso).
Ator-Rede e Além no Brasil Encontro Anual dos Estudos de Ciência, Tecnologia e Sociedade.A crise do software e a configuração da área de computação. 2013. (Encontro).
Scientiarum História VI. Meio homem, meio máquina: o computador e os híbridos. 2013. (Congresso).
Semana Municipal da Inclusão Digital.Inclusão Digital: Verso e Reverso. 2013. (Seminário).
Seminário CMPDI.Mediação Tecnológica no Processo de Aprendizagem. 2013. (Seminário).
Seminário CMPDI.Educação e Tecnologias (Relatos de Ações em Diversidade e Inclusão). 2013. (Seminário).
13 Seminário Nacional de História da Ciência e da Tecnologia. Localizando a Matemática: o infinito e seus rastros. 2012. (Congresso).
Ato-rede Encontro Anual dos Estudos de Ciência, Tecnologia e Sociedadeade.Localizando a Matemática. 2012. (Encontro).
Cie: Computability in Europe. Turings Centenary Conference. Interweavings of Alan Turing?s Mathematics and Sociology of Knowledge. 2012. (Congresso).
LSFA 2012 - 7th Workshop on Logical and Semantic Frameworks, with Applications.Relato de trabalho em Homenagem aos 50 anos de Edward Hermann Haeusler. 2012. (Seminário).
Scientiarum Historia V. Sobre o trabalho das/os matemáticas/os. 2012. (Congresso).
6o Encontro Luso Brasileiro de História da Matemática. Localizando a matemática. Contribuições à Sociologia do Conhecimento a partir da análise de 'On Computable Numbers with an application to the entscheidungproblem'. 2011. (Congresso).
Ações Extensionistas em Diálogos.Diálogos Proex - seminários de extensão. 2011. (Encontro).
Avaliação da Produção Científica Brasileira.Pensando com a História das Ciências. 2011. (Seminário).
Ciências & Humanidades.Localizando a Matemática. 2011. (Encontro).
II ENINED - Encontro Nacional de Informática e Educação. Oficina Comput@arte. 2011. (Congresso).
Logics and Ontologies for Portuguese.Localizing Math. 2011. (Encontro).
Scientiarum História IV. Da corte suprema, a matemática, à matemática nos tribunais. 2011. (Congresso).
XXVI Simpósio Nacional de História. Alan Turing, Lápis, Papel e a Calculabilidade: uma etnografia do conhecimento matemático. 2011. (Congresso).
Agenda acadêmica 2010.Pibit Pibinova. 2010. (Encontro).
Ato-rede Encontro Anual dos Estudos de Ciência, Tecnologia e Sociedade.Extensão Universitária. 2010. (Encontro).
International Conference of Education, Research and Innovation. The technological mediation as a strategy to innovate the teacher-student interaction. 2010. (Congresso).
Semana Nacional de Ciência, Tecnologia e Inovação.Cursos e oficinas dos projetos de extensão. 2010. (Oficina).
Ato-rede Encontro Anual dos Estudos de Ciência, Tecnologia e Sociedade.Sobre o trabalho extensionista no IC-UFF. 2009. (Encontro).
Encontro Nacional de Informática e Educação.Ensinando e aprendendo no mundo das tecnologias. 2009. (Encontro).
Foro Iberoamericano de Comunicação e Divulgação Científica. Refazendo vínculos: das dicotomias locais à novas conexões acadêmicas. 2009. (Congresso).
Semana de Extensão UFF.Apresentação dos projetos de extensão. 2009. (Encontro).
Semana Nacional de Ciência, Tecnologia e Inovação.Oficinas e atividades dos projetos de extensão. 2009. (Oficina).
11o Seminário Nacional de História das Ciências e das Tecnologias e E.Extensão Universitária sob enfoque sociotécnico. 2008. (Seminário).
Escola Regional de Computação do Centro Oeste.Computabilidade: História e Matemática. 2008. (Outra).
Esocite - Jornadas Latino-Americanas de Estudos Sociais das Ciências e das Tecnologias. 2008. (Congresso).
Semana Comemorativa do Dia Municipal de Inclusão Digital.Fios e Desafios da Inclusão Digital. 2008. (Encontro).
Semana de Extensão.Projeto Incluir. 2008. (Outra).
Semana Nacional de Ciência e Tecnologia.Mostra das Iniciativas de Inclusão Digital do Instituto de Computação da UFF. 2008. (Outra).
Seminário de Pesquisa em Ontologia no Brasil.ONTOLOGIAS: Interoperabilidade, Contexto, Computação Ubíqua. 2008. (Seminário).
Escola Regional de Computação de Minas Gerais.Computabilidade: História e Matemática. 2007. (Outra).
LAPTEC ( The SixthCongress of Logic Applied to Technology). Algebraic Framework for Reverse Engineering on Specifications. 2007. (Congresso).
Semana Comemorativa do Dia Municipal de Inclusão Digital.Fios e Desafios da Inclusão Digital. 2007. (Encontro).
Semana de Extensão UFF.Projeto Incluir. 2007. (Encontro).
3 Congresso Internacional de Gestão de Tecnologia e Sistemas de Informação. Inclusão Digital e o Pré-Universitário Popular: Uma ação universitária pela inclusão social. 2006. (Congresso).
Semana de Monitoria.Linguagens de Programação. 2006. (Outra).
Seminário Conexão de Saberes.Inclusão Digital e o Pré-Universitário Popular: Uma ação universitária pela inclusão social. 2006. (Seminário).
Simpósio Brasileiro de Linguagens de Programação. 2004. (Congresso).
VIII Semana de Monitoria UFF.Desenvolvimento de Aplicações em Linguagens formais. 2004. (Seminário).
VII Semana de Monitoria da UFF.Banco de Softwares. 2003. (Seminário).
LAPTEC ( The third Congress of Logic Applied to Technology). Categorical Limits and Reuse of Algebraic Specifications. 2002. (Congresso).
Semana da Matemática.Limites Categóricos e Especificações Algébricas. 2002. (Seminário).
V Semana Monitoria UFF.Instrumento de apoio ao ensino da linguagem fortran G. 2002. (Seminário).
II Workshop in Formal Methods.Sharing and Denotational Semantics. 2000. (Simpósio).
SBLP (II Simpósio Brasileiro de Linguagens de Programação).From Diagrams to Code Via Attribute Grammars. 1997. (Simpósio).
SBLP (I Simpósio Brasileiro de Linguagens de Programação).Paradigmas de Linguagens de Programação: uma abordagem geométrica.. 1996. (Simpósio).
XIV Congresso da Sociedade Brasileira de Computação (XXI SEMISH). Protótipo para especificação de Processos baseado em CSP. 1994. (Congresso).
VII Simpósio Brasileiro de Engenharia de Software. 1993. (Simpósio).
2a SEMEC-UFF 1o ERMAC-RJ-ES (Encontro Regional de Matemática). 1990. (Encontro).
II EMAI: Encontro Estadual de Estudantes de Matemática Aplicada e Informática. 1990. (Encontro).
Participação em bancas
CAFEZEIRO, Isabel; DELMAS, A. S. B. B.; PARAENSE, N.; NADER, R. V.; RODRIGUES, D. W. L.. Desenho Geométrico e Projetivo no Brasil: aspectos legais, correlações interdisciplinares e apontamentos para o futuro. 2019. Dissertação (Mestrado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
KUBRUSLY, R.CAFEZEIRO, Isabel; BENFEITO, A. P.. Perguntas e Historias sobre o Infinito Matematico: o que os estudantes da educacao basica desejam saber acerca da Historia Cultural do Infinito?. 2019. Dissertação (Mestrado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
BORGES, J. A. S.;MARQUES, I. C.CAFEZEIRO, Isabel; SCHMITZ, E. A.. Terminal Inteligente: Acompanhando o percurso de um microcomputador brasileiro do laboratório à indústria. 2019. Dissertação (Mestrado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
CAFEZEIRO, Isabel; ROCHA, A. C.; SENRA, A. V.; DANTAS, R.. Ciências, Tecnologias e Educação: uma história em descompasso pelo ponto de vista de um professor do ensino médio público. 2018. Dissertação (Mestrado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
KUBRUSLY, R.Cafezeiro, Isabel; ROCHA, A. C.; REIS, T. S.. Uma Análise da Influência da Escrita Simbólica no Rigor e Precisão sob o Olhar da Semiótica. 2018. Dissertação (Mestrado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
KUBRUSLY, R.; SANTOS, A. R.;CAFEZEIRO, Isabel. A justificação finitista da noção de infinito atual por David Hilbert. 2018. Dissertação (Mestrado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
CUKIERMAN, H. L.; ALVEAR, C. A. S.; SOUZA, A. C. G.;CAFEZEIRO, Isabel. Uma proposta de extensão inspirada na Pesquisa-ação para atuar no combate à vigilância digital no Rio de Janeiro. 2018. Dissertação (Mestrado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
DANTAS, R.;CAFEZEIRO, Isabel. da Silva. Uma contribuição à História das Mulheres nas Ciências no Brasil: Heloísa Alberto Torres, a primeira Diretora do Museu Nacional/UFRJ. 2018. Dissertação (Mestrado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
DANTAS, R.;CAFEZEIRO, Isabel; MELLO, P. M. A. C.. CONVERGÊNCIA, DIVERGÊNCIAS E REFLEXÕES SOBRE A PÓS-GRADUAÇÃO INTERDISCIPLINAR NO BRASIL E SUA AVALIAÇÃO : Uma proposta de tradução. 2018. Dissertação (Mestrado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
MOREIRA, I. C.; MASSARANI, L. M.; FRESQUET, A. M.; REZENDE FILHO, L. A. C.;Cafezeiro, Isabel. Imagem da ciência e de cientistas em curtas de animação. 2017. Dissertação (Mestrado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
COELHO, C. L. M.; BARRETO, C. M. B.; BARBOSA, C. M.;CAFEZEIRO, Isabel. Transtorno de Défict de Atenção/Hiperatividade (TDAH) - um olhar sob a perspectiva da Educação Especial Inclusiva - Guia para Professores. 2017. Dissertação (Mestrado em CMPDI) - Universidade Federal Fluminense.
PAIVA, E. N.;CAFEZEIRO, IsabelMARQUES, I. C.; SANTOS, M. P.; DANTAS, R.. SEGUINDO O DIREITO EDUCACIONAL DE ESTUDANTES COM DEFICIÊNCIA NAS ESCOLAS DO MUNICÍPIO DO RIO DE JANEIRO. 2017. Dissertação (Mestrado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
CAFEZEIRO, I. L.; DELOU, C. M. C.; LIMA, P. M. V.; OLIVEIRA, C. E. T.; SAMPAIO, F. F.; ELIA, M. F.. Uma proposta pedagógica para oficinas de robótica educacional orientada a alunos com Altas Habilidades/Superdotação. 2015. Dissertação (Mestrado em Programa de Pós-Graduação em Informática) - Universidade Federal do Rio de Janeiro.
Cafezeiro, IsabelLIMA, Rosângela; LOUREIRO, J. O. P.. Casa Adaptada a Cadeirantes: Um desafio didático ao ensino a superdotados.. 2015. Dissertação (Mestrado em Mestrado Profissionalizante em Diversidade e Inclu) - Universidade Federal Fluminense.
LIMA, RosângelaCAFEZEIRO, Isabel; MONTEIRO, R. S.; MONTEIRO, M.. Competências Docentes na Diversidade em EAD: refletindo acerca da inclusão de deficientes visuais. 2015. Dissertação (Mestrado em CMPDI) - Universidade Federal Fluminense.
OLIVEIRA, J. C.;CAFEZEIRO, I. L.; CARDOSO, M.; TIGRE, P. B.. Engenheiros que não queriam vender Computadores:a comunidade acadêmica de informática e a reserva de mercado. 2013. Dissertação (Mestrado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
CAFEZEIRO, I. L.; MONTES, L. C. M.; ARAÚJO, R. M.. Experiência do Usuário Idoso na Internet: Capital Técnico e a Evolução do Conhecimento em TI através de Redes Sociais.. 2011. Dissertação (Mestrado em Informática) - Universidade Federal do Estado do Rio de Janeiro.
CAFEZEIRO, I. L.; HAMAZAKI, Geiza M.; BENEVIDES, M. R. F.;HAEUSLER, E. H.. A Graph Based Theorem Proving Plataform with Strategies. 2008. Dissertação (Mestrado em Programa de Pós Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Rio de Janeiro.
CAFEZEIRO, I. L.; GARCIA, A. V.; XEXEO, J. A. M.. Uso de Padrões de Código no Ensino de Java. 2006. Dissertação (Mestrado em Engenharia de Sistemas - Informatica) - Instituto Militar de Engenharia.
CAFEZEIRO, I. L.HEAUSLER, E. H.; GARCIA, A. V.. Detecção de Padrões de Código Java na Plataforma Eclipse. 2005. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.
CAFEZEIRO, Isabel; DELMAS, A. S. B. B.; SOARES, C. C. P.; RODRIGUES, D. W. L.; SOBRAL FILHA, D. D.; BORGES, J. A. S.; NADER, R. V.. Um ponto no desenho para uma mudança na sua trajetória: o lugar e a relevância do Desenho Geométrico na formação Escolar. 2020. Tese (Doutorado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
CAFEZEIRO, IsabelMARQUES, I. C.; PAIVA, E. N.; PARAENSE, N.; ROBINSON, N.; BEVILAQUA, L.. Sucesso/fracasso de um produto tecnológico: um robô no Brasil dos anos 1980. 2020. Tese (Doutorado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
DANTAS, R.;CAFEZEIRO, IsabelKUBRUSLY, R.; SILVA, E. R.; PAIXAO, R. L.. No mesmo barco: a diversidade epistêmica na construção dos conhecimentos sobre os animais. 2019. Tese (Doutorado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
KUBRUSLY, R.CAFEZEIRO, Isabel; RAMALHO, C. G. A.; CASTRO, A. J. J. E.; PINHO, K. R. O.. Poética como princípio da Técnica. 2019. Tese (Doutorado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
DANTAS, R.;KUBRUSLY, R.; FROES, M.;CAFEZEIRO, Isabel; DARBILLY, L. V. C.; NADER, R. V.. PERTENCIMENTO A FLOR DA PELE: TATUAGEM E AS MARCAS DO AMOR QUE APRISIONA ? O CASO PENITENCIÁRIA FEMININA DE SANTANA - SP. 2019. Tese (Doutorado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
KUBRUSLY, R.CAFEZEIRO, Isabel; MOURA, C. A.; MARTINS, D. F. N.; OLIVEIRA, J. B. P.. David Hilbert e os fundamentos da Matemática: o sucesso de um fracasso. 2018. Tese (Doutorado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
MARQUES, I. C.CUKIERMAN, H. L.; CAMPOS, M. L. M.; FORNAZIN, M.;CAFEZEIRO, Isabel. A EVOLUÇÃO DA FORMAÇÃO EM COMPUTAÇÃO NO BRASIL E NA UFRJ: origens da especialização dos cursos de graduação. 2018. Tese (Doutorado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
CUKIERMAN, H. L.MARQUES, I. C.; FORNAZIN, M.;CAFEZEIRO, Isabel; SOUZA, A. C. G.; DINIZ, E. H.. DIGITALIZAÇÕES DE MOEDAS SOCIAIS NO BRASIL E SUAS (PRÉ)HISTÓRIAS: tensões e mediações com Estados, mercados e tecnologias. 2018. Tese (Doutorado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
CUKIERMAN, H. L.; SILVA, M. R. B.;CAFEZEIRO, IsabelMARQUES, I. C.. PROGRAMA UM COMPUTADOR POR ALUNO (PROUCA): ENTRELAÇANDO SONHOS E INTERESSES RIO DE JANEIRO 2018. 2018. Tese (Doutorado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
SCHUBRING, G.;KUBRUSLY, R.CAFEZEIRO, Isabel; ROQUE, T. M.; MEDEIROS, L. A. J.; TEIXEIRA, M. V.. O Desenvolvimento da Análise no Brasil - um caminho sobre o surgimento de uma comunidade matemática. 2017. Tese (Doutorado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
CAFEZEIRO, IsabelKUBRUSLY, R.; SANTOS, A. R.; SOARES, F. S.; NASSER, L.. PROJETO FUNDÃO: três décadas integrando Universidade com a Educação Básica. 2016. Tese (Doutorado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
CAFEZEIRO, I. L.; DANTAS, R.; TIGRE, P. B.; OLIVEIRA, J. C.; CARDOSO, M.. DÁ LICENÇA.. LICENCINHA!?: a construção de um espaço para o minicomputador nacional. 2014. Tese (Doutorado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
OLIVEIRA, J. C.;CAFEZEIRO, I. L.; TIGRE, P. B.; DANTAS, M.;KUBRUSLY, R.; DANTAS, R.. O UNIX-compatível brasileiro a serviço de autonomia tecnológica na década de 1980. 2013. Tese (Doutorado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
BORGES, J. A. S.; DANTAS, R.; ARAUJO, R. S.;CAFEZEIRO, I. L.. Nos rastros da rede: Uma história CTS dentro da disciplinada UFRJ. 2021. Exame de qualificação (Doutorando em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
BOSCARIOLI, Clodis; LUBECK, M.;CAFEZEIRO, I. L.; BARBOSA, J. C.; LOSS, A. S.; KLUBER, T. E.. Teoria Ator-rede e educação matemática: relações estabelecidas em uma formação de professores de duas escolas bilíngues para surdos. 2021. Exame de qualificação (Doutorando em Educação em Ciências e Educação Matemática) - Universidade Estadual do Oeste do Paraná.
FROES, M.; BARROS, M. M.;KUBRUSLY, R.CAFEZEIRO, Isabel. Análise de padrões em registros de jogo computacional neuropedagógico. 2019. Exame de qualificação (Doutorando em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
CAFEZEIRO, Isabel; DELMAS, A. S. B. B.; BORGES, J. A. S.; SOARES, C. C. P.. Um ponto no desenho para uma mudança na sua trajetória: o lugar e a relevância do desenho geométrico na formação escolar. 2019. Exame de qualificação (Doutorando em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
KUBRUSLY, R.CAFEZEIRO, Isabel; KOSMINSKY, D.; OLIVEIRA, L. A.; MORICONI, M.. Arte e Ciência: uma cartografia do tempo e do infinito. 2019. Exame de qualificação (Doutorando em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
KUBRUSLY, R.CAFEZEIRO, Isabel; FROES, M.; OLIVEIRA, I. R.. MaisThesis: Princípio Epistemológico das Artes e Matemáticas. 2019. Exame de qualificação (Doutorando em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
DANTAS, R.;CAFEZEIRO, Isabel; AYROSA, E. A. T.; DARBILLY, L. V. C.; NADER, R. V.. PERTENCIMENTO A FLOR DA PELE: TATUAGEM E AS MARCAS DO AMOR QUE APRISIONA ? O CASO PENITENCIÁRIA FEMININA DE SANTANA - SP Ivaneide. 2018. Exame de qualificação (Doutorando em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
PAIVA, E. N.;CAFEZEIRO, IsabelMARQUES, I. C.; NADER, R. V.; BRUNO, F. G.. Rumo à governança algorítmica: análise sociotécnica dos algoritmos de credit score. 2018. Exame de qualificação (Doutorando em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
MARQUES, I. C.CAFEZEIRO, IsabelCUKIERMAN, H. L.; FONTES, A. R. C.; FERREIRA, L. O.; PAIVA, E. N.. DIREITO À SAÚDE NA MESA: uma audiência pública no STF.. 2018. Exame de qualificação (Doutorando em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
KUBRUSLY, R.CAFEZEIRO, Isabel. LÓGICA RACIONAL E OBJETIVIDADE CULTURAL: UM ENSAIO SOBRE A NATUREZA HUMANA DA MATEMÁTICA. 2018. Exame de qualificação (Doutorando em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
MARQUES, I. C.; PAIVA, E. N.;CAFEZEIRO, Isabel; PARAENSE, N.; BEVILACQUA, L.. SUCESSO/FRACASSO DE UM PRODUTO TECNOLÓGICO: UM ROBÔ NO BRASIL DOS ANOS 1980. 2018. Exame de qualificação (Doutorando em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
MARQUES, I. C.CUKIERMAN, H. L.CAFEZEIRO, Isabel; PAIVA, E. N.; WERNER, C. M. L.; SAMPAIO, J. O.. A Evolução da Formação em Computação no Brasil. 2017. Exame de qualificação (Doutorando em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
CUKIERMAN, H. L.MARQUES, I. C.; SILVA, M. R. B.;CAFEZEIRO, I. L.. Alinhavando os projetos Um Computador por Aluno (UCA) e Educação com Computadores (EDUCOM). 2016. Exame de qualificação (Doutorando em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
Cafezeiro, Isabel; CARDOSO, M.; OLIVEIRA, A. R. E.; OLIVEIRA, J. C.. Propriedade Intelectual de Software: uma discussão sobre a conveniência da adoção de patentes. 2016. Exame de qualificação (Doutorando em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
CAFEZEIRO, I. L.; TIGRE, P. B.; DANTAS, R.; OLIVEIRA, J. C.; CARDOSO, M.;KUBRUSLY, R.. Dá Licença, Licencinha! A construção de um espaço para o minicomputador nacional. 2013. Exame de qualificação (Doutorando em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro.
OLIVEIRA, J. C.;CAFEZEIRO, I. L.; TIGRE, P. B.; DANTAS, M.. O Sistema operacional SOX - um sistema operacional UNIX-compatível brasileiro" ou "A figuração do sistema UNIX-compatível brasileiro SOX como um projeto na contramão da História. 2012. Exame de qualificação (Doutorando em HCTE) - Universidade Federal do Rio de Janeiro.
CAFEZEIRO, I. L.; PAIVA, E. N.; FREITAS, L. S.; MARANON, E. I. M.. UM OLHAR SOCIOTÉCNICO PARA A CONSTRUÇÃO DE UM ARTEFATO INFORMACIONAL: a construção de um sistema de Business Intelligence sob a perspectiva da Teoria Ator-Rede. 2013. Exame de qualificação (Mestrando em Ciências da Informação) - Universidade Federal Fluminense.
GARCIA, A. C. B.;HAEUSLER, E. H.; CORRÊA, M. S.;Cafezeiro, Isabel. Um método de Tableaux para cálculo lambek. 2001. Exame de qualificação (Mestrando em Computação Aplicada e Automação) - Universidade Federal Fluminense.
CAFEZEIRO, I. L.; SPINOLA, A. I.; SILVA, K. G. C.. Algoritmo Euclidiano Estendido. 2005. Monografia (Aperfeiçoamento/Especialização em Especialização em Matemática) - Universidade Federal Fluminense.
SEIXAS, F.;CAFEZEIRO, Isabel; VAREJAO, C. S.. Sistema de apoio à decisão para cuidados à saúde de pacientes em tratamento quimioterápico em casa. 2021. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
SEIXAS, F.;CAFEZEIRO, Isabel; VAREJAO, C. S.. Sistema de apoio à decisão para cuidados à saúde de pacientes em tratamento quimioterápico em casa. 2021. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
VIANA, J. P.; LOPES, B.;CAFEZEIRO, Isabel; GENTIL-NUNES, P.. EDO : Uma biblioteca em Python para musica microtonal. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
VIANA, J. P.; VIEIRA, B. L.;CAFEZEIRO, Isabel; GENTIL-NUNES, P.. EDO : Uma biblioteca em Python para musica microtonal. 2021. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
COSTA, L. C.;CAFEZEIRO, I. L.; SEIXAS, F.. PubMedDataView: busca simplificada no PubMed para a visualização das informações sobre grupos de pesquisa. 2021. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
SEIXAS, F.; FORNAZIN, M.;CAFEZEIRO, I. L.; José Viterbo. Uma análise de acessibilidade de sistemas acadêmicos: O Google Sala de Aula. 2021. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
CAFEZEIRO, I. L.; SALGADO, L.;VITERBO, José. O Consumismo das Redes Uma análise a partir de Thoreau. 2021. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
SEIXAS, F.; CAVALCANTI, A. C. D.;CAFEZEIRO, I. L.. Nursing DiagnosIC: Desenvolvimento de um sistema para auxiliar o diagnóstico de enfermagem de pacientes com insuficiência cardíaca. 2021. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
SEIXAS, F.;CAFEZEIRO, I. L.; CAVALCANTI, A. C. D.. Nursing DiagnosIC: Desenvolvimento de um sistema para auxiliar o diagnóstico de enfermagem de pacientes com insuficiência cardíaca. 2021. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
CAFEZEIRO, I. L.; SALGADO, L.; MOCHETTI, K.. Mulheres em Situação de Violência Doméstica: a contribuição das mídias digitais. 2021. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
CAFEZEIRO, I. L.; José Viterbo; COSTA, L. C.. Mentalize: uma aplicação voltada para a terapia cognitivo-comportamental. 2021. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
SEIXAS, F.;CAFEZEIRO, I. L.; SALGADO, L.. O impacto da Gestão de Ativos de Software em uma Organização. 2021. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
CAFEZEIRO, Isabel; José Viterbo; SEIXAS, F.. Análise de tecnologias disruptivas utilizando cartografia das controvérsias: um estudo de caso com a empresa Uber. 2020. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
CAFEZEIRO, Isabel; MOCHETTI, K.; SEIXAS, F.; FORNAZIN, M.. O encontro do software livre com a educação: de Grafos à Teoria Dialógica Freiriana. 2020. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
José Viterbo;CAFEZEIRO, Isabel; MIRANDA, L. B. A.; GARCIA, I.. Usando a Tecnologia para o Gerenciamento do Recebimento de Água nos Consumidores. 2020. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
Viterbo, Jos?;CAFEZEIRO, Isabel; ALVES, L. B.; GARCIA, I.. Usando a Tecnologia para o Gerenciamento do Recebimento de Água nos Consumidores. 2020. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
CAFEZEIRO, Isabel; SEIXAS, F.; COSTA, L. C.. Dificuldades e Desafios dos surdos com Tecnologias atuais. 2020. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
CAFEZEIRO, Isabel; SEIXAS, F.; COSTA, L. C.. Dificuldades e Desafios dos surdos com Tecnologias atuais. 2020. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
SALGADO, L.;CAFEZEIRO, I. L.; TREVISAN, D.. Uma investigação sobre cybersickness guiada por boas práticas de design de aplicações de realidade virtual. 2020. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
SALGADO, L.; TREVISAN, D.;CAFEZEIRO, I. L.. Uma investigação sobre cybersickness guiada por boas práticas de design de aplicações de realidade virtual. 2020. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
CAFEZEIRO, I. L.; FORNAZIN, M.; MOCHETTI, K.; LIMA, A. J. S.. Autodeclarar-se. Uma análise sobre o acesso à Universidade por meio das ações afirmativas na UFF. 2020. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
SEIXAS, F.;CAFEZEIRO, Isabel; COSTA, L. C.. Prontuário Eletrônico: Fatores Críticos de Sucesso e Falha para a Implantação Efetiva. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
SEIXAS, F.; COSTA, L. C.;CAFEZEIRO, Isabel. Prontuário Eletrônico: Fatores Críticos de Sucesso e Falha para a Implantação Efetiva. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - UFF.
MOCHETTI, K.;CAFEZEIRO, Isabel; COSTA, L. C.. Uma Ferramenta de Suporte à Avaliação Contínua. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
COSTA, L. C.; ROCHA, M.;CAFEZEIRO, Isabel. Onde está minha sala de aula?: Ajudando alunos a encontrarem sua sala de aula. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
MOCHETTI, K.; COSTA, L. C.;CAFEZEIRO, Isabel. Utilização de Transformada Rápida de Fourier para detecção de notas musicais no ambiente de software livre da KDE. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
VITERBO, JoséCAFEZEIRO, Isabel; ALVES, L. B.. CatBot - Um agente conversacional para auxiliar estudantes acadêmicos. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
CAFEZEIRO, Isabel; SALGADO, L.; FORNAZIN, M.. A construção da Lei Geral de Proteção de Dados e seus efeitos para o Pequeno Empresário e para o Cidadão. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
FORNAZIN, M.;CAFEZEIRO, Isabel; SILVA, S. L. F. C.. Prática de métodos ágeis na gestão de projetos de software livre. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
CAFEZEIRO, Isabel; COSTA, L. C.; ROCHA, M.. Esports e o ambiente acadêmico: uma perspectiva sobre o cenário. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
CAFEZEIRO, Isabel; ROCHA, M.; NEVES, V. O.. Como uma mineradora atua no relacionamento com comunidades e instituições através de um sistema progressivo. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
CAFEZEIRO, Isabel; ROCHA, M.; NEVES, V. O.. Como uma mineradora atua no relacionamento com comunidades e instituições através de um sistema progressivo. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
NEVES, V. O.; SILVA, B. D. G.;CAFEZEIRO, Isabel; SEIXAS, F.. Funcionalidades de um software aplicado ao gerenciamento de desastres - um mapeamento sistemático. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
SEIXAS, F.;CAFEZEIRO, Isabel; COSTA, L. C.. UFFinder. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
SEIXAS, F.;CAFEZEIRO, Isabel; COSTA, L. C.. UFFinder. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
CAFEZEIRO, Isabel; COSTA, L. C.; GUERRA, R. P. O.. Uma Estratégia para Auxiliar Investidores Iniciantes na Compra de Ações no Mercado Financeiro. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
CAFEZEIRO, Isabel; ROCHA, M.; COSTA, L. C.; José Viterbo. RideUFF: aplicativo para o conceito de carona solidária na Universidade Federal Fluminense. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
CAFEZEIRO, Isabel; ROCHA, M.; COSTA, L. C.;VITERBO, José. RideUFF: aplicativo para o conceito de carona solidária na Universidade Federal Fluminense. 2019. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
CAFEZEIRO, Isabel; COSTA, L. C.; SEVERO, F.; MOCHETTI, K.. Uma Discussão sobre o fracasso do Sistema Acadêmico. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - UFF.
Viterbo, Jos?; FORNAZIN, M.;CAFEZEIRO, Isabel. A Formação de Profissionais da Área de TI no Contexto da Inovação Tecnológica. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
José Viterbo; FORNAZIN, M.;CAFEZEIRO, Isabel. A Formação de Profissionais da Área de TI no Contexto da Inovação Tecnológica. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
SALGADO, L.;CAFEZEIRO, Isabel; COSTA, L. C.. Uso da gamificação na educação: estudo do engajamento dos alunos na disciplina de Governança em Tecnologia da Informação. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
SALGADO, L.; COSTA, L. C.;CAFEZEIRO, Isabel. Uso da gamificação na educação: estudo do engajamento dos alunos na disciplina de Governança em Tecnologia da Informação. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
CAFEZEIRO, Isabel; SEVERO, F.;CUKIERMAN, H. L.; José Viterbo. Teste de usabilidade do Libras Office. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
CAFEZEIRO, Isabel; SALGADO, L.; MOCHETTI, K.. Sistemas de Informação e Meio Ambiente. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
CAFEZEIRO, Isabel; ROCHA, M.; COSTA, L. C.; MONTEIRO, R. S.. Quero Doar: Estudo e desenvolvimento de plataforma para diminuir distâncias entre doadores e ONGs. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
CAFEZEIRO, Isabel; ROCHA, M.; COSTA, L. C.; MONTEIRO, R. S.. Quero doar: aplicativo para informar sobre locais receptores para doações.. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
CAFEZEIRO, Isabel; COSTA, L. C.;VITERBO, José. Carteirada Inclusiva: Um App de Inclusão Escolar. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
CAFEZEIRO, Isabel; COSTA, L. C.;VITERBO, José. UFFinfo: Uma melhor opção de acesso a informações acadêmicas. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
GUERRA, R. P. O.;CAFEZEIRO, Isabel; COSTA, L. C.. Pêndulo Invertido Sobre Rodas com FreeRTOS e Arduino. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
KOZOVITS, L. E.; OLIVEIRA, D. C. M.; REED, J.;CAFEZEIRO, Isabel. MONITORAMENTO DE CONSUMO ELÉTRICO EM TEMPO REAL E AUTOMAÇÃO: UM EXEMPLO DE APLICAÇÃO NO CONTEXTO DE INTERNET DAS COISAS. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
SALGADO, L.;CAFEZEIRO, IsabelVITERBO, José. SolicitaUFF: Um sistema acadêmico-administrativo web com foco em usabilidade e acessibilidade. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
SALGADO, L.;CAFEZEIRO, IsabelVITERBO, José. SolicitaUFF: Um sistema acadêmico-administrativo web com foco em usabilidade e acessibilidade. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
MOCHETTI, K.;CAFEZEIRO, Isabel; MORAES, M. O.. Estudo comparativo do computador clássico e quântico na criação fiel da mente humana pela visão da psicologia. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
CAFEZEIRO, Isabel; COSTA, L. C.;VITERBO, José. Análise de Produto:Sony Playstation VR, um estudo de caso. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
COSTA, L. C.;VITERBO, JoséCAFEZEIRO, Isabel. Valeu a Pena?: Um site com experiências conectando concluintes à ingressantes.. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
COSTA, L. C.;VITERBO, JoséCAFEZEIRO, Isabel. Valeu a Pena?: Um site com experiências conectando concluintes à ingressantes.. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
CAFEZEIRO, Isabel; COSTA, L. C.; SALGADO, L.; SEVERO, F.. Ciência da Computação Desplugada. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
COSTA, L. C.; José Viterbo;CAFEZEIRO, Isabel. Estudo de usabilidade e redesign de interface do sistema SolicitaSI. 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
COSTA, L. C.;CAFEZEIRO, IsabelVITERBO, José. Cultura inteligente ? um estudo de aplicação de tecnologia smart via beacons. 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - UFF.
COSTA, L. C.;CAFEZEIRO, IsabelVITERBO, José. Cultura inteligente ? um estudo de aplicação de tecnologia smart via beacons. 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - UFF.
COSTA, L. C.;CAFEZEIRO, I. L.VITERBO, José. Um sistema para apoio da descrição e análise iconográfica. 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - UFF.
CAFEZEIRO, Isabel; COSTA, L. C.; MONTEIRO, R. S.. Computação Humana: abordagem dos conceitos através da concepção de um software. 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
CAFEZEIRO, Isabel; TOLEDO, R. C. L.; SALGADO, L.. Ciência da Computação e Participação Pública. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
CAFEZEIRO, Isabel; JUNIOR, I. C.; COSTA, L. C.; FARIA, L. A. S.. O Uso de Bitcoins coloridas como uma moeda complementar virtual: uma análise de viabilidade. 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
SALGADO, L.; MONTEIRO, R. S.;CAFEZEIRO, I. L.. Um estudo da governança de ti verde em uma organização pública. 2016. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.
CAFEZEIRO, I. L.; LOPES, B.; VALENTE, S.. A antecipação da incompletude dos sistemas formais por Emil Post durante a crise dos fundamentos da matemática. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
GUERRA, R. P. O.; COSTA, L. C.;CAFEZEIRO, I. L.. INTEGRA UFF - Integração de Sistemas de Gestão de Aprendizado. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
Cafezeiro, IsabelLIMA, Rosângela; MONTEIRO, R. S.. Acessibibiteca: A sua biblioteca virtual temática sobre acessibilidade.. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
Cafezeiro, IsabelLIMA, Rosângela; MONTEIRO, R. S.. Sensibilização para a criação de uma cultur organizacional voltada para a sustentabilidade. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
Cafezeiro, IsabelLIMA, Rosângela; MONTEIRO, R. S.. O RESGATE DE MERELYN: UM RPG em audiogame como recurso pedagógico. 2014. Trabalho de Conclusão de Curso (Graduação em Graduação em Ciências da Computação) - UFF.
Cafezeiro, IsabelLIMA, Rosângela; COSTA, L. C.. SAPT Sistema de apoio técnco. 2014. Trabalho de Conclusão de Curso (Graduação em Graduação em Ciências da Computação) - UFF.
CAFEZEIRO, IsabelLIMA, Rosângela; COSTA, L. C.. O Sistema Android para Gestão de Informação do Curso de Sistemas de Informação. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
LIMA, RosângelaCAFEZEIRO, I. L.; MONTEIRO, R. S.. Rodrigues.Ferramenta para Auxílio na Comunicação e Aprendizagem de Crianças Autistas. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
BOKEHI, J. R.;CAFEZEIRO, I. L.. InfoSUS: uma aplicação mobile para os usuários do SUS em Niterói usando Apache Cordova?. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
LIMA, RosângelaCAFEZEIRO, I. L.; MONTEIRO, R. S.. EcoUFF - tecnologia móvel a serviço do meio ambiente sustentável. 2013. Trabalho de Conclusão de Curso (Graduação em Graduação em Ciências da Computação) - UFF.
LIMA, RosângelaCAFEZEIRO, I. L.; TREVISAN, D.. Computação como Ferramenta para o Desenvolvimento e Inclusão de Pessoas com Necessidades Especiais. 2013. Trabalho de Conclusão de Curso (Graduação em Graduação em Ciências da Computação) - UFF.
LEITAO, H. C. G.;CAFEZEIRO, I. L.LIMA, Rosângela. Modelagem 3D com auxílio de câmeras. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
LIMA, RosângelaCAFEZEIRO, I. L.; COSTA, L. C.. SGVM? Sistema Gerenciador de Viveiros de Mudas. 2013. Trabalho de Conclusão de Curso (Graduação em Graduação em Ciências da Computação) - UFF.
LIMA, RosângelaCAFEZEIRO, I. L.; COELHO, C. L. M.. Aplicação da plataforma Scratch em pessoas com necessidades educativas especiais. 2013. Trabalho de Conclusão de Curso (Graduação em Graduação em Ciências da Computação) - UFF.
COSTA, L. C.;CAFEZEIRO, I. L.LIMA, Rosângela. Uma aplicação cliente web service para o PUBMED. 2013. Trabalho de Conclusão de Curso (Graduação em Graduação em Ciências da Computação) - UFF.
CAFEZEIRO, I. L.LIMA, Rosângela; LEHMAN, L. M. S. Alfabetização Lúdica: um jogo para auxiliar o professor no processo de letramento. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
CAFEZEIRO, I. L.LIMA, Rosângela; COSTA, L. C.. Organizador Acadêmico UFF - UM APLICATIVO PARA DISPOSITIVO MÓVEL, UTILIZANDO O SISTEMA iOS. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
CAFEZEIRO, I. L.LIMA, Rosângela; COSTA, L. C.. A gestão do resíduo eletrônico, uma solução Web. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
CAFEZEIRO, I. L.LIMA, Rosângela; JUNIOR, I. C.. Estudo para a implantação de um centro de descarte, recilcagem e reuso de computadores. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
CAFEZEIRO, I. L.LIMA, Rosângela; JUNIOR, I. C.. Quid, uma nova ferramenta de aprendizagem. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
CAFEZEIRO, I. L.; COSTA, L. C.;LIMA, Rosângela. da Silva e Thales Barros.Portal de gerenciamento de conteúdos audiovisuais. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
Cafezeiro, IsabelMARQUES, I. C.; MURTA, L. G. P.. Coding Dojo: novas possibilidades para o ensino da programação. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
GUEDES, L. C. C.; RIBEIRO, C. A. S.;CAFEZEIRO, I. L.. Gerador de Automático de Stubs para web Services em JavaScript. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
CAFEZEIRO, I. L.LIMA, Rosângela; GOMES, L.V. B.. Estudos dos Aspectos Envolvidos nas Aplicações de Testes de Usabilidade em Web Sites. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
GOMES, L.V. B.;LIMA, RosângelaCAFEZEIRO, I. L.. Estudo e Desenvolvimento de Ferramenta para Construção de sites de congressos, simpósios e seminários. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
Cafezeiro, Isabel; GOMES, L.V. B.;LIMA, Rosângela. Concepção de Metodologia ao Desenvolvimento cognitivo através da programação. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
LIMA, W. O.; ALVES, R. L.; AGUIAR, T. C.;CAFEZEIRO, I. L.. Programação Orientada a Aspectos. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
Cafezeiro, Isabel. Padrões de Código para o Ensino Básico de Orientação a Objetos usando Java. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
CAFEZEIRO, I. L.; AGUIAR, T. C.; SILVEIRA FILHO, O. T.. Refatoração de Código. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
Cafezeiro, Isabel. E-Gov: Para quê e para quem?. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
CAFEZEIRO, I. L.; BRAGA, C.; COBURCCI FILHO, D.. Hidra: Uma nova Linguagem de Programação. 2005. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
Cafezeiro, Isabel. Inclusão Digital: Conceituação e Estudo de Casos. 2005. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
CAFEZEIRO, I. L.; FERRAZ, I.; CONCI, A.. Pereira.Modelagem de Plantas usando L-Systems - Geometria Fractal Simplificando Formas Complexas. 2004. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
CAFEZEIRO, I. L.; PEREIRA, R.; THOMÉ, L.. A Orientação a Objetos na Linguagem Java: Um Estudo com Aplicações Práticas. 2001. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
CAFEZEIRO, I. L.HAEUSLER, E. H.; GUEDES, L. C. C.; GARCIA, A. V.. da Silva.Tradução de Estruturas de Controle para Tempo real em Linguagens Orientadas a Objetos (1). 1997. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
CAFEZEIRO, I. L.HAEUSLER, E. H.; GUEDES, L. C. C.; GARCIA, A. V.. do Amaral e Patrícia Garcês Rabelo.Tradução de Estruturas de Controle para Tempo real em Linguagens Orientadas a Objetos (2). 1997. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.
SOUZA, H. V. C.; SOEIRO, F. J. C. P.; FERNANDES, J. L.; GOUVEIA, P. H.;CAFEZEIRO, Isabel. Membro da Banca de Progressão para Professor Titular. 2020. Centro Federal de Educação Tecnológica Celso Suckow da Fonseca.
BRAGA, M. A. B.; RODRIGUES, J. S.;CAFEZEIRO, I. L.; MELO, N. A. F.. Membro da Banca de Progressão para Professor Titular. 2020. Centro Federal de Educação Tecnológica Celso Suckow da Fonseca.
CAFEZEIRO, Isabel; DAGNINO, R.; EID, F.; SOUZA, A. C. G.; LIMA, F.. Membro da Banca Professor Adjunto Tecnologia para o desenvolvimento social. 2019. Universidade Federal do Rio de Janeiro.
CAFEZEIRO, I. L.; MONTEIRO, R. S.; LIFSCHITZ, S.; WERNECK, V.; OLIVEIRA, J.. Presidente da Banca para Seleção de Professor Adjunto (Sistemas de Informação). 2016. Universidade Federal Fluminense.
Cafezeiro, Isabel; BRAGA, C.; GARCIA, A. V.; IERUSALIMSCHY, R.; MENEZES, P. F. B.. Membro da Banca de seleção de professor adjunto Teoria da Computação. 2014. Universidade Federal Fluminense.
Rodrigues, R. J. S.;CAFEZEIRO, I. L.; Junior, G. G. P.. Membro da Banca de Seleção para Professor Adjunto (Engenharia de Software). 2010. Universidade Estadual do Norte Fluminense Darcy Ribeiro.
Rodrigues, R. J. S.;CAFEZEIRO, I. L.; Junior, G. G. P.. Membro da Banca de Seleção para Professor Adjunto (Redes de Computadores). 2010. Universidade Estadual do Norte Fluminense Darcy Ribeiro.
LIMA, RosângelaCAFEZEIRO, I. L.; BOSCARIOLI, Clodis; TAMIRES, A. R.;MARQUES, I. C.. Membro da Banca de Seleção para Professor Adjunto (Sistemas de Informação). 2010. Universidade Federal Fluminense.
BENEVIDES, M. R. F.; MONTE, L. C. M.; Musicante, M.; SILVA, J. C. P.;CAFEZEIRO, I. L.. Membro da Banca de Seleção para Professor Adjunto (Linguagens de Programação e Compiladores). 2010. Universidade Federal do Rio de Janeiro.
CAFEZEIRO, I. L.; OLIVEIRA, S. L.; BARBOSA, A. C. C.; LOBOSCO, M.; TAMIRES, A. R.. Presidente da Banca para Seleção de Professor Adjunto (Licenciatura em Computação). 2009. Universidade Federal Fluminense.
CAFEZEIRO, I. L.; ZIMBRÃO, G.; Iotio, V. O.. Presidente da Banca de Seleção de Professor Assistente (Linguagens de Programação). 2009. Universidade Federal Fluminense.
CAFEZEIRO, I. L.; GARCIA, A. V.; GUEDES, L. C. C.; MONTE, L. C. M.; CERQUEIRA, R. F. G.. Presidente da Banca para Seleção de Professor Adjunto (Linguagens de Programação e Compiladores). 2006. Universidade Federal Fluminense.
Cafezeiro, Isabel; COSTA, L. C.; THOMÉ, L.. Presidenteda Banca para Seleção de Professor Substituto DTS-TCC n 24 de 14 outubro de 2005 UFF. 2005. Universidade Federal Fluminense.
AGUIAR, T. C.;CAFEZEIRO, I. L.; FERRAZ, I.. Membro da Banca de Seleção para Professor Substituto DTS-TCC n°. 21 de 29/03/2004. 2004. Universidade Federal Fluminense.
SILVEIRA FILHO, O. T.;CAFEZEIRO, I. L.; FERRAZ, I.. Membro da Banca de Seleção de Professor Substituto DTS-TCC n.20 de 27/03/2003 UFF. 2003. Universidade Federal Fluminense.
Cafezeiro, Isabel. Membro da banca de seleção de professor substituto. DTS TCC 21/2002. 2002. Universidade Federal Fluminense.
AGUIAR, T. C.;CAFEZEIRO, I. L.; FERRAZ, I.. Membro da Banca de Seleção de Professor Substituto para disciplinas básicas DTS TCC 19 de 14/02/2001. 2001.
AGUIAR, T. C.;Cafezeiro, Isabel; SILVEIRA FILHO, O. T.. Membro da Banca de Seleção de Professor Substituto TCC UFF DTS TCC n. 26 de 17/08/2001. 2001. Universidade Federal Fluminense.
Cafezeiro, Isabel. Membro da Banca de Seleção para Professor Substituto. 1995. Universidade Federal Fluminense.
CAFEZEIRO, I. L.. Membro da Comissão Científica do Concurso de Teses e Dissertações da Associação Nacional de Estudos de Ciência, Tecnologia e Sociedade. 2021.
CAFEZEIRO, I. L.. Membro do Comitê Científico do IX Simpósio da Associação Nacional de Estudos de Ciência, Tecnologia e Sociedade. 2021.
Cafezeiro, Isabel. Membro da Comissão Avaliadora do SBSI 2021. 2021. Universidade Federal de Uberlândia.
Cafezeiro, Isabel. Membro do Comitê Científico do XIV Scientiarum História. 2021. Universidade Federal do Rio de Janeiro.
CAFEZEIRO, I. L.. Membro da Comissão Avaliadora do WICS 2019. 2020. Universidade Federal Fluminense.
CAFEZEIRO, I. L.. Membro do Comitê Científico do XIII Scientiarum História. 2020. Universidade Federal do Rio de Janeiro.
CAFEZEIRO, Isabel. Membro da Comissão Avaliadora do ERSI 2019. 2019. Universidade Federal Fluminense.
CAFEZEIRO, Isabel. Membro da Comissão Avaliadora do WCSI 2019. 2019. Universidade Federal Fluminense.
CAFEZEIRO, IsabelKUBRUSLY, R.; DANTAS, R.; FROES, M.; BORGES, J. A. S.. Membro da Comissão avaliadora do Scientiarum História XII. 2019. Universidade Federal do Rio de Janeiro.
CAFEZEIRO, Isabel. Membro da Comissão de Avaliação do SBSI 2018. 2018. Universidade de Caxias do Sul.
CAFEZEIRO, Isabel. Membro da Comissão Avaliadora do WICSI 2018. 2018. Universidade de Caxias do Sul.
CAFEZEIRO, Isabel. Membro da Comissão Avaliadora do Apps.edu CBIE 2018. 2018. Universidade Federal do Ceará.
CAFEZEIRO, Isabel. Membro da Comissão Avaliadora do SHIALC 2018. 2018. Universidade Federal do Rio de Janeiro.
CAFEZEIRO, Isabel. Membro da Comissão Avaliadora do HDRio 2018. 2018. Fundação Getúlio Vargas.
CAFEZEIRO, Isabel. Membro da Comissão Avaliadora do SBSI 2017. 2017. Sociedade Brasileira de Computação - Porto Alegre.
CAFEZEIRO, Isabel. Membro da Comissão Avaliadora do WICSI 2017. 2017. Sociedade Brasileira de Computação - Porto Alegre.
CAFEZEIRO, Isabel. Membro do comitê científico do II CCBWIKI, Congresso Científico Brasileiro da Wikipédia e do I IWSC, International Wikipedia Scientific Congress. 2017. Universidade Federal Fluminense.
CAFEZEIRO, Isabel. Membro da Comissão avaliadora de Projetos de Iniciação Científica UFF. 2017. Universidade Federal Fluminense.
CAFEZEIRO, Isabel. Membro da Comissão avaliadora do WEI 2017. 2017. Sociedade Brasileira de Computação - Porto Alegre.
CAFEZEIRO, Isabel. Membro do comitê científico do SBIE. 2017.
CAFEZEIRO, Isabel. Membro da Comissão avaliadora do Congresso Internacional em Humanidades Digitais - HDRio 2018. 2017. Fundação Getúlio Vargas.
CAFEZEIRO, Isabel. Membro do Comitê de Programa VALID 2016, The Fifth International Conference on Advances in System Testing and Validation Lifecycle. 2016. Universidade Federal Fluminense.
Cafezeiro, Isabel. Membro do comitê científico do SBIE. 2016. Universidade Federal de Uberlândia.
Cafezeiro, Isabel. Membro do comitê científico do Scientiarum História IX. 2016. Pós-graduação em História das Ciências e das Técnicas - UFRJ.
Cafezeiro, Isabel. Menbro do comitê científico da ERSI. 2016. Universidade Federal Rural do Rio de Janeiro.
CAFEZEIRO, Isabel. Membro do comitê científico do GRAND SI. 2016. Universidade Federal de Santa Catarina.
CAFEZEIRO, I. L.MARQUES, I. C.; PAIVA, E. N.. Membro da Comissão de Programa do VI ESOCITE.BR TECSOC. 2015. Universidade Federal do Rio de Janeiro.
Cafezeiro, Isabel. Membro do comitê científico do ERSI-RJ 2015. 2015. Universidade Federal do Estado do Rio de Janeiro.
Cafezeiro, Isabel. Membro do Comitê Científico do XXVI SBIE. 2015. Sociedade Brasileira de Computação - Porto Alegre.
CAFEZEIRO, Isabel. Membro do Comitê de Programa VALID 2015, The Fifth International Conference on Advances in System Testing and Validation Lifecycle. 2015. Universidade Federal Fluminense.
CHAITIN, G.;Cafezeiro, Isabel; CHAITIN, V.; DODIG-CRNKOVIC, G.. Membro da Comissão Científica de Seleção de Trabalhos do Simpoósio ANTI-REDUCTIONIST COMPUTATIONAL METAPHORS IN EVOLUTION, METAMATHEMATICS, COMPUTING AND THE CONTEMPORARY HUMAN SELF-IMAGE (ARCM). 2014. Anatolia College/ACTThessaloniki.
CAFEZEIRO, I. L.. Membro do comitê científico do ERSI-RJ 2014. 2014. Universidade Federal Fluminense.
CAFEZEIRO, I. L.. Membro da Comissão avaliadora do Scientiarum História VII. 2014. Pós-graduação em História das Ciências e das Técnicas - UFRJ.
CAFEZEIRO, Isabel. Membro do Comitê de Programa VALID 2014, The Fifth International Conference on Advances in System Testing and Validation Lifecycle. 2014. Universidade Federal Fluminense.
CAFEZEIRO, I. L.. Membro do Comitê de Programa VALID 2013, The Fifth International Conference on Advances in System Testing and Validation Lifecycle. 2013. UFF.
CAFEZEIRO, I. L.. Membro do Comitê de Avaliação de Artigos para o XXI WEI. 2013. Universidade Federal de Alagoas.
CAFEZEIRO, I. L.. Membro do Comitê de Programa do III STED. 2012. Prefeitura Municipal de Araucária.
CAFEZEIRO, I. L.. Membro do Comitê de Avaliação de Artigos para o XX WEI. 2012. Universidade Federal Fluminense.
CAFEZEIRO, I. L.. Membro do Comitê de Programa do WOSES. 2012. Universidade Federal Fluminense.
CAFEZEIRO, I. L.. Membro da Comissão de revisores do Information and Communication Technologies and Applications ICTA 2012. 2012. Universidade Federal Fluminense.
CAFEZEIRO, I. L.. Membro do Comitê de Programa do WOSES. 2011. Pontifícia Universidade Católica do Paraná.
CAFEZEIRO, I. L.. Membro do Comitê de Avaliação de Artigos para o XIX WEI. 2011. Universidade Federal do Rio Grande do Norte.
CAFEZEIRO, I. L.LIMA, Rosângela; COSTA, L. C.; JUNIOR, I. C.; BOSCARIOLI, Clodis. Membro do Comitê Científico do II ENINED (Encontro Nacional de Informática e Educação). 2011. Universidade Estadual do Oeste do Paraná.
CAFEZEIRO, I. L.. Membro do Comitê de Programa do II STED. 2011. Prefeitura Municipal de Araucária.
CAFEZEIRO, I. L.. Membro do Comitê de Programa do I STED. 2010. Faculdade Educacional Araucária.
Cafezeiro, Isabel. Membro do comitê científico da Semana Nacional de Ciência e tecnologia Portaria n 43.445 de 06 de dezembro de 2010 BS ano XL n. 202 07/12/10 sção II pág 009. 2010.
CAFEZEIRO, Isabel. Membro do Comitê de Programa do XIV SBLP. 2010.
CAFEZEIRO, I. L.. Membro do Comitê de Programa do XIII SBLP. 2009. Universidade Católica de Pelotas.
Cafezeiro, Isabel. Membro do comitê de programa do CLEI 2009. 2009.
Cafezeiro, Isabel. Membro da comissão científica da Agenda Acadêmica da UFF. 2009.
CAFEZEIRO, I. L.. Membro do comitê de Programa do I ENINED. 2009. Universidade Estadual do Oeste do Paraná.
CAFEZEIRO, I. L.. Membro do Comitê de Programa do XII SBLP. 2008. Universidade Federal do Ceará.
Cafezeiro, Isabel. Membro do Comitê de Programa do SEW (32nd Annual IEEE Software Engineering Workshop). 2008.
CAFEZEIRO, I. L.. Membro do Comitê de Programa do LFSA (Workshop on Logical and Semantic Frameworks, with Applications). 2007.
CAFEZEIRO, I. L.. Membro do Comitê de Programa do XI SBLP. 2007. Universidade Federal do Rio Grande do Norte.
CAFEZEIRO, I. L.. Membro do Comitê de Programa do X SBLP (Simpósio Brasileiro de Linguagens de Programação). 2006. Instituto Militar de Engenharia.
CAFEZEIRO, I. L.. Membro do Comitê de Avaliação de Artigos para o XIV WEI. 2006. Sociedade Brasileira de Computação.
CAFEZEIRO, I. L.. Membro do Comitê de Programa do IX SBLP. 2005. Universidade de Pernambuco.
CAFEZEIRO, I. L.. Membro do Comitê de Programa do VIII SBLP (Simpósio Brasileiro de Linguagens de Programação). 2004. Universidade Federal Fluminense.
CAFEZEIRO, I. L.. Membro do Comitê de Programa do VI SBLP (Simpósio Brasileiro de Linguagens de Programação). 2002. Pontifícia Universidade Católica do Rio de Janeiro.
CAFEZEIRO, I. L.. Membro da Comissão de Avaliação de Artigos para o V SBLP (Simpósio Brasileiro de Linguagens de Programação). 2001. Universidade Federal do Paraná.
CAFEZEIRO, I. L.. Membro da Comissão de Avaliação de Artigos para o WMF(Workshop de Métodos Formais). 2001. Pontifícia Universidade Católica do Rio de Janeiro.
Cafezeiro, Isabel. Membro da Comissão de Avaliação de Artigos para o WMF(Workshop de Métodos Formais). 2000.
CAFEZEIRO, Isabel. Membro da Comissão avaliadora de artigos para o AMAST (Algebraic Methodology and Software Technology). 1999. Pontifícia Universidade Católica do Rio de Janeiro.
Comissão julgadora das bancas
HAUSLER, E. H.;VELOSO, P. A. S.VELOSO, S. R. M.; PEREIRA, L. C.. Compartilhamento e Semântica Denotacional. 2000. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.
HAEUSLER, E. H.VELOSO, P. A. S.. Compartilhamento e semântica denotacional. 2000. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.
Orientou
A epidemia de cólera no século XVIII; Início: 2021; Dissertação (Mestrado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro; (Orientador);
A Física e seus experimentos; Início: 2021; Dissertação (Mestrado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro; (Orientador);
Pirataria: o caminho que nos restou! Como o videogame foi jogado no Brasil; Início: 2018; Dissertação (Mestrado profissional em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro; (Orientador);
Desenho Geométrico e Projetivo no Brasil: aspectos legais, correlações interdisciplinares e apontamentos para o futuro; 2019; Dissertação (Mestrado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro,; Orientador: Isabel Leite Cafezeiro;
Ciências, Tecnologias e Educação: uma história em descompasso pelo ponto de vista de um professor do ensino médio público; 2018; Dissertação (Mestrado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Isabel Leite Cafezeiro;
Casa Adaptada a Cadeirantes: Um desafio didático ao ensino a superdotados; 2015; Dissertação (Mestrado em Mestrado Profissionalizante em Diversidade e Inclu) - Universidade Federal Fluminense,; Orientador: Isabel Leite Cafezeiro;
Um ponto no desenho para uma mudança na sua trajetória: o lugar e a relevância do Desenho Geométrico na formação Escolar; 2020; Tese (Doutorado em História das Ciências e das Técnicas e Epistemologia) - Universidade Federal do Rio de Janeiro,; Orientador: Isabel Leite Cafezeiro;
O Consumismo das Redes Uma análise a partir de Thoreau; 2021; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
Mulheres em Situação de Violência Doméstica: a contribuição das mídias digitais; 2021; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
Mentalize: uma aplicação voltada para a terapia cognitivo-comportamental; 2021; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
Análise de tecnologias disruptivas utilizando cartografia das controvérsias: um estudo de caso com a empresa Uber; 2020; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
O encontro do software livre com a educação: de Grafos à Teoria Dialógica Freiriana; 2020; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
Patrick Silva Ribeiro; 2020; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
Dificuldades e Desafios dos surdos com Tecnologias atuais; 2020; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
Autodeclarar-se; Uma análise sobre o acesso à Universidade por meio das ações afirmativas na UFF; 2020; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
Esports e o ambiente acadêmico: uma perspectiva sobre o cenário; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
Como uma mineradora atua no relacionamento com comunidades e instituições através de um sistema progressivo; 2019; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
Como uma mineradora atua no relacionamento com comunidades e instituições através de um sistema progressivo; 2019; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
A construção da Lei Geral de Proteção de Dados e seus efeitos para o Pequeno Empresário e para o Cidadão; 2019; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
Uma Estratégia para Auxiliar Investidores Iniciantes na Compra de Ações no Mercado Financeiro; 2019; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
RideUFF: aplicativo para o conceito de carona solidária na Universidade Federal Fluminense; 2019; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
RideUFF: aplicativo para o conceito de carona solidária na Universidade Federal Fluminense; 2019; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
Sistema para cadastramento de ações sociais; 2018; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
Sistemas de Informação e Meio Ambiente; 2018; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
Usabilidade do Libras Office; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
Aplicativo para divulgar direitos e deveres escolares de deficientes; 2018; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
Aplicativo para informar alunos da UFF sobre seus direitos e deveres; 2018; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
Quero doar: aplicativo para informar sobre locais receptores para doações; 2018; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
Análise de Produto:Sony Playstation VR, um estudo de caso; 2018; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
Uma discussão sobre o fracasso do sistema acadêmico; 2017; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
Ciência da Computação Desplugada; 2017; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
Processos participativos em Ciências e Tecnologias; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
Computação Humana: abordagem dos conceitos através da concepção de um software; 2016; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
A antecipação da incompletude dos sistemas formais por Emil Post durante a crise dos fundamentos da matemática; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Isabel Leite Cafezeiro;
Coding Dojo: Novas Possibilidades Para o Ensino da Programação; 2011; Trabalho de Conclusão de Curso; (Graduação em Graduação em Ciências da Computação) - UFF; Orientador: Isabel Leite Cafezeiro;
Concepção de metodologia para introduzir no Ensino Fundamental a aprendizagem de uma linguagem de programação; 2010; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
Padrões de Código para o Ensino Básico de Orientação a Objetos usando Java; 2007; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
Padrões de Código para o Ensino Básico de Orientação a Objetos usando Java; 2007; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
E-Gov: Para quê e para quem?; 2006; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
Inclusão Digital: Conceituação e Estudo de Casos; 2005; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
Computação em Arte; 2018; Iniciação Científica - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
A voz silenciada de Emil Post; 2016; Iniciação Científica; (Graduando em Graduação em Ciências da Computação) - UFF; Orientador: Isabel Leite Cafezeiro;
Crise do software (a controvertida busca pelo software livre de bugs); 2013; Iniciação Científica; (Graduando em Sistemas de Informação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Isabel Leite Cafezeiro;
Teoria de Domínios e Operadores de Comparilhamento; 2002; Iniciação Científica; (Graduando em Engenharia) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Isabel Leite Cafezeiro;
Teoria de Domínios e Operadores de Comparilhamento; 2002; Iniciação Científica; (Graduando em Engenharia) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Isabel Leite Cafezeiro;
Reconectar; 2019; Orientação de outra natureza; (Sistemas de Informação) - Universidade Federal Fluminense, Pró-Reitoria de Extensão da UFF; Orientador: Isabel Leite Cafezeiro;
MONITORIA: Ferramentas Digitais de apoio ao ensino de Programação utilizando a Linguagem Pascal; 2014; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pro-Reitoria de Graduação; Orientador: Isabel Leite Cafezeiro;
ORIENTAÇÃO ACADÊMICA: História da Informática no Brasil; 2014; Orientação de outra natureza; (Sistemas de Informação) - Universidade Federal Fluminense, Pro-reitoria de Assuntos Estudantis; Orientador: Isabel Leite Cafezeiro;
ESTÁGIO DOCÊNCIA: Projeto Interagir de Capacitação em Informática; 2013; Orientação de outra natureza; (Graduação em Ciências da Computação) - UFF, Pro-reitoria de Assuntos Estudantis; Orientador: Isabel Leite Cafezeiro;
ESTÁGIO DOCÊNCIA: Projeto Interagir de Capacitação em Informática; 2013; Orientação de outra natureza; (Sistemas de Informação) - UFF, Pro-reitoria de Assuntos Estudantis; Orientador: Isabel Leite Cafezeiro;
ESTÁGIO DOCÊNCIA: Projeto Interagir de Capacitação em Informática; 2013; Orientação de outra natureza; (Graduação em Ciências da Computação) - UFF, Pro-reitoria de Assuntos Estudantis; Orientador: Isabel Leite Cafezeiro;
ESTÁGIO DOCÊNCIA: Projeto Interagir de Capacitação em Informática; 2013; Orientação de outra natureza; (Graduação em Ciências da Computação) - UFF, Pro-reitoria de Assuntos Estudantis; Orientador: Isabel Leite Cafezeiro;
ORIENTAÇÃO ACADÊMICA: História da Informática no Brasil; 2013; Orientação de outra natureza; (Sistemas de Informação) - UFF, Pro-reitoria de Assuntos Estudantis; Orientador: Isabel Leite Cafezeiro;
EXTENSÃO: O computador de papel; 2013; Orientação de outra natureza; (Sistemas de Informação) - UFF, Pró-Reitoria de Extensão da UFF; Orientador: Isabel Leite Cafezeiro;
ESTÁGIO DOCÊNCIA: Projeto Interagir de Capacitação em informática; 2013; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pro-reitoria de Assuntos Estudantis; Orientador: Isabel Leite Cafezeiro;
MONITORIA: Ferramentas Digitais de apoio ao ensino de Programação utilizando a linguagem Pascal; 2013; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pro-Reitoria de Graduação; Orientador: Isabel Leite Cafezeiro;
MONITORIA: Ferramentas digitais de apoio ao ensino de programação utilizando a linguagem Pascal; 2013; Orientação de outra natureza - Universidade Federal Fluminense, Pro-Reitoria de Assuntos Acadêmicos; Orientador: Isabel Leite Cafezeiro;
MONITORIA: Ferramentas Digitais de apoio ao ensino de Programação utilizando a linguagem Pascal; 2012; Orientação de outra natureza; (Engenharia de Telecomunicações) - Universidade Federal Fluminense, Pro-reitoria de Assuntos Estudantis; Orientador: Isabel Leite Cafezeiro;
VOLUNTÁRIO: História da Informática no Brasil; 2012; Orientação de outra natureza; (Sistemas de Informação) - UFF; Orientador: Isabel Leite Cafezeiro;
VOLUNTÁRIO: História da Informática no Brasil; 2012; Orientação de outra natureza; (Sistemas de Informação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
ORIENTAÇÃO ACADÊMICA: História da Informática no Brasil; 2012; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pro-Reitoria de Assuntos Acadêmicos; Orientador: Isabel Leite Cafezeiro;
JOVENS TALENTOS: Programas de auxílio ao Ensino da Programação; 2012; Orientação de outra natureza; (Sistemas de Informação) - UFF, Pro-reitoria de pesquisa; Orientador: Isabel Leite Cafezeiro;
ORIENTAÇÃO ACADÊMICA: História da Informática no Brasil; 2012; Orientação de outra natureza; (Sistemas de Informação) - Universidade Federal Fluminense, Pro-reitoria de Assuntos Estudantis; Orientador: Isabel Leite Cafezeiro;
EXTENSÃO: (des)Informática; 2011; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pró-Reitoria de Extensão da UFF; Orientador: Isabel Leite Cafezeiro;
VOLUNTARIA: Projeto Incluir; 2010; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
PIBIQUINHO: Linguagem de programação como eixo do processo de aprendizagem; 2010; Orientação de outra natureza; (Colégio Universitário Geraldo Reis) - UFF, Pro-reitoria de pesquisa; Orientador: Isabel Leite Cafezeiro;
PIBIT: Construindo Brincadeiras, Desenvolvendo Programas; 2010; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Isabel Leite Cafezeiro;
EXTENSÃO: Projeto Incluir; 2010; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pró-Reitoria de Extensão da UFF; Orientador: Isabel Leite Cafezeiro;
EXTENSÃO: Projeto Incluir; 2010; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pró-Reitoria de Extensão da UFF; Orientador: Isabel Leite Cafezeiro;
EXTENSÃO: Projeto Incluir; 2010; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pró-Reitoria de Extensão da UFF; Orientador: Isabel Leite Cafezeiro;
EXTENSÃO FINEP: Projeto Incluir - Pré Vestibular Comunitário da UFF; 2009; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Financiadora de Estudos e Projetos; Orientador: Isabel Leite Cafezeiro;
EXTENSÃO: Projeto Incluir: Inclusão Digital para o Espaço Avançado; 2009; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pró-Reitoria de Extensão da UFF; Orientador: Isabel Leite Cafezeiro;
EXTENSÃO: Informática no COLUNI; 2009; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pró-Reitoria de Extensão da UFF; Orientador: Isabel Leite Cafezeiro;
EXTENSÃO FINEP: Projeto Incluir: Inclusão Digital para o Espaço Avançado; 2008; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Financiadora de Estudos e Projetos; Orientador: Isabel Leite Cafezeiro;
EXTENSÃO FINEP: Projeto Incluir: Inclusão Digital para o Espaço Avançado; 2008; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Financiadora de Estudos e Projetos; Orientador: Isabel Leite Cafezeiro;
EXTENSÃO FINEP: Projeto Incluir - Pré Vestibular Comunitário da UFF; 2008; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Financiadora de Estudos e Projetos; Orientador: Isabel Leite Cafezeiro;
EXTENSÃO: Projeto Incluir - Pré Vestibular Comunitário da UFF; 2007; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Financiadora de Estudos e Projetos; Orientador: Isabel Leite Cafezeiro;
EXTENSÃO FINEP: Projeto Incluir: Inclusão Digital para o Espaço Avançado; 2007; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Financiadora de Estudos e Projetos; Orientador: Isabel Leite Cafezeiro;
EXTENSÃO FINEP: Projeto Incluir: Inclusão Digital para o Pré-Vestibular Comunitário da UFF; 2007; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Financiadora de Estudos e Projetos; Orientador: Isabel Leite Cafezeiro;
MONITORIA: Linguagens de Programação; 2006; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pro Reitoria de Assuntos Acadêmicos; Orientador: Isabel Leite Cafezeiro;
MONITORIA: FORTRAN; 2006; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pro Reitoria de Assuntos Acadêmicos; Orientador: Isabel Leite Cafezeiro;
Gonçalves; EXTENSÃO FINEP: Material didático para o projeto Incluir; 2006; Orientação de outra natureza - Universidade Federal Fluminense, Financiadora de Estudos e Projetos; Orientador: Isabel Leite Cafezeiro;
EXTENSÃO FINEP: Material didático para o Projeto Incluir; 2006; Orientação de outra natureza - Universidade Federal Fluminense, Financiadora de Estudos e Projetos; Orientador: Isabel Leite Cafezeiro;
MONITORIA: Linguagens Formais; 2005; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense; Orientador: Isabel Leite Cafezeiro;
MONITORIA: Desenvolvimento de Aplicações em Linguagens Formais e Autômatos; 2004; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pro Reitoria de Assuntos Acadêmicos; Orientador: Isabel Leite Cafezeiro;
MONITORIA: Banco de Software; 2003; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pro Reitoria de Assuntos Acadêmicos; Orientador: Isabel Leite Cafezeiro;
MONITORIA: Prototipagem de Linguagens imperativas: um estudo de caso; 2003; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pro Reitoria de Assuntos Acadêmicos; Orientador: Isabel Leite Cafezeiro;
MONITORIA: Apostila de Auxílio à Disciplina Programação de Computadores III; 2003; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pro Reitoria de Assuntos Acadêmicos; Orientador: Isabel Leite Cafezeiro;
MONITORIA: Instrumento de apoio ao ensino da linguagem FORTRAN G 77; 2001; Orientação de outra natureza; (Engenharia) - Universidade Federal Fluminense, Pro Reitoria de Assuntos Acadêmicos; Orientador: Isabel Leite Cafezeiro;
MONITORIA: Linguagens Formais; 2001; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pro Reitoria de Assuntos Acadêmicos; Orientador: Isabel Leite Cafezeiro;
MONITORIA: Linguagem FORTRAN; 2000; Orientação de outra natureza; (Engenharia) - Universidade Federal Fluminense, Pro Reitoria de Assuntos Acadêmicos; Orientador: Isabel Leite Cafezeiro;
MONITORIA: Programação de Computadores; 1997; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pro-reitoria de Assuntos Estudantis; Orientador: Isabel Leite Cafezeiro;
MONITORIA: Programação de Computadores; 1997; Orientação de outra natureza - Universidade Federal Fluminense, Pro Reitoria de Assuntos Acadêmicos; Orientador: Isabel Leite Cafezeiro;
MONITORIA: Linguagens de Programação; 1997; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pro Reitoria de Assuntos Acadêmicos; Orientador: Isabel Leite Cafezeiro;
P; de Oliveira; MONITORIA: Linguagem Pascal; 1996; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pro Reitoria de Assuntos Acadêmicos; Orientador: Isabel Leite Cafezeiro;
A; Pinho; MONITORIA: Aspectos formais da Computação I; 1996; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal Fluminense, Pro Reitoria de Assuntos Acadêmicos; Orientador: Isabel Leite Cafezeiro;
Foi orientado por
Um Prototipo Para Simulacao de Processos Em Csp: Um Enfoque Orientado A Objetos; 1994; Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Edward Hermann Haeusler;
Compartilhamento e Semântica Denotacional; 2000; 0 f; Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro,; Orientador: Edward Hermann Haeusler;
2012; Universidade Federal Fluminense,; Ivan da Costa Marques;
Produções bibliográficas
-
CAFEZEIRO, Isabel . Prataria é pecado!. https://doi.org/10.51919/revista_sh.v1i0.260 , v. 1, p. 1, 2022.
-
CAFEZEIRO, Isabel ; COSTA, L. C. . Extensão universitária e formação sociotécnica: estratégias para a graduação em Sistemas de Informação. REVISTA TECNOLOGIA E SOCIEDADE (ONLINE) , v. 17, p. 92-112, 2021.
-
CAFEZEIRO, Isabel ; KUBRUSLY, R. . Por uma sociologia do redondo. Scientiarum Historia (Impresso) , v. 1, p. 1, 2020.
-
FERREIRA, T. M. ; CAFEZEIRO, Isabel ; FROES, M. . Articulações antropofágicas: sobre relações interdisciplinares entre a formação da identidade gamer brasileira e outras buscas identitárias no Brasil. Scientiarum Historia (Impresso) , v. 2, p. 1-8, 2020.
-
Cafezeiro, Isabel ; KUBRUSLY, RICARDO . Duas Matemáticas: percurso e co-construção das formas dedutiva e procedimental. Amazônia (UFPA) , v. 16, p. 105-122, 2020.
-
Cafezeiro, Isabel . Caminhando com Valentim (Rizoma, Pandemia e possibilidades). TEXTO DIGITAL (UFSC) , v. 16, p. 20-35, 2020.
-
Cafezeiro, Isabel ; Gadelha, Carmem ; DA ROCHA, ANDRÉ CAMPOS ; KUBRUSLY, RICARDO . O Paradoxo de Richard (conexões artístico-filosófico-matemáticas). O QUE NOS FAZ PENSAR (PUCRJ) , v. 29, p. 124-149, 2020.
-
CAFEZEIRO, Isabel ; KUBRUSLY, R. ; MARQUES, I. C. ; COSTA, L. C. . Percursos entrelaçados na configuração do campo acadêmico de Sistemas de Informação no Brasil. REVISTA IBEROAMERICANA DE TECNOLOGIA EN EDUCACIÓN Y EDUCACIÓN EN TECNOLOGÍA (EN LÍNEA) , v. 23, p. e01, 2019.
-
CAFEZEIRO, Isabel ; ROCHA, A. C. ; GADELHA, C. ; KUBRUSLY, R. . Qual é a contribuição do seu trabalho para o desenvolvimento da Ciência e da Tecnologia? (O Mágico e o biscateiro). AVALIAÇÃO: REVISTA DA AVALIAÇÃO DA EDUCAÇÃO SUPERIOR , v. 24, p. 1, 2019.
-
CAFEZEIRO, Isabel ; KUBRUSLY, R. ; MARQUES, I. C. . Paulo Freire and mathematics, for a situated approach of Mathematics. Philosophy of Mathematics Education Journal , v. 34, p. 6, 2018.
-
Cafezeiro, Isabel ; KUBRUSLY, RICARDO ; da Costa Marques, Ivan ; CAFEZEIRO, EDWALDO . Paulo Freire, Mathematics and Policies that Shape Mathematics. Journal of Indian Council of Philosophical Research , v. 3, p. 1, 2017.
-
BRAGA, T. J. ; COSTA, L. C. ; CAFEZEIRO, Isabel . Educação, Sociedade e Formação em Sistemas de Informação. iSys - Revista Brasileira de Sistemas de Informação , v. 10, p. 4, 2017.
-
VIEGAS, THAYANNE ANTÃO ; MARQUES, BRENO DE MIRANDA ; Cafezeiro, Isabel . Um percurso na construção da prática extensionista em computação e seus desdobramentos interdisciplinares. INTERAGIR (UERJ) , v. 23, p. 106-129, 2017.
-
Cafezeiro, Isabel ; COSTA, LEONARDO CRUZ DA ; KUBRUSLY, RICARDO DA SILVA . 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 ciências. Perspectivas em Ciência da Informação (on line) , v. 21, p. 111-133, 2016.
-
Cafezeiro, Isabel ; KUBRUSLY, R. ; MARQUES, I. C. ; VALENTE, S. ; SOUZA, N. L. . Crises e Incompletudes, Multi-histórias Matemáticas. REVEMAT , v. 11, p. 162-177, 2016.
-
Cafezeiro, Isabel ; MARQUES, I. C. ; KUBRUSLY, R. ; CAFEZEIRO, E. M. . Aos amigos da Índia, algumas palavras brasileiras sobre Paulo Freire, matemáticas e políticas que configuram matemáticas. Scientiarum Historia , v. IX, p. 1-8, 2016.
-
Cafezeiro, Isabel ; DANTAS, R. . Computadores Brasileiros? Decididamente uma ideia estranha! Argumentos em favor da instalação de um museu da computação brasileira. Scientiarum Historia , v. 1, p. 1-8, 2016.
-
CAFEZEIRO, Isabel ; KUBRUSLY, R. ; CAFEZEIRO, E. M. . Os Números dos Mundos. REVISTA BRASILEIRA DE HISTÓRIA DA CIÊNCIA , v. 9, p. 97-112, 2016.
-
PESSANHA, J. A. ; PEREIRA, E. E. O. ; Cafezeiro, Isabel ; CASTRO, H. C. ; DELOU, C. M. C. ; ALMEIDA, L. S. . Issues of Attending High Skills/Giftedness Students: discussion of an important topic. Advances in education , v. 4, p. 1-7, 2015.
-
Cafezeiro, Isabel ; GADELHA, C. ; CHAITIN, V. . O trágico e a cena contemporânea: por um encontro artístico-matemático. COLETÂNEA (RIO DE JANEIRO) , v. 28, p. 278-294, 2015.
-
Cafezeiro, Isabel ; SILVA, M. P. S. L. S. ; REZNIK, G. ; GRALHA, D. ; VALENTE, S. ; GORINI, K. ; Gadelha, Carmem ; CAFEZEIRO, EDWALDO ; DALMEIDA, C. ; JONATHAN, M. ; GOMES, E. L. ; NASCIMENTO, F. C. ; RICHE, C. A. ; CHAGAS, P. ; FILHO, A. ; SILVA, O. ; FEIO, P. ; ALFREDO, M. F. N. ; FERREIRA, D. ; PAIVA, E. N. ; SANTOS, D. M. ; KUBRUSLY, RICARDO ; ROCHA, A. C. ; LEAL, V. . Que teus olhos sejam atendidos!. Scientiarum Historia , v. 1, p. 1-8, 2015.
-
CAFEZEIRO, I. L. ; RADEMAKER, A. ; VITERBO, José ; HEAUSLER, E. H. ; Endler, M. . Specifying ubiquitous systems through the algebra of contextualized ontologies. KNOWLEDGE ENGINEERING REVIEW (ONLINE) , v. 29, p. 171-185, 2014.
-
CAFEZEIRO, Isabel ; GADELHA, C. ; CHAITIN, V. ; MARQUES, I. C. . A Knowledge-Construction Perspective on Human Computing, Collaborative Behaviour and New Trends in System Interactions. Lecture Notes in Computer Science , v. 8510, p. 58, 2014.
-
Cafezeiro, Isabel . Desenvolvimentos tecnológicos e autonomias: traduções acadêmicas dos anos 70 e dos dias atuais. Scientiarum Historia , v. 1, p. 1, 2013.
-
Cafezeiro, Isabel ; MARQUES, I. C. . Meio homem, meio máquina: o computador e os híbridos. Scientiarum Historia , v. 1, p. 1, 2013.
-
CAFEZEIRO, I. L. ; MARQUES, I. C. . Por que são 'a certeza matemática' e 'a evidência da demonstração' frases comuns para expressar o mais alto grau de segurança alcançável pela razão?. TEMPO BRASILEIRO , v. 189, p. 67-86, 2012.
-
CAFEZEIRO, I. L. ; MARQUES, I. C. . Interweavings of Alan Turing's Mathematics and Sociology of Knowledge. JOURNAL OF MATHEMATICS AND SYSTEM SCIENCE , v. 2, p. 420-429, 2012.
-
Cafezeiro, Isabel ; MARQUES, I. C. . Sobre o trabalho das/os matemáticas/os. Scientiarum Historia , v. 1, p. 1-8, 2012.
-
Cafezeiro, Isabel ; MARQUES, I. C. . Da corte suprema, a matemática, à matemática nos tribunais. Scientiarum Historia , v. IV, p. 162, 2011.
-
CAFEZEIRO, I. L. ; HAEUSLER, E. H. ; CUKIERMAN, H. L. ; MARQUES, I. C. . Recontando a Computabilidade. REVISTA BRASILEIRA DE HISTÓRIA DA CIÊNCIA , v. 3, p. 231-251, 2010.
-
CAFEZEIRO, I. L. ; LIMA, Rosângela ; TOLEDO, R. C. L. . Estendendo extensões:a computação como agente integrador | Extending extensions: computing as an integrating agent. LIINC EM REVISTA , v. 5, p. 66-81, 2009.
-
Cafezeiro, Isabel ; HAEUSLER, E. H. . Programming language syntax: expressing sharing. Monografias em Ciência da Computação , v. 1999, p. 9, 1999.
-
Cafezeiro, Isabel ; HAEUSLER, E. H. ; HAEBERER, A. . From diagram to code via attribute grammar. Monografias em Ciência da Computação , v. 1997, p. 03, 1997.
-
Cafezeiro, Isabel ; HAEUSLER, E. H. ; LUCENA, C. J. P. . Paradigmas de linguagens de programação: uma abordagem geométrica. Monografias em Ciência da Computação , v. 1996, p. 21, 1996.
-
CAFEZEIRO, I. L. ; MARQUES, I. C. ; SEVERO, F. ; CUKIERMAN, H. L. . Informática é Sociedade. In: Edméa Santos; Fábio Ferrentini Sampaio; Mariano Pimentel. (Org.). Informática na Educação: sociedade e políticas. 1ed.Rio de Janeiro, Rio de Janeiro: Sociedade Brasileira de Computação, 2021, v. , p. 1-.
-
CAFEZEIRO, Isabel ; FORNAZIN, M. . Computação e Interdisciplinaridade: estágio atual e possibilidades de diálogo. In: Cristiano Maciel e José Viterbo. (Org.). Computação e Sociedade. 1ed.: , 2020, v. 1, p. 65-107.
-
Cafezeiro, Isabel ; COSTA, LEONARDO CRUZ DA ; KUBRUSLY, RICARDO . 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. Princípios e aplicações da computação no brasil. 1ed.: Antonella Carvalho de Oliveira, 2019, v. , p. 110-122.
-
SEVERO, F. ; CUKIERMAN, H. L. ; CAFEZEIRO, Isabel ; MARQUES, I. C. ; PRIMO, R. . "Somos"="Temos". In: Daniela Alves e Maíra Baungarten. (Org.). Conhecimentos e Sociedade: Teorias, políticas e controvérsias. 1ed.Brasília: Editora Verbena, 2019, v. , p. 135-154.
-
CAFEZEIRO, Isabel ; COSTA, L. C. ; KUBRUSLY, R. ; MARQUES, I. C. . Categorização de Saberes e Configuração do Campo da Computação. In: Alberto Jorge Silva de Lima, Ana Lúcia Faria da Costa Rodrigues, André Vinícius Leal Sobral, Lucas de Almeida Pereira, Marcelo Vianna. (Org.). Trajetórias da Informática na América Latina e Caribe: Autonomias, (In)dependências e muitas outras histórias. Ved.Rio de Janeiro, Rio de Janeiro: NCE, 2018, v. V, p. 193-210.
-
CAFEZEIRO, Isabel ; José Viterbo ; COSTA, L. C. ; ROCHA, M. ; MONTEIRO, R. S. ; SALGADO, L. . Strengthening of the Sociotechnical Approach in Information Systems. In: Clodis Boscarioli, Renata M. Araujo, Rita Suzana P. Maciel. (Org.). I GranDSI-BR Grand Research Challenges in Information Systems in Brazil 2016 - 2026. 1ed.Rio de Janeiro, Rio de Janeiro: Comissão Especial de Sistemas de Informação - SCB, 2017, v. 1, p. 133-147.
-
Cafezeiro, Isabel ; MARQUES, I. C. ; CHAITIN, V. ; CHAITIN, G. . Matemáticas. In: ARAÚJO, J. F. M. D.; VALENTE, C. D. M.. (Org.). Ator-Rede e além ... no Brasil - As teorias que gorjeiam não gorjeiam como lá? ISBN: 9788578792039. 1ed.Campina Grande: Editora da Universidade Estadual da Paraíba, 2014, v. 1, p. 310-321.
-
CAFEZEIRO, I. L. ; PAIVA, E. N. ; MARQUES, I. C. ; JONATHAN, M. ; OLIVER, G. S. . Currículos Universitários. In: ARAÚJO, J. F. M. D.; VALENTE, C. D. M.. (Org.). Ator-Rede e além ... no Brasil - As teorias que gorjeiam não gorjeiam como lá? ISBN: 9788578792039. 1ed.Campina Grande: Editora da Universidade Estadual da Paraíba, 2014, v. 1, p. 159-198.
-
Cafezeiro, Isabel ; MARQUES, I. C. . Localizando a matemática. Contribuições à sociolgia do conhecimento a partir da análise de. In: Sérgio Nobre, Luis Saraiva, Fábio Bertato. (Org.). Livro de Acta/Anais do 6 Encontro Luso-Brasileiro de História da Matemática ISBN: 9788589097673. 1ed.Natal: Revista da Sociedade Brasileira de História da Matemática, 2014, v. , p. 847-868.
-
CAFEZEIRO, Isabel ; MARQUES, I. C. . When 'Pure Mathematical Objectivity' is no Longer Enough.. In: Alimohammad, A., Dine, P. ISBN: 9781612082332. (Org.). Fourth International Conference on Advances in System Testing and Validation Lifecycle 2012 (VALID 2012). 1ed.: International Academy, Research and Industry Association, 2012, v. , p. 63-67.
-
Lima, Rosângela Lopes ; Cafezeiro, Isabel ; Gomes, Luiz Valter Brand . Information Systems: New Demands, New Proposals. Advances in Intelligent and Soft Computing. 1ed.ISBN: 978-3-642-24-771-2: Springer Berlin Heidelberg, 2011, v. , p. 265-272.
-
LIMA, Rosângela ; GOMES, L.V. B. ; CAFEZEIRO, Isabel . The Technological Mediation as a Strategy to Innovate the Teacher - Student Interaction. In: L. Gómez Chova; D. Martí Belenguer; I. Candel Torres. (Org.). International Conference of Education, Research and Innovation. 1ed.ISBN: 9788461424399 Madri: International Association of Technology, Education and Development, 2010, v. 1, p. 3935-5942.
-
CAFEZEIRO, I. L. ; HAEUSLER, E. H. . Algebraic Framework for Reverse Engineering on Specifications. In: Germano Lambert-Torres; Jair Minoro Abe; João Inácio da Silva Filho; Helga Gonzaga Martins. (Org.). Frontiers in Artificial Intelligence and Applications - Selected Papers from the Sixth Congress on Logic Applied to Technology ISBN: 9781586039363. 1ed.Amsterdam: IOS Press, 2009, v. 186, p. 1-12.
-
Cafezeiro, Isabel ; Viterbo, Jos? ; Rademaker, Alexandre ; Haeusler, Edward Hermann ; Endler, Markus . A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing. Communications in Computer and Information Science. 1ed.ISBN: 9783540884781: Springer Berlin Heidelberg, 2008, v. , p. 519-533.
-
CAFEZEIRO, I. L. ; HAEUSLER, E. H. . Categorical Limits and Reuse of Algebraic Specifications. In: Jair M. Abe; João I. da Silva Filho. (Org.). Advances in Logic, Artificial Intelligence and Robotics ISBN: 1586032925. 1ed.Amsterdam: IOS Press, 2002, v. 85, p. 216-233.
-
CAMPOS, J. P. ; Cafezeiro, Isabel ; LIMA, Rosângela . Programa Interagir de Capacitação em Informática. Libre Office Magazine, Rio de Janeiro, Rio de Janeiro, p. 109 - 103, 01 jun. 2014.
-
CAFEZEIRO, I. L. . Pirataria é pecado!. In: Scientiarum História XIII, 2021, Rio de Janeiro. Scientiarum Historia XIII. Rio de Janeiro: UFRJ, 2021. v. 13. p. 181-188.
-
CAFEZEIRO, Isabel ; SA, G. J. S. E. ; SILVA, M. R. B. ; NEVES, F. ; ALVES, D. A. ; PREMEBIDA, A. ; LEAL, S. . Professor Ivan da Costa Marques, Sócio Honorário da ESOCITE.BR. In: VIII Simpósio Nacional de Ciência, Tecnologia e Sociedade, 2019, Belo Horizonte. Anais do VIII Simpósio Nacional de Ciência, Tecnologia e Sociedade. Belo Horizonte: CEFET- MG, 2019. v. 1. p. 15-20.
-
CAFEZEIRO, Isabel ; CHAVES, B. S. . ESOCITE TRANSVERSAL e a Tenda de encontro entre ciência, arte e cultura. In: VIII Simpósio Nacional de Ciência, Tecnologia e Sociedade, 2019, Belo Horizonte. Anais do VIII Simpósio Nacional de Ciência, Tecnologia e Sociedade. Belo Horizonte: CEFET- MG, 2019. v. 1. p. 21-22.
-
SILVA, A. ; SANTOS, D. M. ; CAFEZEIRO, Isabel . AGLOMERADOS ? Um espaço integrador de intervenções. In: VIII Simpósio Nacional de Ciência, Tecnologia e Sociedade, 2019, Belo Horizonte. Anais do VIII Simpósio Nacional de Ciência, Tecnologia e Sociedade. Belo Horizonte: CEFET- MG, 2019. v. 1. p. 23-26.
-
CAFEZEIRO, Isabel ; MANICA, D. ; SOBRAL, F. ; FLEURY, L. ; FRAGA, L. ; LEAL, S. . Primeiro concurso de dissertações e teses da ESOCITE.BR. In: VIII Simpósio Nacional de Ciência, Tecnologia e Sociedade, 2019, Belo Horizonte. Anais do VIII Simpósio Nacional de Ciência, Tecnologia e Sociedade. Belo Horizonte: CEFET- MG, 2019. v. 1. p. 27-30.
-
MANHAES, T. ; CAFEZEIRO, Isabel ; SEVERO, F. . Computação Desplugada e 'Educada'. In: VII ESOCITE.BR/Tecsoc, 2017, Brasília. Anais do VII Simpósio Nacional de Ciência, Tecnologia e Sociedade. Brasília: FINATEC - UNB, 2017.
-
CAFEZEIRO, Isabel ; COSTA, L. C. ; KUBRUSLY, R. . 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. In: WEI - Workshop em Educação em Informática, 2016, Porto Alegre. Anais do XXXVI Congresso da Sociedade Brasileira de Computação. Porto Alegre: PUCRS, 2016. p. 2245-2254.
-
CAFEZEIRO, Isabel ; GADELHA, C. ; ROCHA, A. C. ; KUBRUSLY, R. . Arremates em pesponto. Alinhavos sobre matemática e matemáticos. In: XII Encontro Nacional de Educação Matemática, 2016, São Paulo. Anais do XII Encontro Nacional de Educação Matemática. São Paulo: SBEM, 2016.
-
CAMARA, J. M. I. ; CAFEZEIRO, Isabel ; KUBRUSLY, R. ; GADELHA, C. ; CAFEZEIRO, E. M. . Em fuxicos se fazem ciência e arte. In: 15 Simpósio Nacional de História das Ciências e das Técnicas, 2016, Florianópolis. Anais do 15 Simpósio Nacional de História das Ciências e das Técnicas. Rio de Janeiro, Rio de Janeiro: Sociedade Brasileira de História das Ciências, 2016.
-
CAFEZEIRO, I. L. ; KUBRUSLY, R. . Traduções, desvios, problematizações, transgressões e desdisciplinaridades. In: 14o Seminário Nacional de História das Ciências e da Tecnologia, 2014, Belo Horizonte. Anais do 14o Seminário Nacional de História das Ciências e da Tecnologia, 2014.
-
CAMPOS, J. P. ; CAFEZEIRO, I. L. ; LIMA, Rosângela . Projeto Interagir de Capacitação em Informática: Construção de saberes sobre o uso das Tecnologias de Informação e Comunicação no âmbito das graduações da UFF. In: Escola Regional de Sistemas de Informação RJ, 2014, Niteroi. Anais da Escola Regional de Sistemas de Informação RJ, 2014.
-
CAFEZEIRO, Isabel ; DANTAS, R. ; PAIVA, E. N. ; OLIVEIRA, J. C. ; OLIVEIRA, B. ; JONATHAN, M. . Brazilian computers? Definitely, a strange idea!. In: 13th International Public Communication of Science and Technology Conference, 2014, Salvador. Proceedings of the 13th International Public Communication of Science and Technology Conference, 2014. v. 13. p. 1-11.
-
PEREIRA, E. E. O. ; CAFEZEIRO, Isabel ; DELOU, C. M. C. . Educational robotics and inclusion of gifted students: a challenge in school routine. In: 13th International Public Communication of Science and Technology Conference, 2014, Salvador. Proceedings of the 13th International Public Communication of Science and Technology Conference, 2014. v. 1. p. 115-126.
-
CAFEZEIRO, Isabel ; MARQUES, I. C. ; KUBRUSLY, R. . Mathematics, Mathematical Practice and Communication of Mathematics (Show, tell and talk). In: 13th International Public Communication of Science and Technology Conference, 2014, Salvador. Proceedings of the 13th International Public Communication of Science and Technology Conference, 2014. v. 1. p. 1-25.
-
PEREIRA, E. E. O. ; CAFEZEIRO, I. L. . Casa adaptada a cadeirantes: um desafio didático para o ensino a superdotados. In: II Encontro Nacional de Popularização da Ciência, Tecnologia e Inovação, 2013, Niterói. Anais do II Encontro Nacional de Popularização da Ciência, Tecnologia e Inovação, 2013. p. 87-94.
-
CAFEZEIRO, Isabel ; MARQUES, I. C. . A crise do software e a configuração da área da computação como ciência exata ou intedisciplinar. In: Ator-rede e Além no Brasil, 2013, Rio de Janeiro, Rio de Janeiro. Ator-rede e Além no Brasil. João Pessoa: EDEPB - Editora da Universidade Estadual da Paraíba, 2013.
-
CAFEZEIRO, Isabel ; MARQUES, I. C. . Matemática, Abstrações e Prática Matemática. In: Ator-rede e Além no Brasil, 2013, Rio de Janeiro, Rio de Janeiro. Ator-rede e Além no Brasil. João Pessoa: EDUEPB - Editora da Universidade Estadual da Paraíba, 2013.
-
CAFEZEIRO, I. L. ; MARQUES, I. C. . Localizando a matemática: o infinito e seus vínculos. In: 13 Seminário Nacional de História da Ciência e da Tecnologia, 2012, São Paulo. Anais do 13 Seminário Nacional de História da Ciência e da Tecnologia. São Paulo, 2012. p. 1357-1366.
-
CAFEZEIRO, Isabel ; LIMA, Rosângela . New Technologies, New Settings of old Habits. In: 2nd International Conference on Social Sciences and Society, 2012. Proceedings of 2012 2nd International Conference on Social Sciences and Society(ICSSS 2012), 2012. v. 6. p. 44.
-
CAFEZEIRO, I. L. ; LIMA, Rosângela ; GOMES, L.V. B. . Graduação em Sistemas de Informação. Um novo perfil de profissional para o atendimento a demandas da sociedade contemporânea. In: 8th CONTECSI International Conference on Information Systems, 2011, São Paulo. 8th CONTECSI International Conference on Information Systems andTechnology Management, 2011.
-
CAFEZEIRO, I. L. ; MARQUES, I. C. . Alan Turing, lápis, papel e a calculabilidade:uma etnografia do conhecimento matemático. In: XXVI SIMPÓSIO NACIONAL DE HISTÓRIA, 2011, São Paulo. Anais do XXVI SIMPÓSIO NACIONAL DE HISTÓRIA, 2011.
-
CAFEZEIRO, I. L. ; MENDES, P. S. P. ; RICAS, L. D. ; CARDOSO, M. . Desenvolvimento, Tecnológia e Inovação. In: XXVI SIMPÓSIO NACIONAL DE HISTÓRIA, 2011, São Paulo. Anais do XXVI SIMPÓSIO NACIONAL DE HISTÓRIA, 2011.
-
CAFEZEIRO, I. L. ; LIMA, Rosângela ; REED, J. . Refazendo vínculos: das dicotomias locais à novas conexões acadêmicas. In: Foro Iberoamericano de Comunicación y Divulgación Científica, 2009, Campinas. Refazendo vínculos: das dicotomias locais à novas conexões acadêmicas, 2009.
-
Cafezeiro, Isabel ; VITERBO, José ; Rademaker, Alexandre ; Haeusler, Edward Hermann ; Endler, Markus . Designing ubiquitous applications. In: the 6th international workshop, 2009, Barcelona. Proceedings of the 6th international workshop on Managing ubiquitous communications and services - MUCS '09. p. 17.
-
CAFEZEIRO, I. L. ; VITERBO, José ; RADEMAKER, A. ; HAEUSLER, E. H. ; Endler, M. . ONTOLOGIAS: Interoperabilidade, Contexto, Computação Ubíqua. In: Seminário de Pesquisa em Ontologia no Brasil, 2008, Niterói. Seminário de Pesquisa em Ontologia no Brasil, 2008.
-
CAFEZEIRO, I. L. ; TOLEDO, R. C. L. ; ALCÂNTARA, Maria Gabriela C.N ; MARINHO, M. S. ; CAMARGO, Priscila ; EVANGELISTA, Lays Figueredo . Extensão Universitária em áreas tecnológicas: entre propostas e práticas. In: 11o Seminário nacional de História da Ciência e da Tecnologia, 2008, Niterói. 11o Seminário nacional de História da Ciência e da Tecnologia, 2008.
-
Cafezeiro, Isabel ; Haeusler, Edward Hermann ; Rademaker, Alexandre . Ontology and Context. In: 2008 IEEE International Conference on Pervasive Computing and Communications (PerCom), 2008, Hong Kong. 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom), 2008. p. 417.
-
CAFEZEIRO, I. L. ; HAEUSLER, E. H. . Semantics Interoperability via Category Theory. In: ER 2007, 2007, Auckland. Proc. Tutorials, posters, panels and industrial contributions at the 26th International Conference on Conceptual Modeling - ER 2007. Auckland, 2007. v. 83. p. 197-202.
-
CAFEZEIRO, I. L. ; HAEUSLER, E. H. . Computabilidade: História e Matemática. In: Escola Regional de Computação de Minas Gerais, 2007, Lavras. Primeiro Congresso de Ciências da Computação e Sistemas de Informação, 2007.
-
CAFEZEIRO, I. L. ; BARBOSA, P. . Inclusão Digital e o Pré-Universitário Popular: Uma ação universitária pela inclusão social. In: 3 Congresso Internacional de Gestão de Tecnologia e Sistemas de Informação, 2006, São Paulo. Anais do 3 CONTECSI - International Conference on Information Systems and Technology Management, 2006.
-
CAFEZEIRO, I. L. . Educação, Informática e Responsabilidade Social: A contribuição da Universidade Pública. In: Simpósio Brasileiro de Informática na Educação, 2006, Brasilia. Anais do SBIE 2006, 2006.
-
CAFEZEIRO, I. L. ; HEAUSLER, E. H. . Sharing and Denotational Semantics. In: II Workshop in Formal Methods, 2000, João Pessoa. Simpósio Brasileiro de Engenharia de Software e Simpósio Brasileiro de Banco de Dados (2000) -Workshop de Métodos Formais. João Pessoa: Sociedade Brasileira de Computação, 2000. p. 145-156.
-
CAFEZEIRO, I. L. ; HEAUSLER, E. H. ; HAEBERER, A. . From Diagrams to Code Via Attribute Grammars. In: SBLP (II Simpósio Brasileiro de Linguagens de Programação), 1997, Campinas. II Simpósio Brasileiro de Linguagens de Programação. Campinas: Universidade Estadual de Campinas, 1997. p. 165-178.
-
CAFEZEIRO, I. L. ; HEAUSLER, E. H. ; LUCENA, C. J. P. . Paradigmas de Linguagens de Programação: uma abordagem geométrica.. In: SBLP (I Simpósio Brasileiro de Linguagens de Programação), 1996, Belo Horizonte. I Simpósio Brasileiro de Linguagens de Programação. Belo Horizonte: Universidade Federal de Minas Gerais, 1996. p. 265-276.
-
CAFEZEIRO, I. L. . Protótipo para especificação de Processos baseado em CSP. In: XIV Congresso da SBC, 1994, Caxambu. Anais do XIV Congresso da SBC, 1994. p. 365-377.
-
CAFEZEIRO, Isabel ; COSTA, L. C. ; MARQUES, I. C. ; KUBRUSLY, R. . Percursos entrelaçados na configuração de campos de saberes em computação. In: SHIALC - Simpósio de História da Informática na America Latina e no Caribe, 2018, Rio de Janeiro, Rio de Janeiro. Caderno de Resumos do SHIALC, 2018. p. 12.
-
Cafezeiro, Isabel ; KUBRUSLY, R. . Em fuxicos se fazem ciência e arte. In: 15o Seminário Nacional de História das Ciências e das Técnologias, 2016, Florianópolis. Caderno de Resumos do 15o Seminário Nacional de História das Ciências e das Técnologias, 2016. p. 67-68.
-
CAFEZEIRO, I. L. ; KUBRUSLY, R. . Paulo Freire and mathematics: For a situated approach for mathematics. In: Cultures of Mathematics IV, 2015, Nova Delhi. Cultures of Mathematics IV, 2015.
-
Cafezeiro, Isabel ; PAIVA, E. N. ; JONATHAN, M. . A configuração dos currículos universitários no Brasil na área de computação. In: Primer Encuentro de la Red Chilena de Ciencia, Tecnología y Sociedad, 2014, Santiago. Libro de resúmenes - Primer Encuentro de la Red Chilena de Ciencia, Tecnología y Sociedad. Santiago: Universidad Alberto Hurtado, 2014. p. 15-15.
-
PEREIRA, E. E. O. ; Cafezeiro, Isabel ; DELOU, C. M. C. . Educational robotics and inclusion of gifted students: A challenge in school routine. In: 13th International Public Communication of Science and Technology Conference, 2014, Salvador. Summary 13th International Public Communication of Science and Technology Conference, 2014. p. 112-113.
-
Cafezeiro, Isabel ; MARQUES, I. C. . Mathematics, Mathematical Practice and Communication of Mathematics. In: 13th International Public Communication of Science and Technology Conference, 2014, Salvador. Summary 13th International Public Communication of Science and Technology Conference, 2014. p. 131-132.
-
Cafezeiro, Isabel ; PAIVA, E. N. ; DANTAS, R. ; JONATHAN, M. ; OLIVEIRA, B. . Brazilian computers? Definitely a strange idea!. In: 13th International Public Communication of Science and Technology Conference, 2014, Salvador. Summary 13th International Public Communication of Science and Technology Conference, 2014. p. 89.
-
CAFEZEIRO, I. L. ; MARQUES, I. C. . Interweavings of Alan Turing?s Mathematics and Sociology of Knowledge. In: CiE - Computability in Europe. Turing Centenary Conference, 2012, Cambridge. CiE Abstracts, 2012.
-
Cafezeiro, Isabel ; MARQUES, I. C. . Localizando a Matemática: o infinito e seus rastros. In: 13o Seminario Nacional de História das Ciências e das Técnicas, 2012, São Paulo. Anais do 13o Seminario Nacional de História das Ciências e das Técnicas. São Paulo, 2012. p. 146-146.
-
RICAS, L. D. ; CARDOSO, M. ; MENDES, P. S. P. ; LIMA, Rosângela ; Cafezeiro, Isabel . Maria do Socorro fazendo Arteciências. In: Scientiarum História IV, 2011, Rio de Janeiro. Livro de Resumos do Scientiarum História IV. Rio de Janeiro, Rio de Janeiro: UFRJ, 2011. v. 1. p. 118-118.
-
Cafezeiro, Isabel ; MARQUES, I. C. . Da corte suprema, a matemática, à matemática nos tribunais. In: Scientiarum História IV, 2011, Rio de Janeiro, Rio de Janeiro. Anais do Scientiarum História IV. Rio de Janeiro, Rio de Janeiro: UFRJ, 2011. v. 1. p. 88-88.
-
Cafezeiro, Isabel ; MARQUES, I. C. . Aos amigos da Índia, algumas palavras brasileiras sobre Paulo Freire, matemáticas e políticas que configuram matemáticas. In: Scientiarum História IX, 2016, Rio de Janeiro, Rio de Janeiro. Caderno de Resumos do Scientiarum História XI, 2016. v. 1. p. 42.
-
CAFEZEIRO, I. L. ; DANTAS, R. . Computadores Brasileiros? Decididamente uma ideia estranha! Argumentos em favor da instalação de um museu da computação brasileira. In: Scientiarum História IX, 2016, Rio de Janeiro, Rio de Janeiro. Caderno de Resumos do Scientiarum História XI, 2016. v. 1. p. 47.
-
Cafezeiro, Isabel ; DALMEIDA, C. ; RICHE, C. A. ; PAIVA, E. N. ; ALFREDO, M. F. N. ; SILVA, M. P. S. L. S. . Que teus olhos sejam atendidos!. In: Scientiarum História VIII, 2015, Rio de Janeiro. Caderno de Resumos do Scientiarum História VIII. Rio de Janeiro, Rio de Janeiro: UFRJ, 2015. v. 1.
-
PEREIRA, E. E. O. ; CAFEZEIRO, I. L. ; DELOU, C. M. C. . Ensino a alunos superdotados: A mediação por meio da robótica educativa. In: Congresso Internacional Aneis 2013 Superdotação: Desafios do ensino-aprendizagem em diferentes contextos, 2013, Porto. Congresso Internacional Aneis 2013 Superdotação: Desafios do ensino-aprendizagem em diferentes contextos, 2013.
-
Cafezeiro, Isabel ; MARQUES, I. C. . Localizing Math. In: http://www.fgv.br/emap/logonto-2011/program.html, 2011, Rio de Janeiro, Rio de Janeiro. Logics and Ontologies for Portuguese, 2011.
-
EVANGELISTA, Lays Figueredo ; ALCÂNTARA, Maria Gabriela C.N ; MARINHO, M. ; CAMARGO, P. ; TOLEDO, R. C. L. ; CAFEZEIRO, I. L. . Extensão Universitária sob enfoque sociotécnico. In: 11o Seminário Nacional de História da Ciência e da Tecnologia, 2008, Niterói. Anais do 11o Seminário Nacional de História da Ciência e da Tecnologia, 2011. v. 1. p. 150.
-
Cafezeiro, Isabel ; BARBOSA, P. . Inclusão Digital e o Pré-Universitário Popular: Uma ação universitária pela inclusão social. In: Universidade, Sociedade e Produção de Conhecimento: Conexão de Saberes, 2006, Niterói. Universidade, Sociedade e Produção de Conhecimento: Conexão de Saberes. Resumo dos Trabalhos, 2006.
-
CAFEZEIRO, I. L. . Seminário de recepção de novos alunos de SI (primeiro semestre). 2021. (Apresentação de Trabalho/Seminário).
-
Cafezeiro, Isabel . Teoria Ator-rede e cartografia das controvérsias. 2021. (Apresentação de Trabalho/Seminário).
-
CAFEZEIRO, I. L. . Interdisciplinaridades, computação e matemática - Programa de Pós-Graduação em Medicina - Cardiologia ICES - UFRJ. 2021. (Apresentação de Trabalho/Conferência ou palestra).
-
Cafezeiro, Isabel . Cartografia das Controvérsias - Programa de Pós-graduação em Ensino de Ciências e Matemática PPGECEM. 2021. (Apresentação de Trabalho/Seminário).
-
CAFEZEIRO, I. L. . Seminário de recepção de novos alunos de SI (segundo semestre) turma 1. 2021. (Apresentação de Trabalho/Seminário).
-
CAFEZEIRO, I. L. ; CUKIERMAN, H. L. ; SEVERO, F. ; MARQUES, I. C. . Conecta SBC ? CEIE Informática é Sociedade. 2021. (Apresentação de Trabalho/Seminário).
-
CAFEZEIRO, I. L. . Seminário de recepção de novos alunos de SI (segundo semestre) turma 2. 2021. (Apresentação de Trabalho/Seminário).
-
CAFEZEIRO, I. L. ; CUKIERMAN, H. L. ; MARQUES, I. C. ; PAIVA, E. N. ; BORGES, J. A. S. . Apresentação da Linha CTS - HCTE. 2021. (Apresentação de Trabalho/Seminário).
-
CAFEZEIRO, I. L. . Seminário de recepção de novos alunos de SI (segundo semestre). 2020. (Apresentação de Trabalho/Seminário).
-
CAFEZEIRO, Isabel . Paradoxos da computação. 2019. (Apresentação de Trabalho/Conferência ou palestra).
-
CAFEZEIRO, Isabel . ?Isto é uma questão de técnica? é uma afirmação política. 2018. (Apresentação de Trabalho/Seminário).
-
CAFEZEIRO, Isabel ; KUBRUSLY, R. ; MARQUES, I. C. ; COSTA, L. C. . Percursos entrelaçados na configuração de campos de saberes em computação. 2018. (Apresentação de Trabalho/Comunicação).
-
CAFEZEIRO, Isabel . Matemáticas, Computação e a cena Contemporânea. 2017. (Apresentação de Trabalho/Conferência ou palestra).
-
CAFEZEIRO, Isabel . Trabalho alienado e diversão na internet. 2017. (Apresentação de Trabalho/Comunicação).
-
CAFEZEIRO, Isabel . Avaliação do trabalho docente. 2017. (Apresentação de Trabalho/Comunicação).
-
CAFEZEIRO, Isabel . Qualis Capes. 2017. (Apresentação de Trabalho/Comunicação).
-
MANHAES, T. ; CAFEZEIRO, Isabel ; SEVERO, F. . Computação Desplugada e 'Educada'. 2017. (Apresentação de Trabalho/Congresso).
-
CAFEZEIRO, Isabel . A matemática e a criação do mundo. 2017. (Apresentação de Trabalho/Seminário).
-
CAFEZEIRO, Isabel ; KUBRUSLY, R. . Os Números dos Mundos - Seminário do Programa de Pós-Graduação em História das Ciências e das Técnicas e Epistemologia UFRJ. 2016. (Apresentação de Trabalho/Seminário).
-
CAFEZEIRO, Isabel ; COSTA, L. C. ; KUBRUSLY, R. . 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 - WEI - Workshop de Educação em Informática. 2016. (Apresentação de Trabalho/Comunicação).
-
Cafezeiro, Isabel ; GADELHA, C. ; KUBRUSLY, R. ; ROCHA, A. C. . Arremates em pesponto. Alinhavos sobre matemática e matemáticos - XII Encontro Nacional de Educação Matemática. 2016. (Apresentação de Trabalho/Comunicação).
-
Cafezeiro, Isabel ; KUBRUSLY, R. . Fuxico em Matemática - Seminários do Programa de Pós-Graduação em História das Ciências e das Técnicas e Epistemologia UFRJ. 2016. (Apresentação de Trabalho/Seminário).
-
CAMARA, J. M. I. ; CAFEZEIRO, Isabel ; KUBRUSLY, R. ; GADELHA, C. ; CAFEZEIRO, E. M. . Em fuxicos se fazem ciência e arte XV Simpósio Nacional de História das Ciências e das Técnicas. 2016. (Apresentação de Trabalho/Comunicação).
-
CAFEZEIRO, Isabel ; MARQUES, I. C. ; KUBRUSLY, R. ; CAFEZEIRO, E. M. . Aos amigos da Índia, algumas palavras brasileiras sobre Paulo Freire, matemáticas e políticas que configuram matemáticas -Scientiarum História IX UFRJ. 2016. (Apresentação de Trabalho/Comunicação).
-
CAFEZEIRO, Isabel ; DANTAS, R. . Computadores Brasileiros? Decididamente uma ideia estranha! Argumentos em favor da instalação de um museu da computação brasileira - Scientiarum História IX UFRJ. 2016. (Apresentação de Trabalho/Comunicação).
-
CAFEZEIRO, I. L. ; GADELHA, C. ; KUBRUSLY, R. ; ROCHA, A. C. . O Mágico e o Biscateiro - Seminário do Programa de Pós-Graduação em História das Ciências e das Técnicas e Epistemologia UFRJ. 2016. (Apresentação de Trabalho/Seminário).
-
CAFEZEIRO, I. L. ; SANTOS, D. M. . Conjuntura Nacional em cheque Seminário do Programa de Pós-Graduação em História das Ciências e das Técnicas e Epistemologia UFRJ. 2016. (Apresentação de Trabalho/Seminário).
-
CAFEZEIRO, Isabel ; COSTA, L. C. ; SALGADO, L. ; MONTEIRO, R. S. ; VITERBO, José ; ROCHA, M. . Efetivação da Abordagem Sociotécnica. 2016. (Apresentação de Trabalho/Simpósio).
-
CAFEZEIRO, I. L. ; KUBRUSLY, R. . Paulo Freire and mathematics: For a situated approach for mathematics - CoM IV: Cultures of Mathematics. 2015. (Apresentação de Trabalho/Conferência ou palestra).
-
Cafezeiro, Isabel ; KUBRUSLY, R. ; LEAL, V. ; VALENTE, S. ; PAIVA, E. N. . menos b mais ou menos raiz quadrada de b dois menos 4ac sobre dois a? Isso é loucura! Absolutamente insano! Esocite - Congresso da Associação Brasileira de Estudos Sociais das Ciências e das Tecnologias. 2015. (Apresentação de Trabalho/Comunicação).
-
Cafezeiro, Isabel . O público e o privado na Universidade Pública - Esocite - Congresso da Associação Brasileira de Estudos Sociais das Ciências e das Tecnologias. 2015. (Apresentação de Trabalho/Comunicação).
-
Cafezeiro, Isabel ; PAIVA, E. N. ; ALFREDO, M. F. N. ; SILVA, M. P. S. L. S. ; RICHE, C. A. . Que teus olhos sejam atendidos - Scientiarum História VII UFRJ. 2015. (Apresentação de Trabalho/Comunicação).
-
Cafezeiro, Isabel ; GADELHA, C. . Ciência, Arte e Democracia - Programa de Pós-Graduação em Medicina - Cardiologia ICES - UFRJ. 2015. (Apresentação de Trabalho/Conferência ou palestra).
-
Cafezeiro, Isabel ; GADELHA, C. ; CHAITIN, V. ; MARQUES, I. C. . A Knowledge-Construction Perspective on Human Computing, Collaborative Behavior and New Trends in System Interactions 16th International Conference on Human-Computer Interaction. 2014. (Apresentação de Trabalho/Comunicação).
-
Cafezeiro, Isabel . Collaborativity as an Anti-Reductionist Computational Metaphor - Anual Conference of the International Association for Computing and Philosophy. 2014. (Apresentação de Trabalho/Comunicação).
-
Cafezeiro, Isabel ; MARQUES, I. C. ; KUBRUSLY, R. . Mathematics, Mathematical Practice and Communication of Mathematics 13th International Public Communication of Science and Technology Conference. 2014. (Apresentação de Trabalho/Comunicação).
-
Cafezeiro, Isabel . A Compreensão da matemática - Colóquios do IME UERJ. 2014. (Apresentação de Trabalho/Seminário).
-
CAFEZEIRO, I. L. ; KUBRUSLY, R. . Traduções, desvios, problematizações, transgressões e desdisciplinaridades 14 Seminário Nacional de História da Ciência e da Tecnologia. 2014. (Apresentação de Trabalho/Comunicação).
-
CAFEZEIRO, Isabel . Brazilian Computers? Definitely, a strange idea!. 2014. (Apresentação de Trabalho/Congresso).
-
CAFEZEIRO, I. L. ; MARQUES, I. C. . Meio homem, meio máquina: o computador e os híbridos Scientiarum História VI UFRJ. 2013. (Apresentação de Trabalho/Congresso).
-
CAFEZEIRO, I. L. . Desenvolvimentos tecnológicos e autonomias: traduções acadêmicas dos anos 70 e dos dias atuais - Scientiarum História VI UFRJ. 2013. (Apresentação de Trabalho/Congresso).
-
CAFEZEIRO, I. L. ; PAIVA, E. N. ; JONATHAN, M. ; OLIVER, G. S. . A crise do software e a configuração da área de computação como ciência exata ou interdisciplinar Encontro anual sobre Teoria Ator-rede: Ator rede e Além ... no Brasil. 2013. (Apresentação de Trabalho/Comunicação).
-
Cafezeiro, Isabel ; LIMA, Rosângela . Mediação Tecnológica no Processo de Aprendizagem - Seminários do CMPDI UFF. 2013. (Apresentação de Trabalho/Seminário).
-
Cafezeiro, Isabel ; LIMA, Rosângela . Educação e Tecnologias (Relatos de Ações em Diversidade e Inclusão) Seminários do CMPDI UFF. 2013. (Apresentação de Trabalho/Seminário).
-
Cafezeiro, Isabel ; MARQUES, I. C. . Matemática, abstrações e a prática matemática - Encontro Anual de pesquisa em Teoria Ator-rede - AtorRede e além ... no Brasil. 2013. (Apresentação de Trabalho/Comunicação).
-
PEREIRA, E. E. O. ; Cafezeiro, Isabel ; DELOU, C. M. C. . Ensino a Alunos Superdotados: A mediação por meio da Robótica Educativa - Congresso Internacional Aneis: Associação Nacional para o Estudo e Intervenção na Sobredotação. 2013. (Apresentação de Trabalho/Comunicação).
-
CAFEZEIRO, Isabel ; MARQUES JUNIOR, A. P. ; SERPA, A. ; ANDRADE, L. A. B . Inclusão Digital: Verso e Reverso - Abertura da Semana Municipal de Inclusão Digital. 2013. (Apresentação de Trabalho/Conferência ou palestra).
-
CAFEZEIRO, I. L. ; MARQUES, I. C. . Sobre o trabalho das/os matemáticas/os - Scientiarum História V UFRJ. 2012. (Apresentação de Trabalho/Congresso).
-
CAFEZEIRO, I. L. ; MARQUES, I. C. . Localizando a matemática: o infinito e seus vínculos - 13 Seminário Nacional de História da Ciência e da Tecnologia. 2012. (Apresentação de Trabalho/Congresso).
-
Cafezeiro, Isabel ; MARQUES, I. C. . Interweavings of Alan Turing s Mathematics and Sociology of Knowledge - CiE - Computability in Europe -Turing Centenary. 2012. (Apresentação de Trabalho/Congresso).
-
Cafezeiro, Isabel . Relato de trabalho em Homenagem aos 50 anos de Edward Hermann Haeusler PUC-Rio. 2012. (Apresentação de Trabalho/Comunicação).
-
CAFEZEIRO, I. L. ; MARQUES, I. C. . Alan Turing, lápis, papel e a calculabilidade: uma etnografia do conhecimento matemático - XXVI Simpósio Nacional de História. 2011. (Apresentação de Trabalho/Simpósio).
-
CAFEZEIRO, I. L. ; SOCORRO, M. ; MENDES, P. S. P. ; CARDOSO, M. ; Dias, L. R. . Desenvolvimento Tecnológico e Inovação - XXVI Simpósio Nacional de História. 2011. (Apresentação de Trabalho/Simpósio).
-
CAFEZEIRO, I. L. . Projeto (des)informática - Seminário de Extensão Diálogos PROEX-UFF. 2011. (Apresentação de Trabalho/Comunicação).
-
CAFEZEIRO, I. L. ; MARQUES, I. C. . Localizando a matemática:contribuições à sociologia da matemática a partir da análise de ?On computable numbers with an application to the entscheidungproblem? 6 Encontro Luso-Brasileiro de História da Matemática. 2011. (Apresentação de Trabalho/Conferência ou palestra).
-
CAFEZEIRO, I. L. ; MARQUES, I. C. . Da corte suprema, a matemática, à matemática nos tribunais - Scientiarum Historia IV UFRJ. 2011. (Apresentação de Trabalho/Simpósio).
-
CAFEZEIRO, I. L. ; MENDES, P. S. P. ; CARDOSO, M. ; Dias, L. R. . Maria do Socorro fazendo ciênciasartes - Scientiarum Historia IV:. 2011. (Apresentação de Trabalho/Simpósio).
-
CAFEZEIRO, I. L. ; MARQUES, I. C. . Localizing Math - Logics and Ontologies for Portuguese - Fundação Getúlio Vargas. 2011. (Apresentação de Trabalho/Seminário).
-
Cafezeiro, Isabel ; MARQUES, I. C. . Localizando a matemática Contribuições à sociologia do conhecimento a partir da análise de ?On computable numbers with an application to the entscheidungproblem? Ciências e Humanidades - Palácio Rio Negro Petrópolis. 2011. (Apresentação de Trabalho/Conferência ou palestra).
-
Cafezeiro, Isabel ; GOMES, L.V. B. ; LIMA, Rosângela . The Technological Mediation as a strategy to Innovate the teacher-student interation - International Conference of Education, Research and Innovation. 2010. (Apresentação de Trabalho/Comunicação).
-
CAFEZEIRO, I. L. ; LIMA, Rosângela ; REED, J. . Refazendo vínculos: das dicotomias locais à novas conexões acadêmicas - Foro Iberoamericano de Comunicação e Divulgação Científica. 2009. (Apresentação de Trabalho/Simpósio).
-
CAFEZEIRO, I. L. ; VITERBO, José ; RADEMAKER, A. ; Endler, M. ; HAEUSLER, E. H. . ONTOLOGIAS: Interoperabilidade, Contexto, Computação Ubíqua - Seminário de Pesquisa em Ontologia no Brasil UFF. 2008. (Apresentação de Trabalho/Outra).
-
CAFEZEIRO, I. L. ; CAMARGO, Priscila ; TOLEDO, R. C. L. ; ALCÂNTARA, Maria Gabriela C.N ; MARINHO, M. S. . Extensão Universitária em áreas tecnológicas: entre propostas e práticas - 11o Seminário Nacional de História da Ciência e da tecnologia. 2008. (Apresentação de Trabalho/Seminário).
-
CAFEZEIRO, Isabel . Computabilidade: Um pouco de História, um pouco de Matemática - Escola Regional de Informática do Centro-Oeste ERICO 2008. 2008. (Apresentação de Trabalho/Conferência ou palestra).
-
CAFEZEIRO, I. L. ; HEAUSLER, E. H. . Algebraic Framework for Reverse Engineering on Specifications - LAPTEC ( The SixthCongress of Logic Applied to Technology). 2007. (Apresentação de Trabalho/Comunicação).
-
CAFEZEIRO, I. L. ; BARBOSA, P. . Inclusão Digital e o Pré-Universitário Popular: Uma ação universitária pela inclusão social - 3 CONTECSI - International Conference on Information Systems and Technology Management. 2006. (Apresentação de Trabalho/Congresso).
-
CAFEZEIRO, Isabel ; BARBOSA, P. . Inclusão Digital e o Pré-Universitário Popular: Uma ação universitária pela inclusão social - Seminário Universidade, Sociedade e Produção de Conhecimento - PROEX. 2006. (Apresentação de Trabalho/Comunicação).
-
CAFEZEIRO, I. L. ; HAEUSLER, E. H. . Sharing and Denotational Semantics - II Workshop in Formal Methods,. 2002. (Apresentação de Trabalho/Congresso).
-
CAFEZEIRO, I. L. ; HAEUSLER, E. H. . Limites Categóricos e Especificações Algébricas - Semana de Matemática UFF. 2002. (Apresentação de Trabalho/Seminário).
-
CAFEZEIRO, I. L. ; HAEUSLER, E. H. . Categorical Limits and Reuse of Algebraic Specifications - The third Congress of Logic Applied to Technology. 2002. (Apresentação de Trabalho/Congresso).
-
CAFEZEIRO, I. L. ; HAEUSLER, E. H. . From Diagrams to Code Via Attribute Grammars - II Simpósio Brasileiro de Linguagens de Programação. 1997. (Apresentação de Trabalho/Congresso).
-
Cafezeiro, Isabel ; HAEUSLER, E. H. ; LUCENA, C. J. P. . Paradigmas de Linguagens de Programação: uma abordagem geométrica.- I Simpósio Brasileiro de Linguagens de Programação. 1996. (Apresentação de Trabalho/Congresso).
-
CAFEZEIRO, I. L. ; HEAUSLER, E. H. . Protótipo para Especificação de Processos baseado em CSP - XIV Congresso da SBC. 1994. (Apresentação de Trabalho/Congresso).
-
CAFEZEIRO, Isabel . Interdisciplinaridade, Computação e Desenvolvimento local 2017 (Memorial para ingresso na classe E (Professor Titular)).
-
Cafezeiro, Isabel ; LOPES, F. . Editorial da Edição especial Abordagem sociotécnica da iSys (Revista de Sistemas de Informação). Rio de Janeiro: UniRio, 2017 (Editorial do periódico iSys (Revista de Sistemas de Informação)).
-
CAFEZEIRO, Isabel ; PAIVA, E. N. ; MARQUES, I. C. . Texto de agradecimentos do evento Ator-rede e Além no Brasil, 2013. (Prefácio, Pósfacio/Apresentação)>.
-
CAFEZEIRO, Isabel . Parecer técnico para publicação na contracapa do livro Linguagens de Programação - Conceitos e Técnicas. Rio de Janeiro, Rio de Janeiro, 2004. (Prefácio, Pósfacio/Apresentação)>.
-
CAFEZEIRO, I. L. . Compartilhamento e Semântica Denotacional. Rio de Janeiro: PUC - Rj, 2000 (Tese de Doutorado).
-
CAFEZEIRO, I. L. . Prootótipo para Especificação de Processos baseado em CSP. Rio de Janeiro: PUC-Rj, 1994 (Tese de Mestrado).
-
Cafezeiro, Isabel . Uma Linguagem para Processar ATN - Projeto e Semântica Denotacional 1992 (Trabalho de Final de Curso de Graduação).
Outras produções
CAFEZEIRO, I. L. . Comissão de seleção para ingresso no mestrado HCTE. 2021.
CAFEZEIRO, Isabel . Comissão de Avaliação de Ações extensionistas para edital de Bolsas PROEX UFF. 2018. 2018.
CAFEZEIRO, Isabel . Comissão de Avaliação de projetos PIBIC UFF. 2018. 2018.
CAFEZEIRO, Isabel ; GUERRA, R. P. O. ; COSTA, L. C. . Comissão de Revalidação de diploma de graduação Sistemas de Informação DTS CGI, N. 01 de 29 de Março de 2017 UFF. 2017.
CAFEZEIRO, Isabel . Membro Titular do Colegiado do Curso de Sistemas de Informação DTS-TCC no 16 de 23/05/2016 - UFF. 2017.
CAFEZEIRO, Isabel . Membro da Comissão avaliadora de Projetos de Iniciação Científica UFF. 2017.
CAFEZEIRO, Isabel ; BOKEHI, J. R. ; MONTEIRO, R. S. . Comissão de Especialização e Extensão TCC UFF DTS TCC, N. 02 de 17 de março de 2017. UFF. 2017.
Cafezeiro, Isabel . Conselho de representantes da Associação Nacional de Estudos de Ciência Tecnologia e Sociedade. 2016.
Cafezeiro, Isabel . Membro Titular do Colegiado do Curso de Sistemas de Informação DTS-TCC no 16 de 23/05/2016 - UFF. 2016.
Cafezeiro, Isabel ; EXEL, S. ; LOUREIRO, J. O. P. . Comissão de Avaliação de Teses e Dissertações do HCTE/UFRJ para concurso da Sociedade Brasileira de História da Ciência. 2016.
Cafezeiro, Isabel ; EXEL, S. ; LOUREIRO, J. O. P. . Comissão de Avalição para indicação do prêmio CAPES de teses HCTE. 2016.
Cafezeiro, Isabel . Comissão de Avaliação de Ações extensionistas para edital de Bolsas PROEX UFF. 2016.
Cafezeiro, Isabel . Comissão de seleção para ingresso no mestrado e doutorado HCTE. 2016.
Cafezeiro, Isabel ; COSTA, L. C. ; VITERBO, José . Comissão de Revalidação de diploma de graduação Sistemas de Informação DTS CGI, N. 01 de 12 de Janeiro de 2015 UFF. 2015.
Cafezeiro, Isabel . Comissão de seleção para ingresso no mestrado e doutorado HCTE. 2015.
VITERBO, José ; Cafezeiro, Isabel ; SALGADO, L. ; JUNIOR, I. C. ; MONTEIRO, R. S. ; ALMEIDA, C. H. M. ; GUERRA, R. P. O. ; OLIVEIRA, D. C. M. . Núcleo Docente Estruturante do Curso de Bacharelado em Sistemas de Informação DTS CGI n.3 de 26 de maio de 2015 UFF. 2015.
Cafezeiro, Isabel ; COSTA, L. C. ; MONTEIRO, R. S. . Comissão de Avaliação de Atividades Complementares do Curso de Sistemas de Informação UFF DTS CGI, N. 01 de 02 de Dezembro de 2014. 2014.
Cafezeiro, Isabel ; José Viterbo ; SALGADO, L. ; MONTEIRO, R. S. ; ALMEIDA, C. H. M. . Núcleo Docente Estruturante do Curso de Sistemas de Informação da UFF DTS CGI n 2 de 03 de dezembro de 2014 UFF. 2014.
Cafezeiro, Isabel ; COSTA, L. C. ; GUERRA, R. P. O. . Presidente Banca monitoria Programação de Computadores DTS TCC n 1 de 06/02/2014 UFF. 2014.
Cafezeiro, Isabel ; TOLEDO, R. C. L. ; MONTEIRO, R. S. ; LIMA, Rosângela . Comissão de Especialização e Extensão TCC UFF DTS TCC, N. 06 de 25 de julho de 2013. UFF. 2013.
Cafezeiro, Isabel ; COSTA, L. C. ; LIMA, Rosângela . Comissão de Avaliação de Atividades Complementares do Curso de Sistemas de Informação UFF DTS CGI n.03 de 27 de novembro de 2013. 2013.
Cafezeiro, Isabel . Comissão de seleção para ingresso no mestrado CMPDI UFF DTS EGB n 5 de 19 de junho de 2013. 2013.
Cafezeiro, Isabel ; JUNIOR, I. C. ; COSTA, L. C. . Presidente Banca Monitoria Programação DTS TCC n. 1 de 27 de março de 2013 UFF. 2013.
Cafezeiro, Isabel ; MONTEIRO, R. S. ; NASCIMENTO, A. P. ; JUNIOR, I. C. ; ALMEIDA, C. H. M. . Núcleo Docente Estruturante do Curso de Sistemas de Informação da UFF DTS CGI, No. 02 de 27 de fevereiro de 2013 UFF. 2013.
Cafezeiro, Isabel ; BRAGA, C. O. ; MURTA, L. G. P. ; LIMA, Rosângela . Comissão de Especialização e Extensão TCC UFF DTS TCC, N. 07 de 18 de setembro de 2012. UFF. 2012.
Cafezeiro, Isabel . Vice coordenador do curso de Sistemas de Informação UFF PORTARIA N. 46.255 de 23 de janeiro de 2012. UFF. 2012.
Cafezeiro, Isabel ; LIMA, Rosângela ; COSTA, L. C. . Comissão de revalidação do diploma de graduação - Sistemas de Informação UFF DTS CGI, N. 01 de 27 de setembro de 2012UFF. 2012.
SPINOLA, A. I. ; Cafezeiro, Isabel ; MACHADO-PINHEIRO, W. . Comissão para avaliação de progressão funcional para adjunto DTS RFM/ICT/PURO N. 10 de 22 de novembro de 2012 UFF. 2012.
COBURCCI FILHO, D. ; Cafezeiro, Isabel ; REED, J. ; COSTA, L. C. ; THOMÉ, L. ; GOUVEA, R. S. ; CLUA, E. W. G. . Projeto de monitoria para Programação de Computadores I BS UFF 01/ 02/2012 pag 78 UFF. 2012.
Cafezeiro, Isabel ; REED, J. ; COSTA, L. C. ; THOMÉ, L. ; GOMES, L.V. B. ; RAMOS, M. A. M. S. ; GOUVEA, R. S. ; TOGUE, Y. . Projeto de monitoria para Programação de Computadores III BS UFF 01/ 02/2012 pag 76 UFF. 2012.
Cafezeiro, Isabel ; COBURCCI FILHO, D. ; REED, J. ; COSTA, L. C. ; THOMÉ, L. ; GOUVEA, R. S. ; CLUA, E. W. G. . Projeto concurso de monitoria Programação de computadores I BS UFF 25/03/2011 pag 21. 2011.
Cafezeiro, Isabel ; REED, J. ; COSTA, L. C. ; THOMÉ, L. ; GOMES, L.V. B. ; RAMOS, M. A. M. S. ; GOUVEA, R. S. ; TOGUE, Y. . Projeto concurso de monitoria Programação de computadores III BS UFF 25/03/2011 pag 19. 2011.
Cafezeiro, Isabel ; LEITE, J. C. B. ; MURTA, L. G. P. ; LIMA, Rosângela . Comissão de Especialização e Extensão TCC UFF DTS/TCC n°. 04 de 30/08/2010 UFF. 2010.
Cafezeiro, Isabel ; LIMA, Rosângela . Comissão de elaboração no projeto pedagógico do curso de Licenciatura em computação de Pádua UFF DTS TIC 11 de 20 de setembro de 2010 UFF. 2010.
Cafezeiro, Isabel ; TREVISAN, D. . Comissão para organização da Semana Nacional de Ciência e Tecnologia no Instituto de Computação UFF DTS TIC n 12 de 20 de setembro de 2010 UFF. 2010.
Cafezeiro, Isabel . Vice coordenador do curso de Sistemas de Informação UFF 2010 - 2012 Portaria n 42.462 de 08 de junho de 2010 UFF. 2010.
Cafezeiro, Isabel . Membro titular do Colegiado de Curso de Sistemas de Informação Memorando TCC 0XX/2010 de 27 de maio de 2010 UFF. 2010.
Cafezeiro, Isabel . Membro Titular do Colegiado do Instituto de Computação Decisão n0 97/10 BS UFF n215 pag 112 em 28/12/2010. 2010.
Cafezeiro, Isabel ; LIMA, Rosângela ; CLUA, E. W. G. ; MURTA, L. G. P ; KISCHINHEVSKY, M. . Comissão para implantação e elaboração do projeto pedagógico para o curso de Sistemas de Informação DTS TIC 01 de 12 de janeiro de 2009 UFF. 2009.
Cafezeiro, Isabel . Representante do Instituto de Computação na Agenda Acadêmica UFF Portaria n 40939 de 25 de setembro de 2009 UFF. 2009.
CAFEZEIRO, Isabel . Comissão para revisão de critérios de avaliação do desempenho docente DTS TCC n. 18 de 07 de agosto de 2009. 2009.
Cafezeiro, Isabel ; MARTINS, S. L. ; LIMA, Rosângela . Comissão para levantamento dos cursos de graduação em computação IC-UFF DTS TIC n 05 de 2 de Julho de 2008 UFF. 2008.
GOUVEA, R. S. ; MONTENEGRO, A. A. ; Cafezeiro, Isabel . Banca de Seleção de Monitores Programação de Computadores DTS TCC n 1 de 29/02/2008. 2008.
Cafezeiro, Isabel . Comissão de Extensão PROEX-UFF DTS PROEX n 26 de 29 de agosto de 2007. 2007.
COBURCCI FILHO, D. ; Cafezeiro, Isabel ; REED, J. ; BOKEHI, J. R. ; COSTA, L. C. ; THOMÉ, L. ; RAMOS, M. A. M. S. ; GOUVEA, R. S. ; TOGUE, Y. . Projeto de monitoria para Programação de Computadores 1 BS UFF de 30/05/2007 pag 9 UFF. 2007.
Cafezeiro, Isabel ; CARVALHO, A. P. ; GOUVEA, R. S. . Comissão para revisão de correção de prova em resposta a recurso discente Memorando TCC 001/2006. 2006.
Cafezeiro, Isabel . Membro Titular do Colegiado do Instituto de Computação IC UFF DTS CTC N 012, de 21 de junho de 2006.. 2006.
GUEDES, L. C. C. ; Cafezeiro, Isabel ; COSTA, L. C. . Banca de monitoria para Compiladores DTS TCC N° 10 de 16 de março de 2006 UFF. 2006.
Cafezeiro, Isabel ; GUEDES, L. C. C. ; CARVALHO, A. P. . Presidente da Banca de monitoria para Linguegens de Programação DTS TCC N° 17 de 16 de março de 2006 UFF. 2006.
GUEDES, L. C. C. ; Cafezeiro, Isabel ; KISCHINHEVSKY, M. . Banca de monitoria para Linguegens Formais e Teoria da Computação TCC N° 12 de 16 de março de 2006 UFF. 2006.
Cafezeiro, Isabel . Comissão de ensino TCC IC UFF DTS TCC n27 de 27 de abril de 2004. 2006.
Cafezeiro, Isabel ; SILVA, O. ; GARCIA, A. C. B. . Comissão eleitoral para escolha de Coordenador e vice para o curso de Ciência da Computação UFF DTS TIC N 05 de 23 de dezembro de 2005. 2005.
BRAGA, C. O. ; Cafezeiro, Isabel ; COSTA, L. C. . Banca de monitoria para Compiladores DTS TCC N° 12 de 17 de março de 2005 UFF. 2005.
Cafezeiro, Isabel ; BRAGA, C. O. ; KISCHINHEVSKY, M. . Presidente da Banca de monitoria para Linguegens Formais e Teoria da Computação DTS TCC N° 14 de 17 de março de 2005 UFF. 2005.
Cafezeiro, Isabel . Membro Titular do colegiado do Curso de Turismo 2004-2008 UFF Memorando TCC 197/2004. 2004.
Cafezeiro, Isabel ; GOUVEA, R. S. ; REBELLO, E. F. V. . Comissão de ensino TCC IC UFF DTS TCC n27 de 27 de abril de 2004. 2004.
BRAGA, C. ; Cafezeiro, Isabel ; KISCHINHEVSKY, M. . Banca de Seleção de Monitores Linguagens de Programação DTS TCC n 14 de 16/01/2004 UFF. 2004.
Cafezeiro, Isabel ; BRAGA, C. ; KISCHINHEVSKY, M. . Presidente da Banca de Seleção de Monitores Linguagens Formais e Teoria da Computação DTS TCC n 15 de 16/01/2004 UFF. 2004.
Cafezeiro, Isabel ; BRAGA, C. ; COSTA, L. C. . Presidente da Banca de Seleção de Monitores Compiladores DTS TCC n 12 de 16/01/2004 UFF. 2004.
Cafezeiro, Isabel . Comissão de Especialização e Extensão TCC UFF DTS TCC n 22 de 15 de agosto de 2003. UFF. 2003.
MONTE, L. C. M. ; BRAGA, C. ; Cafezeiro, Isabel . Banca de monitoria para Compiladores DTS-TCC n° °. 12 de 20/01/2003 UFF. 2003.
BRAGA, C. O. ; Cafezeiro, Isabel ; MONTE, L. C. M. . Banca de monitoria para Linguegens de Programação DTS-TCC n°.16 de 20/01/2003 UFF. 2003.
Cafezeiro, Isabel ; BRAGA, C. ; MONTE, L. C. M. . Presidente da Banca de monitoria para Linguegens Formais e Teoria da Computação DTS TCC n.17 de 20 de janeiro de 2003 UFF. 2003.
Cafezeiro, Isabel . Comissão científica da VII Semana de Monitoria UFF. 2003.
Cafezeiro, Isabel ; REED, J. ; BOTELHO, L. C. . Comissão de avaliação de trabalhos da V Semana de Monitoria 1a etapa Memorando n3/2002 Acessor de monitoria CTC UFF. 2002.
Cafezeiro, Isabel ; REED, J. ; BOTELHO, L. C. . Comissão de avaliação de trabalhos da V Semana de Monitoria 2a etapa Memorando n9/2002 Acessor de monitoria CTC. 2002.
MONTE, L. C. M. ; GUEDES, L. C. C. ; Cafezeiro, Isabel . Banca de monitoria para Compiladores DTS-TCC n°. 13 de 04/03/2002 UFF. 2002.
PEREIRA, R. ; MONTE, L. C. M. ; Cafezeiro, Isabel . Banca de monitoria para Linguegens de Programação DTS-TCC n°.17 de 04/03/2002 UFF. 2002.
Cafezeiro, Isabel ; CARVALHO, A. P. ; MONTE, L. C. M. . Presidente da Banca de monitoria para Linguegens Formais e Teoria da Computação DTS-TCC n°. 18 de 04/03/2002 UFF. 2002.
Cafezeiro, Isabel . Comissão de avaliação de trabalhos da Semana de Monitoria etapa final Memorando n.15/2002 do assessor de monitoria do CTC. 2002.
Cafezeiro, Isabel . Membro titular do colegiado do Básico da Engenharia Memorando TCC 176/2000. 2002.
Cafezeiro, Isabel . Coordenação da disciplina prog III DTS TCC 21 de 23 de março de 2001 UFF. 2001.
REED, J. ; Cafezeiro, Isabel ; BOTELHO, L. C. . Comissão de avaliação de trabalhos da Semana de Monitoria Memorando TCC 234/2001. 2001.
Cafezeiro, Isabel . Banca de Seleção de monitores Programação de computadores III DTS TCC n 03 de 08/01/2001. 2001.
Cafezeiro, Isabel . Banca de seleção de monitores para Compiladores DTS TCC n 12 de 08/01/2001. 2001.
Cafezeiro, Isabel . Banca de seleção de monitores para Linguagens de programação DTS TCC n 16 de 08/01/2001. 2001.
Cafezeiro, Isabel . Membro titular do colegiado do Básico da Engenharia Memorando TCC 176/2000. 2000.
Cafezeiro, Isabel . Comissão para aquisição de material didático DTS-TCC 24 de 10 de julho de 2000 UFF. 2000.
Cafezeiro, Isabel ; CARVALHO, A. P. ; GUEDES, L. C. C. . Presidente da Banca de Seleção de Monitores Linguagens Formais e Teoria da Computação DTS TCC n 18 de 13/03/2000 UFF. 2000.
GUEDES, L. C. C. ; Cafezeiro, Isabel ; PEREIRA, R. . Banca de Seleção de Monitores Linguagens de Programação DTS TCC n 17 de 13/03/2000 UFF. 2000.
GUEDES, L. C. C. ; Cafezeiro, Isabel ; MONTES, L. C. M. . Banca de Seleção de Monitores Compiladores DTS TCC n 13 de 13/03/2000 UFF. 2000.
FERRAZ, I. ; COBURCCI FILHO, D. ; Cafezeiro, Isabel . Banca de monitoria para Inteligência Artificial DTS GCC n.16 de 10 de março de 1999 UFF. 1999.
MONTE, L. C. M. ; Cafezeiro, Isabel ; GOUVEA, R. S. . Banca de monitoria para Linguegens de Programação DTS GCC n.18 de 10 de março de 1999 UFF. 1999.
Cafezeiro, Isabel ; CARVALHO, A. P. ; GUEDES, L. C. C. . Presidente da Banca de monitoria para Linguegens Formais e Teoria da Computação DTS GCC n.19 de 10 de março de 1999 UFF. 1999.
Cafezeiro, Isabel ; GUEDES, L. C. C. ; MONTE, L. C. M. . Presidente da Banca de monitoria para Compiladores DTS GCC n.15 de 10 de março de 1999 UFF. 1999.
Cafezeiro, Isabel ; CARVALHO, A. P. ; GUEDES, L. C. C. . Presidente da Banca de monitoria para Aspectos Formais da Computação 1 DTS GCC n.16 de 4 de novembro de 1996 UFF. 1996.
Cafezeiro, Isabel ; GUEDES, L. C. C. ; MONTE, L. C. M. . Presidente da Banca de monitoria para Compiladores DTS GCC n.22 de 4 de novembro de 1996 UFF. 1996.
MONTE, L. C. M. ; Cafezeiro, Isabel ; AGUIAR, T. C. . Banca de monitoria para Programação de Computadores I DTS GCC n.13 de 4 de novembro de 1996 UFF. 1996.
Cafezeiro, Isabel . Organização e cadastro dos Projetos de Aplicação desde o início do Curso de Graduação até 1995. 1995.
Cafezeiro, Isabel . Membro da Comissão de Reformulação do Currículum do Curso de Graduação. 1995.
Cafezeiro, Isabel . Membro Titular do Colegiado do Curso de Arquivologia. 1994.
CAFEZEIRO, I. L. ; LIMA, Rosângela . Projeto Pedagógico do Programa Interagir de Capacitação em Informática. 2013.
CAFEZEIRO, I. L. . Projeto Pedagógico do Curso de Mestrado Profissional Proinove (Educação e Tecnologias). 2010.
CAFEZEIRO, I. L. ; LIMA, Rosângela ; MURTA, L. G. P ; KISCHINHEVSKY, M. ; CLUA, E. W. G. . Projeto Pedagógico do Curso de Bacharelado em Sistemas de Informação. 2009.
CAFEZEIRO, I. L. . Curso de Programação Orientada a Objetos - Material didático de livre circulação na internet para o ensino de POO. 2005.
CAFEZEIRO, I. L. . Curso de Compiladores Material didático de livre circulação (Cadastro na PROGRAD e Parecer técnico do Departamento). 2005.
CAFEZEIRO, I. L. . Curso de Linguagens de Programação - Material didático de livre circulação na internet para o ensino de Linguagens de Programação. 2005.
CAFEZEIRO, I. L. . Curso de Algoritmos - Material didático de livre circulação (Licença Creative Commons). 2004.
CAFEZEIRO, Isabel . Relatório Anual Docente. 2017.
Cafezeiro, Isabel . Relatório Anual Docente. 2016.
Cafezeiro, Isabel . Relatório Anual Docente. 2015.
Cafezeiro, Isabel . Relatório Anual Docente. 2014.
Cafezeiro, Isabel . Relatório Anual Docente. 2013.
Cafezeiro, Isabel . Relatório Anual Docente. 2012.
Cafezeiro, Isabel . Relatório Anual Docente. 2011.
Cafezeiro, Isabel . Relatório Anual Docente. 2010.
Cafezeiro, Isabel . Relatório Anual Docente. 2009.
Cafezeiro, Isabel . Relatório Anual Docente. 2008.
Cafezeiro, Isabel . Relatório Anual Docente. 2007.
Cafezeiro, Isabel . Relatório Anual Docente. 2006.
Cafezeiro, Isabel . Relatório Anual Docente. 2005.
Cafezeiro, Isabel . Relatório Anual Docente. 2004.
Cafezeiro, Isabel . Relatório Anual Docente. 2003.
Cafezeiro, Isabel . Relatório Anual Docente. 2002.
Cafezeiro, Isabel . Relatório Anual Docente. 2001.
Cafezeiro, Isabel . Relatório Anual Docente. 2000.
Cafezeiro, Isabel . Relatório Anual Docente. 1999.
Cafezeiro, Isabel . Relatório Anual Docente. 1998.
Cafezeiro, Isabel . Relatório Semestral Docente - primeiro semestre. 1997.
CAFEZEIRO, Isabel . Relatório Semestral Docente - segundo semestre. 1997.
Cafezeiro, Isabel . Relatório Semestral Docente - primeiro semestre. 1996.
CAFEZEIRO, Isabel . Relatório Semestral Docente - segundo semestre. 1996.
Cafezeiro, Isabel . Relatório Anual Docente - primeiro semestre. 1995.
CAFEZEIRO, Isabel . Relatório Semestral Docente - segundo semestre. 1995.
Cafezeiro, Isabel . Relatório Anual Docente - segundo semestre. 1994.
CAFEZEIRO, Isabel ; PAES, A. ; SAADE, D. C. M. ; BRAVO, R. . Mulheres na Pesquisa Científica no Instituto de Computação. 2019. (Programa de rádio ou TV/Mesa redonda).
CAFEZEIRO, Isabel ; MARQUES, I. C. ; CUKIERMAN, H. L. ; SEVERO, F. . Somos = Temos. 2017. (Programa de rádio ou TV/Mesa redonda).
CAFEZEIRO, Isabel ; SEVERO, F. ; PIMENTA, R. M. ; SILVA, S. D. ; CAVALCANTI, M. T. . Big Data e os Contextos de Responsabilização. 2017. (Programa de rádio ou TV/Mesa redonda).
CAFEZEIRO, I. L. ; GARCIA, S. . Entrevista sobre Alan Turing 'Gênio, Gay, Herói e Suicida' pela Revista Época, coluna Mente Aberta. 2015. (Programa de rádio ou TV/Entrevista).
CAFEZEIRO, I. L. ; MARQUES JUNIOR, A. P. ; SERPA, A. ; ANDRADE, L. A. B . Inclusão Digital: Verso e Reverso - Mesa Redonda em evento promovido pela Prefeitura de Niterói para a Semana Municipal de Inclusão Digital. 2013. (Programa de rádio ou TV/Mesa redonda).
CAFEZEIRO, I. L. ; SIMÕES, M. . Entrevista sobre Alan Turing na Revista Cálculo Matemática Para Todos. 2012. (Programa de rádio ou TV/Entrevista).
Cafezeiro, Isabel . Admirável mundo novo (matéria sobre o projeto Incluir veiculada pelo Jornal O Fluminense). 2009. (Programa de rádio ou TV/Entrevista).
CAFEZEIRO, I. L. ; CARNEIRO, W. . Fios e Desafios da Inclusão Digital - Mesa Redonda em evento promovido pela Prefeitura de Niterói para a Semana Municipal de Inclusão Digital. 2008. (Programa de rádio ou TV/Mesa redonda).
CAFEZEIRO, I. L. ; CARNEIRO, W. . Experiências e Desafios da Inclusão Digital - Mesa Redonda em evento promovido pela Prefeitura de Niterói para a Semana Municipal de Inclusão Digital. 2007. (Programa de rádio ou TV/Mesa redonda).
Cafezeiro, Isabel ; BARROS, T. G. . UFF: Curso vai evitar defasagem na faculdade. Pré-Universitário inclui Informática Jornal do Brasil 15/08/2006 Entrevista. 2006. (Programa de rádio ou TV/Entrevista).
Cafezeiro, Isabel . Inclusão social via inclusão digital Revista A Rede 01/11/2005 Comentário. 2005. (Programa de rádio ou TV/Comentário).
CAFEZEIRO, Isabel ; SANTOS, D. M. . Aglomerados 2019 - ESOCITE/TECSOC. 2019; Tema: aGLOMERADOS 2019. (Site).
CAFEZEIRO, Isabel ; SANTOS, D. M. . Aglomerados 2017 - ESOCITE/TECSOC. 2017; Tema: divulgação de evento. (Site).
CAFEZEIRO, Isabel ; SANTOS, D. M. . Aglomerados 2015 - ESOCITE/TECSOC. 2015; Tema: Divulgação de evento. (Site).
CAFEZEIRO, I. L. ; LIMA, Rosângela ; FERREIRA, M. Rafael . Ensinando e aprendendo no mundo das Tecnologias. 2009; Tema: Uso das Tecnologias de Informação e Comunicação. (Site).
CAFEZEIRO, Isabel . Professor colaborador externo Pós Graduação HCTE-UFRJ. 2019. (Professor colaborador externo Pós Graduação HCTE-UFRJ).
CAFEZEIRO, Isabel . Professor colaborador externo Pós Graduação HCTE-UFRJ. 2018. (Professor colaborador externo Pós Graduação HCTE-UFRJ).
Cafezeiro, Isabel ; LOPES, F. . Edição Especial da Revista ISYS: Abordagem sociotécnica em Sistemas de Informação. 2017. (Editoração/Periódico).
Cafezeiro, Isabel ; SALGADO, L. ; José Viterbo ; COSTA, L. C. ; ROCHA, M. ; MONTEIRO, R. S. . Grandes Desafios para a Pesquisa em Sistemas de Informação: Abordagem Sociotécnica SBC -Comissão Especial em Sistemas de Informação. 2017. (Relatório de pesquisa).
Cafezeiro, Isabel . Professor colaborador externo Pós Graduação HCTE-UFRJ. 2017. (Professor colaborador externo Pós Graduação HCTE-UFRJ).
Cafezeiro, Isabel ; GADELHA, C. ; ROCHA, A. C. . O Trágico e a Cena Contemporânea HCTE/UFRJ 60hrs. 2016. (Curso de curta duração ministrado/Outra).
Cafezeiro, Isabel . Professor colaborador externo Pós Graduação HCTE-UFRJ. 2016. (Professor colaborador externo Pós Graduação HCTE-UFRJ).
CAFEZEIRO, I. L. ; Gadelha, Carmem . O Trágico e a Cena Contemporânea HCTE-UFRJ 60 hrs. 2015. (Curso de curta duração ministrado/Outra).
CAFEZEIRO, I. L. ; KUBRUSLY, R. ; PAIVA, E. N. . Matemáticas HCTE/UFRJ 60hrs. 2015. (Curso de curta duração ministrado/Outra).
Cafezeiro, Isabel ; KUBRUSLY, R. ; CAFEZEIRO, E. M. . Ciências e Literatura HCTE/UFRJ 60 hrs. 2015. (Curso de curta duração ministrado/Outra).
Cafezeiro, Isabel . Professor colaborador externo Pós Graduação HCTE-UFRJ. 2015. (Professor colaborador externo Pós Graduação HCTE-UFRJ).
Cafezeiro, Isabel . Professor Permanente Pós Graduação CMPDI-UFF. 2015. (Professor Permanente Pós Graduação CMPDI-UFF).
CAFEZEIRO, I. L. ; Gadelha, Carmem ; CHAITIN, V. . O Trágico e a Cena Contemporânea HCTE-UFRJ e PPGAC-UFRJ 60 hrs. 2014. (Curso de curta duração ministrado/Outra).
Cafezeiro, Isabel ; LIMA, Rosângela . Fundamentos das Tecnologias da Informação e da Comunicação CMPDI-UFF 30 hrs. 2014. (Curso de curta duração ministrado/Outra).
Cafezeiro, Isabel . Professor colaborador externo Pós Graduação HCTE-UFRJ. 2014. (Professor colaborador externo Pós Graduação HCTE-UFRJ).
Cafezeiro, Isabel . Professor Permanente Pós Graduação CMPDI-UFF. 2014. (Professor Permanente Pós Graduação CMPDI-UFF).
Cafezeiro, Isabel ; LIMA, Rosângela . Oficina Comput@rte (SNCT 2013) 7 horas. 2013. (Curso de curta duração ministrado/Extensão).
Cafezeiro, Isabel . Professor colaborador externo Pós Graduação HCTE-UFRJ. 2013. (Professor colaborador externo Pós Graduação HCTE-UFRJ).
Cafezeiro, Isabel . Professor Permanente Pós Graduação CMPDI-UFF. 2013. (Professor Permanente Pós Graduação CMPDI-UFF).
Cafezeiro, Isabel . Interweavings of Alan Turing?s mathematics and sociology of knowledge - Essays dedicated to Edward Hermann Haeusler on the occasion of his 50th birthday. 2012. (Relatório de pesquisa).
Cafezeiro, Isabel . Professor colaborador externo Pós Graduação HCTE-UFRJ. 2012. (Professor colaborador externo Pós Graduação HCTE-UFRJ).
CAFEZEIRO, I. L. ; LIMA, Rosângela ; JUNCAL, B. . Oficina Comput@rte (Oficina Informal) 8 horas. 2011. (Curso de curta duração ministrado/Extensão).
CAFEZEIRO, I. L. ; JUNCAL, B. ; LIMA, Rosângela . Meta oficina Comput@rte (II ENINED) 4 horas. 2011. (Curso de curta duração ministrado/Outra).
CAFEZEIRO, I. L. ; JUNCAL, B. ; LIMA, Rosângela . Oficina Comput@rte (SNCT 2011) (8 horas). 2011. (Curso de curta duração ministrado/Extensão).
CAFEZEIRO, I. L. ; SOBRAL, J. G. . Programação para crianças(des)Informática (SNCT 2010) 8 horas. 2010. (Curso de curta duração ministrado/Extensão).
CAFEZEIRO, I. L. ; RIBEIRO, D. S. . Programação para crianças usando LOGO (SNCT 2010) (2 horas + 2 Horas). 2010. (Curso de curta duração ministrado/Extensão).
Cafezeiro, Isabel ; LIMA, Rosângela . Socorro ao meio ambiente (SNCT 2010) 5 horas. 2010. (Curso de curta duração ministrado/Extensão).
CAFEZEIRO, I. L. . Parecer técnico "Ferramentas Computacionais Aplicadas a Modelos Complexos da Fisiologia". 2010. (Parecer de Visita Técnica de Avaliação de Projeto de Pesquisa).
CAFEZEIRO, I. L. . Parecer técnico "Ponto via Internet - Tecnologia da Informação". 2010. (Parecer de Visita Técnica de Avaliação de Projeto de Desenvolvimento em Tecnologia).
LIMA, Rosângela ; CAFEZEIRO, I. L. ; FERREIRA, M. Rafael . Ensinando e aprendendo no mundo das tecnologias (ENINED - UNIOESTE) 6 horas. 2009. (Curso de curta duração ministrado/Outra).
CAFEZEIRO, I. L. ; RIBEIRO, D. S. . Programação para crianças usando LOGO (SNCT 2009) 4 horas. 2009. (Curso de curta duração ministrado/Extensão).
Cafezeiro, Isabel . Ensinando e aprendendo no mundo das tecnologias (SNCT 2009) 4 horas. 2009. (Curso de curta duração ministrado/Extensão).
Cafezeiro, Isabel ; LIMA, Rosângela ; REED, J. . Tenda da Informática (SNCT 2009) 4 horas. 2009. (Curso de curta duração ministrado/Extensão).
Cafezeiro, Isabel ; BARROS, T. G. . A informática no Espaço Avançado (SEMEXT 2009) 1 hora. 2009. (Curso de curta duração ministrado/Extensão).
Cafezeiro, Isabel ; RIBEIRO, D. S. . Informática para crianças (SEMEXT 2009) 1 hora. 2009. (Curso de curta duração ministrado/Extensão).
Cafezeiro, Isabel . Mostra das Iniciativas do Instituto de Computação para Inclusão Digital (SNCT 2008) 2 horas. 2008. (Curso de curta duração ministrado/Extensão).
CAFEZEIRO, I. L. ; HEAUSLER, E. H. . Computabilidade: História e Matemática (ERIGO) 2 horas. 2008. (Curso de curta duração ministrado/Outra).
CAFEZEIRO, I. L. ; HAEUSLER, E. H. . Computabilidade: História e Matemática (ERIMG) 2 horas. 2007. (Curso de curta duração ministrado/Outra).
CAFEZEIRO, I. L. ; HAEUSLER, E. H. . Computabilidade: História e Matemática. 2007. (Desenvolvimento de material didático ou instrucional - Escola Regional de Minas Gerais - Material Didático).
Cafezeiro, Isabel ; HAEUSLER, E. H. . Categorical Equalisers and Operations on Algebraic Specifications Relatório Técnico de Pesquisa apresentado ao Departamento de Computação da UFF. 2003. (Relatório de pesquisa).
Cafezeiro, Isabel ; HAEUSLER, E. H. . Limits in the Category of Algebraic Specifications Relatório Técnico de Pesquisa apresentado ao Departamento de Computação da UFF. 2002. (Relatório de pesquisa).
Cafezeiro, Isabel ; HAEUSLER, E. H. . Limits and other Categorical Concepts in Algebraic Signatures Relatório Técnico de Pesquisa apresentado ao Departamento de Computação da UFF. 2002. (Relatório de pesquisa).
Cafezeiro, Isabel . Formal Software Development Methods - Raise Based Software Development. 1996. (Curso de curta duração ministrado/Especialização).
Cafezeiro, Isabel ; CARNOTA, R. . Uma Teoria para Revisão de Crenças. 1992. (Relatório de pesquisa).
CAFEZEIRO, I. L. . Compiladores - Texto didático. 2005 (Texto Didático) .
CAFEZEIRO, I. L. . Linguagens de Programação - Curso disponibilizado na WEB. 2005 (Texto Didático) .
Projetos de pesquisa
-
2014 - 2017
MCTI/CNPQ/Universal 14/2014 - Faixa B, Projeto certificado pelo(a) coordenador(a) Edward Hermann Haeusler em 09/05/2017., Descrição: Descrição: A Teoria das Categorias tem um estreito relacionamento com modelos de semântica para computação e sistemas computacionais, assim como uma forte ligação com a teoria da prova através da semântica para sistemas lógicos via extensões do isomorfismo Curry-Howard. Este projeto de pesquisa investiga como a Teoria da Prova e a Teoria das Categorias podem contribuir como base teórica para a fundamentação de Linguagens e Abordagens Lógicas e Semânticas. OBJETIVO Os objetivos principais deste projeto são: (i) Investigar como técnicas e ferramentas da Teoria das Categorias podem ser usadas no processo de especificação semântica de modelos e sistemas (ii) Investigar como o uso de conceitos, técnicas e abordagens em Teoria da Prova podem ser usados na fundamentação de Linguagens e abordagens lógicas para a representação de conhecimento e modelos de sistemas (provavvelmente com o uso de Ontologias Formais) (iii) Relacionar os ítens i e ii acima através de morfismos composicionais (Funtores) e associar uma semântica computável a estes morfismos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) / Doutorado: (4) . , Integrantes: Isabel Leite Cafezeiro - Integrante / Edward Hermann Haeusler - Coordenador / Alexandre Rademaker - Integrante / Geiza Maria Hamazaki da Silva - Integrante / Mario R. Folhadela Benevides - Integrante / Luiz Carlos Pereira - Integrante / CHRISTIANO DE OLIVEIRA BRAGA - Integrante / Lew Gordev - Integrante / Vaston Gonçalves Costa - Integrante / Jean Baptiste Joinet - Integrante / Gilles Dowek - Integrante / Marcela Quispe Cruz - Integrante / Jefferson Santos - Integrante / Hugo Macedo - Integrante / Bruno Lopes Vieira - Integrante / Cecilia Lustosa - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2014 - Atual
Por uma abordagem situada da Matemática e da Computação, Descrição: Este é um projeto interdisciplinar que alia aos conhecimentos matemáticos métodos da antropologia, história das ciências, epistemologia dentre outras, buscando a compreensão do processo de construção do conhecimento matemático. O projeto propõe uma abordagem situada do conhecimento, ou seja, fortemente vinculada às coisas materiais (locais) e ao tempo onde se enunciou. No campo teórico, o projeto propõe repensar o aparato conceitual que a computação toma como fundamento tendo em vista as situações da computação contemporânea, e invocando a contribuição de outros campos de saberes. No campo prático, o projeto considera situações da computação onde o hibridismo, o fluxo, e a incompletude se fazem presentes, como por exemplo, a computação humana (busca estabelecer a operação em conjunto entre o processamento humano e maquínico promovendo um encontro entre o computável e o não computável, ou entre computável e o computacionalmente inviável) e as metodologias ágeis (partem da percepção de que os sistemas necessitam considerar o caráter dinâmico da aplicação para qual são desenvolvidos). O projeto propõe estudos no campo da teoria que permitam compreender os fundamentos de configurações da computação contemporânea e relacioná-los com as demandas e questionamentos da sociedade contemporânea.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador / Ivan da Costa Marques - Integrante / Ricardo Kubrusly - Integrante / Carmem Gadelha - Integrante / Edwaldo Machado Cafezeiro - Integrante., Financiador(es): International Council for Science Unions - Bolsa / Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro., Número de produções C, T & A: 1
-
2013 - 2017
Localizando a matemática: uma etnografia do conhecimento matemático, Descrição: O projeto ?Localizando a matemática: uma etnografia do conhecimento matemático? é um projeto interdisciplinar que alia aos conhecimentos matemáticos métodos da antropologia, história das ciências, psicologia dentre outras, buscando a compreensão do processo de construção do conhecimento matemático. O título ?Localizando a Matemática? sugere que o conhecimento matemático é situado, ou seja, fortemente vinculado às coisas materiais (locais) de onde se enunciou. O projeto parte de situações da matemática que permitem analisar e ilustrar questões sobre o processo de construção do conhecimento. Citamos alguns exemplos já analisados: (i) Alan Turing em seu famoso artigo de 1936 ?On computable numbers, with an application to the Entscheidungsproblem?, à medida em que descreve seus resultados matemáticos faz constantes referências às materialidades e processos vividos em meio ao seu raciocínio. (ii) Georg Cantor (1845-1918), em suas cartas a Dedekind, deixa transparecer preocupações e situações que interferem em seu raciocínio matemático. (iii) As controvérsias sobre a definição de uma arquitetura computacional na década de 1970 ilustram situações em que as configurações matemáticas são claramente afetadas por questões consideradas extra-matemáticas. Os três exemplos citados fazem referência à Ciência da Computação, seja em seus fundamentos (i,ii) ou em questões práticas (iii). Ao proporcionar uma grande aproximação entre o pensamento (as ideias) e as materialidades (o computador onde as ideias matemáticas se materializam), a computação vem a constituir um campo fértil para a compreensão do processo de construção do pensamento matemático. Este projeto propõe um reposicionamento diante de situações em que o conhecimento é considerado independente da conjuntura local, sendo portanto tomado como algo ?neutro? e ?universal? e aborda consequências desta concepção.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Isabel Leite Cafezeiro - Coordenador / Ivan da Costa Marques - Integrante / Ricardo Kubrusly - Integrante., Financiador(es): Pro-reitoria de pesquisa - Outra., Número de produções C, T & A: 9
-
2009 - Atual
Processos Participativos em Ciência e Tecnologia, Descrição: Este projeto focaliza o processo de construção de fatos e artefatos em ciências e tecnologias, na perspectiva de que tanto os fatos científicos quanto os artefatos tecnológicos são construídos em um processo de co-participação com a sociedade, e portanto, devem ser abordados em conjunto. Este projeto desenvolve-se em duas linhas de pesquisas: (i) Aborda a história da computação e dos computadores, colocando em evidência contingências, subjetividades e registros informais. Estes aspectos, por serem usualmente considerados ?não técnicos?, não costumam aparecer nos textos de Ciências da Computação. Entretanto, eles evidenciam o movimento recíproco de intervenção entre as ciências, as tecnologias e a sociedade. Ao propor a abordagem das questões ?técnicas? e ?não técnicas? como um arranjo único, os estudos sociais de ciência e tecnologia permitem verificar que as decisões e ?descobertas? dos cientistas estão incondicionalmente atreladas à sua vivência, e portanto, a neutralidade da ciência é um mito. (ii) Aborda o papel das Universidades e escolas na participação pública na produção de ciência e tecnologia, dentro da concepção de que a ciência problematizadora, que está necessariamente vinculada a seu tempo, lugar, sujeitos e coisas. Assim, a compreensão da conjuntura política, os problemas locais, as soluções geradas a partir destes e a participação pública na produção de ciências e tecnologias têm o papel realimentador e impulsionam o desenvolvimento técnico e científico.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (11) / Mestrado acadêmico: (3) . , Integrantes: Isabel Leite Cafezeiro - Coordenador / Ivan da Costa Marques - Integrante / Ricardo Kubrusly - Integrante / Carmem Gadelha - Integrante / André Campos da Rocha - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação Euclides da Cunha - Auxílio financeiro / Organização dos Estados Iberoamericanos - Auxílio financeiro / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro., Número de produções C, T & A: 90 / Número de orientações: 1
-
2007 - 2014
Aplicações em Categorias, Descrição: Consiste na experimentação e aperfeiçoamento de investigações de problemas relacionados ao uso e à definição de Operações Categóricas em diversos contextos. Na fase atual, o projeto desenvolve uma álgebra e uma metodologia para especificação de sistemas ubíquos.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Isabel Leite Cafezeiro - Coordenador / Edward Hermann Heausler - Integrante / Alexandre Rademaker - Integrante / Markus Endler - Integrante., Número de produções C, T & A: 7
-
2005 - 2007
(CTINFO) Anubis: Um Framework para Análise Formal de Sistemas Multi-Agente para Segurança da Informação, Projeto certificado pelo(a) coordenador(a) Edward Hermann Haeusler em 09/05/2017., Descrição: Modelagem e Análise de Sistemas Multi-Agentes com camada de Segurança (Trust).. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (4) . , Integrantes: Isabel Leite Cafezeiro - Integrante / Edward Hermann Haeusler - Coordenador / Alexandre Rademaker - Integrante / Markus Endler - Integrante / Geiza Maria Hamazaki da Silva - Integrante / CHRISTIANO DE OLIVEIRA BRAGA - Integrante / Davi Romero Vasconcelos - Integrante / Juliana Carpes Imperial - Integrante / Mario Roberto Folhadela Benevides - Integrante / Carlos José Pereira de Lucena - Integrante / Fernando Naufel do Amaral - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2005 - 2006
Teoria da Prova na Fundamentação do Processo de Teoria da Prova na Fundamentação do Processo de Especificação e Validação de Sistemas, Projeto certificado pelo(a) coordenador(a) Edward Hermann Haeusler em 09/05/2017., Descrição: A presente proposta tem por objetivos a justificação de uma abordagem baseada em teoria da prova para a fundamentação do processo de desenvolvimento e validação de software. Dentro deste escopo tem-se os seguintes objetivos espeçificos: 1- Justificação da abordagem baseda no Isomorfismo Curry-Howard com uso de especificação abstrata de dados e funcionalidades em lógica poli-sortida de primeira ordem, em detrimento da abordagem totalmente construtiva baseada em lógica de alta ordem e teoria intuicionista dos tipos. \item Aprimoramento dos sistemas de Dedução Natural para lógicas de tempo ramificado com uso em análise formal de especificação de sistemas reativos. Trata-se neste caso do aprimoramento de dos sistemas para CTL e CTL* e seu uso em especificação. A abordagem geral para quantificação em Dedução Natural é um resultado em lógica bastante interessante neste ponto, apesar de não estar diretamente conectado com a ciência da computação. 2- Desenvolvimento de critérios de identidade para provas que se mostrem mais adequados no tocante à interpretação, em teoria das categorias, do isomorfismo Curry-Howard. Este tópico está bastante inserido no projeto CAPES-DAAD coordenado pelo autor. 3- Conclusão do trabalho em interoperabilidade formal, com o desenvolvimento da sua contra-partida em teoria da prova. 4- Implementação dos modelos propostos em [Fnaufel] na forma de Framework (software) com análise formal provida por prova de teoremas em Teoria Local dos Conjuntos. Desenvolvimento de alguma ferramenta para o suporte, ao menos semi-automático, a prova de teoremas em Teoria Local dos Conjuntos. 4- Desenvolvimento de sistemas dedutivos para a lógica modal de jogos e definição de um verificador de modelos para a mesma (tarefas independentes). O uso da técnica utilizada em [Renteria & Haeusler] será explorada por Davi Romero (aluno de doutorado) neste contexto. Pesquisa preliminar em lógica modal foi publicada em [MAS e Jogos] pela equipe do autor. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Isabel Leite Cafezeiro - Integrante / Edward Hermann Haeusler - Coordenador / Christiano Braga - Integrante / Geiza Maria Hamazaki da Silva - Integrante / Mario R. Folhadela Benevides - Integrante / Luiz Carlos Pereira - Integrante / Rademaker, Alexandre - Integrante / Christian Jacques Renteria - Integrante / Alfio Martini - Integrante / Uwe Wolter - Integrante / Juliana Vizzoto - Integrante / Davi Romero Vasconcelos - Integrante / Juliana Carpes Imperial - Integrante / Carlos Bazílio Martins - Integrante / Fernando Naufel do Amaral - Integrante., Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.
-
2003 - 2007
Categorias e Especificações, Descrição: O projeto Categorias e Especificações investiga problemas relacionados ao uso e à definição de Operadores Categóricos em Especificações Formais em diversos contextos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (2) . , Integrantes: Isabel Leite Cafezeiro - Coordenador / Edward Hermann Heausler - Integrante., Número de produções C, T & A: 9
-
2001 - 2003
Teoria de Domínios e Operadores de Compartilhamento, Descrição: O projeto Teoria de Domínios e Operadores de Compartilhamen investiga problemas relacionados ao uso e à definição de Operadores de Compartilhamento em um contexto Denotacional.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Isabel Leite Cafezeiro - Coordenador / Edward Hermann Heausler - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 3
-
1996 - 1997
Categories for System Integration, Descrição: Intercâmbio com o Laboratório de Tecnologia em Software, na Universidade das Nações Unidas (Macau) para estabelecimento do projeto Categories for System Integration, sob a coordenação do Professor Tomasz Janowsky, início em agosto de 1996. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Isabel Leite Cafezeiro - Integrante / Armando Haeberer - Integrante / Edward Hermann Haeusler - Coordenador / Tomasz Janowsky - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
1991 - 1994
Aspectos Lógico-Filosóficos em Inteligência Artificial, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador / Paulo Alcoforado - Integrante / Jorge Petrucio Viana - Integrante / Walzi Conceição Sampaio da Silva - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
Projetos de desenvolvimento
-
2010 - 2010
Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1
-
2003 - 2004
Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador., Número de produções C, T & A: 2
-
2010 - 2010
Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1
-
2003 - 2004
Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador., Número de produções C, T & A: 2
-
2010 - 2010
Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1
-
2003 - 2004
Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador., Número de produções C, T & A: 2
-
2010 - 2010
Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1
-
2003 - 2004
Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador., Número de produções C, T & A: 2
-
2010 - 2010
Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1
-
2003 - 2004
Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador., Número de produções C, T & A: 2
-
2010 - 2010
Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1
-
2003 - 2004
Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador., Número de produções C, T & A: 2
-
2010 - 2010
Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1
-
2003 - 2004
Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador., Número de produções C, T & A: 2
-
2010 - 2010
Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1
-
2003 - 2004
Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador., Número de produções C, T & A: 2
-
2010 - 2010
Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1
-
2003 - 2004
Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador., Número de produções C, T & A: 2
-
2010 - 2010
Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1
-
2003 - 2004
Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador., Número de produções C, T & A: 2
-
2012 - 2014
História da Informática no Brasil, Descrição: Projeto Acadêmico. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-Reitoria de Assuntos Acadêmicos - Bolsa.
-
2010 - 2010
Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1
-
2003 - 2004
Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador.
-
2012 - 2014
História da Informática no Brasil, Descrição: Projeto Acadêmico. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-Reitoria de Assuntos Acadêmicos - Bolsa.
-
2010 - 2010
Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1
-
2003 - 2004
Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador.
-
2012 - 2014
História da Informática no Brasil, Descrição: Projeto Acadêmico. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-Reitoria de Assuntos Acadêmicos - Bolsa.
-
2010 - 2010
Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1
-
2003 - 2004
Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador.
-
2012 - 2014
História da Informática no Brasil, Descrição: Projeto Acadêmico. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Isabel Leite Cafezeiro - Coordenador.Financiador(es): Pro-Reitoria de Assuntos Acadêmicos - Bolsa.
-
2010 - 2010
Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador.Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1
-
2003 - 2004
Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento.
-
2012 - 2014
História da Informática no Brasil, Descrição: Projeto Acadêmico. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-Reitoria de Assuntos Acadêmicos - Bolsa.
-
2010 - 2010
Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1
-
2003 - 2004
Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador.
-
2012 - 2014
História da Informática no Brasil, Descrição: Projeto Acadêmico. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-Reitoria de Assuntos Acadêmicos - Bolsa.
-
2010 - 2010
Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1
-
2003 - 2004
Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador.
-
2012 - 2014
História da Informática no Brasil, Descrição: Projeto Acadêmico. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-Reitoria de Assuntos Acadêmicos - Bolsa.
-
2010 - 2010
Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1
-
2003 - 2004
Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador.
-
2012 - 2014
História da Informática no Brasil, Descrição: Projeto Acadêmico. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-Reitoria de Assuntos Acadêmicos - Bolsa.
-
2010 - 2010
Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1
-
2003 - 2004
Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador.
-
2012 - 2014
História da Informática no Brasil, Descrição: Projeto Acadêmico. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-Reitoria de Assuntos Acadêmicos - Bolsa.
-
2010 - 2010
Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa.Número de orientações: 1
-
2003 - 2004
Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador.
-
2012 - 2014
História da Informática no Brasil, Descrição: Projeto Acadêmico. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-Reitoria de Assuntos Acadêmicos - Bolsa.
-
2010 - 2010
Construindo Brincadeiras, Desenvolvendo Programas, Descrição: Projeto de Desenvolvimento Tecnológico e Inovação. Desenvolvimento de um ambiente lúdico para o aprendizado de Linguagens de programação para crianças. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) . , Integrantes: Isabel Leite Cafezeiro - Coordenador., Financiador(es): Pro-reitoria de pesquisa - Bolsa., Número de produções C, T & A: 1
-
2003 - 2004
Compiladores e disciplinas Afins, Descrição: Produção de Material Didático para o Curso de Compiladores e disciplinas Afins. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Isabel Leite Cafezeiro - Coordenador.
Prêmios
2019
Patronesse da turma 2019.1 Sistemas de Informação UFF, Sistemas de Informação UFF.
2018
Patronesse da turma 2018.1 Sistemas de Informação UFF, Sistemas de Informação UFF.
2018
Paraninfa da turma 2018.2 Sistemas de Informação UFF, Sistemas de Informação UFF.
2017
Professora Homenageada turma 2017.1 Sistemas de Informação UFF, Sistemas de Informação UFF.
2010
Segundo Lugar na categoria Tecnologia para o Projeto Incluir - Prêmio Josué de Castro, PROEX.
2001
Bolsista recém- doutor pela Iniciativa Kit-enxoval, CNPq.
1996
Research Fellow at UNU-IIST (International Institute for Software Technology), CNPq.
Histórico profissional
Endereço profissional
-
Universidade Federal Fluminense, Departamento de Ciência da Computação, Instituto de Computação. , Avenida General Milton Tavares de Souza, Gragoatá, 24210346 - Niterói, RJ - Brasil, Telefone: (21) 26295639, URL da Homepage:
Experiência profissional
2017 - Atual
Universidade Federal FluminenseVínculo: Servidor Público, Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.
2015 - 2017
Universidade Federal FluminenseVínculo: , Enquadramento Funcional: Professor Associado IV, Carga horária: 40, Regime: Dedicação exclusiva.
2013 - 2015
Universidade Federal FluminenseVínculo: , Enquadramento Funcional: Professor Associado III, Carga horária: 40, Regime: Dedicação exclusiva.
2011 - 2013
Universidade Federal FluminenseVínculo: , Enquadramento Funcional: Professor Associado II, Carga horária: 40, Regime: Dedicação exclusiva.
2009 - 2011
Universidade Federal FluminenseVínculo: Servidor Público, Enquadramento Funcional: Professor Associado I, Carga horária: 40, Regime: Dedicação exclusiva.
2007 - 2009
Universidade Federal FluminenseVínculo: , Enquadramento Funcional: Professor Adjunto IV, Carga horária: 40, Regime: Dedicação exclusiva.
2004 - 2006
Universidade Federal FluminenseVínculo: , Enquadramento Funcional: Professor Adjunto III, Carga horária: 40, Regime: Dedicação exclusiva.
2002 - 2004
Universidade Federal FluminenseVínculo: , Enquadramento Funcional: Professor Adjunto II, Carga horária: 40, Regime: Dedicação exclusiva.
2000 - 2002
Universidade Federal FluminenseVínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto I, Carga horária: 40, Regime: Dedicação exclusiva.
1998 - 2000
Universidade Federal FluminenseVínculo: Servidor Público, Enquadramento Funcional: Professor Assistente III, Carga horária: 40, Regime: Dedicação exclusiva.
1996 - 1998
Universidade Federal FluminenseVínculo: Servidor Público, Enquadramento Funcional: Professor Assistente II, Carga horária: 40, Regime: Dedicação exclusiva.
1994 - 1996
Universidade Federal FluminenseVínculo: Servidor Público, Enquadramento Funcional: Professor Assistente I, Carga horária: 40, Regime: Dedicação exclusiva.
1994 - 1994
Universidade Federal FluminenseVínculo: Servidor Público, Enquadramento Funcional: Professor Substituto, Carga horária: 40, Regime: Dedicação exclusiva.
1989 - 1990
Universidade Federal FluminenseVínculo: Estagiário, Enquadramento Funcional: Estagiário, Carga horária: 20
Outras informações:
Desenvolvimento de Sistemas de Informação de Extensão - SIEX (PRo-reitoria de Extensão UFF)
Atividades
-
01/2012
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Programação de Computadores I p/ SI, Computação e sociedade p SI, Tópicos em Ciência da Computação, Linguagens de Programação, Tópicos Especiais em Sist de Progr I - Abordagens não-reducionistas, Metodologia da Pesquisa Científica, Teoria da Computação para sistemas de Informação
-
01/1989
Pesquisa e desenvolvimento, Instituto de Computação.,Linhas de pesquisa
-
05/2010 - 05/2016
Direção e administração, Instituto de Computação.,Cargo ou função, vice-coordenador do curso de Graduação em Sistemas de Informação 2010 a 2016.
-
01/2015 - 01/2016
Ensino, CMPDI, Nível: Pós-Graduação,Disciplinas ministradas, Fundamentos das TICs. 30 horas. CMPDI: Mestrado Profissional em Diversidade e Inclusão UFF
-
01/1998 - 12/2012
Ensino, Engenharia, Nível: Graduação,Disciplinas ministradas, Programação de Computadores III
-
01/2005 - 12/2011
Extensão universitária , Instituto de Computação.,Atividade de extensão realizada, O Computador de Papel (Proex) 2013.
-
01/1998 - 12/2010
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Compiladores, Informática e Sociedade, Linguagens de Programação, Linguagens Formais e Teoria da Computação, Programação de Computadores I, Programação Orientada a Objetos, Introdução à Ciência da Computação, Informática I
-
03/2000 - 08/2003
Ensino, CIÊNCIAS DA COMPUTAÇÃO, Nível: Pós-Graduação,Disciplinas ministradas, Teoria da Computação (2 períodos) Programa de Pós Graduação em Computação UFF
-
01/1994 - 12/1997
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Aspectos Formais da Computação I, Compiladores, Introdução à Informática, Programação de Computadores I, Programação Orientada a Objetos (Tópicos Especiais em Sistemas de Programação VI), Projeto de Aplicação
1996 - 1996
United Nations University -International Institute for Software TechnologyVínculo: Professor vistante, Enquadramento Funcional: Assistente 1, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
"Research Fellow" atuando nos projetos CASINO (Category for Integrations Systems) e RAISE (Specification Language)
Atividades
-
01/1996 - 12/1996
Pesquisa e desenvolvimento, International Institute for Software Technology.,Linhas de pesquisa
-
11/1996 - 11/1996
Treinamentos ministrados , International Institute for Software Technology.,Treinamentos ministrados, RAISE - Specification Language
1994 - 1998
Pontifícia Universidade Católica do Rio de Janeiro, PUC-RioVínculo: Professor Colaborador, Enquadramento Funcional: Colaborador - Laboratório de Métodos Formais, Carga horária: 20
1993 - 1993
Pontifícia Universidade Católica do Rio de Janeiro, PUC-RioVínculo: Celetista, Enquadramento Funcional: Professor Auxiliar de Ensino I
Atividades
-
03/1996 - 12/1996
Pesquisa e desenvolvimento, Laboratório de Métodos Formais.,Linhas de pesquisa
-
01/1993 - 06/1993
Ensino, Letras, Nível: Graduação,Disciplinas ministradas, WordStar e Carta Certa
1991 - 1994
Instituto de Lógica Filosofia e Teoria da CiênciaVínculo: Bolsista Iniciação Científica, Enquadramento Funcional: Bolsista Iniciação Científica CNPq, Carga horária: 0
Outras informações:
Projeto: Aspectos Logico-Filosoficos em Inteligencia Artificial
Investigar a teoria da Revisão de Crenças e suas aplicações. Produzir material didático em Português sobre o tema.
Atividades
-
01/1991 - 12/1994
Pesquisa e desenvolvimento, ILTC.,Linhas de pesquisa
1990 - 1990
Laboratório Nacional de Computação CientíficaVínculo: Outro, Enquadramento Funcional: Estagiária, Carga horária: 20
Outras informações:
Instalação e Operação do programa de elementos finitos MODULEF nos Sistemas Operacionais VM/CMS e SUN-OS, sob orientação do Pesq Leopoldo Penna Franca - LNCC
Atividades
-
04/1990 - 06/1990
Pesquisa e desenvolvimento, LNCC.,Linhas de pesquisa
-
04/1990 - 06/1990
Estágios , Laboratório Nacional de Computação Científica.,Estágio realizado, Estagio - Instalação e Operação do programa de elementos finitos MODULEF nos Sistemas Operacionais VM/CMS e SUN-OS.
2012 - Atual
Universidade Federal do Rio de JaneiroVínculo: Colaborador, Enquadramento Funcional: Professor Colaborador, Carga horária: 20
Atividades
-
11/2012
Direção e administração, HCTE.,Cargo ou função, Participação em Bancas de seleção de teses e dissertações para concursos SBHC, CAPES.
-
01/2011
Pesquisa e desenvolvimento, HCTE.,Linhas de pesquisa
-
07/2014 - 01/2017
Ensino, Artes da Cena, Nível: Pós-Graduação,Disciplinas ministradas, O Trágico e a Cena Contemporânea (3 períodos)
-
11/2012 - 01/2017
Ensino, HCTE, Nível: Pós-Graduação,Disciplinas ministradas, Ciências e Literatura, Matemáticas, O Trágico e a Cena Contemporânea
Você é Isabel Leite Cafezeiro?
Que tal assumir essas informações?
Basta criar uma conta no Escavador e enviar uma forma de comprovante. São três passos:
Escolha uma dentre três formas de verificação: Facebook, CPF ou Documento com Foto.
O Escavador irá analisar a sua solicitação.
As informações presentes nessa página serão transferidas para a sua página do perfil.
Depois do processo concluído, quem acessar essa página será redirecionado para seu cantinho no Escavador, seunome.escavador.com. Onde você poderá fazer a sua reputação, conhecer gente antenada, se informar e até mesmo ganhar clientes. Tudo isso de graça!
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Isabel Leite Cafezeiro e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?