Marco Antonio Casanova

Dados pessoais

Lattes
Grupos de Pesquisa
Genealogia Acadêmica

Nacionalidade: Brasileira
Grande área de atuação: Ciências Exatas e da Terra
Área de atuação: Ciência da Computação

Publicações

Total: 408

Área temática ASJC

Percentual das publicações classificadas

HS Ciências da Saúde
LS Ciências da Vida
MU Multidisciplinar
PS Ciências Físicas
SH Ciências Sociais e Humanidades

Categoria ASJC

Categorias ASJC mais frequentes

Nome	Vínculo	Grande área de atuação	Área de atuação
Nome	Vínculo	Grande área de atuação	Área de atuação
Anselmo Cardoso De PAIVA		Ciências Exatas e da Terra	Ciência da Computação
Bruno FEIJO		Ciências Exatas e da Terra	Ciência da Computação
Carlos José Pereira De LUCENA		Ciências Exatas e da Terra	Ciência da Computação
Claudia Lage Rebello Da MOTTA		Ciências Exatas e da Terra	Ciência da Computação
Creto Augusto VIDAL		Ciências Exatas e da Terra	Ciência da Computação
Francisco José Da Silva E SILVA		Ciências Exatas e da Terra	Ciência da Computação
Rafael Garcia BARBASTEFANO		Ciências Humanas	Educação
Rita Cristina Galarraga BERARDI		Ciências Exatas e da Terra	Ciência da Computação
Sean Wolfgand Matsui SIQUEIRA		Ciências Exatas e da Terra	Ciência da Computação
Simone Diniz Junqueira BARBOSA		Ciências Exatas e da Terra	Ciência da Computação
Stella Maria Peixoto De Azevedo PEDROSA		Ciências Humanas	Educação

Figura 1

Número de publicações por ano e por tipo

Todas as publicações do perfil

Figura 2

Categorias ASJC mais frequentes por ano

A cor dos pontos identifica a categoria predominante

Figura 3

Mapa de calor das categorias ASJC por ano

Frequências absolutas; cores mais escuras indicam mais publicações. Todas as categorias ASJC e anos disponíveis, sem aplicar os filtros da página.

Escala: 0 → 13

