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
1989	Trabalho em evento	Computing Answers in Default Logic Ramiro GUERREIRO; Andrea Silva HEMERLY; Marco Antonio CASANOVA IEEE International Symposium on Architectures; Languages and Algorithms for Artificial Intelligence	PS Artificial Intelligence
1989	Trabalho em evento	Computing Answers to Logic Programs with Weak Model Elimination Marco Antonio CASANOVA; Ramiro GUERREIRO; Andrea Silva HEMERLY North American Conference on Logic Programming ISBN 0262620642	PS Theoretical Computer Science
1989	Trabalho em evento	Computação de Respostas para Programas em Lógica através de Eliminação de Modelos Fraca Marco Antonio CASANOVA; Ramiro GUERREIRO; Andrea Silva HEMERLY VIII Simpósio Latino-Americano de Lógica Matemática	PS Logic
1989	Trabalho em evento	Uma Extensão à Lógica de Defaults Andrea Silva HEMERLY; Ramiro GUERREIRO; Marco Antonio CASANOVA VIII Simpósio Latino-Americano de Lógica Matemática	PS Logic
1989	Trabalho em evento	Raciocínio Matemático em Lógica de Defaults Ramiro GUERREIRO; Marco Antonio CASANOVA; Andrea Silva HEMERLY VI Simpósio Brasileiro de Inteligência Artificial (SBIA)	PS Artificial Intelligence
1988	Trabalho em evento	A Monitor Enforcing Referential Integrity Marco Antonio CASANOVA; Antonio Luz FURTADO; Luiz TUCHERMAN III Simpósio Brasileiro de Banco de Dados (SBBD)	PS Computer Science Applications
1988	Trabalho em evento	Visão Parcial: Um Mecanismo para Abstração de Dados no Modelo Entidade Relacionamento Marco Antonio CASANOVA; Luiz TUCHERMAN XV Seminário Integrado de Hardware e Software (SEMISH)	PS Computer Science (miscellaneous)
1988	Trabalho em evento	Transforming Constraints into Logic Programming Antonio Luz FURTADO; Marco Antonio CASANOVA IFIP WG 2.6 Working Conference on Data Semantics ISBN 0444705287	PS Theoretical Computer Science
1988	Trabalho em evento	Enforcing Including Dependencies and Referential Integrity Marco Antonio CASANOVA; Antonio Luz FURTADO; Luiz TUCHERMAN 14th International Conference on Very Large Data Bases (VLDB) ISBN 0934613753	PS Software
1988	Trabalho em evento	Computação de Respostas em Sistemas baseados em Eliminação de Modelos e Defaults Marco Antonio CASANOVA; Ramiro GUERREIRO; Altigran Soares Da SILVA V Simpósio Brasileiro de Inteligência Artificial (SBIA)	PS Artificial Intelligence
1988	Trabalho em evento	Programação em Cláusulas Genéricas utilizando o Método de Eliminação de Modelos Ramiro GUERREIRO; Marco Antonio CASANOVA; Andrea Silva HEMERLY V Simpósio Brasileiro de Inteligência Artificial (SBIA)	PS Artificial Intelligence
1988	Artigo em periódico	String pattern-matching in Prolog Marco Antonio CASANOVA; Antonio Luz FURTADO Computer languages DOI 10.1016/0096-0551(88)90022-7 ISSN 0096-0551	PS Software
1987	Livro	Programação em Lógica e a Linguagem Prolog Marco Antonio CASANOVA; Fernando A C GIORNO; Antonio Luz FURTADO — ISBN 9999999999999	PS Software
1987	Trabalho em evento	The CHRIS Consultant Antonio Luz FURTADO; Marco Antonio CASANOVA; Luiz TUCHERMAN II Simpósio Brasileiro de Banco de Dados (SBBD)	PS Computer Science Applications
1987	Trabalho em evento	The CHRIS Consultant Antonio Luz FURTADO; Marco Antonio CASANOVA; Luiz TUCHERMAN 6th International Conference on Entity-Relationship Approach (ER) ISBN 044470440	PS Computer Science (miscellaneous)
1986	Capítulo de livro	Modular Database Design Tools Luiz TUCHERMAN; Antonio Luz FURTADO; Marco Antonio CASANOVA Relational Databases: State of the Art Report ISBN 999999999X	PS Software
1986	Trabalho em evento	A Framework for Design/Redesign Experts Antonio Luz FURTADO; Marco Antonio CASANOVA; Luiz TUCHERMAN First International Conference on Expert Database Systems ISBN 0805332715	PS Computer Science Applications
1986	Trabalho em evento	Princípios de Modularização para Sistemas de Informação Luiz TUCHERMAN; Marco Antonio CASANOVA XIX Congresso Nacional de Informática	PS Software
1986	Trabalho em evento	Designing Database Applications in Logic Programming Marco Antonio CASANOVA; Cláudo M O MOURA 10th IFIP World Computer Congress ISBN 0444700773	PS Computer Science (miscellaneous)
1986	Trabalho em evento	Uma Implementação do Método de Eliminação de Modelos Marco Antonio CASANOVA; Maria Emilia M WALTER III Simpósio Brasileiro de Inteligência Artificial (SBIA)	PS Artificial Intelligence
1986	Trabalho em evento	Implementação de Interpretadores Prolog Combinando Expansão em Profundidade com Expansão em Amplitude Marco Antonio CASANOVA; Maria Emilia M WALTER III Simpósio Brasileiro de Inteligência Artificial (SBIA)	PS Artificial Intelligence
1986	Trabalho em evento	Transforming Constraints into Logic Programs: A Case Study Antonio Luz FURTADO; Marco Antonio CASANOVA; Luiz TUCHERMAN IFIP TC-2 Working Conference on Knowledge and Data ISBN 0444705287	PS Artificial Intelligence
1985	Capítulo de livro	Updating relational views Antonio Luz FURTADO; Marco Antonio CASANOVA Query Processing in Database Systems ISBN 3540138315	PS Information Systems
1985	Livro	Princípios de Sistemas de Bancos de Dados DIstribuídos Marco Antonio CASANOVA; Arnaldo Vieira MOURA — ISBN 8570012632	PS Information Systems
1985	Trabalho em evento	On the Correctness of a Local Recovery Subsystem Marco Antonio CASANOVA; Luiz TUCHERMAN; Arnaldo Vieira MOURA ACM SIGACT/SIGMOD Symposium on Principles of Database Systems (PODS) ISBN 0897911539	PS Software

