Rede de Colaboração
Diretório de grupos de pesquisa
Teses e dissertações eletrônicas - PUC-RJ

Marco Antonio Casanova
Bolsista de Produtividade em Pesquisa do CNPq - Nível 1C

Possui graduação em Engenharia Eletrônica pelo Instituto Militar de Engenharia (1974), mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1976), mestrado (1978) e doutorado (1979) em Applied Mathematics pela Harvard University. Foi Coordenador de Pós-Graduação (2005-2007) e Diretor (2007-2011) do Departamento de Informática (DI) da Pontifícia Universidade Católica do Rio de Janeiro. Atualmente é Professor Associado do DI e membro da Comissão de Avaliação da Área de Ciência da Computação da CAPES. Sua pesquisa concentra-se em modelagem conceitual de bancos de dados e em construção de sistemas de gerência de bancos de dados.
(Texto informado pelo autor)

Última atualização do currículo em 06/01/2012
Endereço para acessar este CV:
http://lattes.cnpq.br/0400232298849115
Dados pessoais
NomeMarco Antonio Casanova
Nome em citações bibliográficasCASANOVA, M. A.;Casanova, Marco A.;Casanova, Marco Antonio
SexoMasculino
Endereço profissionalPontifícia Universidade Católica do Rio de Janeiro, Centro Técnico-Científico, Departamento de Informática.
Rua Marques de S. Vicente, 225
Gávea
22451-900 - Rio de Janeiro, RJ - Brasil
Telefone: (21) 35271500 Ramal: 4347 Fax: (21) 3521530
URL da Homepage: http://www.inf.puc-rio.br/~casanova/index.htm

Formação acadêmica/Titulação
1976 - 1979Doutorado em Applied Mathematics .
Harvard University, HARVARD, Estados Unidos.
Título: The Concurrency Control Problem for Database Systems, Ano de Obtenção: 1979.
Orientador: Philip Bernstein.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil .
Palavras-chave: concurrency control; database systems.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Software Básico.
1976 - 1978Mestrado em Applied Mathematics .
Harvard University, HARVARD, Estados Unidos.
Título: (Mestrado sem dissertação), Ano de Obtenção: 1978.
Orientador: Philip Bernstein.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil .
Palavras-chave: Teoria da 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.
1975 - 1976Mestrado em Informática .
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Título: Sobre a Definição Semântica de Linguagens de Programação através de Sistemas para Manipulação de Florestas Encadeadas, Ano de Obtenção: 1976.
Orientador: Roberto Lins de Carvalho.
Palavras-chave: semântica operacional; interpretadores abstratos; propriedade de church rosser; sintaxe abstrata.
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.
1970 - 1974Graduação em Engenharia Eletrônica .
Instituto Militar de Engenharia, IME, Brasil.

Atuação profissional
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Vínculo institucional
2009 - Atual Vínculo: Colaborador, Enquadramento Funcional: Assessor
Outras informações Membro da Comitê Assessor de Ciência da Computação
IBM Brasil - Indústria Máquinas e Serviços, IBM BRASIL, Brasil.
Vínculo institucional
1998 - 1999 Vínculo: Celetista formal, Enquadramento Funcional: Gerente Centro Soluções Educação IBM-LA, Carga horária: 40
Vínculo institucional
1997 - 1997 Vínculo: Celetista formal, Enquadramento Funcional: Gerente Centro Soluções Educ Superior IBM-LA, Carga horária: 40
Vínculo institucional
1995 - 1996 Vínculo: Celetista formal, Enquadramento Funcional: Gerente Centro Científico da IBM Brasil, Carga horária: 40
Vínculo institucional
1992 - 1995 Vínculo: Celetista formal, Enquadramento Funcional: Gerente de Grupo de Pesquisa, Carga horária: 40
Vínculo institucional
1990 - 1992 Vínculo: Celetista formal, Enquadramento Funcional: Pesquisador Senior, Carga horária: 40
Vínculo institucional
1984 - 1990 Vínculo: Celetista formal, Enquadramento Funcional: Pesquisador Associado, Carga horária: 40
Vínculo institucional
1982 - 1984 Vínculo: Celetista formal, Enquadramento Funcional: Pesquisador, Carga horária: 40
Instituto Militar de Engenharia, IME, Brasil.
Vínculo institucional
1981 - 1982 Vínculo: Colaborador, Enquadramento Funcional: Professor, Carga horária: 4
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Vínculo institucional
2003 - Atual Vínculo: Celetista, Enquadramento Funcional: Professor Associado, Carga horária: 44
Vínculo institucional
1998 - 2003 Vínculo: Celetista, Enquadramento Funcional: Professor Associado, Carga horária: 24
Vínculo institucional
1980 - 1982 Vínculo: Celetista, Enquadramento Funcional: Professor Assistente, Carga horária: 40
Atividades
12/2011 - AtualAtividades de Participação em Projeto, Vice-Reitoria Acadêmica, Departamento de Informática.
Projetos de pesquisa
Descrição, Publicação e Acesso a Conjuntos de Linked Data
08/1999 - AtualPesquisa e desenvolvimento , Vice-Reitoria Acadêmica, Departamento de Informática.
Linhas de pesquisa
Banco de Dados
2011 - 2014Atividades de Participação em Projeto, Vice-Reitoria Acadêmica, Departamento de Informática.
Projetos de pesquisa
SEEK - SEmantic Enrichment of trajectory Knowledge discovery
2009 - 2014Atividades de Participação em Projeto, Vice-Reitoria Acadêmica, Departamento de Informática.
Projetos de pesquisa
INCT para Ciência da Web
2007 - 2014Atividades de Participação em Projeto, Vice-Reitoria Acadêmica, Departamento de Informática.
Projetos de pesquisa
Cooperativas de Fontes de Dados
2010 - 2012Atividades de Participação em Projeto, Vice-Reitoria Acadêmica, Departamento de Informática.
Projetos de pesquisa
PACMDCC Parcerias Acadêmicas para Consolidação do Mestrado e Doutorado em Ciência da Computação da UFC
09/2007 - 09/2011Direção e administração, Vice-Reitoria Acadêmica, Departamento de Informática.
Cargo ou função
Chefe de Departamento.
12/2008 - 12/2010Atividades de Participação em Projeto, Vice-Reitoria Acadêmica, Departamento de Informática.
Projetos de pesquisa
Métodos e Técnicas para Alinhamento de Esquemas Conceituais
2008 - 2010Atividades de Participação em Projeto, Vice-Reitoria Acadêmica, Departamento de Informática.
Projetos de pesquisa
Infraestrutura de Metadados para Objetos Científicos
2005 - 2008Atividades de Participação em Projeto, Vice-Reitoria Acadêmica, Departamento de Informática.
Projetos de pesquisa
TerraCOOP - Uma infra-estrutura para modelagem e compartilhamento de dados espaço-temporais
08/2005 - 08/2007Direção e administração, Vice-Reitoria Acadêmica, Departamento de Informática.
Cargo ou função
Coordenador do Programa de Pós-Graduação.
12/2004 - 12/2005Atividades de Participação em Projeto, Vice-Reitoria Acadêmica, Departamento de Informática.
Projetos de pesquisa
Te-GeoWeb - Serviços Geo-espaciais para a Web sobre a Terral
12/2002 - 12/2005Atividades de Participação em Projeto, Centro Técnico-Científico, Departamento de Informática.
Projetos de pesquisa
TerraLib - Tecnologia para Inovação em Sistemas de Informação
10/1981 - 10/1982Direção e administração, Vice-Reitoria Acadêmica, Departamento de Informática.
Cargo ou função
Coordenador do Programa de Pós-Graduação.
Fundação Instituto Brasileiro de Geografia e Estatística, IBGE, Brasil.
Vínculo institucional
1975 - 1976 Vínculo: Servidor Público, Enquadramento Funcional: Analista de Sistemas, Carga horária: 44
SULAMEC S.A., SULAMEC, Brasil.
Vínculo institucional
1974 - 1975 Vínculo: Celetista formal, Enquadramento Funcional: Analista de Sistema Operacional, Carga horária: 44
Vínculo institucional
1972 - 1973 Vínculo: Estagiário, Enquadramento Funcional: Programador Estagiário, Carga horária: 20

Linhas de Pesquisa
1. Banco de Dados
Objetivos: Pesquisa em modelagem conceitual de bancos de dados e em construção de sistemas de gerência de bancos de dados..

