Fechar

Notícias sobre Pesquisa

19/06/2019, 16:39
Defesa de Dissertação de Mestrado: A Framework Approach for Quality Feature Analysis of Genome Assemblies

Autor: Guilherme Borba Neumann Orientador: Sergio Lifschitz Data e Hora: 24/06/2019 às 09:30 Local: RDC511

11/06/2019, 16:41
Defesa de Dissertação de Mestrado: Otimização Inversa via Online Learning

Autor: Luisa Silveira Rosa Orientador: Marco Serpa Molinaro Data e Hora: 19/06/2019 às 10:00 Local: RDC511

07/06/2019, 13:36
Defesa de Dissertação de Mestrado: Proactive Mitigation of Vulnerabilities in Plugin-based Web Systems

Autor: Oslien Mesa Rodriguez Orientador: Carlos José Pereira de Lucena Data e Hora: 14/06/2019 às 11:00 Local: FPLF 13º andar

16/05/2019, 10:18
Defesa de Tese de Doutorado: Uma abordagem de teste baseada em modelo para sistemas normativos autônomos

Autor: Francisco José Plácido da Cunha Orientador: Carlos José Pereira de Lucena Data e Hora: 23/05/2019 às 13:30 Local: FPLF 13º andar

07/05/2019, 08:37
Defesa de Dissertação de Mestrado: The Implementation of Records in Pallene

Autor: Gabriel de Quadros Ligneul Orientador: Roberto Ierusalimschy Data e Hora: 10/05/2019 às 16:00 Local: RDC510

26/04/2019, 14:11
Defesa de Dissertação de Mestrado: On the Use of Blockchain Structures in a Multiagent Based Software Engineering Method: A Healthcare Example

Autor: Pedro Augusto da Silva e S. Miranda Orientador: Carlos José Pereira de Lucena Data e Hora: 30/04/2019 às 13:00 Local: FPLF 13º andar

26/04/2019, 13:25
Defesa de Dissertação de Mestrado: A Master-Apprentice Relation Between Two Artificial Intelligences

Autor: Gustavo Madeira Krieger Orientador: Sérgio Colcher Data e Hora: 30/04/2019 às 13:30 Local: RDC415

24/04/2019, 14:50
Defesa de Dissertação de Mestrado: A Survey of Function Values in Imperative Programming Languages

Autor: Luiz Romário Santana Rios Orientador: Roberto Ierusalimschy Data e Hora: 25/04/2019 às 15:00 Local: RDC511

17/04/2019, 17:17
Defesa de Dissertação de Mestrado: Compressão de Provas: uma análise sobre técnicas e uma proposta de estrutura para representar provas.

Autor: José Flavio Cavalcante Barros Jr. Orientador: Edward Hermann Haeusler Data e Hora: 26/04/2019 às 14:00 Local: RDC512

17/04/2019, 17:08
Defesa de Dissertação de Mestrado: Understanding Characteristics and Structural Effectsof Batch Refactorings in Practice

Autor: Ana Carla Gomes Bibiano Orientador: Alessandro Fabricio Garcia Data e Hora: 26/04/2019 às 13:00 Local: RDC 510

17/04/2019, 16:08
Defesa de Tese de Doutorado: Emulating the Vernan Cipher with Collision Resistant Hash Functions for Authentication, Key Establishment and Encryption

Autor: Marcio Ricardo Rosemberg Orientador: Marcus Vinicius Soledade Poggi de Aragao Data e Hora: 26/04/2019 às 10:00 Local: RDC511

17/04/2019, 11:29
Defesa de Dissertação de Mestrado: On Gamifying an Existing Software System: Method, Conceptual Model and Lessons Learned

Autor: Anderson Gonçalves Uchoa Orientador: Alessandro Fabricio Garcia Data e Hora: 26/04/2019 às 15:00 Local: RDC 510

17/04/2019, 10:52
Defesa de Dissertação de Mestrado: On the Prioritization of Design­-Relevant Smells