Mapa de calor das categorias ASJC por ano
Categoria ASJC	1975	1979	1980	1981	1982	1983	1984	1985	1986	1987	1988	1989	1990	1991	1992	1993	1994	1995	1996	1999	2000	2001	2002	2003	2004	2005	2006	2007	2008	2009	2010	2011	2012	2013	2014	2015	2016	2017	2018	2019	2020	2021	2022	2023	2024	2025	2026
1706 · Computer Science Applications	0	1	1	1	0	0	1	0	1	1	1	0	4	2	1	2	4	2	1	1	0	0	1	3	4	4	3	5	8	2	8	4	4	13	9	3	12	4	1	3	5	2	3	3	5	6	0
1701 · Computer Science (miscellaneous)	0	0	0	0	3	3	0	1	1	1	1	3	0	1	3	1	2	0	1	0	0	0	1	1	2	2	2	4	3	4	3	2	2	5	2	3	2	5	1	0	2	3	1	1	2	1	0
1710 · Information Systems	0	0	0	0	2	1	2	2	0	0	0	0	2	1	0	2	2	0	2	0	1	0	0	1	1	2	1	1	1	1	0	2	3	0	1	3	0	2	0	1	0	5	1	2	2	0	1
1702 · Artificial Intelligence	0	0	0	0	0	0	0	1	3	0	2	3	2	4	1	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	1	0	2	0	1	0	0	1	0	0	0	2	6	3	4
1712 · Software	0	0	1	1	0	0	1	2	2	1	2	0	2	0	0	1	1	2	0	0	0	0	0	0	0	0	1	0	1	0	0	0	0	2	0	0	1	0	0	0	0	0	0	0	0	0	0
1703 · Computational Theory and Mathematics	0	0	0	0	2	3	2	0	0	0	0	2	0	0	2	0	0	0	0	0	0	0	0	0	0	0	1	2	0	1	0	1	1	0	1	0	1	0	0	0	0	0	0	0	0	0	0
1707 · Computer Vision and Pattern Recognition	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	2	1	1	1	0	0	1	0	0	0	0	0	0
1803 · Management Science and Operations Research	1	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	1	2	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0
2614 · Theoretical Computer Science	0	1	0	0	0	0	0	0	0	0	1	2	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0
1705 · Computer Networks and Communications	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	2	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	1	0	0	0	0	0	0
3304 · Education	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	3	0	0	0	1	1	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0
2609 · Logic	0	0	0	0	0	0	1	0	0	0	0	2	1	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
1903 · Computers in Earth Sciences	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	2	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
1704 · Computer Graphics and Computer-Aided Design	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	1	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
1804 · Statistics; Probability and Uncertainty	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	2	0	0	0	0	0	0	1	0	0	0	0	0	0	0
3305 · Geography; Planning and Development	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	1	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0
1901 · Earth and Planetary Sciences (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
1907 · Geology	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2209 · Industrial and Manufacturing Engineering	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
1209 · Museology	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
1305 · Biotechnology	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2205 · Civil and Structural Engineering	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2213 · Safety; Risk; Reliability and Quality	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2301 · Environmental Science (miscellaneous)	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2305 · Environmental Engineering	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
2602 · Algebra and Number Theory	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0
2607 · Discrete Mathematics and Combinatorics	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0
3309 · Library and Information Sciences	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
3310 · Linguistics and Language	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0

Ano	Tipo	Registro	Área temática e categoria ASJC
	Tipo de Publicação	Registro	Área temática e categoria ASJC
1985	Trabalho em evento	Uma Ferramenta para Projeto Modular de Banco de Dados Marco Antonio CASANOVA; Luiz TUCHERMAN; Antonio Luz FURTADO XII Seminário Integrado de Hardware e Software	PS Software
1985	Trabalho em evento	A Tool for Modular Database Design Luiz TUCHERMAN; Antonio Luz FURTADO; Marco Antonio CASANOVA 11th International Conference on Very Large Data Bases (VLDB)	PS Computer Science (miscellaneous)
1985	Trabalho em evento	Sistemas Especialistas para Especificação Modular de Banco de Dados Antonio Luz FURTADO; Luiz TUCHERMAN; Marco Antonio CASANOVA II Simpósio de Inteligência Artificial (SBIA)	PS Artificial Intelligence
1984	Capítulo de livro	On the Description of Database Transition Constraints using Temporal Logic Marco Antonio CASANOVA; Antonio Luz FURTADO Advances of Database Theory ISBN 0306416360	PS Computational Theory and Mathematics
1984	Trabalho em evento	Variedades de Lógica Temporal Marco Antonio CASANOVA; Margarida PION II Symposium of Logic; Philosophy and Theory of Science	PS Logic
1984	Trabalho em evento	Formal Data Base Specification - An Eclectic Perspective Marco Antonio CASANOVA; Paulo A S VELOSO; Antonio Luz FURTADO 3rd ACM SIGACT-SIGMOD Symposium on Principles of Database Systems ISBN 0897911288	PS Information Systems
1984	Trabalho em evento	Sistemas de Gerência de Bancos de Dados Distribuídos São Factíveis? Marco Antonio CASANOVA; Cláudo M O MOURA XVII Congresso Nacional de Informática	PS Computer Networks and Communications
1984	Trabalho em evento	Síntese das Condições e Efeitos Colaterais das Operações de Atualização sobre Bancos de Dados Luiz TUCHERMAN; Marco Antonio CASANOVA XVII Congresso Nacional de Informática	PS Software
1984	Artigo em periódico	Inclusion dependencies and their interaction with functional dependencies Marco Antonio CASANOVA; Ronald FAGIN; Christos H PAPADIMITRIOU JOURNAL OF COMPUTER AND SYSTEM SCIENCES DOI 10.1016/0022-0000(84)90075-8 ISSN 0022-0000	PS Computational Theory and Mathematics
1984	Artigo em periódico	Towards multi-level and modular conceptual schema specifications Ulrich SCHIEL; Antonio Luz FURTADO; Erich J NEUHOLD; Marco Antonio CASANOVA Information Systems (Oxford) DOI 10.1016/0306-4379(84)90015-2 ISSN 0306-4379	PS Information Systems
1984	Artigo em periódico	Mapping Uninterpreted Schemes into Entity-Relationship Diagrams: Two Applications to Conceptual Schema Design Marco Antonio CASANOVA; José E Amaral De SÁ IBM Journal of Research and Development (Cessou em 2008) DOI 10.1147/rd.281.0082 ISSN 0018-8646	PS Computer Science Applications
1983	Capítulo de livro	Properties of Conceptual and External Database Schemas Marco Antonio CASANOVA; José Mauro Volkmer De CASTILHO; Antonio Luz FURTADO Formal Description of Programming Concepts; II ISBN 0444866191	PS Computer Science (miscellaneous)
1983	Trabalho em evento	Towards a Sound View Integration Methodology Vânia Maria Ponte VIDAL; Marco Antonio CASANOVA 2nd ACM SIGACT-SIGMOD symposium on Principles of Database Systems (PODS) ISBN 0897910974	PS Computational Theory and Mathematics
1983	Trabalho em evento	Designing Entity-Relationship Schema for Conventional Information Systems Marco Antonio CASANOVA; José E Amaral De SÁ 3rd International Conference on Entity-Relationship Approach (ER) ISBN 0444867775	PS Information Systems
1983	Trabalho em evento	A Grammatical Approach to Data Bases Marco Antonio CASANOVA; Paulo A S VELOSO; Antonio Luz FURTADO IFIP World Computer Congress ISBN 0444867295	PS Computer Science (miscellaneous)
1983	Trabalho em evento	A Pragmatic Approach to Structured Database Design Luiz TUCHERMAN; Antonio Luz FURTADO; Marco Antonio CASANOVA 9th International Conference on Very Large Data Bases (VLDB) ISBN 093461315	PS Computer Science (miscellaneous)
1983	Trabalho em evento	Tableaux Analíticos de Primeira Ordem Utilização como Procedimento de Decisão para Dependências de Dados Cláudo M O MOURA; Marco Antonio CASANOVA XVI Congresso Nacional de Informática	SH Management Science and Operations Research
1983	Artigo em periódico	The theory of functional and subset dependencies over relational expressions Marco Antonio CASANOVA Information Processing Letters (Print) DOI 10.1016/0020-0190(83)90068-6 ISSN 0020-0190	PS Computational Theory and Mathematics
1983	Artigo em periódico	A theory of data dependencies over relational expressions Marco Antonio CASANOVA International Journal of Computer & Information Sciences DOI 10.1007/BF00995890 ISSN 0091-7036	PS Computational Theory and Mathematics
1982	Trabalho em evento	A Theory of Data Dependencies over Relational Expressions Marco Antonio CASANOVA ACM SIGACT-SIGMOD Symposium on Principles of Database Systems (PODS) DOI 10.1145/588111.588143 ISBN 0897910702	PS Computer Science (miscellaneous)
1982	Trabalho em evento	Inclusion Dependencies and Their Interaction with Functional Dependencies - (Extended Abstract) Marco Antonio CASANOVA; Ronald FAGIN; Christos H PAPADIMITRIOU ACM SIGACT-SIGMOD Symposium on Principles of Database Systems (PODS) DOI 10.1145/588111.588141 ISBN 0897910702	PS Computational Theory and Mathematics
1982	Trabalho em evento	A Temporal Framework for Database Specifications José Mauro Volkmer De CASTILHO; Marco Antonio CASANOVA; Antonio Luz FURTADO 8th International Conference on Very Large Data Bases (VLDB) ISBN 0934613168	PS Information Systems
1982	Trabalho em evento	Aplicações de uma Teoria de Dependências Funcionais e Dependências de Inclusão Severino Pompilho Do REGO; Marco Antonio CASANOVA XV Congresso Nacional de Informática	PS Computer Science (miscellaneous)
1982	Trabalho em evento	Projeto de Bancos de Dados através de Exemplos Cláudo M O MOURA; Marco Antonio CASANOVA XV Congresso Nacional de Informática	PS Information Systems
1982	Trabalho em evento	A Family of Temporal Languages for the Description of Transition Constraints Marco Antonio CASANOVA; Antonio Luz FURTADO Workshop on Logical Bases for Databases	PS Computational Theory and Mathematics

1985 Trabalho em evento

PS Software

Uma Ferramenta para Projeto Modular de Banco de Dados

XII Seminário Integrado de Hardware e Software

Marco Antonio CASANOVA; Luiz TUCHERMAN; Antonio Luz FURTADO

1985 Trabalho em evento

PS Computer Science (miscellaneous)

A Tool for Modular Database Design

11th International Conference on Very Large Data Bases (VLDB)

Luiz TUCHERMAN; Antonio Luz FURTADO; Marco Antonio CASANOVA

1985 Trabalho em evento

PS Artificial Intelligence

Sistemas Especialistas para Especificação Modular de Banco de Dados

II Simpósio de Inteligência Artificial (SBIA)

Antonio Luz FURTADO; Luiz TUCHERMAN; Marco Antonio CASANOVA

1984 Capítulo de livro

PS Computational Theory and Mathematics

On the Description of Database Transition Constraints using Temporal Logic

Advances of Database Theory

Marco Antonio CASANOVA; Antonio Luz FURTADO

ISBN 0306416360

1984 Trabalho em evento

PS Logic

Variedades de Lógica Temporal

II Symposium of Logic; Philosophy and Theory of Science

Marco Antonio CASANOVA; Margarida PION

1984 Trabalho em evento

PS Information Systems

Formal Data Base Specification - An Eclectic Perspective

3rd ACM SIGACT-SIGMOD Symposium on Principles of Database Systems

Marco Antonio CASANOVA; Paulo A S VELOSO; Antonio Luz FURTADO

ISBN 0897911288

1984 Trabalho em evento

PS Computer Networks and Communications

Sistemas de Gerência de Bancos de Dados Distribuídos São Factíveis?

XVII Congresso Nacional de Informática

Marco Antonio CASANOVA; Cláudo M O MOURA

1984 Trabalho em evento

PS Software

Síntese das Condições e Efeitos Colaterais das Operações de Atualização sobre Bancos de Dados

XVII Congresso Nacional de Informática

Luiz TUCHERMAN; Marco Antonio CASANOVA

1984 Artigo em periódico

PS Computational Theory and Mathematics

Inclusion dependencies and their interaction with functional dependencies

JOURNAL OF COMPUTER AND SYSTEM SCIENCES

Marco Antonio CASANOVA; Ronald FAGIN; Christos H PAPADIMITRIOU

DOI ISSN 0022-0000

1984 Artigo em periódico

PS Information Systems

Towards multi-level and modular conceptual schema specifications

Information Systems (Oxford)

Ulrich SCHIEL; Antonio Luz FURTADO; Erich J NEUHOLD; Marco Antonio CASANOVA

DOI ISSN 0306-4379

1984 Artigo em periódico

PS Computer Science Applications

Mapping Uninterpreted Schemes into Entity-Relationship Diagrams: Two Applications to Conceptual Schema Design

IBM Journal of Research and Development (Cessou em 2008)

Marco Antonio CASANOVA; José E Amaral De SÁ

DOI ISSN 0018-8646

1983 Capítulo de livro

PS Computer Science (miscellaneous)

Properties of Conceptual and External Database Schemas

Formal Description of Programming Concepts; II

Marco Antonio CASANOVA; José Mauro Volkmer De CASTILHO; Antonio Luz FURTADO

ISBN 0444866191

1983 Trabalho em evento

PS Computational Theory and Mathematics

Towards a Sound View Integration Methodology

2nd ACM SIGACT-SIGMOD symposium on Principles of Database Systems (PODS)

Vânia Maria Ponte VIDAL; Marco Antonio CASANOVA

ISBN 0897910974

1983 Trabalho em evento

PS Information Systems

Designing Entity-Relationship Schema for Conventional Information Systems

3rd International Conference on Entity-Relationship Approach (ER)

Marco Antonio CASANOVA; José E Amaral De SÁ

ISBN 0444867775

1983 Trabalho em evento

PS Computer Science (miscellaneous)

A Grammatical Approach to Data Bases

IFIP World Computer Congress

Marco Antonio CASANOVA; Paulo A S VELOSO; Antonio Luz FURTADO

ISBN 0444867295

1983 Trabalho em evento

PS Computer Science (miscellaneous)

A Pragmatic Approach to Structured Database Design

9th International Conference on Very Large Data Bases (VLDB)

Luiz TUCHERMAN; Antonio Luz FURTADO; Marco Antonio CASANOVA

ISBN 093461315

1983 Trabalho em evento

SH Management Science and Operations Research

Tableaux Analíticos de Primeira Ordem Utilização como Procedimento de Decisão para Dependências de Dados

XVI Congresso Nacional de Informática

Cláudo M O MOURA; Marco Antonio CASANOVA

1983 Artigo em periódico

PS Computational Theory and Mathematics

The theory of functional and subset dependencies over relational expressions

Information Processing Letters (Print)

Marco Antonio CASANOVA

DOI ISSN 0020-0190

1983 Artigo em periódico

PS Computational Theory and Mathematics

A theory of data dependencies over relational expressions

International Journal of Computer & Information Sciences

Marco Antonio CASANOVA

DOI ISSN 0091-7036

1982 Trabalho em evento

PS Computer Science (miscellaneous)

A Theory of Data Dependencies over Relational Expressions

ACM SIGACT-SIGMOD Symposium on Principles of Database Systems (PODS)

Marco Antonio CASANOVA

DOI ISBN 0897910702

1982 Trabalho em evento

PS Computational Theory and Mathematics

Inclusion Dependencies and Their Interaction with Functional Dependencies - (Extended Abstract)

ACM SIGACT-SIGMOD Symposium on Principles of Database Systems (PODS)

Marco Antonio CASANOVA; Ronald FAGIN; Christos H PAPADIMITRIOU

DOI ISBN 0897910702

1982 Trabalho em evento

PS Information Systems

A Temporal Framework for Database Specifications

8th International Conference on Very Large Data Bases (VLDB)

José Mauro Volkmer De CASTILHO; Marco Antonio CASANOVA; Antonio Luz FURTADO

ISBN 0934613168

1982 Trabalho em evento

PS Computer Science (miscellaneous)

Aplicações de uma Teoria de Dependências Funcionais e Dependências de Inclusão

XV Congresso Nacional de Informática

Severino Pompilho Do REGO; Marco Antonio CASANOVA

1982 Trabalho em evento

PS Information Systems

Projeto de Bancos de Dados através de Exemplos

XV Congresso Nacional de Informática

Cláudo M O MOURA; Marco Antonio CASANOVA

1982 Trabalho em evento

PS Computational Theory and Mathematics

A Family of Temporal Languages for the Description of Transition Constraints

Workshop on Logical Bases for Databases

Marco Antonio CASANOVA; Antonio Luz FURTADO