Projetos de Pesquisa
2011 - 2014SEEK - SEmantic Enrichment of trajectory Knowledge discovery
Descrição: A flood of data pertinent to moving objects is available today, and will be more in the near future, particularly due to the automated collection of data from personal devices such as mobile phones and other location-aware devices. Such wealth of data, referenced both in space and time, may enable novel classes of applications of high societal and economic impact, provided that the discovery of consumable and concise knowledge out of these raw data is made possible. The fundamental hypothesis is that it is possible, in principle, to aid citizens in their mobile activities by analyzing the traces of their past activities by means of data mining techniques. For instance, behavioral patterns derived from mobile trajectories may allow inducing traffic flow information, capable to help people travelling efficiently, to help public administrations in traffic-related decision making for sustainable mobility and security management. Behavioral patterns can be extracted through a knowledge discovery process where positioning data collected from mobile devices are first transformed in semantically enriched trajectory data stored in a database. Then, these data are loaded in a data warehouse and analyzed with OLAP operations that allow summarization of the trajectories features. Mobility patterns, the most common movements emerging from data, are computed with suitable spatio-temporal data mining algorithms. A further semantic enrichment step is needed to give context-dependent meaning to the discovered patterns. The goal of the project is to investigate methods to extract meaningful knowledge from large amount of movement data by defining techniques for an advanced semantic-rich knowledge discovery process..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Doutorado ( 2) .
Integrantes: José Antonio F. de Macedo - Integrante / Marcelo Tílio Monteiro de Carvalho - Integrante / Vânia Maria Ponte Vidal - Integrante / Chiara Renso - Coordenador / Valéria Times - Integrante / Vania Bogorny - Integrante / Luis Otávio Alvares - Integrante / Renato Fileto - Integrante / Mirco Nanni - Integrante / Fosca Giannotti - Integrante / Dino Pedreschi - Integrante / Monica Wachowicz - Integrante / Alessandra Raffaetà - Integrante / Claudio Silvestri - Integrante / Alessandro Roncato - Integrante / Arend Ligtenberg - Integrante / Marco Antonio Casanova - Integrante.
Financiador(es): European Commission - Cooperação..
2011 - 2013Descrição, Publicação e Acesso a Conjuntos de Linked Data
Descrição: Os princípios que regem a produção de Linked Data fornecem subsídios para a publicação e conexão de dados por meio da infraestrutura fornecida pela Web. Do ponto de vista do desenvolvimento de aplicativos, sugerem uma forma tanto para publicar bancos de dados na Web quanto para facilitar a interoperabilidade entre bancos de dados. Porém, o armazenamento e acesso a grandes conjuntos de triplas RDF, organizados segundo os princípios de Linked Data, representam um grande desafio. De fato, nem os repositórios especializados em triplas RDF, nem os processadores de consultas SPARQL escalam para o volume de dados desejado. Novos paradigmas devem então ser investigados para viabilizar este cenário. Computação em nuvem apresenta-se como uma opção na medida em que provê armazenamento e poder de processamento em larga escala e sob demanda. O objetivo geral do projeto consiste em desenvolver métodos, ferramentas e experimentos envolvendo a descrição, publicação e acesso a conjuntos de Linked Data. No que tange a descrição de conjuntos de Linked Data, o projeto enfatiza a qualidade do conjunto final de triplas RDF, medida tanto pela facilidade em identificar a semântica das classes e propriedades incluídas na descrição do conjunto de triplas RDF, via as restrições de integridade da ontologia de aplicação, quanto pela estratégia adotada para gerar as URIs que identificam os recursos descritos.No contexto de publicação de conjuntos de Linked Data, o projeto expande a estratégia de triplificação tradicional para também publicar triplas RDF em páginas Web estáticas com RDFa embutido. Explora também o uso de plataformas de computação em nuvem como opção para armazenamento e acesso a grandes grafos RDF, enfatizando técnicas de indexação.Quanto a acesso a conjuntos de Linked Data, o projeto explora métodos para otimização de consultas SPARQL no contexto de processamento exploratório e no contexto de processamento mediado..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico ( 5) Doutorado ( 8) .
Integrantes: José Antonio F. de Macedo - Integrante / Karin K. Breitman - Integrante / Luiz André P. Paes Leme - Integrante / Vânia Maria Ponte Vidal - Integrante / José Viterbo - Integrante / Fabio A.M. Porto - Integrante / Antonio Luz Furtado - Integrante / Marco Antonio Casanova - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..
2010 - 2012PACMDCC Parcerias Acadêmicas para Consolidação do Mestrado e Doutorado em Ciência da Computação da UFC
Descrição: Este projeto visa o estabelecimento de parcerias de pesquisa entre grupos do programa de pós-graduação em Ciência da Computação da UFC (MDCC) e do programa de pós-graduação do Departamento de Informática (DI) da PUC-Rio. O objetivo principal dessa parceria é o crescimento do MDCC da UFC com vistas à consolidação do programa. Assim, o projeto visa: 1. Fortalecer a parceria entre grupos afins do MDCC e da PUC-Rio; 2. Fortalecer as linhas de pesquisa do MDCC; 3. Aumentar a produção científica quantitativa e qualitativamente; 4. Ampliar a formação de mestres e doutores na instituição proponente; 5. Promover a mobilidade acadêmica entre os pesquisadores das duas instituições; e também, entre os estudantes da pós-graduação através da modalidade sanduíche entre as duas instituições; 6. Elevar o conceito CAPES do MDCC de 4 para 5. A parceria estabelecida neste projeto (PACMDCC) envolve três grupos de pesquisa do Programa de Pós-graduação em Ciência da Computação da Universidade Federal do Ceará Bancos de Dados, Computação Gráfica e Lógica & Teoria da Computação com seus congêneres do Departamento de Informática da PUC-Rio. No total, são treze professores do MDCC (2 são bolsistas de produtividade nível 2 do CNPq), quatro professores do INF-PUC-RJ (4 são bolsistas PQ: um do nível 1A, um do nível 1C e dois do nível 2), quinze alunos de doutorado e oito alunos de mestrado. Além de promover a consolidação do MDCC e a elevação de sua nota de 4 para 5 na avaliação da CAPES, este projeto visa estabelecer uma interação permanente entre os parceiros, para o desenvolvimento de projetos conjuntos, para melhorar a formação de recursos humanos em níveis de mestrado e doutorado, e para incrementar a mobilidade de alunos de pós-graduação e pesquisadores dos grupos envolvidos..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico ( 8) Doutorado ( 15) .
Integrantes: Marcelo Gattass - Integrante / José Antonio F. de Macedo - Integrante / Karin K. Breitman - Integrante / Bernadette F. Lóscio - Integrante / Vânia Maria Ponte Vidal - Coordenador / Creto Vidal - Integrante / Edward Hermann Haeusler - Integrante / Marco Antonio Casanova - Integrante.
Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro..
2009 - 2014INCT para Ciência da Web
Descrição: A World Wide Web (de agora em diante simplesmente chamada a Web) vem tendo um impacto cada vez maior na pesquisa científica, no desenvolvimento tecnológico e na sociedade como um todo. As formas pelas quais nos comunicamos, colaboramos e aprendemos estão mudando radicalmente graças à Web. Surpreendentemente, ela tem sido pouco pesquisada como um objeto de estudo per se. Isto motivou o aparecimento, em 2006, de uma nova área de pesquisa a chamada Web Science. Neste novo domínio, a própria Web é o objeto a ser estudado deixa, assim, de ser considerada como uma mera tecnologia baseada em computadores, e que serve de base para comunicação e interação em nível mundial. Com esta motivação, este projeto propõe a criação do Instituto Brasileiro de Pesquisa em Ciência da Web, que integrará 10 instituições brasileiras congregando esforços para melhor compreender e planejar a Web. O Instituto possui como missões: (a) Fazer avançar a pesquisa científica em linhas associadas à Ciência da Web, nas quais os pesquisadores do Instituto vêm produzindo contribuições de qualidade para as comunidades científicas nacional e internacional; (2) Educar profissionais e pesquisadores, para garantir inovação e promover colaboração interdisciplinar; (3) Transferir conhecimento para todos os setores da sociedade através de programas educacionais abrangentes; e (4) Transferir conhecimento para a indústria e o setor de serviços através de programas específicos, incluindo residências no Instituto. O programa de pesquisa do Instituto está organizado em 5 camadas: Pessoas e Sociedade , Tecnologias de Software para Aplicações na Web , Gerenciamento de Dados da Web , Infraestrutura da Web e Fundamentos da Ciência da Web ..
Situação: Em andamento; Natureza: Pesquisa.
Integrantes: Carlos José Pereira de Lucena - Coordenador / Cláudia Maria Balzer Medeiros - Integrante / Nelson Maculan - Integrante / Edmundo de Souza e Silva - Integrante / Valmir Carneiro Barbosa - Integrante / Marco Antonio Casanova - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação Carlos Chagas Filho de Amparo à Pesq. do Estado do Rio de Janeiro - Auxílio financeiro..
2008 - 2010Métodos e Técnicas para Alinhamento de Esquemas Conceituais
Descrição: Alinhar dois esquemas conceituais consiste em definir um relacionamento entre os conceitos dos dois esquemas de tal forma que, intuitivamente, conceitos relacionados possuem o mesmo significado. Alinhamento de esquemas conceituais é um problema fundamental na mediação de consultas e na criação de armazéns de dados. Um primeiro enfoque para alinhamento de esquemas, chamado de enfoque sintático, consiste em alinhar conceitos tomando como base sugestões sintáticas, como os nomes e tipos de dados das propriedades. Este enfoque depende da suposição implícita de que proximidade sintática implica em proximidade semântica. O segundo enfoque, chamado de enfoque semântico (extensional ou baseado em instâncias), utiliza as próprias instâncias armazenadas nos bancos de dados para gerar hipóteses sobre o alinhamento dos conceitos. Este enfoque é mais robusto do que o enfoque sintático, mas aplica-se apenas a esquemas sem grande complexidade estrutural. Tanto o enfoque sintático quanto o enfoque semântico operam a posteriori, no sentido de que tentam alinhar esquemas conceituais pré-existentes, que tipicamente não foram projetados para tal. Contrastando com esta situação, podemos definir o enfoque a priori, baseado na premissa de que, se o banco de dados deverá ser integrado com outros bancos de dados (através de um mediador ou de um armazém de dados), então o seu esquema conceitual (ou o esquema exportado) deverá ser baseado em um esquema conceitual de referência para a área de aplicação a que o banco se refere. Tendo em vista que o enfoque sintático foi largamente explorado, este projeto concentra-se no desenvolvimento de técnicas, seguindo o enfoque semântico a posteriori, para alinhamento de taxonomias utilizadas na classificação de objetos em bancos de dados distintos e para alinhamento de esquemas conceituais em geral. O projeto investiga ainda métodos para criação de esquemas conceituais de referência através do alinhamento e reuso de fragmentos de ontologias..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico ( 1) Doutorado ( 2) .
Integrantes: Marco Antonio Casanova - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..
2008 - 2010Infraestrutura de Metadados para Objetos Científicos
Descrição: Em diversas áreas do conhecimento, investigação científica hoje depende da estreita interação entre grupos de pesquisa geograficamente dispersos, detentores de dados, processos ou tecnologia complementares entre si. Esta forma de investigação necessita portanto de uma infra-estrutura de serviços computacionais que permita um acesso fácil, seguro e coordenado a dados e processos geograficamente distribuídos. Dados científicos são provenientes de fontes tão diversas quanto aceleradores de partículas, sensores a bordo de satélites, seqüenciamento de genomas, por exemplo, ou derivados de outros dados através de processos de análise. São são representados de várias formas estruturada, semi-estruturada e não-estruturadas e estão armazenados em bancos de dados especializados, repositórios institucionais, ou mesmo nos computadores pessoais dos pesquisadores. Os processos de análise são tipicamente combinados em processos mais complexos, modelados como workflows. As tarefas de localizar, avaliar a utilidade, extrair, integrar ou combinar estes dados e processos requerem técnicas e ferramentas específicas, endereçando desde gerência de metadados até métodos de otimização para execução de workflows, em um ambiente distribuído de computação. Além disto, tais técnicas e ferramentas não devem ser específicas para um particular domínio de aplicação. Todas as peculiaridades do domínio devem ser isoladas em uma descrição formal, que as ferramentas interpretam para realizar o seu trabalho. Neste contexto, este projeto destina-se a: 1) Desenvolver métodos, técnicas, ferramentas e software frameworks para catalogação semi-automática de metadados de objetos científicos. 2) Desenvolver métodos, técnicas, ferramentas e software frameworks para mediação de acesso aos metadados de objetos científicos. 3) Desenvolver métodos, técnicas, e software frameworks para compartilhamento de resultados entre comunidades de usuários trabalhando em experimentos virtuais..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico ( 3) Doutorado ( 7) .
Integrantes: Karin K. Breitman - Integrante / Antonio Miguel Vieira Monteiro - Integrante / Michael Gerard Hinchey - Integrante / Bernadette F. Lóscio - Integrante / Vânia Maria Ponte Vidal - Integrante / Fabio A.M. Porto - Integrante / Marco Antonio Casanova - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..
2007 - 2014Cooperativas de Fontes de Dados
Descrição: Este projeto visa desenvolver métodos e ferramentas para criação de cooperativas de fontes de dados, definidas como conjuntos de fontes de dados autônomas, interligadas através de mediadores que oferecem consulta e atualização dos dados. Uma fonte de dados é um termo neutro para designar um conjunto de dados encapsulados por um sistema de gerência de banco de dados ou por uma aplicação especificamente desenvolvida para tal. Os métodos de projeto propostos para cooperativas de fontes de dados enfatizarão a definição de padrões estendíveis para organização e acesso aos dados, simplificando a criação de mediadores. As ferramentas de consulta propostas incluirão mecanismos de flexibilização que substituem o conceito de resposta exata pelo conceito de resposta pelo melhor esforço. As ferramentas de atualização propostas também incluirão mecanismos para processamento flexível de workflows, resgatando a noção de transação, na medida do possível. Os métodos e ferramentas propostos manterão a liberdade das fontes de dados, inerente à noção de cooperativa. Os métodos e ferramentas propostos terão impacto tanto no contexto aberto da Web, expondo a semântica das fontes de dados de forma processável por software, quanto no contexto de corporações cujos dados residem em uma variedades de fontes relativamente autônomas. O primeiro contexto corresponde à visão da Web semântica, com a diferença de que a semântica tornada visível é a do conjunto de dados armazenados em uma fonte de dados. O segundo contexto é essencialmente o de uma federação de bancos de dados, exceto que elimina à priori os problemas oriundos da heterogeneidade semântica dos dados..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico ( 4) Doutorado ( 5) .
Integrantes: Marco Antonio Casanova - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..
2005 - 2008TerraCOOP - Uma infra-estrutura para modelagem e compartilhamento de dados espaço-temporais
Descrição: : Este projeto concentra-se em: (1) Desenvolver modelos de dados e linguagens de consulta com suficiente riqueza semântica para capturar adequadamente as características de fenômenos espaço-temporais.(2) Desenvolver métodos com suporte semântico para armazenamento e recuperação de dados espaço-temporais. (3) Desenvolver técnicas para gerência de metadados, mediação de acesso e gerência de workflow, formando cooperativas de dados espaço-temporais a partir de fontes autônomas de dados. (4) Desenvolver um adaptador para bancos de dados Terralib, de tal forma que cada aplicação Terralib possa participar de cooperativas de dados, implementadas com a tecnologia deste projeto. (5) Explorar o conceito de componente de conteúdo digital para endereçar o problema de arquivamento e distribuição de dados espaço-temporais, no contexto de cooperativas de dados..
Situação: Concluído; Natureza: Pesquisa.
Integrantes: Marco Antonio Casanova - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..
2004 - 2005Te-GeoWeb - Serviços Geo-espaciais para a Web sobre a Terral
Descrição: O objetivo geral deste projeto consiste em estender a TerraLib com uma coleção de serviços para a Web, voltados para a catalogação, visualização e acesso a dados geo-espaciais. A implementação baliza-se por duas diretrizes: - baseia-se na TerraLib, uma biblioteca com código aberto para suportar aplicações inovadoras envolvendo dados geo-espaciais; - atende às especificações para implementação de serviços na Web publicadas pelo Open GIS Consortium (OGC). O projeto efetivamente estenderá o alcance da TerraLib, doando-a de serviços para a Web compatíveis com padrões de indústria, e posicionando-a como um componente importante para construção de aplicações geo-espaciais abertas, dentro do paradigma da Web Geo-Espacial..
Situação: Concluído; Natureza: Desenvolvimento.
Integrantes: Marcelo Tílio Monteiro de Carvalho - Integrante / Marco Antonio Casanova - Coordenador.
Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro..
2002 - 2005TerraLib - Tecnologia para Inovação em Sistemas de Informação
Descrição: Os objetivos do projeto TerraLib desdobram-se em três linhas: Expansão da biblioteca básica - expansão e aprimoramento da funcionalidade da TerraLib, utilizando de forma plena a capacidade de extensibilidade de SGBDs para incluir funcionalidade de consulta e indexação espaço-temporal para objetos geográficos, com geometria vetorial ou matricial (raster). Suporte a aplicações distribuídas - desenvolvimento de variantes da biblioteca básica e de nova funcionalidade para atender às necessidades de Sistemas Distribuídos de Informação Geográfica, incluindo acesso através da Web e operação em plataformas móveis com desconexão. Suporte a aplicações avançadas - inclusão de nova funcionalidade para facilitar o desenvolvimento de sistemas avançados de informação geográfica, incluindo questões como modelagem dinâmica e visualização 3D interativa. Com estes desenvolvimentos, a TerraLib estará se capacitando como uma biblioteca capaz de utilizar o potencial completo dos SGBD objeto-relacionais extensíveis e ampliando seu suporte para computação móvel e computação distribuída..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 0) / Especialização ( 0) / Mestrado acadêmico ( 0) / Mestrado profissionalizante ( 0) / Doutorado ( 0) .
Integrantes: Marcelo Tílio Monteiro de Carvalho - Integrante / Gilberto Câmara - Integrante / Antonio Miguel Vieira Monteiro - Integrante / Luiz Velho - Integrante / Marco Antonio Casanova - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.Número de orientações: 5.

Membro de corpo editorial
1986 - Atual Periódico: Geoinformatica (Dordrecht)
2009 - Atual Periódico: Journal of Information and Data Management

Áreas de atuação
1. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Banco de Dados.

Idiomas
Inglês Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Pouco.

Prêmios e títulos
2007Palestra convidada do SBBD 2007, SBC.
1996Prêmio COMPAQ em Ciência e Tecnologia - Segundo Lugar, COMPAQ / UNIEMP.
1996Prêmio COMPAQ em Ciência e Tecnologia - Terceiro Lugar, COMPAQ / UNIEMP.
1994Tecnology Award, IBM.
1991Tecnology Award, IBM.
1989Contribuição Tecnológica, IBM Brasil.
1987Contribuição Tecnológica, IBM Brasil.
1985Contribuição Tecnológica, IBM Brasil.
1984Contribuição Tecnológica, IBM Brasil.
1983Contribuição Tecnológica, IBM Brasil.
1975Honorable Mention - Student Paper Competition [CACM 18(9):494], Association for Computing Machinery.
1974Medalha de Mérito Acadêmico, IME.


