Departamento de Ciência da Computação

Demais tipos de produção técnica


Número total de itens: 187

2023

1.   BRAGHETTO, K. R.; CLAUDINO, M. ; SILVA, T. A.. Programação Web para Meninas. 2023. Curso de curta duração ministrado/Extensão
[ busca Google | busca Bing ]
2.   BRAGHETTO, K. R.; CLAUDINO, M. ; SILVA, T. A.. Introdução à Programação em Python para Meninas. 2023. Curso de curta duração ministrado/Extensão
[ busca Google | busca Bing ]
3.   de Melo, Ana C. V. Comitê de Programa - Brazilian Simposium on Formal Methods. 2023. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
4.   de Melo, Ana C. V. 24th International Conference on Formal Engineering Methods - ICFEM. 2023. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
5.   Mota, G.O.; Parente, R. F.. Introdução a Teoria de Ramsey e Combinatória Extremal. 2023. Curso de curta duração ministrado/Outra
[ busca Google | busca Bing ]

2022

1.   de Melo, Ana C. V. Comitê de Programa - Brazilian Simposium on Formal Methods. 2022. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
2.   de Melo, Ana C. V.; PORTO, E. S.. Conceitos de linguagens de programação: da teoria à prática. 2022. Desenvolvimento de material didático ou instrucional - material didático
[ busca Google | busca Bing ]
3.   Finger, Marcelo; SOUSA, M. C. P. ; NAMIUTI, C. ; MONTE, V. M.. Corpus Carolina v1.0 Ada. 2022. Corpus
[ busca Google | busca Bing ]

2021

1.   Botler, F. ; Collares, M. ; MARTINS, T. ; MENDONÇA, WALNER ; Mota, G. O.. Uma introdução à combinatória extremal. 2021. Curso de curta duração ministrado/Outra
[ busca Google | busca Bing ]
2.   BRAGHETTO, K. R.; PERES, S. M. ; WASSERMANN, R.. Introdução à Programação em Scratch. 2021. Curso de curta duração ministrado/Extensão
[ busca Google | busca Bing ]
3.   BRAGHETTO, K. R.; WASSERMANN, R.. Introdução à Programação em Python para Meninas. 2021. Curso de curta duração ministrado/Extensão
[ busca Google | busca Bing ]
4.   de Melo, Ana C. V. Lógica: dos provadores de teoremas à verificação de programas. 2021. Desenvolvimento de material didático ou instrucional - Material didático
[ busca Google | busca Bing ]
5.   de Melo, Ana C. V. Comitê de Programa - Brazilian Simposium on Formal Methods. 2021. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
6.   MORIMOTO, CARLOS H; TULA, A. D.. Métodos Experimentais em Interação Humano Computador. 2021. 2021.
[ busca Google | busca Bing ]

2020

1.   de Melo, Ana C. V. Dos dados à programação: introdução à R. 2020. Desenvolvimento de material didático ou instrucional - Material didático
[ busca Google | busca Bing ]
2.   de Melo, Ana C. V. Comitê de Programa - Brazilian Simposium on Formal Methods. 2020. Comitê de Programa de Congresso
[ busca Google | busca Bing ]

2019

1.   de Melo, Ana C. V. Comitê de Programa - Brazilian Simposium on Formal Methods. 2019. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
2.   Hirata, N.S.T. Introdução ao NumPy com Jupyter notebook. 2019. Curso de curta duração ministrado/Outra
[ busca Google | busca Bing ]
3.   Mota, G. O. Teoria de Ramsey: Introdução e avanços recentes. 2019. Curso de curta duração ministrado/Outra
[ busca Google | busca Bing ]
4.   Wassermann, R. Tópicos Avançados de Direito e Tecnologia da Informação II. 2019. Curso de curta duração ministrado/Especialização
[ busca Google | busca Bing ]

2018

1.   de Melo, Ana C. V. Comitê de Programa - Brazilian Simposium on Formal Methods. 2018. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
2.   Finger, Marcelo. O que é que se leva quando se compra 'Inteligência Artificial'. 2018. Curso de curta duração ministrado/Outra
[ busca Google | busca Bing ]
3.   Hirata, N.S.T. Uma introdução a machine learning (IX Semana de Inverno de Geofísica). 2018. Curso de curta duração ministrado/Outra
[ busca Google | busca Bing ]
4.   KON, F. Membro do Conselho Superior (2017 e 2018). 2018. Membro do Conselho Superior
[ busca Google | busca Bing ]
5.   Wassermann, R. Inteligência Artificial. 2018. Curso de curta duração ministrado/Outra
[ busca Google | busca Bing ]