Autor: Anderson José Silva de Oliveira Orientador: Alessandro Fabricio Garcia Data e Hora: 24/04/2019 às 09:00 Local: RDC 510

17/04/2019, 10:36
Defesa de Dissertação de Mestrado: A fast and space-economical approach to Word Mover’s Distance

Autor: Matheus Telles Werner Orientador: Eduardo Sany Laber Data e Hora: 24/04/2019 às 09:00 Local: RDC511


Áreas de Pesquisa

Banco de Dados

Os Sistemas de Gerenciamento de Bancos de Dados (SGBDs) são fundamentais para suporte a várias áreas de aplicações. No passado, as pesquisas voltaram-se para SGBDs para suporte a aplicações típicas, tais como gestão de pessoal e financeira. O advento de novas aplicações não-convencionais, tais como multimídia, CAD, CASE e cartográficas,…

Professores Atuantes:
Núcleos relacionados:
Ciência de Dados

Ciência de Dados (Data Science) é uma área interdisciplinar que investiga modelos, métodos, processos, algoritmos e ferramentas que permitam extrair conhecimento e descobertas de dados heterogêneos (estruturados ou não), geralmente em grande volume e advindos de diferentes fontes. Atualmente, esta área compreende as seguintes linhas de pesquisa: Algoritmos e estruturas…

Computação Gráfica

O programa acadêmico cooperativo de Computação Gráfica envolve os departamentos de Informática, Engenharia Mecânica, Engenharia Civil e Matemática, e conta com a colaboração do IMPA. O laboratório mais abrangente do programa é o Laboratório de CAD Inteligente (ICAD), tanto do ponto de vista do número de pesquisadores quanto do grau…

Engenharia de Software

A área de Engenharia de Software engloba várias disciplinas e visa trazer para a construção de software os métodos de trabalho das engenharias tradicionais. Uma das principais metas da engenharia de software é construir software podendo-se falar em qualidade do produto e respeito a custo/cronograma predefinidos. No atual estágio de…

Hipertexto e Multimídia

A área de Hipertextos e Multimídia estuda os diversos aspectos envolvidos no uso de informações e conhecimento representados em múltiplas mídias. As pesquisas desenvolvidas abrangem desde os fundamentos até a utilização destas tecnologias e conceitos na solucão de problemas do mundo real. Na parte de fundamentos, são investigados os métodos…

Professores Atuantes:
Núcleos relacionados:
Interação Humano-Computador

A área de Interação Humano-Computador (IHC) se dedica a investigar a interação entre pessoas e artefatos de base computacional. Tem por objetivos principais: alavancar o desenvolvimento de novas tecnologias; aumentar a qualidade dos produtos tecnológicos existentes; e subsidiar a pesquisa científica em várias áreas envolvidas com Computação, Ciências Sociais e…

Linguagens de Programação

Linguagens de programação constituem uma linha básica da computação, separada da Engenharia de Software em várias classificações, por exemplo nos códigos de linha do CNPq. Nesta linha estão incluídas as pesquisas referentes a compiladores, autômatos e ambientes de programação. Em especial, dirigem-se esforcos para o desenvolvimento de compiladores e interpretadores…

Professores Atuantes:
Núcleos relacionados:
Otimização e Raciocínio Automático

As pesquisas na área de raciocínio automático têm como objetivo o projeto e a análise de programas que aprendem modelos de classificação/predição a partir de bases de conhecimento e, também, de programas que aprendem políticas/estratégias de ação a partir de tentativa e erro. As pesquisas na área de otimização combinatória…

Redes de Computadores e Sistemas Distribuídos

A pesquisa na área de sistemas distribuídos e redes de longa distância trata de problemas relacionados a protocolos e serviços interredes. São estudados problemas relacionados com projeto e gerenciamento de redes com grande número de nós, como a Internet. A existência de tais redes abre uma nova gama de possibilidades…