1989 Trabalho em evento

PS Artificial Intelligence

Computing Answers in Default Logic

IEEE International Symposium on Architectures; Languages and Algorithms for Artificial Intelligence

Ramiro GUERREIRO; Andrea Silva HEMERLY; Marco Antonio CASANOVA

1989 Trabalho em evento

PS Theoretical Computer Science

Computing Answers to Logic Programs with Weak Model Elimination

North American Conference on Logic Programming

Marco Antonio CASANOVA; Ramiro GUERREIRO; Andrea Silva HEMERLY

ISBN 0262620642

1989 Trabalho em evento

PS Logic

Computação de Respostas para Programas em Lógica através de Eliminação de Modelos Fraca

VIII Simpósio Latino-Americano de Lógica Matemática

Marco Antonio CASANOVA; Ramiro GUERREIRO; Andrea Silva HEMERLY

1989 Trabalho em evento

PS Logic

Uma Extensão à Lógica de Defaults

VIII Simpósio Latino-Americano de Lógica Matemática

Andrea Silva HEMERLY; Ramiro GUERREIRO; Marco Antonio CASANOVA

1989 Trabalho em evento

PS Artificial Intelligence

Raciocínio Matemático em Lógica de Defaults

VI Simpósio Brasileiro de Inteligência Artificial (SBIA)

Ramiro GUERREIRO; Marco Antonio CASANOVA; Andrea Silva HEMERLY

1988 Trabalho em evento

PS Computer Science Applications

A Monitor Enforcing Referential Integrity

III Simpósio Brasileiro de Banco de Dados (SBBD)

Marco Antonio CASANOVA; Antonio Luz FURTADO; Luiz TUCHERMAN

1988 Trabalho em evento

PS Computer Science (miscellaneous)

Visão Parcial: Um Mecanismo para Abstração de Dados no Modelo Entidade Relacionamento

XV Seminário Integrado de Hardware e Software (SEMISH)

Marco Antonio CASANOVA; Luiz TUCHERMAN

1988 Trabalho em evento

PS Theoretical Computer Science

Transforming Constraints into Logic Programming

IFIP WG 2.6 Working Conference on Data Semantics