2017

1.   BRAGHETTO, K. R.; KON, F.. Revista Computação Brasil 35 - Cidades Inteligentes. 2017. Editoração/Outra
[ busca Google | busca Bing ]
2.   BRAGHETTO, K. R.; VARGAS, C. D. ; SANTOS, C. R. N. ; OLAZAR, M. R. ; RIBAS, C. E. ; ROCHA, E.. Neuroscience Experiments Database - NeuroMat DB. 2017. Banco de dados científico
[ busca Google | busca Bing ]
3.   de Melo, Ana C. V. Comitê de Programa - Brazilian Simposium on Formal Methods. 2017. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
4.   Hirata, N.S.T. Introdução a Machine Learning usando Python. 2017. Curso de curta duração ministrado/Outra
[ busca Google | busca Bing ]
5.   Morimoto, Carlos H. Gaze Interaction: Methods and Best Practices. 2017. 2017.
[ busca Google | busca Bing ]
6.   Queiroz, M. Elementos de Computação Musical. 2017. Curso de curta duração ministrado/Outra
[ busca Google | busca Bing ]

2016

1.   de Melo, Ana C. V. Comitê de Programa - Brazilian Simposium on Formal Methods. 2016. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
2.   de Melo, Ana C. V.; HANAZUMI, S.. Tutorial: Definição e Verificação de Propriedades-Padrão sobre Programas. 2016. Curso de curta duração ministrado/Outra
[ busca Google | busca Bing ]
3.   KON, F. Introdução à Ciência da Computação com Python. 2016. Desenvolvimento de material didático ou instrucional - MOOC
[ busca Google | busca Bing ]
4.   KON, F.; ZAMBOM, E.. JAI 1 - Cidades Inteligentes: Tecnologias, Aplicações, Iniciativas e Desafios. 2016. Minicurso
[ busca Google | busca Bing ]

2015

1.   de Melo, Ana C. V. Comitê de Programa - Brazilian Simposium on Formal Methods. 2015. Comitê de Programa de Congresso
[ busca Google | busca Bing ]

2014

1.   BATISTA, D. M. Journal of Internet Services and Applications (Assistant Editor). 2014. Editoração/Periódico
[ busca Google | busca Bing ]
2.   BRAGHETTO, K. R.; CORDEIRO, D.. Introdução à Modelagem e Execução de Workflows Científicos. 2014. Curso de curta duração ministrado/Extensão
[ busca Google | busca Bing ]
3.   BRAGHETTO, K. R.; NASCIMENTO, A. S.. Introdução ao armazenamento de dados de experimentos em Neurociência. 2014. Curso de curta duração ministrado/Extensão
[ busca Google | busca Bing ]
4.   de Melo, Ana C.V. Comitê de Programa - XVII Brazilian Simposium on Formal Methods. 2014. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
5.   de Melo, Ana C.V. XL Conferencia Latinoamericana en Informática (CLEI 2014). 2014. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
6.   de Melo, Ana C.V. E4MAS - 10 Years Later. 2014. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
7.   de Melo, Ana C.V. Computational Science and Its Applications - ICCSA 2014/FMCICA2014. 2014. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
8.   FERNANDEZ, M. ; Finger, Marcelo. Proceedings of 8th Workshop on Logical and Semantic Frameworks (LSFA). 2014. Editoração/Anais
[ busca Google | busca Bing ]
9.   KON, F.; Monteiro, J.. JAI 5 - Empreendedorismo em Computação e Startups de Software. 2014. Minicurso
[ busca Google | busca Bing ]

2013

1.   ANTONUCCI, A. ; CORANI, GIORGIO ; MAUÁ, D. D.. Bayesian networks with imprecise probabilities: theory and applications to knowledge-based systems and classification. 2013. Curso de curta duração ministrado/Outra
[ busca Google | busca Bing ]
2.   BATISTA, D. M. Journal of Internet Services and Applications (Assistant Editor). 2013. Editoração/Periódico
[ busca Google | busca Bing ]
3.   BOYER, K. ; Hirata, Nina S.T. ; NEDEL, L. ; SILVA, C. T.. Proceedings of the 26th SIBGRAPI - Conference on Graphics, Patterns and Images. 2013. Editoração/Anais
[ busca Google | busca Bing ]
4.   de Melo, Ana C.V. Comitê de Programa - XVI Brazilian Simposium on Formal Methods. 2013. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
5.   MORIMOTO, C. H. Uma introdução à Visão Computacional usando OpenCV. 2013. Curso de curta duração ministrado/Especialização
[ busca Google | busca Bing ]