Produção em C,T & A
Produção bibliográfica
Artigos completos publicados em periódicos
1. FIGUEIRÊDO, H.F. ; LACERDA, Y.A. ; PAIVA, A.C. ; CASANOVA, M. A. ; BAPTISTA, C.S. . PhotoGeo: a photo digital library with spatial-temporal support and self-annotation. Multimedia Tools and Applications, v. online, p. 1-27, 2011.
2. VIDAL, V.M.P. ; MACEDO, J.A.F. ; PINHEIRO, J.C. ; CASANOVA, M. A. ; PORTO, F.A.M. . Query Processing in a Mediator Based Framework for Linked Data Integration. International Journal of Business Data Communications and Networking (IJBDCN), v. 7, p. 29-47, 2011.
3. LEAL, B.C. ; MACEDO, J.A.F. ; TIMES, V. ; CASANOVA, M. A. ; VIDAL, V.M.P. ; CARVALHO, M.T.M. . From Conceptual Modeling to Logical Representation of Trajectories in DBMS-OR and DW Systems. Journal of Information and Data Management, v. 2, p. 463-478, 2011.
4. CIARLINI, A.E.M. ; CASANOVA, M. A. ; FURTADO, A.L. ; VELOSO, P.A.S. . Modeling interactive storytelling genres as application domains. Journal of Intelligent Information Systems, v. 35, p. 347-381, 2010.
5. LEME, L.A.P.P. ; CASANOVA, M. A. ; BREITMAN, K.K. ; FURTADO, A.L. . OWL schema matching. Journal of the Brazilian Computer Society (Impresso), v. 16, p. 21-34, 2010.
6. GOMES, R. V. ; LEME, L.A.P.P. ; CASANOVA, M. A. . MatchMaking A Tool to Match OWL Schemas. Revista de Informática Teórica e Aplicada, v. 16, p. 71-76, 2010.
7. NUNES, B.P. ; CASANOVA, M. A. . A Frame-Based System for Automatic Classification of Semi-Structured Data. Revista de Informática Teórica e Aplicada (Impresso), v. 16, p. 87-92, 2010.
8. CASANOVA, M. A. ; LAUSCHNER, T. ; LEME, L.A.P.P. ; BREITMAN, K.K. ; FURTADO, A.L. ; VIDAL, V.M.P. . Revising the Constraints of Lightweight Mediated Schemas. Data & Knowledge Engineering, v. 69, p. 1274-1301, 2010.
9. SACRAMENTO, E. ; VIDAL, V.M.P. ; MACEDO, J.A.F. ; LÓSCIO, B.F. ; LOPES, F.L.R. ; CASANOVA, M. A. . Towards Automatic Generation of Application Ontologies. Journal of Information and Data Management, v. 1, p. 535-550, 2010.
10. FOOK, K.D. ; MONTEIRO, A.M.V. ; CÂMARA, G. ; CASANOVA, M. A. ; AMARAL, S. . Geoweb Services for Sharing Modelling Results in Biodiversity Networks. Transactions in GIS (Print), v. 13, p. 379-399, 2009.
11. CIARLINI, A.E.M. ; BARBOSA, S.D.J. ; CASANOVA, M. A. ; FURTADO, A.L. . Event relations in plan-based plot composition. Computers in Entertainment : CIE, v. 7, p. 1-37, 2009.
12. LEMOS, M. ; CASANOVA, M. A. ; FURTADO, A.L. . Process pipeline scheduling. Journal of Systems and Software, v. 81, p. 307-327, 2008.
13. LEME, L.A.P.P. ; BRAUNER, D.F. ; BREITMAN, K.K. ; CASANOVA, M. A. ; GAZOLA, A. . Matching object catalogues. Innovations in Systems and Software Engineering, v. 4, p. 315-328, 2008.
14. FURTADO, A.L. ; BREITMAN, K.K. ; CASANOVA, M. A. ; BARBOSA, S.D.J. . Applying Analogy to Schema Generation. iSys: Revista Brasileira de Sistemas de Informação, v. 1, p. 1, 2008.
15. CASANOVA, M. A. ; BREITMAN, K.K. ; BRAUNER, D.F. ; MARINS, A. . Database Conceptual Schema Matching. Computer (Long Beach, Calif. Print), v. 40, p. 102-104, 2007.
16. FERNANDES, A. ; CIARLINI, A.E.M. ; FURTADO, A.L. ; HINCHEY, M.G. ; CASANOVA, M. A. ; BREITMAN, K.K. . Adding flexibility to workflows through incremental planning. Innovations in Systems and Software Engineering, v. 3, p. 291-302, 2007.
17. VIEIRA, T.A.S.C. ; CASANOVA, M. A. ; FERRÃO, L.G. ; VIEIRA, T.A.S.C. . On the design of ontology-driven workflow flexibilization mechanisms. Journal of the Brazilian Computer Society (Impresso), v. 11, p. 33-43, 2005.
18. COUTINHO, L. ; CASANOVA, M. A. . Desenvolvimento de cursos baseados na Web: Uma proposta metodológica. Boletim Técnico do SENAC, Rio de Janeiro, v. 31, n. 3, p. 37-49, 2005.
19. COUTINHO, L. ; KLIMICK, C. ; CASANOVA, M. A. . Relato de uma experiência de Sistema Híbrido no Ensino Fundamental: Projeto Aulativa. Revista Brasileira de Aprendizagem Aberta e a Distância, v. 1, p. 1-7, 2003.
20. SILVA, A.S. ; LAENDER, A.H.F. ; CASANOVA, M. A. . On the relational representation of complex specialization structures. Information Systems (Oxford), Great Britain, v. 25, n. 6-7, p. 399-415, 2000.
21.   SOARES, L.F.G. ; RODRIGUEZ, N. ; CASANOVA, M. A. . Nested composite nodes and version control in an open hypermedia system. Information Systems (Oxford), v. 20, p. 501-519, 1995.
22. LAENDER, A.H.F. ; CASANOVA, M. A. ; CARVALHO, A.P. ; RIDOLFI, L. . An analysis of SQL integrity constraints from an entity-relationship model perspective. Information Systems (Oxford), v. 19, p. 331-358, 1994.
23. SILVA HEMERLY, A. ; CASANOVA, M. A. ; FURTADO, A.L. . Avoiding misconstruals in database systems: a default logic approach. IEEE Transactions on Knowledge and Data Engineering (Print), v. 5, p. 994-996, 1993.
24. CASANOVA, M. A. ; TUCHERMAN, L. ; LAENDER, A.H.F. . On the design and maintenance of optimized relational representations of entity-relationship schemas. Data & Knowledge Engineering, v. 11, p. 1-20, 1993.
25. GUERREIRO, R. ; SILVA HEMERLY, A. ; CASANOVA, M. A. . STORK and PENGUIN: Logic programming systems using general clauses and defaults. IBM Journal of Research and Development (Cessou em 2008), v. 36, p. 361-374, 1992.
26. CASANOVA, M. A. ; SILVA HEMERLY, A. ; GUERREIRO, R. . Explaining SLDNF resolution with non-normal defaults. IBM Journal of Research and Development (Cessou em 2008), v. 36, p. 347-359, 1992.
27. CASANOVA, M. A. ; FURTADO, A.L. ; TUCHERMAN, L. . A software tool for modular database design. ACM Transactions on Database Systems, v. 16, p. 209-234, 1991.
28. TUCHERMAN, L. ; CASANOVA, M. A. ; FURTADO, A.L. . The chris consultant A tool for database design and rapid prototyping. Information Systems (Oxford), v. 15, p. 187-195, 1990.
29. GUERREIRO, R. ; CASANOVA, M. A. ; SILVA, A.S. . Raciocínio Matemático em Lógica de Defaults. RBC : Revista Brasileira de Computação (Cessou em 1994. Cont. ISSN 0104-6500 Journal of the Brazilian Computer Society (Impresso), v. 5, p. 1-10, 1990.
30. CASANOVA, M. A. ; FURTADO, A.L. . String pattern-matching in Prolog. Computer languages, v. 13, p. 149-170, 1988.
31. CASANOVA, M. A. ; FAGIN, R. ; PAPADIMITRIOU, C.H. . Inclusion dependencies and their interaction with functional dependencies. Journal of Computer and System Sciences (Print), v. 28, p. 29-59, 1984.
32. SCHIEL, U. ; FURTADO, A.L. ; NEUHOLD, E.J. ; CASANOVA, M. A. . Towards multi-level and modular conceptual schema specifications. Information Systems (Oxford), v. 9, p. 43-57, 1984.
33. CASANOVA, M. A. ; SÁ, J.E.A. . Mapping Uninterpreted Schemes into Entity-Relationship Diagrams: Two Applications to Conceptual Schema Design. IBM Journal of Research and Development (Cessou em 2008), v. 28, p. 82-94, 1984.
34. CASANOVA, M. A. . The theory of functional and subset dependencies over relational expressions. Information Processing Letters (Print), v. 16, p. 153-160, 1983.
35. CASANOVA, M. A. . A theory of data dependencies over relational expressions. International Journal of Computer & Information Sciences, v. 12, p. 151-191, 1983.
36. REGO, S. P. ; CASANOVA, M. A. . Uma Teoria de Dependências Funcionais e de Inclusão. RBC. Revista Brasileira de Computação, v. 2, p. 151-167, 1982.
37. BERNSTEIN, P. A. ; CASANOVA, M. A. ; GOODMAN, N. . Errors in 'process synchronization in database systems'. SIGMOD Record, v. 11, p. 9-29, 1981.
38. CASANOVA, M. A. ; BERNSTEIN, P. A. . A Formal System for Reasoning about Programs Accessing a Relational Database. ACM Transactions on Programming Languages and Systems, v. 2, p. 386-414, 1980.
39. CASANOVA, M. A. ; BERNSTEIN, P. A. . General Purpose Schedulers for Database Systems. Acta Informatica, v. 14, p. 195-220, 1980.
40. BERNSTEIN, P. A. ; CASANOVA, M. A. ; GOODMAN, N. . Comments on 'Process Synchronization for Database Systems. ACM Transactions on Database Systems, v. 4, p. 545-546, 1979.
41. CASANOVA, M. A. . Controle de estoque para pequenos estabelecimentos: um modelo simples. Revista do Círculo de Engenharia Militar, v. 73, p. S109-S113, 1975.
Livros publicados/organizados ou edições
1. CARVALHO, M.T.M. (Org.) ; CASANOVA, M. A. (Org.) ; GATTASS, M. (Org.) ; VINHAS, L. (Org.) . Anais do X Simpósio Brasileiro de Geoinformática. São José dos Campos: MCT/INPE, 2008.
2. BREITMAN, K.K. ; CASANOVA, M. A. ; TRUSZKOWSKI, W. . Semantic Web: Concepts, Technologies and Applications. Londres: Springer, 2006. v. 1. 337 p.
3. CASANOVA, M. A. ; CÂMARA, G. ; DAVIS JR., C. ; VINHAS, L. ; QUEIROZ, G.R. . Bancos de Dados Geográficos. 1. ed. Curitiba: Editora MundoGeo, 2005. v. 1. 506 p.
4. FONSECA, F.T. (Org.) ; CASANOVA, M. A. (Org.) . Anais do VII Simpósio Brasileiro de Geoinformática. São José dos Campos: MCT/INPE, 2005.
5. CÂMARA, G. ; CASANOVA, M. A. ; SILVA HEMERLY, A. ; MAGALHÃES, G.C. ; MEDEIROS, C.M.B. . Anatomia de Sistemas de Informação Geográfica. 1. ed. Campinas: Ed. UNICAMP, 1996. v. 1. 250 p.
6. SOARES, L.F.G. ; TUCHERMAN, L. ; NUNES, P.R. ; CASANOVA, M. A. . Fundamentos de Sistemas Multimídia. 1. ed. Porto Alegre: Ed. UFRGS, 1992. v. 1. 250 p.
7.   GIORNO, F.A.C. ; CASANOVA, M. A. ; FURTADO, A.L. . Programação em Lógica e a Linguagem Prolog. 1. ed. São Paulo: Ed. Blucher, 1987. v. 1. 461 p.
8.   CASANOVA, M. A. ; MOURA, A.V. . Princípios de Sistemas de Bancos de Dados DIstribuídos. 1. ed. Rioi de Janeiro: Ed. Campus, 1985. v. 1. 355 p.
9.   CASANOVA, M. A. . The Concurrency Control Problem for Database Systems. 1. ed. Heidelberg: Springer-Verlag, 1981. v. 1. 175 p.
Capítulos de livros publicados
1. CASANOVA, M. A. ; BREITMAN, K.K. ; FURTADO, A.L. ; VIDAL, V.M.P. ; MACEDO, J.A.F. . An Efficient Proof Procedure for a Family of Lightweight Database Schemas. In: Michael G. Hinchey; Lorcan Coyle. (Org.). Conquering Complexity. Heidelberg: Springer, 2011, v. , p. 453-484.
2. SALAS, P.E. ; VITERBO, J. ; BREITMAN, K.K. ; CASANOVA, M. A. . StdTrip: Promoting the Reuse of Standard Vocabularies in Open Government Data. In: David Wood. (Org.). Linking Government Data. Heidelberg: Springer, 2011, v. , p. 113-133.
3. BORGIDA, A. ; CASANOVA, M. A. ; LAENDER, A.H.F. . Logical database design: from conceptual to logical schema. In: Ling Liu ; M. Tamer Özsu. (Org.). Encyclopedia of Database Systems. Heidelberg: Springer-Verlag, 2009, v. , p. 1645-1649.
4. METELLO, M.G. ; CASANOVA, M. A. . Training Games and GIS. In: Gerhard Navratil. (Org.). Research Trends in Geographic Information Science. Berlin: Springer, 2009, v. , p. 257-269.
5. CÂMARA, G. ; VINHAS, L. ; FERREIRA, K.R. ; SOUZA, R.C. ; MONTEIRO, A.M.V. ; CARVALHO, M.T.M. ; CASANOVA, M. A. ; FREITAS, U. . TerraLib: An Open Source GIS Library for Large-scale Environmental and Socio-economic Applications. In: Hall, G. B.. (Org.). Open Source Approaches for Spatial Data Handling. Berlin: Springer, 2007, v. , p. -.
6. FERREIRA, K.R. ; CASANOVA, M. A. ; QUEIROZ, G.R. ; OLIVEIRA, O.F. . Arquiteturas e linguagens. In: Marco A. Casanova; Gilberto Câmara; Clodoveu Davis Jr.; Lúbia Vinhas; Gilberto Ribeiro de Queiroz. (Org.). Bancos de Dados Geográficos. 1 ed. Curitiba: Editora MundoGEO, 2005, v. 1, p. 181-212.
7. CASANOVA, M. A. . Processamento de consultas e gerência de transações. In: Marco A. Casanova; Gilberto Câmara; Clodoveu Davis Jr.; Lúbia Vinhas; Gilberto Ribeiro de Queiroz. (Org.). Bancos de Dados Geográficos. 1 ed. Curitiba: Editora MundoGeo, 2005, v. 1, p. 233-280.
8. CASANOVA, M. A. ; BRAUNER, D.F. ; CÂMARA, G. ; LIMA JR., P.O. . Integração e interoperabilidade entre fontes de dados geográficos. In: Marco A. Casanova; Gilberto Câmara; Clodoveu Davis Jr.; Lúbia Vinhas; Gilberto Ribeiro de Queiroz. (Org.). Bancos de Dados Geográficos. : , 2005, v. 1, p. 317-352.
9. DAVIS JR., C. ; BORGES, K.A.V. ; SOUZA, L.A. ; CASANOVA, M. A. ; LIMA JR., P.O. . O Open Geospatial Consortium. In: Marco A. Casanova; Gilberto Câmara; Clodoveu Davis Jr.; Lúbia Vinhas; Gilberto Ribeiro de Queiroz. (Org.). Bancos de Dados Geográficos. 1 ed. Curitiba: Editora MundoGeo, 2005, v. 1, p. 379-398.
10. SILVA HEMERLY, A. ; CASANOVA, M. A. ; FURTADO, A.L. . Exploiting User Models to Avoid Misconstruals. In: R. Demolomb; T. Imielinsk. (Org.). Non-Standard Queries and Answers. Oxford: Oxford University Press, 1994, v. , p. 73-97.
11. TUCHERMAN, L. ; FURTADO, A.L. ; CASANOVA, M. A. . Modular Database Design Tools. In: Infotech. (Org.). Relational Databases: State of the Art Report. New York: Pergamon, 1986, v. 14:5, p. -.
12. FURTADO, A.L. ; CASANOVA, M. A. . Updating relational views. In: W. Kim; D. Reiner; D. Batory. (Org.). Query Processing in Database Systems. Berlin: Springer, 1985, v. , p. 127-142.
13. CASANOVA, M. A. ; FURTADO, A.L. . On the Description of Database Transition Constraints using Temporal Logic. In: H. Gallaire; J. Minker; J-M. Nicolas. (Org.). Advances of Database Theory. New York: Plenum Press, 1984, v. 2, p. 211-238.
14. CASANOVA, M. A. ; CASTILHO, J.M.V. ; FURTADO, A.L. . Properties of Conceptual and External Database Schemas. In: D. Bjorner. (Org.). Formal Description of Programming Concepts, II. Amsterdam: North-Holland, 1983, v. , p. 91-99.
Trabalhos completos publicados em anais de congressos
1. BAKSHEV, S. ; SPINSANTI, L. ; MACEDO, J.A.F. ; VIDAL, C. ; CASANOVA, M. A. . Trajectory Semantic Visualization. In: 13th International Conference on Enterprise Information Systems (ICEIS), 2011, Beijing, China. Proceedings of the 13th International Conference on Enterprise Information Systems, 2011. v. 1. p. 326-332.
2. BRILHANTE, I.R. ; MACEDO, J.A.F. ; RENSO, C. ; CASANOVA, M. A. . Trajectory Data Analysis using Complex Networks. In: 15th International Database Engineering & Applications Symposium (IDEAS), 2011, Lisbon, Portugal. Proceedings of the 15th International Database Engineering & Applications Symposium, 2011. p. 17-25.
3. CASANOVA, M. A. ; BREITMAN, K.K. ; FURTADO, A.L. ; VIDAL, V.M.P. ; MACEDO, J.A.F. ; GOMES, R. V. ; SALAS, P.E. . The Role of Constraints in Linked Data. In: International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE), 2011, Hersonissos, Crete, Greece. Proceedings of the Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Part II. Lecture Notes in Computer Science. Heidelberg : Springer, 2011. v. 7045. p. 781-799.
4. MASIERO, L. ; CASANOVA, M. A. ; CARVALHO, M.T.M. . Travel Time Prediction using Machine Learning. In: 4th ACM SIGSPATIAL International Workshop on Computational Transportation Science (IWCTS), 2011, Chicago, USA. Proceedings of the 4th ACM SIGSPATIAL International Workshop on Computational Transportation Science (IWCTS 2011), 2011.
5. BARBOSA, I. ; CASANOVA, M. A. . Trust Indicator for Decisions Based On Geospatial Data. In: XII Simpósio Brasileiro de Geoinformática (GeoInfo), 2011, Campos do Jordão, SP, Brasil. Anais do XII Simpósio Brasileiro de Geoinformática. São José dos Campos : MCT/INPE, 2011. p. 49-60.
6. PICCININI, H. ; CASANOVA, M. A. ; FURTADO, A.L. . W-Ray: A Strategy to Publish Deep Web Geographic Data. In: 4th International Workshop on Semantic and Conceptual Issues in GIS (SeCoGIS); in conjunction with the 29th International Conference on Conceptual Modeling (ER 2010), 2010, Vancouver, Canada. Advances in Conceptual Modeling - Applications and Challenges - ER 2010 Workshop SeCoGIS. Lecture Notes in Computer Science. Berlin : Springer, 2010. v. 6413. p. 2-11.
7. SALAS, P.E. ; BREITMAN, K.K. ; VITERBO, J. ; CASANOVA, M. A. . Interoperability by Design Using the Std-Trip Tool: an a priori approach. In: 6th International Conference on Semantic Systems (I-SEMANTICS), 2010, Graz, Austria. Proceedings of the 6th International Conference on Semantic Systems (I-SEMANTICS 2010). ACM International Conference Proceeding Series. New York : ACM, 2010.
8. PINHEIRO, J.C. ; VIDAL, V.M.P. ; MACEDO, J.A.F. ; SACRAMENTO, E. ; CASANOVA, M. A. ; PORTO, F.A.M. . Query Processing in a three-level ontology-based data integration system. In: 12th International Conference on Information Integration and Web-based Applications & Services (iiWAS2010), 2010, Paris, France. Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services (iiWAS2010). New York : ACM, 2010. p. 283-290.
9. METELLO, M.G. ; DAVID, E. ; CARVALHO, M.T.M. ; CASANOVA, M. A. . Integrating Business Processes into GIS-based Simulations. In: XI Simpósio Brasileiro de Geoinformática (GeoInfo), 2010, Campos do Jordão, SP, Brasil. Anais do XI Simpósio Brasileiro de Geoinformática. São José dos Campos : MCT/INPE, 2010. p. 87-97.
10. BARBOSA, I. ; CASANOVA, M. A. . Dicionário de Tipos de Feições Geoespaciais para o Território Brasileiro. In: XI Simpósio Brasileiro de Geoinformática (GeoInfo), 2010, Campos do Jordão, SP, Brasil. Anais do XI Simpósio Brasileiro de Geoinformática. São José dos Campos : MCT/INPE, 2010. p. 170-175.
11. CASANOVA, M. A. ; LAUSCHNER, T. ; LEME, L.A.P.P. ; BREITMAN, K.K. ; FURTADO, A.L. ; VIDAL, V.M.P. . Modeling the Mediated Schema Constraints. In: IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS 2010), 17., 2010, Oxford, England. Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS 2010). Los Alamidos : IEEE Press, 2010. p. 393-402.
12. LEME, L.A.P.P. ; CASANOVA, M. A. ; BREITMAN, K.K. ; FURTADO, A.L. . Instance-based OWL Schema Matching. In: 11th International Conference on Enterprise Information Systems (ICEIS), 2009, Milan, Italy. Proceedings of the 11th International Conference on Enterprise Information Systems. Lecture Notes in Business Information Processing. Berlin : Springer, 2009. v. 24. p. 14-26.
13. LAUSCHNER, T. ; CASANOVA, M. A. ; VIDAL, V.M.P. ; MACEDO, J.A.F. . Efficient Decision Procedures for Query Containment and Related Problems. In: XXIV Simpósio Brasileiro de Banco de Dados (SBBD), 2009, Fortaleza, CE, Brasil. Anais do XXIV Simpósio Brasileiro de Banco de Dados. Porto Alegre : SBC, 2009. p. 1-15.
14. KARLSSON, B. ; BARBOSA, S.D.J. ; FURTADO, A.L. ; CASANOVA, M. A. . A Plot-Manipulation Algebra to Support Digital Storytelling. In: 8th International Conference on Entertainment Computing (ICEC), 2009, Paris, France. Proceedings of the International Conference on Entertainment Computing (ICEC 2009). Lecture Notes in Computer Science. Berlin / Heidelberg : Springer, 2009. v. 5709. p. 132-144.
15. VIDAL, V.M.P. ; SACRAMENTO, E. ; MACEDO, J.A.F. ; CASANOVA, M. A. . An Ontology-Based Framework for Geographic Data Integration. In: Third International Workshop on Semantic and Conceptual Issues in Geographic Information Systems (SeCoGIS), 2009, Gramado, RS, Brazil. Advances in Conceptual Modeling - Challenging Perspectives, ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS. Lecture Notes in Computer Science. Berlin / Heidelberg : Springer, 2009. v. 5833. p. 337-346.
16. CASANOVA, M. A. ; LAUSCHNER, T. ; LEME, L.A.P.P. ; BREITMAN, K.K. ; FURTADO, A.L. ; VIDAL, V.M.P. . A Strategy to Revise the Constraints of the Mediated Schema. In: 28th International Conference on Conceptual Modeling, 2009, Gramado, RS, Brazil. Proceedings of the 28th International Conference on Conceptual Modeling. Lecture Notes in Computer Science. Berlin / Heidelberg : Springer, 2009. v. 5829. p. 265-279.
17. FURTADO, A.L. ; CASANOVA, M. A. ; BREITMAN, K.K. ; BARBOSA, S.D.J. . A Frame Manipulation Algebra for ER Logical Stage Modelling. In: 28th International Conference on Conceptual Modeling (ER), 2009, Gramado, RS, Brazil. Proceedings of the 28th International Conference on Conceptual Modeling. Lecture Notes in Computer Science. Berlin / Heidelberg : Springer, 2009. v. 5829. p. 9-24.
18. BRAUNER, D.F. ; GAZOLA, A. ; CASANOVA, M. A. ; BREITMAN, K.K. . Adaptative Matching of Database Web Services Export Schemas. In: 10th International Conference on Enterprise Information Systems (ICEIS), 2008, Barcelona, Spain. Proceedings of the 10th International Conference on Enterprise Information Systems. Lisbon : INSTICC Institute for Systems and Technologies of Information, Control and Communication, 2008. p. 49-56.
19. CASANOVA, M. A. ; BARBOSA, S.D.J. ; BREITMAN, K.K. ; FURTADO, A.L. . Generalization and Blending in the Generation of Entity-Relationship Schemas by Analogy. In: 10th International Conference on Enterprise Information Systems (ICEIS), 2008, Barcelona, Spain. Proceedings of the 10th International Conference on Enterprise Information Systems, 2008. p. 43-48.
20. VIDAL, V.M.P. ; LEMOS, F.C. ; ARAÚJO, V.S. ; CASANOVA, M. A. . A Mapping-Driven Approach for SQL/XML. In: 10th International Conference on Enterprise Information Systems (ICEIS), 2008, Barcelona, Spain. Proceedings of the 10th International Conference on Enterprise Information Systems. Lisbon : INSTICC Institute for Systems and Technologies of Information, Control and Communication, 2008. p. 65-73.
21. METELLO, M.G. ; CASANOVA, M. A. . Serious Games and GIS. In: Colloquium to Celebrate Andrew Frank 60th Birthday, 2008, Vienna, Austria. Proc. of the Colloquium to celebrate Andrew Frank 60th birthday - GeoInfo Series. Vienna : University of Vienna, 2008. p. 67-73.
22. BREITMAN, K.K. ; BRAUNER, D.F. ; CASANOVA, M. A. ; MILIDIU, R. ; GAZOLA, A. ; PERAZOLO, M. . Instance-Based Ontology Mapping. In: 5th IEEE Workshop on Engineering of Autonomic and Autonomous Systems (EASe), 2008, Belfast, Ireland. Proceedings of the 5th IEEE Workshop on Engineering of Autonomic and Autonomous Systems. Washington : IEEE Computer Society, 2008. p. 67-74.
23. FURTADO, A.L. ; CASANOVA, M. A. ; BARBOSA, S.D.J. ; BREITMAN, K.K. . Analysis and Reuse of Plots Using Similarity and Analogy. In: 27th International Conference on Conceptual Modeling (ER), 2008, Barcelona, Spain. Proceedings of the 27th International Conference on Conceptual Modeling. Lecture Notes in Computer Science. Berlin / Heidelberg : Springer, 2008. v. 5231. p. 355-368.
24. LEME, L.A.P.P. ; CASANOVA, M. A. ; BREITMAN, K.K. ; FURTADO, A.L. . Database Mediation using Multi-Agent Systems. In: 32nd Annual IEEE Software Engineering Workshop (SEW), 2008, Kassandra, Greece. Proceedings of the 32nd Annual IEEE Software Engineering Workshop. Washington, DC : IEEE Computer Society, 2008. p. 125-133.
25. CIARLINI, A.E.M. ; BARBOSA, S.D.J. ; CASANOVA, M. A. ; FURTADO, A.L. . Event Relations in Plan-Based Plot Composition. In: VII Simpósio Brasileiro de Jogos e Entretenimento Digital (SBGames), 2008, Belo Horizonte, MG, Brasil. Anais do VII Simpósio Brasileiro de Jogos e Entretenimento Digital. Porto Alegre : SBC, 2008. p. 31-40.
26. FOOK, K.D. ; MONTEIRO, A.M.V. ; CÂMARA, G. ; CASANOVA, M. A. . Sharing Executable Models through an Open Architecture based on Geospatial Web Services: a Case Study in Biodiversity Modelling. In: X Simpósio Brasileiro de Geoinformática (GeoInfo), 2008, Rio de Janeiro, RJ, Brasil. Anais do X Simpósio Brasileiro de Geoinformática. São José dos Campos : MCT/INPE, 2008. p. 37-50.
27. METELLO, M.G. ; CASANOVA, M. A. ; CARVALHO, M.T.M. . Using Serious Game Techniques to Simulate Emergency Situations. In: X Simpósio Brasileiro de Geoinformática (GeoInfo), 2008, Rio de Janeiro, RJ, Brasil. Anais do X Simpósio Brasileiro de Geoinformática. São José dos Campos : Istituto Nacional de Pesquisas Espaciais, 2008. p. 121-182.
28. BREITMAN, K.K. ; BARBOSA, S.D.J. ; CASANOVA, M. A. ; FURTADO, A.L. . Using Analogy to Promote Conceptual Modeling Reuse. In: 2007 Workshop On Leveraging Applications of Formal Methods, Verification and Validation - Formal Methods in Avionics, Space and Transport (ISoLA), 2007, Poitiers, France. Proceedings of the Workshop On Leveraging Applications of Formal Methods, Verification and Validation. Los Alamitos : IEEE Computer Society Press, 2007. p. 111-122.
29. MARINS, A. ; CASANOVA, M. A. ; FURTADO, A.L. ; BREITMAN, K.K. . Modeling Provenance for Semantic Desktop Applications. In: XXXIV Seminário Integrado de Software e Hardware (SEMISH), 2007, Rio de Janeiro, RJ, Brasil. Anais do XXXIV Seminário Integrado de Software e Hardware. Porto Alegre : SBC, 2007. p. 2100-2112.
30. LEME, L.A.P.P. ; BRAUNER, D.F. ; CASANOVA, M. A. ; BREITMAN, K.K. . A Software Architecture for Automated Geographic Metadata Annotation Generation. In: WorkShop Brasileiro de e-Science - Satélite ao XXII Simpósio Brasileiro de Banco de Dados, 2007, João Pessoa, PB, Brasil. Anais do WorkShop Brasileiro de e-Science. Porto Alegre : SBC, 2007.
31. BRAUNER, D.F. ; INTRATOR, C. ; FREITAS, J.C. ; CASANOVA, M. A. . An Instance-based Approach for Matching Export Schemas of Geographical Database Web Services. In: IX Simpósio Brasileiro de Geoinformática (GeoInfo), 2007, Campos do Jordão, SP, Brasil. Anais do IX Simpósio Brasileiro de Geoinformática. São José dos Campos : MCT/INPE, 2007. p. 109-120.
32. BARBOSA, S.D.J. ; BREITMAN, K.K. ; CASANOVA, M. A. ; FURTADO, A.L. . Similarity and Analogy over Application Domains. In: XXII Simpósio Brasileiro de Banco de Dados (SBBD), 2007, João Pessoa, PB, Brasil. Anais do XXII Simpósio Brasileiro de Banco de Dados. Porto Alegre : SBC, 2007. p. 238-254.
33. CASANOVA, M. A. ; LEMOS, M. . Workflow Parallelization by Data Partition and Pipelining. In: VLDB Workshop on Data Management in Grids, 2007, Vienna, Austria. Proceedings of the 3rd VLDB Workshop on Data Management in Grids, 2007.
34. DANTAS, V. ; METELLO, M.G. ; LEMOS, M. ; CASANOVA, M. A. . Coverage Representation in TerraLib. In: IX Simpósio Brasileiro de Geoinformática (GeoInfo), 2007, Campos do Jordão, SP, Brasil. Anais do IX Simpósio Brasileiro de Geoinformática. São José dos Campos : MCT/INPE, 2007. p. 245-250.
35. ROCHA, R.C.A. ; CASANOVA, M. A. ; ENDLER, M. . Promoting Efficiency and Separation of Concerns through a Hybrid Model Based on Ontologies for Context-Aware Computing. In: 5th Annual IEEE International Conference on Pervasive Computing and Communications - Workshops (PerCom Workshops), 2007, White Plains, NY, USA. Proceedings of the 5th Annual IEEE International Conference on Pervasive Computing and Communications - Workshops. Washington, DC : IEEE Computer Society, 2007. p. 9-13.
36. BRAUNER, D.F. ; CASANOVA, M. A. ; BREITMAN, K.K. ; LEME, L.A.P.P. . Using Gazetteers to Annotate Geographic Catalog Entries. In: 8th International Conference on Enterprise Information Systems (ICEIS), 2006, Paphos, Cyprus. Proceedings of the 8th International Conference on Enterprise Information Systems: Databases and Information Systems Integration, 2006. p. 215-220.
37. VIEIRA, T.A.S.C. ; CASANOVA, M. A. . Transactional Behavior of Workflow Instances. In: 5th International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE), 2006, Montpellier, France. Proceedings of the OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Part I. Lecture Notes in Computer Science. Heidelberg : Springer, 2006. v. 4275. p. 756-771.
38. LEMOS, M. ; CASANOVA, M. A. . On the Complexity of Process Pipeline Scheduling. In: XXI Simpósio Brasileiro de Banco de Dados (SBBD), 2006, Florianópolis, SC, Brasil. Anais do XXI Simpósio Brasileiro de Banco de Dados. Porto Alegre : SBC, 2006. p. 57-71.
39. VIDAL, V.M.P. ; CASANOVA, M. A. ; LEMOS, F.C. . Automatic Generation of SQL/XML Views. In: XXI Simpósio Brasileiro de Banco de Dados (SBBD), 2006, Florianópolis, SC, Brazil. Anais do XXI Simpósio Brasileiro de Banco de Dados. Porto Alegre : SBC, 2006. p. 231-235.
40. COUTINHO, L. ; PADILHA, H. ; GUIMARÃES, L.C. ; CASANOVA, M. A. ; BARBASTEFANO, R. . Aulativa: Digital Learning Workplans. In: 22nd ICDE World Conference on Distance Education, 2006, Rio de Janeiro, RJ, Brasil. Proceedings of the 22nd ICDE World Conference on Distance Education, 2006.
41. BRAUNER, D.F. ; CASANOVA, M. A. ; MILIDIU, R. . Towards Gazetteer Integration Through an Instance-based Thesauri Mapping Approach. In: VIII Simpósio Brasileiro de Geoinformática (GeoInfo), 2006, Campos do Jordão, SP, Brasil. Anais do VIII Simpósio Brasileiro de Geoinformática. Advances in Geoinformatics. Heidelberg : Springer, 2006. p. 235-245.
42. BREITMAN, K.K. ; FELICISSIMO, C.H. ; CASANOVA, M. A. . CATO - A Lightweight Ontology Alignment Tool. In: 17th Conference on Advanced Information Systems Engineering (CAiSE), 2005, Porto, Portugal. Proceedings of the 17th Conference on Advanced Information Systems Engineering. CEUR Workshop Proceedings, 2005. v. 161. p. 83-88.
43. VIDAL, V.M.P. ; ARAÚJO, V.S. ; CASANOVA, M. A. . Towards Automatic Generation of Rules for the Incremental Maintenance of XML Views over Relational Data. In: 6th International Conference on Web Information Systems Engineering (WISE), 2005, New York, USA. Proceedings of the 6th International Conference on Web Information Systems Engineering. Lecture Notes in Computer Science. Heidelberg : Springer, 2005. v. 3806. p. 189-202.
44. COUTO, L.M. ; CASANOVA, M. A. ; SCHWABE, D. . Desenvolvimento de Sistemas de Informação Geográfica Cooperativos seguindo o Padrão Modelo-Visão-Controle. In: VII Simpósio Brasileiro de Geoinformática (GeoInfo), 2005, Campos do Jordão, SP, Brasil. Anais do VII Simpósio Brasileiro de Geoinformática. São José dos Campos : MCT/INPE, 2005. p. 269-280.
45. VIEIRA, T.A.S.C. ; CASANOVA, M. A. ; FERRÃO, L.G. . Implementation of Ontology-driven Workflow Flexibilization Mechanisms. In: Workshop on Ontologies and their Applications, 2004, São Luiz, MA, Brazil. Proceedings of the Workshop on Ontologies and their Applications, 2004. p. 79-90.
46. BRAUNER, D.F. ; CASANOVA, M. A. ; LUCENA, C.J.P. . Geo-Object Catalogs to Enable Geographic Databases Interoperability. In: VI Simpósio Brasileiro de Geoinformática (Geoinfo), 2004, Campos do Jordão, SP, Brasil. Anais do VI Simpósio Brasileiro de Geoinformática. São José dos Campos : MCT/INPE, 2004. p. 235-246.
47. COUTINHO, L. ; CAMPOS, G.H.B. ; MOTTA, C. ; CASANOVA, M. A. . Learning Objects: Separating Content from Didactics. In: XXXI Seminário Integrado de Software e Hardware (SEMISH), 2004, Salvador, BA, Brazil. Anais do XXXI Seminário Integrado de Software e Hardware. Porto Alegre : SBC, 2004.
48. VIEIRA, T.A.S.C. ; CASANOVA, M. A. . Semanticflow: A System for Flexible Workflow Execution. In: 2nd ICEIS Doctoral Consortium on Enterprise Information Systems (DCEIS), 2004, Porto, Portugal. Proceedings of the 2nd ICEIS Doctoral Consortium. Porto : INSTICC Press, 2004. p. 1-8.
49. LEMOS, M. ; CASANOVA, M. A. ; SEIBEL, L.F.B. ; MACEDO, J.A.F. ; BASÍLIO, A. . Ontology-Driven Workflow Management for Biosequence Processing Systems. In: 15th International Conference on Database and Expert Systems Applications (DEXA), 2004, Zaragoza, Spain. Proceedings of the 15th International Conference on Database and Expert Systems Applications. Lecture Notes in Computer Science. Heidelberg : Springer, 2004. v. 3180. p. 781-790.
50. COUTINHO, L. ; CAMPOS, G.H.B. ; MOTTA, C. ; CASANOVA, M. A. . Objetos de Aprendizagem e Cursos na Web. In: XI Congresso Internacional de Educação a Distância, 2004, Salvador, BA, Brazil. Anais do XI Congresso Internacional de Educação a Distância, 2004.
51. FERREIRA FILHO, A.T. ; CARDOSO, V.F. ; CARBONE, R. ; BERARDINELLI, R.P. ; CARVALHO, M.T.M. ; CASANOVA, M. A. ; OLIVEIRA, W.J. . The Transpetro Emergency Response System. In: International Pipeline Conference 2004 (IPC), 2004, Calgary, Canada. Proceedings of the International Pipeline Conference 2004, 2004.
52. OLIVEIRA, W.J. ; PORCIANO, P.P. ; ALVAREZ, B.S.V. ; CASANOVA, M. A. ; CARVALHO, M.T.M. ; MONTENEGRO, A.A. ; PINTO, P.C. . SAAAP - An Automated Pipeline Routing System. In: International Pipeline Conference 2004 (IPC), 2004, Calgary, Canada. Proceedings of the International Pipeline Conference 2004, 2004.
53. VIEIRA, T.A.S.C. ; CASANOVA, M. A. . An Ontology-driven Architecture for Flexible Workflow Execution. In: Proc. 2nd Latin American Web Congress and the 10th Brazilian Symposium on Multimedia and the Web, Joint Conferences (LA-Web & WebMedia), 2004, Ribeirão Preto, SP, Brazil. Proceedings of the Joint Conference 10th Brazilian Symposium on Multimedia and the Web & 2nd Latin American Web Congress, (WebMedia & LA-Web 2004), 2004. p. 70-77.
54. COUTINHO, L. ; CAMPOS, G.H.B. ; MOTTA, C. ; CASANOVA, M. A. . Constructing Web-based Courses with Content Objects, Didactic Objects and Didactic Situations. In: International Conference on Computers in Education 2004 (ICCE), 2004, Melbourne, Australia. Proceedings of the International Conference on Computers in Education, 2004. p. 1465-1474.
55. DIAS, F.M. ; CASANOVA, M. A. ; CARVALHO, M.T.M. . Workflow Execution in Disconnected Environments. In: XVIII Simpósio Brasileiro de Bancos de Dados (SBBD), 2003, Manaus, AM, Brasil. Anais do XVIII Simpósio Brasileiro de Bancos de Dados. Porto Alegre : SBC, 2003. p. 229-239.
56. VIDAL, V.M.P. ; CASANOVA, M. A. ; ARAÚJO, V.S. . Generating Rules for Incremental Maintenance of XML View of Relational Data. In: Fifth International Workshop on Web Information and Data Management (WIDM), 2003, New Orleans, LO, USA. Proceedings of the Fifth International Workshop on Web Information and Data Management, 2003. p. 139-146.
57. VIDAL, V.M.P. ; CASANOVA, M. A. . Efficient Maintenance of XML Views Using the View Correspondence Assertions. In: 4th International Conference on Electronic Commerce and Web Technologies (EC-Web), 2003, Prague, Czech Republic. Proceedings of the 4th International Conference on e-Commerce and Web Technologies. Lecture Notes in Computer Science. Heidelberg : Springer, 2003. v. 2738. p. 281-291.
58. OLIVEIRA, W.J. ; PORCIANO, P.P. ; ALVAREZ, B.S.V. ; CASANOVA, M. A. ; MONTENEGRO, A.A. ; PINTO, P.C. . Sistema de Avaliação Ambiental de Alternativas de Percursos - Uma Abordagem Tecnológica para Estudos de Viabilidade Ambiental de Projetos. In: Rio Pipeline Conference & Exposition 2003, 2003, Rio de Janeiro, RJ, Brazil. Proceedings of the Rio Pipeline Conference & Exposition 2003, 2003.
59. LEMOS, M. ; SEIBEL, L.F.B. ; CASANOVA, M. A. . Functional Requirements of Biosequence Annotation Systems. In: 1st International Workshop on Biological Data Management (BIDM), 2003, Prague, Czech Republic. Proceedings of the 1st International Workshop on Biological Data Management, 2003.
60. LEMOS, M. ; SEIBEL, L.F.B. ; CASANOVA, M. A. . BioNotes: A System for Biosequence Annotation. In: 14th International Workshop on Database and Expert Systems Applications (DEXA), 2003, Prague, Czech Republic. Proceedings of the 14th International Workshop on Database and Expert Systems Applications, 2003. p. 16-20.
61. CASANOVA, M. A. ; TUCHERMAN, L. ; SCHWABE, D. ; VIEIRA, T.A.S.C. ; PORTINARI, J.C. . Portfolios and Guided Tours for Digital Cultural Repositories. In: Museums and the Web 2002 (MW), 2002, Boston, USA. Proceedings of the Museums and the Web 2002, 2002.
62. MARTINS, L.C. ; VIEIRA, T.A.S.C. ; BARBOSA, S.D.J. ; CASANOVA, M. A. ; LUCENA, C.J.P. . A Framework for Filtering and Packaging Documents. In: Second International Conference Adaptive Hypermedia and Adaptive Web-Based Systems (AH), 2002, Malaga, Spain. Proceedings of the Second International Conference Adaptive Hypermedia and Adaptive Web-Based Systems. Lecture Notes in Computer Science. Heidelberg : Springer, 2002. v. 2347. p. 274-283.
63. CARVALHO, M.T.M. ; CASANOVA, M. A. ; TORRES, F. ; SANTOS, A. . INFOPAE - an Emergency Plan Deployment System. In: 2002 International Pipeline Conference (IPC), 2002, Calgary, Canada. Proceedings of the 2002 International Pipeline Conference, 2002.
64. CASANOVA, M. A. ; VIEIRA, T.A.S.C. ; CARVALHO, M.T.M. ; CORSEUIL, E.T.L. ; NOBRE, H. ; DIAS, F.M. ; LEVY, C.H. . The Design of XPAE - An Emergency Plan Definition Language. In: IV Simpósio Brasileiro de GeoInformática (GeoInfo), 2002, Cachambú, MG, Brazil. Anais do IV Simpósio Brasileiro de GeoInformática. Belo Horizonte : Prodabel, 2002. p. 25-32.
65. CARVALHO, M.T.M. ; FREIRE, J. ; CASANOVA, M. A. . The Architecture of an Emergency Plan Deployment System. In: III Simpósio Brasileiro de Geoinformática (GeoInfo), 2001, Rio de Janeiro, RJ, Brazil. Anais do III Simpósio Brasileiro de Geoinformática. São José dos Campos : MCT/INPE, 2001. p. 19-26.
66. MEDIANO, M. ; CASANOVA, M. A. ; GATTASS, M. . TDA - Um Método para Indexar Topologicamente Atributos Espaciais. In: XIV Simpósio Brasileiro de Banco de Dados (SBBD), 1999, Florianópolis, SC, Brazil. Anais do XIV Simpósio Brasileiro de Bancos de Dados. Porto Alegre : SBC, 1999.
67. COUTINHO, L. ; RIBEIRO, A.F. ; CASANOVA, M. A. . A Collaborative Learning Environment for Educational Technology Centers. In: 19th World Conference on Open Learning and Distance Education, 1999, Vienna, Austria. Proceedings of the 19th World Conference on Open Learning and Distance Education, 1999.
68. COUTINHO, L. ; CASANOVA, M. A. . Uma Experiência de Campo com Aprendizagem Colaborativa. In: VI Congresso Internacional de Educação à Distância, 1999, Rio de Janeiro. Anais do VI Congresso Internacional de Educação à Distância, 1999.
69. COUTINHO, L. ; SEIDEL, V. ; RIBEIRO, A.F. ; CASANOVA, M. A. . Couching Teachers to Work with Collaborative Learning. In: III Jornada de Educación a Distancia Mercusul/Sul, 1999, Osorno, Chile. Anais III Jornada de Educación a Distancia Mercusul/Sul, 1999.
70. SOARES, L.F.G. ; CASANOVA, M. A. . Qualidade de Vídeo em Ambientes de Ensino e Aprendizagem Não-Presenciais. In: III Jornada de Educación a Distancia Mercusul/Sul, 1999, Osorno, Chile. Anais III Jornada de Educación a Distancia Mercusul/Sul, 1999.
71. MEDIANO, M. ; GATTASS, M. ; CASANOVA, M. A. . HPS-tree: Um Método de Acesso para Armazenar Mapas Longos com Multi-resolução Geométrica e Topológica. In: IX Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens (SIBGRAPI), 1996, Caxambú, MG, Brasil. Anais do IX Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens, 1996. p. 219-226.
72. SILVA, A.S. ; LAENDER, A.H.F. ; CASANOVA, M. A. . An Approach to Maintaining Optimized Relational Representations of Entity-Relationship Schemas. In: 15th International Conference on Conceptual Modeling (ER), 1996, Cottbus, Germany. Proceedings of the 15th International Conference on Conceptual Modeling. Lecture Notes in Computer Science. Heidelberg : Springer, 1996. v. 1157. p. 292-308.
73. CÂMARA, G. ; CASANOVA, M. A. ; FREITAS, J.C. ; CORDEIRO, J.P.C. ; HARA, L. . A Presentation Language for GIS Cadastral Data. In: Fourth ACM Workshop on Advances on Advances in Geographic Information Systems, 1996, Rockville, Maryland, USA. Proceedings of the fourth ACM Workshop on Advances on Advances in Geographic Information Systems, 1996. p. 139-146.
74. SOARES, L.F.G. ; CASANOVA, M. A. ; SOUZA, G. . Anchors and Links for Nested Composite Nodes. In: 1996 MultiMedia Modeling: Towards The Information Society Superhighway, 1996, Toulouse, France. Proceedings of the 1996 MultiMedia Modeling: Towards The Information Society Superhighway, 1996. p. 21-34.
75. CÂMARA, G. ; FREITAS, U. ; CASANOVA, M. A. . Analysis of the Algebras of Geographical Operations. In: VIII Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens (SIBGRAPI), 1995, São Carlos, SP, Brazil. Anais do VIII Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens. Porto Alegre : SBC, 1995.
76. SOARES, L.F.G. ; SOUZA, G. ; CASANOVA, M. A. . Synchronization Aspects of an Hypermedia Presentation Model with Composite Nodes. In: Workshop on Effective Abstraction in Multimedia Layout, Presentation and Interaction, 1995, San Francisco, USA. Proceedings of the Workshop on Effective Abstration in Multimedia Layout, Presentation and Interaction, 1995.
77. TOCANTINS, C. ; CASANOVA, M. A. . Armazenamento Distribuído de Mapas Vetoriais em Sistemas de Geoprocessamento. In: X Simpósio Brasileiro de Bancos de Dados (SBBD), 1995, Recife, PE, Brazil. Anais do X Simpósio Brasileiro de Bancos de Dados. Porto Alegre : SBC, 1995.
78. SILVA, A.S. ; LAENDER, A.H.F. ; CASANOVA, M. A. . Uma Discussão sobre o Mapeamento Relacional Correto de Estruturas Complexas de Especialização em Esquemas Entidade-Relacionamento. In: X Simpósio Brasileiro de Bancos de Dados (SBBD), 1995, Recife, PE, Brasil. Anais do X Simpósio Brasileiro de Bancos de Dados. Porto Alegre : SBC, 1995.
79. SOARES, L.F.G. ; RODRIGUEZ, N. ; CASANOVA, M. A. . Nested Composite Nodes and Version Control in Hypermedia System. In: Workshop on Versioning in Hypertext Systems, 1994, Edinburgh, Scotland. Proceedings of the Workshop on Versioning in Hypertext Systems, 1994.
80. CÂMARA, G. ; FREITAS, U. ; SOUZA, R.C. ; CASANOVA, M. A. ; SILVA HEMERLY, A. ; MEDEIROS, C.M.B. . A Model to Cultivate Objects and Manipulate Fields. In: 2nd ACM Workshop on Advances in Geographic Information Systems, 1994, Gaithersburg, USA. Proceedings of the 2nd ACM Workshop on Advances in Geographic Information Systems, 1994.
81. MEDEIROS, C.M.B. ; CASANOVA, M. A. ; CÂMARA, G. . The Domus Project - Building an OODB GIS For Environmental Control. In: Workshop on Advanced Research in Geographic Information Systems, 1994, Ascona, Switzerland. Proceedings of the Workshop on Advanced Research in Geographic Information Systems. Lecture Notes in Computer Science. Heidelberg : Springer, 1994. v. 884. p. 45-54.
82. CÂMARA, G. ; FREITAS, U. ; SOUZA, R.C. ; SILVA HEMERLY, A. ; CASANOVA, M. A. . A General Model for Integrating Remote Sensing and GIS Data. In: IV Symposium on Mapping and Geographic Information Systems, 1994. Proceedings of the IV Symposium on Mapping and Geographic Information Systems, 1994.
83. LAENDER, A.H.F. ; CASANOVA, M. A. . On the Mapping of NIAM Schemas into SQL. In: First International Conference on Object-Role Modelling (ORM), 1994, Magnetic Island, Australia. Proceedings of the First International Conference on Object-Role Modelling (ORM-1), 1994. p. 89-102.
84. ALCEZAR, J.P. ; SILVA HEMERLY, A. ; CASANOVA, M. A. ; FURTADO, A.L. . Cooperative Interfaces for Spatio-temporal Databases. In: 7th International Conference no Systems Research Informatics and Cybernetics, Focus Symposium no Database and Expert Systems, 1994, Baden-Baden, Germany. Proceedings of the 7th International Conference no Systems Research Informatics and Cybernetics, Focus Symposium no Database and Expert Systems, 1994.
85. MEDIANO, M. ; CASANOVA, M. A. . V-Trees - A Storage Method for Long Vector Data. In: 20th International Conference on Very Large Data Bases (VLDB), 1994, Santiago, Chile. Proceedings of the 20th International Conference on Very Large Data Bases (VLDB'94), 1994. p. 321-330.
86. MEDIANO, M. ; CASANOVA, M. A. ; DREUX, M. . A Family of Storage Methods for Geographic Data. In: IX Simpósio Brasileiro de Bancos de Dados (SBBD), 1994, São Carlos, SP, Brazil. Anais do IX Simpósio Brasileiro de Bancos de Dados. Porto Alegre : SBC, 1994.
87. SILVA, A.S. ; LAENDER, A.H.F. ; CASANOVA, M. A. . Sobre a Manutenção de Consistência de Representações Otimizadas de Esquemas ER. In: IX Simpósio Brasileiro de Bancos de Dados (SBBD), 1994, São Carlos, SP, Brasil. Anais do IX Simpósio Brasileiro de Bancos de Dados. Porto Alegre : SBC, 1994.
88. SOARES, L.F.G. ; CASANOVA, M. A. ; COLCHER, S. . A Distributed Architecture for Hypermedia Systems using MHEG Standard Objects Interchange. In: Workshop on Hypermedia and Hypertext Standards, 1993, Amsterdam, The Netherlands. Proceedings of the Workshop on Hypermedia and Hypertext Standards, 1993.
89. FURTADO, A.L. ; CASANOVA, M. A. ; SILVA HEMERLY, A. . Cooperative Environments for Geographic Databases: a Prescriptive Analysis. In: VIII Simpósio Brasileiro de Banco de Dados (SBBD), 1993, Campina Grande, PB, Brazil. Anais do VIII Simpósio Brasileiro de Banco de Dados. Porto Alegre : SBC, 1993.
90. SOARES, L.F.G. ; CASANOVA, M. A. . Uma Arquitetura Distribuída para o Modelo de Contextos Aninhados com Intercâmbio de Objetos MHEG. In: IX Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC), 1993, Campinas, SP, Brazil. Anais do IX Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. Porto Alegre : SBC, 1993.
91. CASANOVA, M. A. ; SILVA HEMERLY, A. ; DUARTE, M. P. C. ; MEDIANO, M. ; CÂMARA, G. ; FREITAS, U. . Um Sistema de Armazenamento para Atributos Espaciais de Objetos Geográficos. In: II Simpósio Brasileiro de Geoinformática (GeoInfo), 1993, São Paulo, SP, Brazil. Anais do II Simpósio Brasileiro de Geoinformática. São José dos Campos : MCT/INPE, 1993.
92. SILVA HEMERLY, A. ; FURTADO, A.L. ; CASANOVA, M. A. . Towards Cooperativeness in Geographic Databases. In: 4th International Conference Database and Expert Systems Applications (DEXA), 1993, Prague, Czech Republic. Proceedings of the 4th International Conference of Database and Expert Systems Applications. Lecture Notes in Computer Science. Berlin : Springer, 1993. v. 720. p. 373-376.
93. SOARES, L.F.G. ; CASANOVA, M. A. ; RODRIGUEZ, N. . Um Modelo Conceitual Hipermídia com Nós de Composição e Controle de Versões. In: VI Simpósio Brasileiro de Engenharia de Software (SBES), 1993, Rio de Janeiro, RJ, Brazil. Anais do VI Simpósio Brasileiro de Engenharia de Software. Porto Alegre : SBC, 1993.
94. FURTADO, A.L. ; CASANOVA, M. A. . A Declarative Conceptual Modelling Language. In: VII Simpósio Brasileiro de Banco de Dados (SBBD), 1992, Porto Alegre, RS, Brazil. Anais do VII Simpósio Brasileiro de Banco de Dados. Porto Alegre : SBC, 1992.
95. CASANOVA, M. A. ; SILVA HEMERLY, A. ; FURTADO, A.L. . A Declarative Conceptual Modelling Language: Description and Example Applications. In: Conference on Advanced Information Systems Engineering, 1992, Manchester, England. Proceedings of the Conference on Advanced Information Systems Engineering. Lecture Notes in Computer Science. Berlin : Springer, 1992. v. 593. p. 589-611.
96. CASANOVA, M. A. ; CARVALHO, A.P. ; RIDOLFI, L. . FeST - Uma Ferramenta para Projeto Conceitual de Banco de Dados. In: VII Simpósio Brasileiro de Banco de Dados (SBBD), 1992, Porto Alegre, RS, Brazil. Anais do VII Simpósio Brasileiro de Banco de Dados. Porto Alegre : SBC, 1992.
97. CÂMARA, G. ; FREITAS, U. ; SOUZA, M.A. ; CASANOVA, M. A. ; SILVA HEMERLY, A. . Data Modelling and Development of a Spatial Database for the Brazilian Amazonia. In: XVII Congress of the International Society for Photogrammetry and Remote Sensing, 1992, Washington, DC, USA. Proceedings of the XVII Congress of the International Society for Photogrammetry and Remote Sensing, 1992.
98. SILVA HEMERLY, A. ; CASANOVA, M. A. . Relacionando Resolução SLDNF e Lógica de Defaults. In: IX Simpósio Brasileiro de Inteligência Artificial (SBIA), 1992, Rio de Janeiro, RJ, Brazil. Anais do IX Simpósio Brasileiro de Inteligência Artificial. Porto Alegre : SBC, 1992.
99. CÂMARA, G. ; SOUZA, R.C. ; FREITAS, U. ; CASANOVA, M. A. . SPRING: Processamento de Imagens e Dados Georeferenciados. In: V Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens (SIBGRAPI), 1992, Águas de Lindóia, MG, Brazil. Anais do V Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens. Porto Alegre : SBC, 1992.
100. CASANOVA, M. A. ; SILVA HEMERLY, A. ; GUERREIRO, R. . Explaining SLDNF Resolution with Non-Normal Defaults. In: 8th International Conference on Logic Programming (ICLP), 1991, Paris, France. Proceedings of the 8th International Conference on Logic Programming. Boston : MIT Press, 1991. p. 18-31.
101. FURTADO, A.L. ; SILVA HEMERLY, A. ; CASANOVA, M. A. . Modificação de Comandos como Instrumento de Cooperatividade. In: VI Simpósio Brasileiro de Banco de Dados (SBBD), 1991, Manaus, AM, Brazil. Anais do VI Simpósio Brasileiro de Banco de Dados. Porto Alegre : SBC, 1991.
102. SILVA HEMERLY, A. ; CASANOVA, M. A. ; FURTADO, A.L. . Exploiting User Models to Avoid Misconstruals. In: Workshop on Nonstandard Queries and Answers (WNQA), 1991, Toulouse, France. Proceedings of the Workshop on Nonstandard Queries and Answers, 1991.
103. SILVA HEMERLY, A. ; CASANOVA, M. A. ; FURTADO, A.L. . Cooperative Behaviour through Request Modification. In: 10th International Conference on Entity-Relationship Approach (ER), 1991, San Mateo, CA, USA. Proceedings of the 10th International Conference on Entity-Relationship Approach, 1991. p. 607-621.
104. CASANOVA, M. A. ; CARVALHO, A.P. ; RIDOLFI, L. ; LAENDER, A.H.F. . An Analysis of Table Constraints in SQL2 based on the Entity-Relationship Model. In: 10th International Conference on Entity-Relationship Approach (ER), 1991, San Mateo, CA, USA. Proceedings of the 10th International Conference on Entity-Relationship Approach, 1991. p. 623-641.
105. SILVA HEMERLY, A. ; CASANOVA, M. A. ; FURTADO, A.L. . An Approach to the Problem of Avoiding Misconstruals. In: VIII Simpósio Brasileiro de Inteligência Artificial (SBIA), 1991, Brasília, DF, Brazil. Anais do VIII Simpósio Brasileiro de Inteligência Artificial. Porto Alegre : SBC, 1991.
106. CARVALHO, A.P. ; CASANOVA, M. A. ; VELOSO, S.R.M. . O Problema da Correção e Completude Forte em Lógica de Default. In: VIII Simpósio Brasileiro de Inteligência Artificial (SBIA), 1991, Brasília, DF, Brasil. Anais do VIII Simpósio Brasileiro de Inteligência Artificial. Porto Alegre : SBC, 1991.
107. CASANOVA, M. A. ; LIMA, M.J.D. ; RANGEL, J.L.M. ; RODRIGUEZ, N. ; SOARES, L.F.G. ; TUCHERMAN, L. . The Nested Context Model for Hyperdocuments. In: Hypertext '91 Conference, 1991, San Antonio, USA. Proceedings of Hypertext '91 Conference, 1991. p. 193-201.
108. GUERREIRO, R. ; CASANOVA, M. A. ; SILVA HEMERLY, A. . Contributions to a Proof Theory for Generic Defaults. In: 9th European Conference on Artificial Intelligence (SBIA), 1990, Stockholm, Sweden. Proceedings of the 9th. European Conference on Artificial Intelligence, 1990. p. 213-218.
109. CASANOVA, M. A. ; TUCHERMAN, L. . Projeto e Manutenção de Representações Relacionais Otimizadas para Esquemas Entidade-Relacionamento. In: XXIII Congresso Nacional de Informática, 1990, Rio de Janeiro, RJ, Brazil. Anais do XXIII Congresso Nacional de Informática. Rio de Janeiro : SUCESU, 1990.
110. CASANOVA, M. A. ; TUCHERMAN, L. . Designing and Maintaining Optimized DB2 Representations of Entity-Relationship Schemas. In: IBM Data Base ITL Conference, 1990, Atlanta, USA. Proceedings of the IBM Data Base ITL Conference, 1990.
111. CASANOVA, M. A. ; TUCHERMAN, L. ; LAENDER, A.H.F. . Algorithms for Designing and Maintaining Optimized Relational Representations of Entity-Relationship Schemas. In: 9th International Conference on Entity-Relationship Approach (ER), 1990, Lausanne, Switzerland. Proceedings of the 9th International Conference on Entity-Relationship Approach, 1990. p. 361-374.
112. FURTADO, A.L. ; CASANOVA, M. A. . Plan and Schedule Generation over Temporal Databases. In: 9th International Conference on Entity-Relationship Approach (ER), 1990, Lausanne, Switzerland. Proceedings of the 9th International Conference on Entity-Relationship Approach, 1990. p. 235-248.
113. FURTADO, A.L. ; CASANOVA, M. A. . NICE: A Cooperative Environment for the Use of Information Systems. In: ITL Conference on Expert Systems, 1990, Yorktown Height, NY, USA. Proceedings of the ITL Conference on Expert Systems, 1990.
114. CASANOVA, M. A. ; FURTADO, A.L. . An Information System Environment based on Plan Generation. In: Working Conference on Cooperating Knowledge based Systems, 1990, Keele, England. Proceedings of the Working Conference on Cooperating Knowledge based Systems, 1990.
115. SOARES, L.F.G. ; RODRIGUEZ, N. ; RANGEL, J.L.M. ; LIMA, M.J.D. ; TUCHERMAN, L. ; CASANOVA, M. A. . Delineamento da Arquitetura de um Sistema para Processamento de Documentos Multimídia. In: IV Simpósio Brasileiro de Engenharia de Software (SBES), 1990, Águas de São Pedro, Brazil. Anais do IV Simpósio Brasileiro de Engenharia de Software. Porto Alegre : SBC, 1990.
116. CASANOVA, M. A. ; SILVA HEMERLY, A. ; GUERREIRO, R. . Explaining SLDNF Resolution with Non-Normal Defaults. In: VII Simpósio Brasileiro de Inteligência Artificial (SBIA), 1990, Campina Grande, PB, Brazil. Anais do VII Simpósio Brasileiro de Inteligência Artificial. Porto Alegre : SBC, 1990.
117. CARVALHO, A.P. ; CASANOVA, M. A. ; VELOSO, S.R.M. . Um Método de Dedução Não-Monotônico e Parametrizado baseado em Eliminação de Modelos. In: VII Simpósio Brasileiro de Inteligência Artificial (SBIA), 1990, Campina Grande, PB, Brazil. Anais do VII Simpósio Brasileiro de Inteligência Artificial. Porto Alegre : SBC, 1990.
118. BRAGA, A.P. ; CASANOVA, M. A. ; TUCHERMAN, L. . Trivialização de Dependências de Inclusão em Esquemas Conceituais Relacionais. In: IV Simpósio Brasileiro de Banco de Dados (SBBD), 1989, Campinas, SP, Brasil. Anais do IV Simpósio Brasileiro de Banco de Dados. Porto Alegre : SBC, 1989.
119. CASANOVA, M. A. ; TUCHERMAN, L. . Operações sobre Conjuntos de Entidades e Relacionamentos Organizados em Grafo de Especialização. In: IX Congresso da Sociedade Brasileira de Computação, 1989, Uberlândia, MG, Brasil. Anais do IX Congresso da Sociedade Brasileira de Computação. Porto Alegre : SBC, 1989.
120. CASANOVA, M. A. ; TUCHERMAN, L. ; FURTADO, A.L. . Optimization of Relational Schemas Containing Inclusion Dependencies. In: 15th International Conference on Very Large Data Bases (VLDB), 1989, Amsterdam, The Netherlands. Proceedings of the 15th International Conference on Very Large Data Bases. San Francisco : Morgan Kaufmann, 1989. p. 317-325.
121. TUCHERMAN, L. ; CASANOVA, M. A. . Estendendo as Abstrações de Generalização e Subconjunto no Modelo Entidade-Relacionamento. In: XXII Congresso Nacional de Informática, 1989, São Paulo, SP, Brasil. Anais do XXII Congresso Nacional de Informática. São Paulo : SUCESU, 1989.
122. TUCHERMAN, L. ; CASANOVA, M. A. ; GUALANDI, P.M. ; BRAGA, A.P. . A Proposal for Formalizing and Extending the Generalization and Subset Abstractions in the Entity-Relationship Model. In: 8th International Conference on Entity-Relationship Approach (ER), 1989, Toronto, Canada. Proceedings of the Eight International Conference on Enity-Relationship Approach. Amsterdam : North-Holland, 1989. p. 27-41.
123. CASANOVA, M. A. ; GUERREIRO, R. ; SILVA HEMERLY, A. . Logic Programming with General Clauses and Defaults based on Model Elimination. In: 11th International Joint Conference on Artificial Intelligence (IJCAI), 1989, Detroit, USA. Proceedings of the 11th International Joint Conference on Artificial Intelligence. San Francisco : Morgan Kaufmann, 1989. p. 395-400.
124. GUERREIRO, R. ; CASANOVA, M. A. ; SILVA HEMERLY, A. . A Logic Programming System using General Clauses and Defaults. In: IBM Interdivisional Technical Liaison Conference on Expert Systems, 1989, San Jose, CA, USA. Proceedings of the IBM Interdivisional Technical Liaison Conference on Expert Systems, 1989.
125. GUERREIRO, R. ; SILVA HEMERLY, A. ; CASANOVA, M. A. . Computing Answers in Default Logic. In: IEEE International Symposium on Architectures, Languages and Algorithms for Artificial Intelligence, 1989, Washington, DC, USA. Proc. IEEE International Symposium on Architectures, Languages and Algorithms for Artificial Intelligence. Los Alamitos : IEEE, 1989.
126. CASANOVA, M. A. ; GUERREIRO, R. ; SILVA HEMERLY, A. . Computing Answers to Logic Programs with Weak Model Elimination. In: North American Conference on Logic Programming, 1989, Cleveland, USA. Proceedings of the North American Conference on Logic Programming. Boston : MIT Press, 1989. p. 92-114.
127. GUERREIRO, R. ; CASANOVA, M. A. ; SILVA HEMERLY, A. . Raciocínio Matemático em Lógica de Defaults. In: VI Simpósio Brasileiro de Inteligência Artificial (SBIA), 1989, Rio de Janeiro, RJ, Brasil. Anais do VI Simpósio Brasileiro de Inteligência Artificial. Porto Alegre : SBC, 1989.
128. CASANOVA, M. A. ; FURTADO, A.L. ; TUCHERMAN, L. . A Monitor Enforcing Referential Integrity. In: III Simpósio Brasileiro de Banco de Dados (SBBD), 1988, Recife, PE, Brasil. Anais do III Simpósio Brasileiro de Banco de Dados. Porto Alegre : SBC, 1988.
129. CASANOVA, M. A. ; TUCHERMAN, L. . Visão Parcial: Um Mecanismo para Abstração de Dados no Modelo Entidade Relacionamento. In: XV Seminário Integrado de Hardware e Software (SEMISH), 1988, Rio de Janeiro, RJ, Brasil. Anais do XV Seminário Integrado de Hardware e Software. Porto Alegre : SBC, 1988.
130. FURTADO, A.L. ; CASANOVA, M. A. . Transforming Constraints into Logic Programming. In: IFIP WG 2.6 Working Conference on Data Semantics, 1988, Albufeira, Portugal. Proceedings of the IFIP WG 2.6 Working Conference on Data Semantics. Amsterdam : North-Holland/IFIP, 1988. p. 137-149.
131. CASANOVA, M. A. ; FURTADO, A.L. ; TUCHERMAN, L. . Enforcing Including Dependencies and Referential Integrity. In: 14th International Conference on Very Large Data Bases (VLDB), 1988, Los Angeles, USA. Proceedings of the 14th International Conference on Very Large Data Bases. San Francisco : Morgan Kaufmann, 1988. p. 38-49.
132. CASANOVA, M. A. ; GUERREIRO, R. ; SILVA, A.S. . Computação de Respostas em Sistemas baseados em Eliminação de Modelos e Defaults. In: V Simpósio Brasileiro de Inteligência Artificial (SBIA), 1988, Natal, RN, Brasil. Anais do V Simpósio Brasileiro de Inteligência Artificial. Porto Alegre : SBC, 1988.
133. GUERREIRO, R. ; CASANOVA, M. A. ; SILVA HEMERLY, A. . Programação em Cláusulas Genéricas utilizando o Método de Eliminação de Modelos. In: V Simpósio Brasileiro de Inteligência Artificial (SBIA), 1988, Natal, RN, Brasil. Anais do V Simpósio Brasileiro de Inteligência Artificial. Porto Alegre : SBC, 1988.
134. FURTADO, A.L. ; CASANOVA, M. A. ; TUCHERMAN, L. . The CHRIS Consultant. In: II Simpósio Brasileiro de Banco de Dados (SBBD), 1987, Porto Alegre, RS, Brasil. Anais do II Simpósio Brasileiro de Banco de Dados. Porto Alegre : SBC, 1987.
135. FURTADO, A.L. ; CASANOVA, M. A. ; TUCHERMAN, L. . The CHRIS Consultant. In: 6th International Conference on Entity-Relationship Approach (ER), 1987, New York, USA. Proceedings of the 6th International Conference on Entity-Relationship Approach. Amsterdam : North-Holland, 1987. p. 515-532.
136. FURTADO, A.L. ; CASANOVA, M. A. ; TUCHERMAN, L. . A Framework for Design/Redesign Experts. In: First International Conference on Expert Database Systems, 1986, Charleston, USA. Proceedings of the First International Conference on Expert Database Systems, 1986. p. 423-438.
137. TUCHERMAN, L. ; CASANOVA, M. A. . Princípios de Modularização para Sistemas de Informação. In: XIX Congresso Nacional de Informática, 1986, Rio de Janeiro, RJ, Brasil. Anais do XIX Congresso Nacional de Informática. Rio de Janeiro : SUCESU, 1986.
138. CASANOVA, M. A. ; MOURA, C.M.O. . Designing Database Applications in Logic Programming. In: 10th IFIP World Computer Congress, 1986, Dublin, Ireland. Proceedings of the IFIP 10th World Computer Congress. Amsterdam : North-Hollad/IFIP, 1986. p. 235-240.
139. CASANOVA, M. A. ; WALTER, M.E.M. . Uma Implementação do Método de Eliminação de Modelos. In: III Simpósio Brasileiro de Inteligência Artificial (SBIA), 1986, Rio de Janeiro, RJ, Brasil. Anais do III Simpósio Brasileiro de Inteligência Artificial. Porto Alegre : SBC, 1986. p. 311-322.
140. CASANOVA, M. A. ; WALTER, M.E.M. . Implementação de Interpretadores Prolog Combinando Expansão em Profundidade com Expansão em Amplitude. In: III Simpósio Brasileiro de Inteligência Artificial (SBIA), 1986, Rio de Janeiro, RJ, Brasil. Anais do III Simpósio Brasileiro de Inteligência Artificial. Porto Alegre : SBC, 1986. p. 284-294.
141. FURTADO, A.L. ; CASANOVA, M. A. ; TUCHERMAN, L. . Transforming Constraints into Logic Programs: A Case Study. In: IFIP TC-2 Working Conference on Knowledge and Data, 1986, Albufeira, Portugal. Proceedings of the IFIP TC-2 Working Conference on Knowledge and Data. Amsterdam : North-Holland/IFIP, 1986. p. 137-149.
142. CASANOVA, M. A. ; TUCHERMAN, L. ; MOURA, A.V. . On the Correctness of a Local Recovery Subsystem. In: ACM SIGACT/SIGMOD Symposium on Principles of Database Systems (PODS), 1985, Portland, OR, USA. Proc. 4th Annual ACM SIGACT/SIGMOD Symposium on Principles of Database Systems. New York : ACM, 1985. p. 123-134.
143. CASANOVA, M. A. ; TUCHERMAN, L. ; FURTADO, A.L. . Uma Ferramenta para Projeto Modular de Banco de Dados. In: XII Seminário Integrado de Hardware e Software, 1985, Porto Alegre, RS, Brasil. Anais do XII Seminário Integrado de Hardware e Software. Porto Alegre : SBC, 1985.
144. TUCHERMAN, L. ; FURTADO, A.L. ; CASANOVA, M. A. . A Tool for Modular Database Design. In: 11th International Conference on Very Large Data Bases (VLDB), 1985, Stockholm, Sweden. Proceedings of the 11th International Conference on Very Large Data Bases. San Francisco : Morgan Kaufmann, 1985. p. 436-447.
145. FURTADO, A.L. ; TUCHERMAN, L. ; CASANOVA, M. A. . Sistemas Especialistas para Especificação Modular de Banco de Dados. In: II Simpósio de Inteligência Artificial (SBIA), 1985, São José dos Campos,SP, Brasil. Anais do II Simpósio de Inteligência Artificial. São José dos Campos : INPE, 1985.
146. CASANOVA, M. A. ; PION, M. . Variedades de Lógica Temporal. In: II Symposium of Logic, Philosophy and Theory of Science, 1984, Niteroi, RJ, Brasil. Proceedings of the II Symposium of Logic, Philosophy and Theory of Science, 1984.
147. CASANOVA, M. A. ; VELOSO, P.A.S. ; FURTADO, A.L. . Formal Data Base Specification - An Eclectic Perspective. In: 3rd ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1984, Waterloo, Canada. Proceedings of the 3rd ACM SIGACT-SIGMOD Symposium on Principles of Database Systems. New York : ACM, 1984. p. 36-47.
148. CASANOVA, M. A. ; MOURA, C.M.O. . Sistemas de Gerência de Bancos de Dados Distribuídos São Factíveis?. In: XVII Congresso Nacional de Informática, 1984, Rio de Janeiro, RJ, Brasil. Anais do XVII Congresso Nacional de Informática. Rio de Janeiro : SUCESU, 1984.
149. TUCHERMAN, L. ; CASANOVA, M. A. . Síntese das Condições e Efeitos Colaterais das Operações de Atualização sobre Bancos de Dados. In: XVII Congresso Nacional de Informática, 1984, Rio de Janeiro, RJ, Brasil. Anais do XVII Congresso Nacional de Informática. Rio de Janeiro : SUCESU, 1984.
150. VIDAL, V.M.P. ; CASANOVA, M. A. . Towards a Sound View Integration Methodology. In: 2nd ACM SIGACT-SIGMOD symposium on Principles of Database Systems (PODS), 1983, Atlanta, USA. Proceedings of the 2nd ACM SIGACT-SIGMOD Symposium on Principles of Database Systems. New York : ACM, 1983. p. 36-47.
151. CASANOVA, M. A. ; SÁ, J.E.A. . Designing Entity-Relationship Schema for Conventional Information Systems. In: 3rd International Conference on Entity-Relationship Approach (ER), 1983, Anaheim, CA, USA. Proceedings of the 3rd International Conference on Entity-Relationship Approach. Amsterdam : North-Holland, 1983. p. 265-278.
152. CASANOVA, M. A. ; VELOSO, P.A.S. ; FURTADO, A.L. . A Grammatical Approach to Data Bases. In: IFIP World Computer Congress, 1983, Paris. Proceedings of the IFIP 9th World Computer Congress. Amsterdam : North-Holland/IFIP, 1983. p. 705-710.
153. TUCHERMAN, L. ; FURTADO, A.L. ; CASANOVA, M. A. . A Pragmatic Approach to Structured Database Design. In: 9th International Conference on Very Large Data Bases (VLDB), 1983, Florence, Italy. Proceedings of the 9th International Conference on Very Large Data Bases. San Francisco : VLDB Endowment / Morgan Kaufmann, 1983. p. 705-710.
154. MOURA, C.M.O. ; CASANOVA, M. A. . Tableaux Analíticos de Primeira Ordem Utilização como Procedimento de Decisão para Dependências de Dados. In: XVI Congresso Nacional de Informática, 1983, São Paulo, SP, Brasil. Anais do XVI Congresso Nacional de Informática. Sâo Paulo : SUCESU, 1983. p. 90-96.
155. CASTILHO, J.M.V. ; CASANOVA, M. A. ; FURTADO, A.L. . A Temporal Framework for Database Specifications. In: 8th International Conference on Very Large Data Bases (VLDB), 1982, Mexico City, Mexico. Proceedings of 8th International Conference on Very Large Data Bases. San Francisco : VLDB Endowment / Morgan Kaufmann, 1982. p. 280-291.
156. REGO, S. P. ; CASANOVA, M. A. . Aplicações de uma Teoria de Dependências Funcionais e Dependências de Inclusão. In: XV Congresso Nacional de Informática, 1982, Rio de Janeiro, RJ, Brasil. Anais do XV Congresso Nacional de Informática. Rio de Janeiro : SUCESU, 1982.
157. MOURA, C.M.O. ; CASANOVA, M. A. . Projeto de Bancos de Dados através de Exemplos. In: XV Congresso Nacional de Informática, 1982, Rio de Janeiro, RJ, Brasil. Anais do XV Congresso Nacional de Informática, 1982.
158. CASANOVA, M. A. ; FURTADO, A.L. . A Family of Temporal Languages for the Description of Transition Constraints. In: Workshop on Logical Bases for Databases, 1982, Toulouse, France. Proceedings of the Workshop on Logical Bases for Databases. Toulouse : Centre d'études et de recherches de Toulouse, 1982.
159. CASANOVA, M. A. ; BERNSTEIN, P. A. . The Logic of a Relational Data Manipulation Language. In: 6th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), 1979, San Antonio, TX, USA. Proceedings of the 6th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages. New York : ACM, 1979. p. 101-109.
Resumos expandidos publicados em anais de congressos
1. MACULAN, N. ; SOUZA E SILVA, E. ; XEXEO, G. ; MEDEIROS, C.M.B. ; BARBOSA, S.D.J. ; BREITMAN, K.K. ; CASANOVA, M. A. ; LUCENA, C.J.P. . Brazilian Institute for Web Science Research. In: Web Science Conference 2009 - Society On-Line!, 2009, Athens, Greece. Proceedings of the Web Science Conference 2009 - Society On-Line!, 2009.
2. MASIERO, L. ; CASANOVA, M. A. ; CARVALHO, M.T.M. . Detecção Automática de Rotas de Ônibus. In: X Simpósio Brasileiro de Geoinformática (GeoInfo), 2008, Rio de Janeiro, RJ, Brasil. Anais do X Simpósio Brasileiro de Geoinformática. São José dos Campos : MCT/INPE, 2008. p. 8-10.
3. BREITMAN, K.K. ; BARBOSA, S.D.J. ; CASANOVA, M. A. ; FURTADO, A.L. . Conceptual Modeling by Analogy and Metaphor. In: 16th ACM Conference on Information and Knowledge Management (CIKM), 2007, Lisbon, Portugal. Proceedings of the 16th ACM Conference on Information and Knowledge Management. Alpha, New Jersey : ACM Press, 2007. p. 865-868.
4. GAZOLA, A. ; BRAUNER, D.F. ; CASANOVA, M. A. . A Mediator for Heterogeneous Gazetteers. In: XXII Simposio Brasileiro de Banco de Dados (SBBD), 2007, João Pessoa, PB, Brasil. Anais do XXII Simposio Brasileiro de Banco de Dados - Sessão de Pôsteres. Porto Alegre : SBC, 2007. p. 11-14.
5. FERNANDES, A. ; BREITMAN, K.K. ; VIEIRA, T.A.S.C. ; CASANOVA, M. A. ; FURTADO, A.L. . Semi-Automated Workflow Synthesis. In: Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 2006, Paphos, Cyprus. Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Los Alamitos : IEEE Computer Society Press, 2006. p. 332-334.
6. CASANOVA, M. A. ; GUERREIRO, R. ; SILVA HEMERLY, A. . Computação de Respostas para Programas em Lógica através de Eliminação de Modelos Fraca. In: VIII Simpósio Latino-Americano de Lógica Matemática, 1989, João Pessoa, PB, Brasil. Anais do VIII Simpósio Latino-Americano de Lógica Matemática, 1989.
7. SILVA HEMERLY, A. ; GUERREIRO, R. ; CASANOVA, M. A. . Uma Extensão à Lógica de Defaults. In: VIII Simpósio Latino-Americano de Lógica Matemática, 1989, João Pessoa, PB, Brasil. Anais do VIII Simpósio Latino-Americano de Lógica Matemática, 1989.
8. CASANOVA, M. A. . A Theory of Data Dependencies over Relational Expressions. In: ACM SIGACT-SIGMOD Symposium on Principles of Database Systems (PODS), 1982, Los Angeles, USA. Proceedings of the ACM SIGACT-SIGMOD Symposium on Principles of Database Systems. New York : ACM, 1982. p. 189-198.
9. CASANOVA, M. A. ; FAGIN, R. ; PAPADIMITRIOU, C.H. . Inclusion Dependencies and Their Interaction with Functional Dependencies - (Extended Abstract). In: ACM SIGACT-SIGMOD Symposium on Principles of Database Systems (PODS), 1982, Los Angeles, USA. Proceedings of the ACM SIGACT-SIGMOD Symposium on Principles of Database Systems. New York : ACM, 1982. p. 171-176.
Resumos publicados em anais de congressos
1. NUNES, B.P. ; MERA, A. ; CASANOVA, M. A. ; BREITMAN, K.K. ; LEME, L.A.P.P. . Complex Matching of RDF Datatype Properties. In: The Sixth International Workshop on Ontology Matching (OM), 2011, Bonn, Germany. Proc. Sixth International Workshop on Ontology Matching (OM-2011) - In conjunction with the International Semantic Web Conference. CEUR WS, 2011. v. 814.
2. SACRAMENTO, E. ; VIDAL, V.M.P. ; MACEDO, J.A.F. ; LÓSCIO, B.F. ; LOPES, F.L.R. ; CASANOVA, M. A. . Towards Automatic Generation of Application Ontologies (Short Paper). In: 12th International Conference on Enterprise Information Systems (ICEIS), 2010, Funchal, Madeira, Portugal. Proceedings of the 12th International Conference on Enterprise Information Systems, 2010. p. 403-406.
3. SALAS, P.E. ; BREITMAN, K.K. ; CASANOVA, M. A. ; VITERBO, J. . StdTrip: An a Priori Design Approach and Process for Publishing Open Government Data. In: XXV Simpósio Brasileiro de Banco de Dados, 2010, Belo Horizonte, MG, Brasil. Anais do XXV Simpósio Brasileiro de Banco de Dados. Porto Alegre : SBC, 2010.
4. CASANOVA, M. A. . Schema Matching Revisited. In: XXII Simpósio Brasileiro de Banco de Dados (SBBD), 2007, João Pessoa, PB, Brasil. Anais do XXII Simpósio Brasileiro de Banco de Dados. Porto Alegre : SBC, 2007. p. 380-380.
5. BRAUNER, D.F. ; CASANOVA, M. A. ; MILIDIU, R. . Mediation as Recommendation: An Approach to Design Mediators for Object Catalogs. In: 5th International Conference on Ontologies, DataBases, and Applications of Semantics (ODBASE), 2006, Montpellier. Proceedings OTM Confederated International Workshops and Posters, Part I. Lecture Notes in Computer Science. Hiedelberg : Springer, 2006. v. 4277. p. 46-47.
6. BREITMAN, K.K. ; CASANOVA, M. A. . Desenvolvimento de Ontologias para Engenharia de Software e Banco de Dados: Um tutorial Prático. In: XIX Simpósio Brasileiro de Engenharia de Software (SBES), 2005, Uberlândia, MG, Brasil. Anais do XIX Simpósio Brasileiro de Engenharia de Software. Porto Alegre : SBC, 2005. p. 8-8.
7. LEMOS, M. ; CASANOVA, M. A. ; SEIBEL, L.F.B. . BioDAMS - A Bioinformatics Data Analysis and Management System. In: International Workshop on Genomic Databases, 2005, Rio de Janeiro, RJ, Brasil. Proceedings of the International Workshop on Genomic Databases, 2005.
Artigos aceitos para publicação
1. BARBOSA, S.D.J. ; FURTADO, A.L. ; CASANOVA, M. A. . A Decision-making Process for Digital Storytelling. Computers in Entertainment : CIE, 2012.
2. CASANOVA, M. A. ; BARBOSA, S.D.J. ; BREITMAN, K.K. ; FURTADO, A.L. . Three Decades of Research on Database Design at PUC-Rio. Journal of Information and Data Management, 2012.
Produção técnica
Softwares sem registro de patente
1. CASANOVA, M. A. ; CARVALHO, M.T.M. ; FREIRE, J. . InfoPAE - Sistema Informatizado para Apoio de Planos de Ação de Emergência . 2002.
Trabalhos técnicos
1. CASANOVA, M. A. ; LEMOS, M. ; BASÍLIO, A. . Um Estudo de Montagem de Fragmentos de Sequências. 2003.
2. CASANOVA, M. A. ; LEMOS, M. ; ARAGÃO, M.V.P. . Padrões em Biossequências. 2003.
3. CASANOVA, M. A. ; LEMOS, M. ; SEIBEL, L.F.B. . Sistema de Anotações em Biossequências. 2003.
4. CASANOVA, M. A. ; ABREU, F.M. . Plataformas para Jogos de Guerra com Computação Móvel. 2002.
5. CASANOVA, M. A. ; DIAS, F.M. . Workflow em Sistemas Móveis. 2002.
6. CASANOVA, M. A. . Banco de dados geográfico para da Transpetro. 2001.
7. CASANOVA, M. A. . Banco de dados geográficos para a Unidade de Geodésia da Petrobras. 2001.
8. CASANOVA, M. A. ; KOSTIN, S. . Modelo para gerenciamento de dados em um ambiente de comando e controle. 2001.
9. CASANOVA, M. A. ; LEMOS, M. . Optimized Buffer Management for Sequence Comparison in Molecular Biology Databases . 2001.