Professores Atuantes:
Núcleos relacionados:
Teoria da Computação

A área de Teoria da Computação visa fornecer fundamentos matemáticos rigorosos para as diversas áreas da Informática. O grupo de pesquisadores que a compõem no Departamento está envolvido em projetos que vão desde a lógica formal até a semântica denotacional, os cálculos de construção de programas e o projeto e…

Professores Atuantes:
Núcleos relacionados:

Livros Publicados pelos Professores do DI

Programming in Lua, 3rd edition
Autor: Ierusalimschy, R.
Programando em NCL
Autores: Soares, L.F.G., Barbosa, S.D.J.
Context Management for Distributed and Dynamic Context-Aware Computing
Autores: da Rocha, R.C.A., Endler, M.
Editora: SpringerBriefs in Computer Science, Springer Verlag
ISBN: 978-1-4471-4019-1. 2012
Decentralized Reasoning in Ambient Intelligence
Autores: Viterbo, J., Endler, M.
Editora: SpringerBriefs in Computer Science, Springer Verlag
ISBN: 978-1-4471-4019-1. 2012.
Lais dos Bretões
Autor: Furtado, A.L.
Editora: Editora PUC-Rio
Sistemas Colaborativos
Autores: Pimentel, M., Fuks, H.
Editora: Elsevier
Interação Humano-Computador
Autores: Barbosa, S.D.J., Silva, B.S.
Editora: Campus-Elsevier
Semiotic Engineering Methods for Scientific Research in HCI
Autores: de Souza, C.S., Leitão, C.F.
Editora: Morgan & Claypool
Introdução à Ciência da Computação com Jogos
Autores: Feijó, B., Clua, E., Silva, F.S.C
Editora: Campus-Elsevier
Web Engineering
Autores: Rossi, G., Pastor, O., Schwabe, D., Olsina, L.
Editora: Springer
Lua Programming Gems
Autores: Figueiredo, L.H., Celes, W., Ierusalimschy, R. (eds.)
Software Engineering for Multi-Agent Systems V
Autores: Choren, R., Lucena, C. J. P., Garcia, A. F., Giese, H., Leung, H. F.
Editora: Springer
Semantic Web: Concepts, Technologies and Applications
Autores: Breitman, K. K., Casanova, M. A., Truszkowski, W.
Editora: Springer
Software Engineering for Multi-Agent Systems IV
Autores: Garcia, A.F., Choren, R., Lucena, C. J., Giorgini, P., Holvoet, T., Romanovsky, A.
Editora: Springer
Programming in Lua, Second Edition
Autor: Ierusalimschy, R.
Editora: Lua.Org
Programmieren mit Lua
Autor: Ierusalimschy, R.
Lua 5.1 Reference Manual
Autores: Ierusalimschy, R., Figueiredo, L.H., Celes, W.
Software Engineering for Multi-Agent Systems III
Autores: Choren, R., Garcia, A.F., Lucena, C. J., Romanovsky, A. (eds.)
Editora: Springer
The Semiotic Engineering of Human-Computer Interaction
Autor: de Souza, C. S.
Editora: MIT Press
VoIP Voz Sobre IP
Autores: Colcher, S., Soares, L. F. G., Souza, G. L., Gomes, A. T. A., Silva, A. O.
Editora: Campus
Perspectives on Software Requirements
Autores: Leite, J. C. , Doorn, J. H.
Editora: Kluwer
Software Engineering for Multi-Agent Systems II
Autores: Lucena, C. J., Garcia, A.F., Romanovsky, A., Castro, J., Alencar, P. (eds.)
Editora: Springer
Introdução a Estruturas de Dados – com técnicas de programação em C
Autores: Celes, W., Cerqueira, R., Rangel, J.
Editora: Campus
Aventuras da Távola Redonda
Autor: Furtado, A.L. (org.)
Editora: Editora Vozes
Software Engineering for Large-Scale Multi-Agent Systems
Autores: Garcia, A.F., Lucena, C. J., Zambonelli, F., Omicini, A., Castro, J. (eds.)
Editora: Springer
Middleware 2003
Autores: Endler, M., Schmidt, D. (eds.)
Editora: – ACM/IFIP/USENIX International Middleware Conference Rio de Janeiro, Brazil, June 16–20, 2003. LNCS, Volume 2672. Springer, 2003
Lais de Maria de França
Autor: Furtado, A.L. (trad.)
Editora: Editora Vozes
Programação Modular
Autor: von Staa, A.
Editora: Editora Campus
A Educação na Era da Internet
Autores: Lucena, C. J.P. , Fuks, H.
Editora: Editora Clube do Futuro
Engenharia de Software com CMM
Autores: Fiorini, S.T., von Staa, A., Baptista, R.M.
Editora: Brasport
Artur e Alexandre: Crônica de dois reis
Autores: Furtado, A.L,
Editora: Editora Ática
Redes de computadores; das LANs, MANs, e WANs às redes ATM
Autores: Soares. L.F.G., Souza Filho, G.L., Colcher, S.
Editora: Editora Campus
Redes Locais
Autor: Soares, L.F.G.
Editora: Ed. Campus
Data Communication Systems and Their Performance
Autores: de Moraes, L.F.M., de Souza e Silva, E., Soares, L.F.G. (eds.)
Editora: IFIP TC6/WG7.3. Elsevier (North Holland)
Engenharia de Programas
Autor: von Staa, A.
Editora: LTC Editora
Programação em Lógica e a Linguagem Prolog
Autores: Casanova, M.A., Giorno, F.A.C., Furtado, A.L.
Editora: Editora Edgard Blücher, Ltda.
Organização de Bancos de Dados
Autores: Furtado, A.L., Santos. C.S.
Editora: Editora Campus
Estruturas de Dados
Autores: Veloso, P. , Santos, C., Azeredo, P., Furtado, A.L.
Editora: Editora Campus
Formal Techniques for Data Base Design
Autor: Furtado, A.L.
Editora: Springer-Verlag
Paradigmas de Linguagens de Programação
Autor: Furtado, A.L.
Editora: Unicamp
Engenharia de Programas
Autor: von Staa, A.
Editora: LTC Editora
Engenharia de Programas
Autor: von Staa, A.
Editora: Terceira Escola de Computação.
Projeto de Programas: Aplicações de programação estruturada em COBOL
Autores: Lucena, C.J.P., von Staa, A.
Editora: SERPRO
Introdução à Programação com PL/1
Autores: Furtado, A.L. , Passos, E.L.
Teoria dos Grafos – Algoritmos
Autor: Furtado, A.L.
Editora: Livros Técnicos Científicos
Introdução às Estruturas de Informação
Autor: Lucena, C.J
Editora: Ao Livro Técnico S.A

Monografias e Teses

O Departamento de Informática – DI mantém uma Assessoria de Biblioteca, Documentação e Informação, situada no prédio do Núcleo de Inovação Tecnológia – NIT, cuja função é atender professores e alunos de pós-graduação da área de Informática em suas demandas de serviços. Esses serviços podem ser consultados abaixo.

1 Serviços de Biblioteca, com o apoio da Divisão de Bibliotecas e Documentação-DBD;

2 Serviços de Publicação e Documentação;

3 Recursos Informacionais.

A Assessoria é responsável, ainda, pela gestão e divulgação da produção acadêmica do Departamento de Informática, que pode ser consultada a seguir:

1 – Monografias em Ciência da Computação, nossa série de relatórios de pesquisa;
2 – Teses e Dissertações defendidas e homologadas;
3 – Produção bibliográfica – livros, periódicos e artigos em anais de congressos – publicada em veículos de ampla circulação.

Desejando informações adicionais, envie mensagem para publicar@inf.puc-rio.br.