2012

1.   BARROS, L. N.; FINGER, M.. Proceedings of the 21st Brazilian Symposium on Artificial Intelligence. 2012. Editoração/Anais
[ busca Google | busca Bing ]
2.   BATISTA, D. M. Journal of Internet Services and Applications (Assistant Editor). 2012. Editoração/Periódico
[ busca Google | busca Bing ]
3.   de Melo, Ana C.V. Comitê de Programa - XV Brazilian Simposium on Formal Methods. 2012. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
4.   GOLDMAN, A. ; KON, F. ; PEREIRA JUNIOR, F. ; POLATO, I. ; PEREIRA, R. F.. Apache Hadoop: conceitos teóricos e práticos, evolução e novas possibilidades. 2012. Minicurso
[ busca Google | busca Bing ]
5.   KON, F.; LAGO, N. P. ; MEIRELLES, P. ; SABINO, V.. Software Livre e Propriedade Intelectual: Aspectos Jurídicos, Licenças e Modelos de Negócio. 2012. Minicurso
[ busca Google | busca Bing ]
6.   PIMENTA, M. ; Queiroz, M ; LAZZARINI, V. ; FORNARI, J. ; KELLER, D.. III Workshop em Música Ubíqua. 2012. Editoração/Anais
[ busca Google | busca Bing ]

2011

