Fechar

Notícias sobre Pesquisa

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

05/04/2019, 09:35
Defesa de Dissertação de Mestrado: Classification of Table Rows

Autor: Yosveni Escalona Escalona Orientador: Marco Antonio Casanova Data e Hora: 12/04/2019 às 14:00 Local: RDC 510

02/04/2019, 11:13
Defesa de Dissertação de Mestrado: HRTFs based 3D audio spatialization

Autor: Marcelo Politzer Couto Orientador: Bruno Feijó Data e Hora: 16/04/2019 às 14:00 Local: RDC512

29/03/2019, 10:12
Defesa de Tese de Doutorado: The Multi-Period Prize-Collecting Steiner Tree Problem with Budget Constraints

Autor: Larissa Figueiredo Terra de Faria Orientador: Hélio Cortes Vieira lopes Data e Hora: 05/04/2019 às 09:00 Local: Espaço ECoA - Prédio Padre Laércio   4º Andar

27/03/2019, 08:37
Defesa de Dissertação de Mestrado: Deep learning overview and application to build poker playing agents

Autor: Alexandre Marangoni Costa Orientador: Marcus Vinicius Soledade Poggi de Aragão Data e Hora: 04/04/2019 às 15:00 Local: RDC 511

27/03/2019, 08:18
Defesa de Dissertação de Mestrado: Branch-cut-and-price approach for Process Discovery

Autor: Georges Miranda Spyrides Orientador: Marcus Vinicius Soledade Poggi de Aragão Data e Hora: 28/03/2019 às 13:00 Local: RDC 511

01/03/2019, 08:54
Defesa de Dissertação de Mestrado: A Lógica sobre Leis iALC: Implementação de Provas de Correção e Completude e Proposta de Formalização da Legislação Brasileira

Autor:  Bernardo Pinto de Alkmim Orientador: Edward Hermann Haeusler Data e Hora: 11/03/2019 às 14:00 Local: RDC510

15/02/2019, 09:57
Defesa de Tese de Doutorado: Using Node Importance Measures to help the Process of Keyword Search over RDF Graphs

Autor:  Elisa Souza Menendez Orientador: Marco Antonio Casanova Data e Hora: 22/02/2019 às 10:00 Local: RDC 511

08/02/2019, 08:26
Defesa de Dissertação de Mestrado: Parametric search for Variants of Nested Resource Allocation Problems

Autor: João Pedro Teixeira Brandão Orientador: Thibaut Victor Gaston Vidal Data e Hora: 11/02/2019 às 14:00 Local: RCD 511

17/10/2018, 11:12
Defesa de Dissertação de Mestrado: Análise de dependência baseada em transição aplicada a Universal Dependencies

Autor: César de Souza Bouças Orientador: Ruy Luiz Milidiú Data e Hora: 22/10/2018 às 15:00 Local: RDC512


Á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 bib-di@inf.puc-rio.br.