Bancas
Participação em bancas de comissões julgadoras
Concurso público
1. CASANOVA, M. A.. Concurso para Cargos de Nível Superior - INPE. 2009. Instituto Nacional de Pesquisas Espaciais.
2. CASANOVA, M. A.. Concurso para Tecnologista Pleno 2 - LNCC. 2009. Laboratório Nacional de Computação Científica.
3. CASANOVA, M. A.. Comitê de Busca para a escolha de chefia da Coordenação-Geral de Observação da Terra - OBT. 2008. Instituto Nacional de Pesquisas Espaciais.
4. CASANOVA, M. A.. Concurso para professor assistente da UFC. 2005. Universidade Federal do Ceará.
Outras participações
1. CASANOVA, M. A.. ER 2011. 2011.
2. CASANOVA, M. A.. GeoInfo 2011. 2011.
3. CASANOVA, M. A.. SBBD 2011. 2011.
4. CASANOVA, M. A.. Alberto Mendelzon Workshop on Foundations of Databases. 2010.
5. CASANOVA, M. A.. GeoInfo 2010. 2010.
6. CASANOVA, M. A.. ISOLA 2010. 2010.
7. CASANOVA, M. A.. SBIA 2010. 2010.
8. CASANOVA, M. A.. SeCoGIS 2010. 2010.
9. CASANOVA, M. A.. ACM GIS. 2009.
10. CASANOVA, M. A.. ER 2009. 2009.
11. CASANOVA, M. A.. SBBD 2009. 2009.
12. CASANOVA, M. A.. SeCoGIS 2009. 2009.
13. CASANOVA, M. A.. SBIA 2008 - Revisor. 2008.
14. CASANOVA, M. A.. SBSI 2008 - Revisor. 2008.
15. CASANOVA, M. A.. HPDGrid 2008 - Revisor. 2008.
16. CASANOVA, M. A.. CTD 2008 - Revisor. 2008.
17. CASANOVA, M. A.. LAACS 2008 - Comitê de Programa. 2008.
18. CASANOVA, M. A.. SBBD 2007 - Comitê de Programa. 2007.
19. CASANOVA, M. A.; BREITMAN, K.K.. SBBD / SBES 2007 - Organização dos Workshops. 2007.
20. CASANOVA, M. A.. Geoinfo 2007 - Comitê de Programa. 2007.
21. CASANOVA, M. A.. CCGRID 2007 - Revisor. 2007.
22. CASANOVA, M. A.. CIKM 2007 - Revisor. 2007.
23. CASANOVA, M. A.. CTD 2007 - Revisor. 2007.
24. CASANOVA, M. A.. SBBD 2007 Demos - Revisor. 2007.
25. CASANOVA, M. A.. Geoinfo 2006 - Comitê de Programa. 2006.
26. CASANOVA, M. A.. First IFIP Academy on the State of Software Theory and Practice. 2005. Universidade Federal do Rio Grande do Sul.
27. CASANOVA, M. A.. International Conference on Ontologies, Databases and Applications of SEmantics (ODBASE'05). 2005. Pontifícia Universidade Católica do Rio de Janeiro.
28. CASANOVA, M. A.. II edição da Sessão de Demos do 20o SBBD. 2005. Universidade Federal de Uberlândia.
29. CASANOVA, M. A.. Workshops Conjuntos SBBD/SBES. 2005. Universidade Federal de Uberlândia.
30. CASANOVA, M. A.. SBC 2005 Concurso de Teses e Dissertações. 2005. Universidade Federal do Rio Grande do Sul.
31. CASANOVA, M. A.. 9th International Symposium on Spatial and Temporal Databases (SSTD05). 2005. Universidade Estadual de Campinas.
32. CASANOVA, M. A.. MMM 2006. 2005. Pontifícia Universidade Católica do Rio de Janeiro.
33. CASANOVA, M. A.. GeoInfo 2005 - Comitê de Programa. 2005. Instituto Nacional de Pesquisas Espaciais.
34. CASANOVA, M. A.. GeoInfo 2004. 2004. Pontifícia Universidade Católica do Rio de Janeiro.
35. CASANOVA, M. A.. Entity-Relationship Conf. 2003. 2003. Pontifícia Universidade Católica do Rio de Janeiro.
36. CASANOVA, M. A.. Geoinfo 2003. 2003. Pontifícia Universidade Católica do Rio de Janeiro.
37. CASANOVA, M. A.. GeoInfo 2002. 2002. Instituto Militar de Engenharia.
38. CASANOVA, M. A.. Entity-Relationship Conf. 2002. 2002. Pontifícia Universidade Católica do Rio de Janeiro.
39. CASANOVA, M. A.. International Workshop on Information Integration on the Web - WIIW '2001. 2001. Pontifícia Universidade Católica do Rio de Janeiro.
40. CASANOVA, M. A.. SBBD 2001. 2001. Pontifícia Universidade Católica do Rio de Janeiro.
41. CASANOVA, M. A.. SBBD 2000. 2000. Pontifícia Universidade Católica do Rio de Janeiro.
42. CASANOVA, M. A.. Entity-Relationship Conf. 2000. 2000. Pontifícia Universidade Católica do Rio de Janeiro.
43. CASANOVA, M. A.. Very Large Databases Conf. '97. 1997. Pontifícia Universidade Católica do Rio de Janeiro.
44. CASANOVA, M. A.. Very Large Databases Conf. '96. 1996. Pontifícia Universidade Católica do Rio de Janeiro.
45. CASANOVA, M. A.. Sixth IFIP TC-2 Working Conference on Data Semantics (DS-6). 1996. Pontifícia Universidade Católica do Rio de Janeiro.
46. CASANOVA, M. A.. Symposium on Spatial Databases '95. 1995. Pontifícia Universidade Católica do Rio de Janeiro.
47. CASANOVA, M. A.. Very Large Databases Conf. '95. 1995. Pontifícia Universidade Católica do Rio de Janeiro.
48. CASANOVA, M. A.. Very Large Databases Conf. '94. 1994. Pontifícia Universidade Católica do Rio de Janeiro.
49. CASANOVA, M. A.. Very Large Databases Conf. '93. 1993. Pontifícia Universidade Católica do Rio de Janeiro.
50. CASANOVA, M. A.. Symposium on Spatial Databases '93. 1993. Pontifícia Universidade Católica do Rio de Janeiro.
51. CASANOVA, M. A.. Entity-Relationship Conf. '92. 1992. Pontifícia Universidade Católica do Rio de Janeiro.
52. CASANOVA, M. A.. Very Large Databases Conf. '92. 1992. Pontifícia Universidade Católica do Rio de Janeiro.
53. CASANOVA, M. A.. Entity-Relationship Conf. '91. 1991. Pontifícia Universidade Católica do Rio de Janeiro.
54. CASANOVA, M. A.. Very Large Databases Conf. '91. 1991. Pontifícia Universidade Católica do Rio de Janeiro.
55. CASANOVA, M. A.. Extended Database Technologies Conf. '90. 1990. Pontifícia Universidade Católica do Rio de Janeiro.
56. CASANOVA, M. A.. VII Computer Science School. 1990. Pontifícia Universidade Católica do Rio de Janeiro.
57. CASANOVA, M. A.. Entity-Relationship Conf. '89. 1989. Pontifícia Universidade Católica do Rio de Janeiro.
58. CASANOVA, M. A.. VI Computer Science School. 1988. Pontifícia Universidade Católica do Rio de Janeiro.
59. CASANOVA, M. A.. V Computer Science School. 1986. Pontifícia Universidade Católica do Rio de Janeiro.
60. CASANOVA, M. A.. IV Computer Science School. 1984. Pontifícia Universidade Católica do Rio de Janeiro.
61. CASANOVA, M. A.. III Computer Science School . 1980. Pontifícia Universidade Católica do Rio de Janeiro.

Eventos
Organização de eventos
1. VINHAS, L. ; CARVALHO, M.T.M. ; CASANOVA, M. A. . X Simpósio Brasileiro de Geoinformática. 2008. (Congresso).
2. FONSECA, F.T. ; CASANOVA, M. A. . VII Simpósio Brasileiro de Geoinformática. 2005. (Congresso).

Orientações
Orientações em andamento
Dissertação de mestrado
1. Alexander Mera Caraballo. Anotação Automática de Vídeos. Início: 2011. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).
2. Demetrius Costa Rapello. Recomendação Automática de Notícias. Início: 2011. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro. (Orientador).
3. Fabio Albuquerque. Classificação Automática de Páginas Web. Início: 2011. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro. (Orientador).
4. Guylerme Velasco. Framework para Alinhamento de Esquemas. Início: 2011. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro. (Orientador).
5. Sérgio Ortiga. Classificação Automática de Produtos. Início: 2011. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro. (Orientador).
6. Sofia de Abreu e Silva. Triplificação de Cubos de Dados. Início: 2011. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).
Tese de doutorado
1. Bernardo Pereira Nunes. Alinhamentos Complexos de Esquemas Conceituais. Início: 2010. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro. (Orientador).
2. Raphael do Vale Gomes. Identificação de Bancos de Dados na Deep Web. Início: 2010. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).
3. Ivanildo Barbosa. Suporte de Dados Geográficos a Operações de Comando e Controle. Início: 2010. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro. (Orientador).
4. Eveline Russo Sacramento Ferre. Integração Paraconsistente de Linked Data. Início: 2010. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro. (Orientador).
5. Edmar Wellington. Planejamento Semi-Automático para Tomada de decisão. Início: 2009. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).
6. Helena Piccinini. W-Ray: Uma estratégia para Publicar Dados na Deep Web. Início: 2009. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro. (Orientador).
7. Leone Pereira Masiero. Monitoramento de Sequências de Dados. Início: 2008. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro. (Orientador).
Supervisões e orientações concluídas
Dissertação de mestrado
1. Silvano Nogueira Buback. Aprendizado de Máquina para Construção de uma Ferramenta de Apoio a Moderação de Comentários. 2011. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
2. Raphael do Vale Amaral Gomes. Matchmaking Uma infraestrutura para alinhamento de esquemas. 2010. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Marco Antonio Casanova.
3. Bernardo Pereira Nunes. Classificação automática de dados semi-estruturados. 2009. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
4. Livia Fonseca Fracalanza. Mineração de Dados voltada para Recomendação no Âmbito de Marketing de Relacionamento. 2009. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
5. André Luiz Almeida Marins. Modelos Conceituais para Proveniência. 2008. 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: Marco Antonio Casanova.
6. Alexandre Gazola. Uma infra-estrutura de software para alinhamento de catálogos heterogêneos. 2008. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Fundação Carlos Chagas Filho de Amparo à Pesq. do Estado do Rio de Janeiro. Orientador: Marco Antonio Casanova.
7. Leandro dos Santos Nazareth. Sistema para Consultas sobre Banco de Dados Relacional Baseado em Palavras-Chave. 2008. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
8. Geraldo da Silva Rocha Netto. Planejamento e Escalonamento com Restrições Temporais. 2008. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
9. Marcos Cesar da Silva. Uma arquitetura de software para mediação flexível de Web services. 2008. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
10. Ricardo Gomes Clemente. Uma arquitetura para processamento de eventos de log em tempo real. 2008. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
11. Renato Lima Novais. Coordenação de workflows em ambientes com suporte a dispositivos móveis. 2007. 0 f. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Fundação de Amparo à Pesquisa do Estado da Bahia. Orientador: Marco Antonio Casanova.
12. Vinci Pegoretti Amorim. Uma Arquitetura Flexível para Replicação de Bases Distribuídas Heterogêneas. 2007. 0 f. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
13. Marcelo Gonella Fernandez. Compressão e análise de dados adquiridos por sensores. 2007. 0 f. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
14. Luiz Andre Paes Leme. Uma arquitetura de software para catalogação automática de dados geográficos. 2006. 112 f. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
15. Leonardo Matriciano Couto. Sistemas de Informação Geográfica Adaptativos Baseados em Modelos. 2006. 101 f. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
16. Daniela Francisco Brauner. Uma Arquitetura para Catálogos de Objetos baseados em Ontologias. 2005. 141 f. 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: Marco Antonio Casanova.
17. Marconi de Arruda Pereira. Uma Implementação do Serviço WMS sobre a biblioteca TerraLib. 2004. 109 f. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Marco Antonio Casanova.
18. Luis Gustavo Ferrão. Uma Infra-Estrutura para Matchmaking Baseado em Ontologias. 2004. 119 f. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Marco Antonio Casanova.
19. Fabio Meira Dias. Workflow em Plataformas Móveis com desconexão. 2003. 81 f. 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: Marco Antonio Casanova.
20. Marcos Magalhães Moreira. Integração Semântica de Sistemas de Informação. 2003. 120 f. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
21. Fabio Marcus de Abreu. Plataformas para Jogos de Guerra com Computação Móvel. 2002. 150 f. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
22. Lucimar C Martins. Personalização de Visões sobre Documentos Hipermídia. 2002. 100 f. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Marco Antonio Casanova.
23. Sergio Kostin. Modelo para gerenciamento de dados em um ambiente de comando e controle. 2001. 150 f. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
24. Claudia Tocantins. Armazenamento Distribuído de Mapas Vetoriais em Sistemas de Geoprocessamento. 1995. 150 f. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
25. Maurício Mediano. Um Método de Armazenamento para Objetos Vetoriais Longos. 1995. 150 f. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
26. Alexandre Plastino de Carvalho. Um Método de Dedução Não-Monotônico baseado em Eliminação de Modelos. 1990. 120 f. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marco Antonio Casanova.
27. Andrea Silva Hemerly. Fundamentos de Programação em Cláusulas Genéricas e Defaults por Eliminação de Modelos. 1988. 100 f. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
28. Anelise Pacheco. Especificação de um Mapeamento da Linguagem Entidade Relacionamento para o Modelo Relacional. 1988. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
29. Pedro Mendes Gualandi. Manutenção de Dependências de Inclusão para Esquemas Relacionais. 1988. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
30. Maria Emilia Machado Telles Walter. Procedimentos de Refutação por Eliminação de Modelos. 1986. Dissertação (Mestrado em Ciência da Computação) - Universidade de Brasília, . Orientador: Marco Antonio Casanova.
31. Hugo Borquez Legasa. Implementação de um Método de Otimização para Processamento de Consultas Multirelacionais. 1983. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
32. Armando Mercio Barros Cardoso. Projeto Modular de Banco de Dados. 1983. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
33. João Carlos da Silva. Um Processador de Consultas de Uma Variável. 1983. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
34. Claudio Múcio de Oliveira Moura. Procedimentos de Decisão para Dependências de Dados. 1983. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
35. José Ubaldo Baião. Um Dicionàrio Semântico de Dados em um Ambiente Estatístico. 1983. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia, . Orientador: Marco Antonio Casanova.
36. Claudio Mendes de Oliveira. Requisitos de um Centro de Informações Estatísticas. 1983. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
37. Raul Andrade de Lima Filho. Especificação de um Subconjunto de Query-by-Example. 1982. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
38. Vania Maria Ponte Vidal. Projeto Lógico de Bancos de Dados por Integração de Subesquemas. 1982. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
39. Paulo Roberto Nunes Mandarino. Segurança em Bancos de Dados. 1982. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
40. Severino Pompilho do Rego. Uma Teoria de Dependências Funcionais e de Inclusão e suas Aplicações. 1982. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
41. Antonio Rubens Anciães Amaral Filho. Avaliação de Desempenho de Sistemas de Banco de Dado através da Técnica de Medições. 1981. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
42. Claudio dos Santos Bertini. Processamento de Linguagens de Consulta baseadas no Modelo Relacional. 1981. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
Tese de doutorado
1. Marcelo Gomes Metello. Process-Oriented Modeling and Simulation for Serious Games. 2011. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marco Antonio Casanova.
2. Tanara Lauschner. Modelagem de restrições de esquemas mediados. 2010. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Marco Antonio Casanova.
3. Luiz André Portes Paes Leme. Conceptual schema matching based on similarity heuristics. 2009. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marco Antonio Casanova.
4. Daniela Francisco Brauner. Alinhamento de esquemas baseado em instâncias. 2008. 0 f. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marco Antonio Casanova.
5. Tatiana Almeida Souza Coelho Vieira. Execução Flexível de Workflows. 2005. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marco Antonio Casanova.
6. Melissa Lemos. Workflow para Bioinformática. 2004. 239 f. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marco Antonio Casanova.
7. Maurício Mediano. TDS: Um Método de Indexação Topológica para Bancos de Dados Geográficos. 1999. 150 f. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marco Antonio Casanova.
8. Andrea Silva Hemerly. Fundamentos Lógicos para Modelos de Usuários em Ambientes Cooperativos. 1995. 120 f. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
9. Gilberto Câmara. Modelos, Linguagens e Arquiteturas para Bancos de Dados Geográficos. 1995. 250 f. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais, . Orientador: Marco Antonio Casanova.
10. Ramiro Guerreiro. Contribuições aos Fundamentos de Programação em Lógica. 1990. 200 f. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, . Orientador: Marco Antonio Casanova.
11. Margarida Pion. Especificação de Sistemas de Software utilizando Lógica Temporal. 1984. 150 f. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marco Antonio Casanova.
Trabalho de conclusão de curso de graduação
1. Rodrigo Cezar Menezes. Clusterização de Dados Utilizando o Algoritmo K-Means. 2011. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Marco Antonio Casanova.
2. Bruno de Almeida Palombo. COLCATOR - Formulários pessoais portáteis. 2008. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Marco Antonio Casanova.
3. Alexandre Franco de Albuquerque. Data Mining & Data Warehouse. 2005. 37 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Marco Antonio Casanova.
4. Carlos Aranha Castro. Replicação Fraca em Bancos de Dados Distribuídos. 2005. 45 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Marco Antonio Casanova.
5. Felipe Oliveira Pina. Uma aplicação de Web Services. 2004. 30 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Marco Antonio Casanova.
6. José Manuel Iglesias. Uma aplicação de bancos de dados móveis para software livre. 2004. 30 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Marco Antonio Casanova.
7. André Barros de Siqueira. Implementação de um blog. 2004. 30 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Marco Antonio Casanova.
8. Mário Jorge Bell de Campos Filho. Sistema Gerenciador de Projetos e Recursos. 2004. 30 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Marco Antonio Casanova.
9. Daniel Chicre. Consultas Inteligentes ao Google. 2004. 30 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Marco Antonio Casanova.
10. Christina Zingara Bedin. Bancos de Dados Móveis. 2004. 30 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Marco Antonio Casanova.
11. Ricardo Sanchez. Gestão eletrônica de documentos. 2004. 30 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Marco Antonio Casanova.
12. Marcelo Paes Augusto. Ferramenta para consistência em bancos de dados. 2004. 30 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Marco Antonio Casanova.
13. Felipe Rocha Nogueira. Ferramenta para consistência em bancos de dados. 2004. 30 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Marco Antonio Casanova.
14. Bruno Penteado Stephan. Consultas a Bancos de Dados através de Telefone. 2004. 30 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Marco Antonio Casanova.
15. Olavo Peixoto Barros de Castro. Issue Tracker. 2004. 30 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Marco Antonio Casanova.
16. Paulo Hideki Pessoa. Sistema de Recrutamento. 2004. 30 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Marco Antonio Casanova.
17. Renata Carvalho. Plataformas para Transações Distribuídas Abertas. 2003. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Marco Antonio Casanova.
18. Larissa Castellano. Desenvolvimento de Aplicações na Web. 2003. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Marco Antonio Casanova.
19. Alexandre Goes. Jogos em Ambientes de Aprendizagem. 2003. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Marco Antonio Casanova.
20. Leone Masiero. Publicação automática de documentos cartográficos. 2003. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Marco Antonio Casanova.
21. Francisco Eduardo Moura. Web Ontology Languages. 2003. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Marco Antonio Casanova.
22. Daniel de Oliveira Valente. Desenvolvimento de Aplicações na Web usando STRUTS. 2003. 30 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Marco Antonio Casanova.
23. João Henrique Romano Arienti. Desenvolvimento de Aplicações na Web usando STRUTS. 2003. 30 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Marco Antonio Casanova.
24. Bruno Araujo de Oliveira. Desenvolvimento de Aplicações na Web. 2003. 30 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Marco Antonio Casanova.
25. Luiz Fernando Duque Estrada Antelo. Sistema gerenciador de Projetos e Recursos. 2003. 30 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Marco Antonio Casanova.
26. Leticia Maria Ximenes. Web Semântica e Ontologia. 2003. 30 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Marco Antonio Casanova.
27. Márcio de Almeida Monteiro da Costa. INTELIGÊNCIA NA GESTÃO E NA INTEGRAÇÃO DE CANAIS DE COMUNICAÇÃO. 2003. 30 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Marco Antonio Casanova.
28. Paulo Baroni da Costa Teixeira. Data Mining and Data Warehousing. 2002. 0 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Marco Antonio Casanova.
29. Andréa Monteiro Barbosa. Arquiteturas para bancos de dados móveis. 2001. 0 f. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Pontifícia Universidade Católica do Rio de Janeiro. Orientador: Marco Antonio Casanova.
Página gerada pelo Sistema Currículo Lattes em 11/02/2012 às 24:31:50