1.   BATISTA, D. M. IEEE Communications Surveys and Tutorials (Editorial Assistant). 2011. Editoração/Periódico
[ busca Google | busca Bing ]
2.   BRAGHETTO, K. R.; FERREIRA, J. E. ; VINCENT, J.-M.. From Business Process Model and Notation to Stochastic Automata Network. 2011. Relatório de pesquisa
[ busca Google | busca Bing ]
3.   de Melo, Ana C.V. Comitê de Programa - XIV Brazilian Simposium on Formal Methods. 2011. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
4.   KELLER, D. ; Queiroz, M ; PIMENTA, M. ; FARIA, R. R.. Journal of New Music Research, vol. 40(3), Special Issue: New Paradigms on Computer Music. 2011. Editoração/Periódico
[ busca Google | busca Bing ]
5.   KON, F.; LAGO, N. P. ; MEIRELLES, P. ; SABINO, V.. JAI 2: Software Livre e Propriedade Intelectual: Aspectos Jurídicos, Licenças e Modelos de Negócios. 2011. Curso de curta duração ministrado/Outra
[ busca Google | busca Bing ]
6.   QUEIROZ, M.; Kon, Fabio ; MILETTO, E. ; COSTALONGA, L. ; PIMENTA, M.. Computação sonora e musical no Brasil para os próximos 10 anos. 2011. (Participação em mesa-redonda no 13º Simpósio Brasileiro de Computação. 2011. Participação em mesa-redonda no 13º Simpósio Brasileiro de Computação Musical (SBCM 2011
[ busca Google | busca Bing ]
7.   Queiroz, M; MANZOLLI, J. ; GIMENES, M. ; COSTALONGA, L. ; PIMENTA, M. ; MILETTO, E.. Proceedings of the 13th Brazilian Symposium on Computer Music. 2011. Editoração/Anais
[ busca Google | busca Bing ]
8.   Wassermann, R. Membro do comitê de programa do ARCOE (Automated Reasoning about Context and Ontology Evolution). 2011. Membro do comitê de programa
[ busca Google | busca Bing ]
9.   WASSERMANN, R. Membro do comitê de programa do RuleML (5th International Symposium on Rules). 2011. Membro do comitê de programa
[ busca Google | busca Bing ]
10.   WASSERMANN, R. Membro do comitê de programa do OntoBras-MOST. 2011. Membro do comitê de programa
[ busca Google | busca Bing ]
11.   WASSERMANN, R. Membro do comitê de programa do EvoDyn (Joint Workshop on Knowledge Evolution and Ontology Dynamics). 2011. Membro do comitê de programa
[ busca Google | busca Bing ]
12.   WASSERMANN, R. Membro do comitê de programa do Australasian Joint Conference on Artificial Intelligence. 2011. Membro do comitê de programa
[ busca Google | busca Bing ]
13.   WASSERMANN, R. Membro do comitê de programa do ENIA (Encontro Nacional de Inteligência Artificial). 2011. Membro do comitê de programa
[ busca Google | busca Bing ]
14.   Wassermann, R. Membro do comitê de programa da IJCAI. 2011. Membro do comitê de programa
[ busca Google | busca Bing ]

2010

1.   A. Goldman. Grades e Nuvens. 2010. Curso de curta duração ministrado/Extensão
[ busca Google | busca Bing ]
2.   BARROS, L. N.; PEREIRA, S. L.. Planejamento Automático. 2010. Desenvolvimento de material didático ou instrucional - Tutorial
[ busca Google | busca Bing ]
3.   BATISTA, D. M. IEEE Communications Surveys and Tutorials (Editorial Assistant). 2010. Editoração/Periódico
[ busca Google | busca Bing ]
4.   de Melo, Ana C.V. Comitê de Programa - XIII Brazilian Simposium on Formal Methods. 2010. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
5.   de Melo, Ana C.V. Comitê de Programa - XXIV SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE. 2010. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
6.   de Melo, Ana C.V. Comitê de Programa - 22nd IFIP International Conference on Testing Software and Systems (ICTSS'10). 2010. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
7.   Landim, A. R. ; ZIVIANI, A. ; BATISTA, D. M. ; COSTA, F. R. C.. Construindo um Sistema de Alerta Antecipado contra Ataques Cibernéticos. 2010. 2010.
[ busca Google | busca Bing ]
8.   MORIMOTO, C. H.; HASHIMOTO, R. F.. Introdução à Ciência da Computação em C. 2010. Desenvolvimento de material didático ou instrucional - Apostila
[ busca Google | busca Bing ]
9.   WASSERMANN, R. Membro do comitê de programa do ARCOE (Automated Reasoning about Context and Ontology Evolution). 2010. Revisor de trabalhos para conferências
[ busca Google | busca Bing ]
10.   WASSERMANN, R. Membro do comitê de programa do IBERAMIA (Ibero-American International Congress on Artiticial Intelligence). 2010. Revisor de trabalhos para conferências
[ busca Google | busca Bing ]
11.   WASSERMANN, R. Membro do comitê de programa do IWOD (International Workshop on Ontology Dynamics). 2010. Revisor de trabalhos para conferências
[ busca Google | busca Bing ]
12.   WASSERMANN, R. Chair do NMROnto (Non-monotonic Reasoning for Ontologies). 2010. Revisor de trabalhos para conferências
[ busca Google | busca Bing ]
13.   WASSERMANN, R. Membro do comitê de programa do VORTE (The Joint 5th International Workshop on Vocabularies, Ontologies and Rules for The Enterprise). 2010. Revisor de trabalhos para conferências
[ busca Google | busca Bing ]

2009

1.   A. Goldman. 28º Simpósio Brasileiro de Redes de Computadores. 2009. Comitê de Programa
[ busca Google | busca Bing ]
2.   BATISTA, D. M. IEEE Communications Surveys and Tutorials (Editorial Assistant). 2009. Editoração/Periódico
[ busca Google | busca Bing ]
3.   BERNARDO, P. C. ; KON, F.. Desenvolvimento de Software de Qualidade através de Testes Automatizados. 2009. Curso de curta duração ministrado/Extensão
[ busca Google | busca Bing ]
4.   BRAGHETTO, K. R.; FERREIRA, J. E. ; VINCENT, J.-M.. Comparison of modeling approaches to business process performance evaluation. 2009. Relatório de pesquisa
[ busca Google | busca Bing ]
5.   KON, F. Desenvolvendo Software de Qualidade com Métodos Ágeis e XP. 2009. Curso de curta duração ministrado/Extensão
[ busca Google | busca Bing ]
6.   MEIRELLES, Paulo. Métricas de Código-Fonte. 2009. Curso de curta duração ministrado/Outra
[ busca Google | busca Bing ]
7.   MELO, Ana C. V. de. Comitê de Programa - XXIII SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE. 2009. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
8.   MELO, Ana C. V. de. Comitê de Programa - XII Brazilian Simposium on Formal Methods. 2009. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
9.   MELO, Ana C. V. de. Comitê de Programa - SBCARS 2009 - Brazilian Symposium on Software Components, Architectures and Reuse. 2009. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
10.   MELO, Ana C. V. de. Comitê de Programa - International Conference on Formal Engineering Methods. 2009. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
11.   PIMENTA, M. ; KELLER, D. ; FARIA, R. R. ; Queiroz, M ; RAMALHO, G ; CABRAL, G.. Proceedings of the 12th Brazilian Symposium on Computer Music. 2009. Editoração/Anais
[ busca Google | busca Bing ]
12.   WASSERMANN, R. Membro do comitê de programa do ARCOE (Automated Reasoning about Context and Ontology Evolution). 2009. Revisor de trabalhos para conferências
[ busca Google | busca Bing ]
13.   WASSERMANN, R. Membro do comitê de programa do IWOD (International Workshop on Ontology Dynamics). 2009. Revisor de trabalhos para conferências
[ busca Google | busca Bing ]
14.   WASSERMANN, R. Membro do comitê de programa do MOST-ONISW (The Joint International workshop on Metamodels, Ontologies, Semantic Technologies, and Information Systems for the Semantic Web). 2009. Revisor de trabalhos para conferências
[ busca Google | busca Bing ]

2008

1.   A. Goldman. 27º Simpósio Brasileiro de Redes de Computadores. 2008. Comitê de Programa
[ busca Google | busca Bing ]
2.   A. Goldman; F. Kon ; R. Camargo. Computational Grids: Basic Concepts and Concrete Examples. 2008. Curso de curta duração ministrado/Outra
[ busca Google | busca Bing ]
3.   AMIR, Arnon ; A. Duchowski ; MORIMOTO, C. H. ; K. Räihä. Proceedings of the Eye Tracking Research and Applications Symposium. 2008. Editoração/Anais
[ busca Google | busca Bing ]
4.   BATISTA, D. M. IEEE Communications Surveys and Tutorials (Editorial Assistant). 2008. Editoração/Periódico
[ busca Google | busca Bing ]
5.   BRANDÃO, L. O.; João Fábio Porto. Laboratório de Ensino de Matemática: curso sobre educação à distância (EAD) para professores de Matemática. 2008. Curso de curta duração ministrado/Extensão
[ busca Google | busca Bing ]
6.   BRANDÃO, L. O.; MOURA, Janine Gomes ; João Fábio Porto ; Bárbara Rinaldi. LEM - Laboratório de Ensino de Matemática. 2008. Curso de curta duração ministrado/Extensão
[ busca Google | busca Bing ]
7.   DOMINGUES, H. ; FERREIRA, J. E. ; KON, F.. Evolução de Bancos de Dados em Métodos Ágeis. 2008. Curso de curta duração ministrado/Extensão
[ busca Google | busca Bing ]
8.   KON, F. Introdução a Métodos Ágeis de Desenvolvimento de Software. 2008. Curso de curta duração ministrado/Extensão
[ busca Google | busca Bing ]
9.   KON, F.; GOLDMAN, A.. Grades Computacionais: Conceitos Fundamentais e Casos Concretos. 2008. Curso de curta duração ministrado/Extensão
[ busca Google | busca Bing ]
10.   KON, F.; GOLDMAN, A. ; FERREIRA, J. E.. Cooperativa de Métodos Ágeis de Desenvolvimento de Software. 2008. Desenvolvimento de material didático ou instrucional - Material didático multimídia
[ busca Google | busca Bing ]
11.   MELO, Ana C. V. de. Comitê de Programa - XXII SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE. 2008. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
12.   MELO, Ana C. V. de. Comitê de Programa - XI Brazilian Simposium on Formal Methods. 2008. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
13.   WASSERMANN, R. Membro do comitê de programa do SBIA (Simpósio Brasileiro de Inteligência Artificial). 2008. Revisor de trabalhos para conferências
[ busca Google | busca Bing ]
14.   WASSERMANN, R. Membro do comitê de programa da 21st Australasian Joint Conference on Artificial Intelligence. 2008. Revisor de trabalhos para conferências
[ busca Google | busca Bing ]
15.   WASSERMANN, R. Membro do comitê de programa do IWOD (International Workshop on Ontology Dynamics). 2008. Revisor de trabalhos para conferências
[ busca Google | busca Bing ]
16.   WASSERMANN, R. Membro do comitê de programa do WONTO (Workshop on Ontologies and their Application). 2008. Revisor de trabalhos para conferências
[ busca Google | busca Bing ]

2007

1.   A. Goldman. 26º Simpósio Brasileiro de Redes de Computadores. 2007. Comitê de Programa
[ busca Google | busca Bing ]
2.   BARRERA, Junior; CESAR JR, Roberto M. Análise de Expressão Gênica. 2007. Curso de curta duração ministrado/Outra
[ busca Google | busca Bing ]
3.   BATISTA, D. M. IEEE Communications Surveys and Tutorials (Editorial Assistant). 2007. Editoração/Periódico
[ busca Google | busca Bing ]
4.   BIRGIN, E. G. Short course on Computational Methods of Optimization. 2007. 2007.
[ busca Google | busca Bing ]
5.   BRANDÃO, L. O. Construção de Cursos de Geometria a Distância, para Professores de Matemática. 2007. Curso de curta duração ministrado/Extensão
[ busca Google | busca Bing ]
6.   BRANDÃO, L. O. Cursos do Laboratório de Ensino de Matemática - LEM. 2007. Curso de curta duração ministrado/Extensão
[ busca Google | busca Bing ]
7.   BRANDÃO, L. O.; Cristina Cerri ; Sérgio Alves. Pontos Notáveis do Triângulo. 2007. Curso de curta duração ministrado/Extensão
[ busca Google | busca Bing ]
8.   G. J. F. Banon ; BARRERA, J. ; BRAGA-NETO, Ulisses de Mendonça ; HIRATA, N. S. T.. Proceedings of ISMM 2007 (8th International Symposium on Mathematical Morphology) - Extended Abstracts - Volume 2. 2007. Editoração/Anais
[ busca Google | busca Bing ]
9.   KON, F.; GOLDMAN, A.. Introdução a Métodos Ágeis de Desenvolvimento de Software. 2007. Curso de curta duração ministrado/Extensão
[ busca Google | busca Bing ]
10.   KON, F.; GOLDMAN, A.. Laboratório de Programação Extrema. 2007. Curso de curta duração ministrado/Extensão
[ busca Google | busca Bing ]
11.   MEIRELLES, Paulo. Introdução a TV Digital com Ginga NCL. 2007. Curso de curta duração ministrado/Outra
[ busca Google | busca Bing ]
12.   MELO, Ana C. V. de. Comitê de Programa - 11th Brazilian Symposium on Programming Languages. 2007. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
13.   MELO, Ana C. V. de. Comitê de Programa - International Workshop on Ontology, Conceptualization and Epistemology for Software and Systems Engineering. 2007. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
14.   MELO, Ana C. V. de. Comitê de Programa - XXI SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE. 2007. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
15.   MELO, Ana C. V. de. Comitê de Programa - SBCARS 2007 - Brazilian Symposium on Software Components, Architectures and Reuse. 2007. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
16.   MELO, Ana C. V. de. Comitê de Programa - Latin American Autonomic Computing Symposium. 2007. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
17.   MELO, Ana C. V. de. Comitê de Programa - 2007 SIWN International Conference on Complex Open Distributed Systems (CODS2007). 2007. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
18.   MELO, Ana C. V. de. Steering Committee - X Brazilian Simposium on Formal Methods. 2007. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
19.   MELO, Ana C. V. de. Steering Committee - Latin American Autonomic Computing Symposium. 2007. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
20.   MELO, Ana C. V. de; Moreira, Alvaro. Chair Comitê de Programa - X Brazilian Simposium on Formal Methods. 2007. Coordenação de Comitê de Programa de Congresso
[ busca Google | busca Bing ]
21.   RAMALHO, G ; MALT, M. ; Kon, Fabio ; Iazzetta, Fernando ; Queiroz, M. Proceedings of the 11th Brazilian Symposium on Computer Music. 2007. Editoração/Anais
[ busca Google | busca Bing ]
22.   WASSERMANN, R. Revisora da IJCAI 07 (International Joint Conference in Artificial Intelligence). 2007. Revisor de trabalhos para conferências
[ busca Google | busca Bing ]

2006

1.   A. Goldman. Métodos Ágeis de Desenvolvimento de Software. 2006. Curso de curta duração ministrado/Outra
[ busca Google | busca Bing ]
2.   A. Goldman. 24º Simpósio Brasileiro de Redes de Computadores. 2006. Comitê de Programa
[ busca Google | busca Bing ]
3.   BRANDÃO, L. O. Cursos do Laboratório de Ensino de Matemática - LEM. 2006. Curso de curta duração ministrado/Extensão
[ busca Google | busca Bing ]
4.   BRANDÃO, L. O. Construção de Cursos a Distância de Geometria: para professores de Matemática. 2006. Curso de curta duração ministrado/Extensão
[ busca Google | busca Bing ]
5.   FINGER, M. Resolvedores SAT. 2006. Curso de curta duração ministrado/Outra
[ busca Google | busca Bing ]
6.   HIRATA JR., R. Introdução à bioinformática. 2006. Curso de curta duração ministrado/Extensão
[ busca Google | busca Bing ]
7.   MELO, Ana C. V. de. Comitê de Programa - IX Brazilian Symposium on Formal Methods. 2006. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
8.   MELO, Ana C. V. de. Chair Comitê de Programa - Latin American Autonomic Computing Symposium. 2006. Coordenação de Comitê de Programa de Congresso
[ busca Google | busca Bing ]
9.   MELO, Ana C. V. de. Steering Committee - Latin American Autonomic Computing Symposium. 2006. Coordenação de Comitê de Programa de Congresso
[ busca Google | busca Bing ]
10.   MELO, Ana C. V. de. Steering Committee - IX Brazilian Symposium on Formal Methods. 2006. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
11.   MELO, Ana C. V. de. Comitê de Programa - XX Simpósio Brasileiro de Engenharia de Software. 2006. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
12.   WASSERMANN, R. Membro do comitê de programa do SBIA/IBERAMIA. 2006. Revisor de trabalhos para conferências
[ busca Google | busca Bing ]
13.   WASSERMANN, R. Membro do comitê de programa do STAIRS (European STarting AI Researcher Symposium). 2006. Revisor de trabalhos para conferências
[ busca Google | busca Bing ]
14.   WASSERMANN, R. Membro do comitê de programa do WONTO (Workshop on Ontologies and their Applications ). 2006. Revisor de trabalhos para conferências
[ busca Google | busca Bing ]
15.   WASSERMANN, R. Membro do comitê de programa do KSCE (Knowledge Sharing and Collaborative Engineering). 2006. Revisor de trabalhos para conferências
[ busca Google | busca Bing ]
16.   WASSERMANN, R. Membro do comitê de programa do Workshop on Rationality and Knowledge. 2006. Revisor de trabalhos para conferências
[ busca Google | busca Bing ]

2005

1.   A. Goldman. 23º Simpósio Brasileiro de Redes de Computadores. 2005. Comitê de Programa
[ busca Google | busca Bing ]
2.   BATISTA, D. M.; CIPRIANO, L. A. G.. Coordenador do time brasileiro de tradução de descrições dos pacotes Debian. 2005. Coordenador
[ busca Google | busca Bing ]
3.   BRANDÃO, L. O. Cursos do Laboratório de Ensino de Matemática - LEM. 2005. Curso de curta duração ministrado/Extensão
[ busca Google | busca Bing ]
4.   BRANDÃO, L. O. Construção de cursos à distância de geometria: pprofessores de matemática. 2005. Curso de curta duração ministrado/Extensão
[ busca Google | busca Bing ]
5.   MELO, Ana C. V. de. Minicurso: Specification and Verification of Mobile Agents using pi-calculus. 2005. Curso de curta duração ministrado/Outra
[ busca Google | busca Bing ]
6.   MELO, Ana C. V. de. Comitê de Programa do VIII Brazilian Symposium on Formal Methods. 2005. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
7.   MELO, Ana C. V. de. Comitê de Programa do IXX Simpósio Brasileiro de Engenharia de Software. 2005. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
8.   WASSERMANN, R. Raciocínio Aproximado. 2005. Curso de curta duração ministrado/Extensão
[ busca Google | busca Bing ]

2004

1.   A. Goldman. 22° Simpósio Brasileiro de Redes de Computadores. 2004. Comitê de Programa
[ busca Google | busca Bing ]
2.   HIRATA, N. S. T. Notas de aula de Algebra Booleana e Aplicacoes. 2004. Desenvolvimento de material didático ou instrucional - Notas de aula
[ busca Google | busca Bing ]
3.   Iazzetta, Fernando ; Queiroz, M. I Seminário Música, Ciência e Tecnologia: Acústica Musical. 2004. Editoração/Anais
[ busca Google | busca Bing ]
4.   MELO, Ana C. V. de. Comitê de Programa do XVIII Simpósio Brasileiro de Engenharia de Software. 2004. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
5.   MELO, Ana C. V. de. Comitê de Programa do VII Brazilian Symposium on Formal Methods. 2004. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
6.   SOGAYAR, Mari Cleide ; CAMPOS, Ana Carolina Vale ; HASEGAWA, Ana Paula G. ; FUJITA, A. ; MACEDO, Antero F. A. ; VEDOY, Cleber Giovane ; COLIN, Christian ; NUNES, Diana Noronha ; FESTA, Fernanda ; LOJUDICE, Fernando Henrique ; LABRIOLA, Letícia ; RODRIGUES, Leonardo de Oliveira ; VALENZUELA, Juan Carlos B. ; KROGH, Karin ; CRUZ, Luciana Oliveira ; DEMASI, Marcos Angelo A. ; FIGUEIRA, Rita de Cássia Sávio ; WINNISCHOFER, Sheila Maria Brochado ; DEGAKI, Theri Leica ; FORTUNA, Vitor Antonio. Biologia molecular da transformação maligna. 2004. Desenvolvimento de material didático ou instrucional - Apostila
[ busca Google | busca Bing ]

2003

1.   A. Goldman. Algoritmos para Computação em Grade. 2003. Curso de curta duração ministrado/Extensão
[ busca Google | busca Bing ]
2.   A. Goldman. Modelos para Computação Paralela. 2003. Curso de curta duração ministrado/Especialização
[ busca Google | busca Bing ]
3.   A. Goldman; F. Kon . Programação Extrema. 2003. 2003.
[ busca Google | busca Bing ]
4.   A. Goldman; F. Kon. Métodos Ágeis de Desenvolvimento de Software. 2003. Curso de curta duração ministrado/Outra
[ busca Google | busca Bing ]
5.   BARRERA, Junior; CESAR JR, R M ; SILVA, Paulo J S. Microarrays. 2003. Curso de curta duração ministrado/Outra
[ busca Google | busca Bing ]
6.   FUJITA, A. ACCESS básico. 2003. Curso de curta duração ministrado/Outra
[ busca Google | busca Bing ]
7.   FUJITA, A. ACCESS avançado. 2003. Curso de curta duração ministrado/Outra
[ busca Google | busca Bing ]
8.   GOLDMAN, A. ; KON, F.. Métodos Ágeis e Programação eXtrema: Desenvolvendo Software com Qualidade e Agilidade. 2003. Curso de curta duração ministrado/Extensão
[ busca Google | busca Bing ]
9.   MELO, Ana C. V. de. Tutorial Convidado - Formal Specifcation and Verification of Mobile Agents using Pi-Calculus. 2003. Curso de curta duração ministrado/Outra
[ busca Google | busca Bing ]
10.   MELO, Ana C. V. de. Comitê de Programa do XVII Simpósio Brasileiro de Engenharia de Software. 2003. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
11.   MELO, Ana C. V. de. Comitê de Programa do VI Workshop de Métodos Formais. 2003. Comitê de Programa de Congresso
[ busca Google | busca Bing ]

2002

1.   A. Goldman; F. Kon ; C. Ferreira. Programação eXtrema: Uma experiência didática. 2002. Curso de curta duração ministrado/Especialização
[ busca Google | busca Bing ]
2.   BATISTA, D. M.; VAZ, T. B.. GNU/Linux - módulo 1. 2002. Curso de curta duração ministrado/Extensão
[ busca Google | busca Bing ]
3.   MELO, Ana C. V. de. Comitê de Programa do XVI Simpósio Brasileiro de Engenharia de Software. 2002. Comitê de Programa de Congresso
[ busca Google | busca Bing ]

2001

1.   BATISTA, D. M.; VAZ, T. B.. Apresentação do sistema operacional GNU/Linux e seus recursos. 2001. Curso de curta duração ministrado/Outra
[ busca Google | busca Bing ]
2.   MELO, Ana C. V. de. Comitê de Programa do XV Simpósio Brasileiro de Engenharia de Software. 2001. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
3.   MELO, Ana C. V. de. Chair - Comitê de Programa do IV Workshop de Métodos Formais. 2001. Coordenação de Comitê de Programa de Congresso
[ busca Google | busca Bing ]
4.   WASSERMANN, R.; Herzig, Andreas. Belief Change, from AGM to realistic models. 2001. Curso de curta duração ministrado/Extensão
[ busca Google | busca Bing ]

2000

1.   BRANDÃO, L. O. iMática - Matemática Interativa na Internet. 2000. Desenvolvimento de material didático ou instrucional - "Site" didático sobre Matemática e afins
[ busca Google | busca Bing ]
2.   MELO, Ana C. V. de. Comitê de Programa do XIV Simpósio Brasileiro de Engenharia de Software. 2000. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
3.   MELO, Ana C. V. de. Comitê de Programa do III Workshop de Métodos Formais. 2000. Comitê de Programa de Congresso
[ busca Google | busca Bing ]
4.   WASSERMANN, R.; FERME, E. ; CHOPRA, S.. Belief Revision: From AGM to Computational Models. 2000. Curso de curta duração ministrado/Extensão
[ busca Google | busca Bing ]


(*) Relatório criado com produções desde 2000 até 2024
Data de processamento: 22/04/2024 18:50:42