Antonio Luz FURTADO; Marco Antonio CASANOVA

ISBN 0444705287

1988 Trabalho em evento

PS Software

Enforcing Including Dependencies and Referential Integrity

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

Marco Antonio CASANOVA; Antonio Luz FURTADO; Luiz TUCHERMAN

ISBN 0934613753

1988 Trabalho em evento

PS Artificial Intelligence

Computação de Respostas em Sistemas baseados em Eliminação de Modelos e Defaults

V Simpósio Brasileiro de Inteligência Artificial (SBIA)

Marco Antonio CASANOVA; Ramiro GUERREIRO; Altigran Soares Da SILVA

1988 Trabalho em evento

PS Artificial Intelligence

Programação em Cláusulas Genéricas utilizando o Método de Eliminação de Modelos

V Simpósio Brasileiro de Inteligência Artificial (SBIA)

Ramiro GUERREIRO; Marco Antonio CASANOVA; Andrea Silva HEMERLY

1988 Artigo em periódico

PS Software

String pattern-matching in Prolog

Computer languages

Marco Antonio CASANOVA; Antonio Luz FURTADO

DOI ISSN 0096-0551

1987 Livro

PS Software

Programação em Lógica e a Linguagem Prolog

—

Marco Antonio CASANOVA; Fernando A C GIORNO; Antonio Luz FURTADO

ISBN 9999999999999

1987 Trabalho em evento

PS Computer Science Applications

The CHRIS Consultant

II Simpósio Brasileiro de Banco de Dados (SBBD)

Antonio Luz FURTADO; Marco Antonio CASANOVA; Luiz TUCHERMAN

1987 Trabalho em evento

PS Computer Science (miscellaneous)

The CHRIS Consultant

6th International Conference on Entity-Relationship Approach (ER)

Antonio Luz FURTADO; Marco Antonio CASANOVA; Luiz TUCHERMAN

ISBN 044470440

1986 Capítulo de livro

PS Software

Modular Database Design Tools

Relational Databases: State of the Art Report

Luiz TUCHERMAN; Antonio Luz FURTADO; Marco Antonio CASANOVA

ISBN 999999999X

1986 Trabalho em evento

PS Computer Science Applications

A Framework for Design/Redesign Experts

First International Conference on Expert Database Systems

Antonio Luz FURTADO; Marco Antonio CASANOVA; Luiz TUCHERMAN

ISBN 0805332715

1986 Trabalho em evento

PS Software

Princípios de Modularização para Sistemas de Informação

XIX Congresso Nacional de Informática

Luiz TUCHERMAN; Marco Antonio CASANOVA

1986 Trabalho em evento

PS Computer Science (miscellaneous)

Designing Database Applications in Logic Programming

10th IFIP World Computer Congress

Marco Antonio CASANOVA; Cláudo M O MOURA

ISBN 0444700773

1986 Trabalho em evento

PS Artificial Intelligence

Uma Implementação do Método de Eliminação de Modelos

III Simpósio Brasileiro de Inteligência Artificial (SBIA)

Marco Antonio CASANOVA; Maria Emilia M WALTER

1986 Trabalho em evento

PS Artificial Intelligence

Implementação de Interpretadores Prolog Combinando Expansão em Profundidade com Expansão em Amplitude

III Simpósio Brasileiro de Inteligência Artificial (SBIA)

Marco Antonio CASANOVA; Maria Emilia M WALTER

1986 Trabalho em evento

PS Artificial Intelligence

Transforming Constraints into Logic Programs: A Case Study

IFIP TC-2 Working Conference on Knowledge and Data

Antonio Luz FURTADO; Marco Antonio CASANOVA; Luiz TUCHERMAN

ISBN 0444705287

1985 Capítulo de livro

PS Information Systems

Updating relational views

Query Processing in Database Systems

Antonio Luz FURTADO; Marco Antonio CASANOVA

ISBN 3540138315

1985 Livro

PS Information Systems

Princípios de Sistemas de Bancos de Dados DIstribuídos

—

Marco Antonio CASANOVA; Arnaldo Vieira MOURA

ISBN 8570012632

1985 Trabalho em evento

PS Software

On the Correctness of a Local Recovery Subsystem

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

Marco Antonio CASANOVA; Luiz TUCHERMAN; Arnaldo Vieira MOURA

ISBN 0897911539