|
|
Marco A. Casanova
Department
of Informatics - PUC-Rio
|
|
News
INF2328 – Tópicos em Tecnologias de Bancos de Dados para a Web (WebBD) (2012.1)
Recent Courses
INF2030 – Tópicos em Bancos de Dados -
Ciência da Web
INF2217 – Lógica e Especificação
INF2328 – Tópicos em Tecnologias de Bancos
de Dados para a Web
Recent Presentations
Revisitando Mapeamento entre Esquemas
(Palestra apresentada no SBBD 2007; 6.3MB)
Bancos de Dados: De onde vieram? Onde estão? Para onde vão? (1.7MB)
Research on the Web of Data at the INCT for Web Science (5.1MB)
Publications
Google Scholar
Public URL: http://scholar.google.com.br/citations?user=zWh25xcAAAAJ
|
Notes: |
||
|
(1) |
Classification of the
publications |
|
|
|
|
Journal
articles |
|
|
|
Books |
|
|
|
Book
Chapters |
|
|
|
Full papers
in conference proceedings |
|
|
|
Abstracts
and short papers in conference proceedings |
|
(2) |
Full reference from DBLP, when available, or from the
author, otherwise |
|
|
(3) |
[BibTex] entry from DPLP, when
available |
|
|
(4) |
Copy of the publication from the author’s Web site |
|
|
2011 |
|
|
241 |
Vânia Maria Ponte Vidal, José Antônio Fernandes de Macêdo, João C. Pinheiro, Marco A.
Casanova, Fabio Porto: Query
Processing in a Mediator Based Framework for Linked Data
Integration. IJBDCN 7(2): 29-47 (2011) doi:10.4018/jbdcn.2011040103 [BibTex] |
|
240 |
Bruno de C. Leal, José Antônio Fernandes de Macêdo, Váleria Cesário Times, Marco A. Casanova, Vânia
Maria Ponte Vidal, Marcelo Tilio M. de Carvalho: From Conceptual Modeling to Logical Representation of Trajectories in DBMS-OR and DW
Systems. JIDM 2(3): 463-478 (2011) [BibTex] |
|
239 |
FIGUEIRÊDO, H.F., LACERDA, Y.A., PAIVA, A.C., CASANOVA, M.A., BAPTISTA, C.S. (2011) PhotoGeo: a photo digital library with spatial-temporal support and self-annotation. Multimedia Tools and Applications (Online): 1-27. doi:10.1007/s11042-011-0745-x |
|
238 |
CASANOVA, M. A., BREITMAN, K. K., FURTADO, A. L., VIDAL, V., MACEDO, J. A. An Efficient Proof Procedure for a Family of Lightweight Database Schemas. In: Michael G. Hinchey, Lorcan Coyle. (Org.). Conquering Complexity. 1 ed. Heidelberg: Springer, 2011, v. 1: 453-484. ISBN: 9781447122968. |
|
237 |
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. 1: 113-133. doi:10.1007/978-1-4614-1767-5_6 |
|
236 |
Stanimir Bakshev, Laura
Spinsanti, José Antônio Fernandes de Macêdo, Creto Vidal, Marco A. Casanova: Trajectory Semantic
Visualization. ICEIS (1) 2011: 326-332 [BibTex] |
|
235 |
Igo Ramalho Brilhante, José Antônio Fernandes de Macêdo, Chiara Renso, Marco A. Casanova: Trajectory
data analysis using complex networks. IDEAS 2011: 17-25 [BibTex] |
|
234 |
Marco A. Casanova, Karin Koogan Breitman, Antonio L. Furtado, Vânia Maria Ponte Vidal, José Antônio Fernandes de Macedo, Raphael Valle A. Gomes, Percy E. Rivera Salas: The Role of Constraints in Linked Data. OTM Conferences (2) 2011: 781-799 [BibTex] |
|
233 |
BARBOSA, I., CASANOVA, M.A.
(2011) Trust
Indicator for Decisions Based On Geospatial Data. Anais do XII Simpósio
Brasileiro de Geoinformática (GeoInfo), Campos do Jordão, SP, Brasil: 49-60. |
|
232 |
MASIERO, L., CASANOVA, M.A., CARVALHO, M.T.M. (2011) Travel Time Prediction using Machine Learning. Proc. 4th ACM SIGSPATIAL International Workshop on Computational Transportation Science (IWCTS), Chicago, USA. |
|
231 |
Bernardo Pereira Nunes, Alexander Arturo Mera Caraballo, Marco A. Casanova, Karin Breitman, Luiz André P. Paes Leme: Complex Matching of RDF Datatype Properties. OM 2011 (Poster presentation) [BibTex] |
|
2010 |
|
|
230 |
Marco A. Casanova, Tanara Lauschner, Luiz André P. Paes Leme, Karin Koogan Breitman, Antonio L. Furtado, Vânia Maria Ponte Vidal: Revising the constraints of lightweight mediated schemas. Data Knowl. Eng. 69(12): 1274-1301 (2010) doi:10.1016/j.datak.2010.10.005 [BibTex] |
|
229 |
Luiz André P. Paes Leme, Marco A. Casanova, Karin Koogan Breitman, Antonio L. Furtado: OWL schema matching. J. Braz. Comp. Soc. 16(1): 21-34 (2010) doi:10.1007/s13173-010-0005-3 [BibTex] |
|
228 |
Angelo E. M. Ciarlini, Marco A. Casanova, Antonio L. Furtado, Paulo A. S. Veloso: Modeling interactive storytelling genres as application domains. J. Intell. Inf. Syst. 35(3): 347-381 (2010) doi:10.1007/s10844-009-0108-5 [BibTex] |
|
227 |
Eveline R. Sacramento, Vânia Maria Ponte
Vidal, José Antônio Fernandes de Macêdo,Bernadette
Farias Lóscio, Fernanda Lígia R. Lopes, Marco
A. Casanova: Towards Automatic Generation of Application Ontologies. JIDM
1(3): 535-550 (2010) [BibTex] |
|
226 |
GOMES, R. V., LEME, L.A.P.P.,
CASANOVA, M.A. (2010) MatchMaking – A Tool to Match OWL Schemas. Revista de Informática Teórica e Aplicada 16: 71-76. |
|
225 |
NUNES, B.P., CASANOVA, M.A. (2010) A Frame-Based System for Automatic Classification of Semi-Structured Data. Revista de Informática Teórica e Aplicada 16: 87-92. |
|
224 |
Marco A. Casanova, Tanara Lauschner, Luiz André P. Paes Leme, Karin Koogan Breitman, Antonio L. Furtado, Vânia Maria Ponte Vidal: Modeling the Mediated Schema Constraints. ECBS 2010: 393-402 [BibTex] |
|
223 |
Helena Piccinini, Melissa Lemos, Marco A. Casanova, Antonio L. Furtado: W-Ray: A Strategy to Publish Deep Web Geographic Data. ER Workshops 2010: 2-11 [BibTex] |
|
222 |
Marcelo Gomes Metello, Eduardo David, Marcelo Tílio Monteiro de Carvalho, Marco A. Casanova: Integrating Business Processes into
GIS-Based Simulations. GeoInfo 2010: 87-97 [BibTex] |
|
221 |
Percy E. Salas, Karin Koogan Breitman, José Viterbo F., Marco A. Casanova: Interoperability by design using the StdTrip tool: an a priori approach. I-SEMANTICS 2010 [BibTex] |
|
220 |
João C. Pinheiro, Vânia Maria Ponte Vidal, José Antônio
Fernandes de Macêdo, Eveline R. Sacramento, Marco A. Casanova, Fabio Porto: Query processing in a three-level ontology-based data
integration system. iiWAS
2010: 283-290 |
|
219 |
BARBOSA, I., CASANOVA, M.A.
(2010) Dicionário
de Tipos de Feições Geoespaciais para o Território
Brasileiro. Anais do XI Simpósio Brasileiro de Geoinformática
(GeoInfo), Campos do
Jordão, SP, Brasil, 2010. São José dos Campos: MCT/INPE: 170-175. |
|
218 |
Eveline R. Sacramento, Vânia Maria Ponte
Vidal, José Antônio Fernandes de Macêdo,Bernadette
Farias Lóscio, Fernanda Lígia R.
Lopes, Fernando Cordeiro Lemos, Marco A. Casanova: Towards
Automatic Generation of
Application Ontologies. ICEIS
(1) 2010: 403-406. [BibTex] |
|
217 |
SALAS, P.E., BREITMAN,
K.K., CASANOVA, M.A., VITERBO, J (2010) StdTrip: An a Priori Design
Approach and Process for Publishing Open Government Data. Anais do XXV
Simpósio Brasileiro de Banco de Dados (SBBD), Belo Horizonte, MG, Brasil,
2010. Porto Alegre: SBC. |
|
2009 |
|
|
216 |
Angelo E. M. Ciarlini, Simone Diniz Junqueira Barbosa, Marco A. Casanova, Antonio L. Furtado: Event relations in plan-based plot composition. Computers in Entertainment 7(4): (2009) doi:10.1145/1658866.1658874 [BibTex] |
|
215 |
Karla Donato Fook, Antônio Miguel Vieira Monteiro, Gilberto Câmara, Marco A. Casanova, Silvana Amaral: Geoweb Services for Sharing Modelling Results in Biodiversity Networks. T. GIS 13(4): 379-399 (2009) doi:10.1111/j.1467-9671.2009.01170.x [BibTex] |
|
214 |
Alexander Borgida, Marco A. Casanova, Alberto H. F. Laender: Logical Database Design: from Conceptual to Logical Schema. Encyclopedia of Database Systems 2009: 1645-1649 [BibTex] |
|
213 |
METELLO, M.G., CASANOVA, M.A. (2009) Training Games and GIS. In: Research Trends in Geographic Information Science, edited by Gerhard Navratil. Berlin: Springer: 257-269. |
|
212 |
Marco A. Casanova, Tanara Lauschner, Luiz André P. Paes Leme, Karin Koogan Breitman, Antonio L. Furtado, Vânia Maria Ponte Vidal: A Strategy to Revise the Constraints of the Mediated Schema. ER 2009: 265-279 [BibTex] |
|
211 |
Antonio L. Furtado, Marco A. Casanova, Karin Koogan Breitman, Simone Diniz Junqueira Barbosa: A Frame Manipulation Algebra for ER Logical Stage Modelling. ER 2009: 9-24 [BibTex] |
|
210 |
Vânia Maria Ponte Vidal, Eveline R.
Sacramento, José Antônio Fernandes de Macêdo,
Marco A. Casanova: An Ontology-Based Framework for
Geographic Data Integration. ER
Workshops 2009: 337-346 [BibTex] |
|
209 |
Börje Karlsson, Simone Diniz Junqueira Barbosa, Antonio L. Furtado, Marco A. Casanova: A Plot-Manipulation Algebra to Support Digital Storytelling. ICEC 2009: 132-144 [BibTex] |
|
208 |
Luiz André P. Paes Leme, Marco A. Casanova, Karin Koogan Breitman, Antonio L. Furtado: Instance-Based OWL Schema Matching. ICEIS 2009: 14-26 [BibTex] |
|
207 |
Tanara Lauschner, Marco A. Casanova, Vânia Maria Ponte Vidal, José Antônio Fernandes de Macêdo: Efficient Decision Procedures for Query Containment and Related Problems. SBBD 2009: 1-15 [BibTex] |
|
206 |
MACULAN, N., SOUZA E SILVA, E., XEXEO, G., MEDEIROS, C.M.B., BARBOSA, S. J., BREITMAN, K.K., CASANOVA, M.A., LUCENA, C.J.P (2009) Brazilian Institute for Web Science Research. Proc. Web Science Conference 2009 - Society On-Line!, Athens, Greece, 2009. |
|
2008 |
|
|
205 |
Luiz André P. Paes Leme, Daniela F. Brauner, Karin Koogan Breitman, Marco A. Casanova, Alexandre Gazola: Matching object catalogues. ISSE 4(4): 315-328 (2008) doi:10.1007/s11334-008-0070-3 [BibTex] |
|
204 |
Melissa Lemos, Marco A. Casanova, Antonio L. Furtado: Process pipeline scheduling. Journal of Systems and Software 81(3): 307-327 (2008) doi:10.1016/j.jss.2007.06.018 [BibTex] |
|
203 |
FURTADO, A.L., BREITMAN, K.K.,
CASANOVA, M.A., BARBOSA, S.J.
(2008) Applying Analogy to Schema Generation. iSYS - Revista Brasileira de
Sistemas de Informação 1(1). |
|
202 |
Marcelo Tílio Monteiro de Carvalho, Marco A.
Casanova, Marcelo Gattass, Lúbia Vinhas: Anais
do X Simpósio Brasileiro de Geoinformática,
8-10 Dezembro, Rio de Janeiro, RJ, Brasil. INPE 2008 [BibTex] |
|
201 |
Antonio L. Furtado, Marco A. Casanova, Simone Diniz Junqueira Barbosa, Karin Koogan Breitman: Analysis and Reuse of Plots Using Similarity and Analogy. ER 2008: 355-368 [BibTex] |
|
200 |
Marcelo Gomes Metello, Marco A. Casanova, Marcelo Tílio Monteiro de Carvalho: Using Serious Game Techniques to Simulate Emergency Situations. GeoInfo 2008: 121-182 [BibTex] |
|
199 |
Karla Donato Fook, Silvana Amaral, Antônio Miguel Vieira Monteiro, Gilberto Câmara, Marco A. Casanova: Sharing Executable Models Through an Open Architecture Based on Geospatial Web Services: a Case Study in Biodiversity Modelling. GeoInfo 2008: 37-50 [BibTex] |
|
198 |
Daniela F. Brauner, Alexandre Gazola, Marco A. Casanova, Karin Koogan Breitman: Adaptative Matching of Database Web Services Export Schemas. ICEIS (1) 2008: 49-56 [BibTex] |
|
197 |
Vânia Maria Ponte Vidal, Fernando Cordeiro Lemos, Valdiana da Silva Araujo, Marco A. Casanova: A Mapping-Driven Approach for SQL/XML View
Maintenance. ICEIS
(1) 2008: 65-73 [BibTex] |
|
196 |
Marco A. Casanova, Simone Diniz Junqueira Barbosa, Karin Koogan Breitman, Antonio L. Furtado: Generalization and Blending in the Generation of Entity-Relationship Schemas by Analogy. ICEIS (3-2) 2008: 43-48 [BibTex] |
|
195 |
LEME, L.A.P.P., CASANOVA, M.A., BREITMAN, K.K., FURTADO, A.L. (2008) Database Mediation using Multi-Agent Systems. Proc. 32nd Annual IEEE Software Engineering Workshop (SEW), Kassandra, Greece. IEEE Computer Society Washington, DC, USA: 125-133. |
|
194 |
CIARLINI, A.E.M., BARBOSA, S. J., CASANOVA, M.A., FURTADO, A.L. (2008) Event Relations.
Plan-Based Plot Composition. Anais do VII Simpósio
Brasileiro de Jogos e Entretenimento Digital (SBGames), Belo Horizonte, MG, Brasil, 10-12
Novembro, ISBN: 85-766-9217-1: 31-40. |
|
193 |
BREITMAN, K.K., BRAUNER, D.F., CASANOVA, M.A., MILIDIU, R., GAZOLA, A., PERAZOLO, M. (2008) Instance-Based Ontology Mapping. Proc. 5th IEEE Workshop on Engineering of Autonomic and Autonomous Systems (EASe), Belfast, Northern Ireland, March 31 2008-April 4 2008, ISBN 0-7695-3140-7: 67-74. |
|
192 |
METELLO, M.G., CASANOVA, M.A. (2008) Serious Games and GIS. Proc. Colloquium to celebrate Andrew Frank’ 60th birthday, Vienna. GeoInfo Series 39, Vienna: University of Vienna, 67-73. |
|
191 |
MASIERO, L., CASANOVA, M.A., CARVALHO, M.T.M. (2008) Detecção
Automática de Rotas de Ônibus. Proc. X Simpósio Brasileiro de Geoinformática (GeoInfo
2008), Rio de Janeiro, Brazil: 8-10 |
|
2007 |
|
|
190 |
Marco A. Casanova, Karin Koogan Breitman, Daniela F. Brauner, André L. A. Marins: Database Conceptual Schema Matching. IEEE Computer 40(10): 102-104 (2007). doi:10.1109/mc.2007.342 [BibTex] |
|
189 |
Abílio Fernandes, Angelo E. M. Ciarlini, Antonio
L. Furtado, Michael G. Hinchey, Marco A. Casanova, Karin Koogan Breitman: Adding flexibility to workflows
through incremental planning. ISSE 3(4): 291-302 (2007).
doi:10.1007/s11334-007-0035-y [BibTex] |
|
188 |
CÂMARA, G., VINHAS, L., FERREIRA, K.R., SOUZA, R.C., MONTEIRO, A.M.V., CARVALHO, M.T.M., CASANOVA, M.A., FREITAS, U. (2007) TerraLib: An Open Source GIS Library for Large-scale Environmental and Socio-economic Applications. In: Open Source Approaches for Spatial Data Handling, edited by Hall, G. B.. Berlin: Springer. |
|
187 |
Daniela F. Brauner, Chantal Intrator, João Carlos Freitas, Marco A. Casanova: An Instance-based Approach for Matching Export Schemas of Geographical Database Web Services. GeoInfo 2007: 109-120 [BibTex] |
|
186 |
Vítor Dantas, Marcelo Gomes Metello, Melissa Lemos, Marco A.
Casanova: Coverage Representation in TerraLib. GeoInfo 2007: 245-250 [BibTex] |
|
185 |
Karin Koogan Breitman, Simone Diniz Junqueira Barbosa, Marco A. Casanova, Antonio L. Furtado, Michael G. Hinchey: Using Analogy to Promote Conceptual Modeling Reuse. ISoLA 2007: 111-122 [BibTex] |
|
184 |
Ricardo Couto Antunes da Rocha, Marco A. Casanova, Markus Endler: Promoting Efficiency and Separation of Concerns through a Hybrid Model Based on Ontologies for Context-Aware Computing. PerCom Workshops 2007: 9-13 [BibTex] |
|
183 |
Simone Diniz Junqueira Barbosa, Karin Koogan Breitman, Antonio L. Furtado, Marco A. Casanova: Similarity and Analogy over Application Domains. SBBD 2007: 238-252 [BibTex] |
|
182 |
LEME, L.A.P.P., BRAUNER, D.F., CASANOVA, M.A., BREITMAN, K.K. (2007) A Software Architecture for Automated Geographic Metadata Annotation Generation. Brazilian e-Science WorkShop, in conjunction with the XXIV Brazilian Symposium on Databases (SBBD 2007), João Pessoa, PB, Brazil: 51-60. |
|
181 |
MARINS, A., CASANOVA, M.A.,
FURTADO, A.L., BREITMAN, K.K. (2007) Modeling Provenance
for Semantic Desktop Applications. Anais do XXXIV Seminário
Integrado de Software e Hardware (SEMISH), Rio de Janeiro, RJ, Brasil, 30 de
junho a 06 de julho de 2007: 2100-2112. |
|
180 |
CASANOVA, M.A., LEMOS, M. (2007) Workflow Parallelization by Data Partition and Pipelining. Proc. 3rd VLDB Workshop on Data Management in Grids, Vienna, Austria, 23 September 2007. |
|
179 |
Marco A. Casanova: Schema Matching Revisited. SBBD 2007: 380 [BibTex] |
|
178 |
Karin Koogan Breitman, Simone Diniz Junqueira Barbosa, Marco A. Casanova, Antonio L. Furtado: Conceptual modeling by analogy and metaphor. CIKM 2007: 865-868 [BibTex] |
|
177 |
GAZOLA, A., BRAUNER, D.F., CASANOVA, M.A. (2007) A Mediator for Heterogeneous Gazetteers. Anais do XXII Simpósio Brasileiro de
Banco de Dados (SBBD) - Sessão de Pôsteres, João Pessoa, PB, Brasil, 2007.
Porto Alegre: Sociedade Brasileira de Computação: 11-14. |
|
2006 |
|
|
176 |
|
|
175 |
Daniela F. Brauner, Marco A. Casanova, Ruy Luiz Milidiú: Towards Gazetteer Integration Through an Instance-based Thesauri Mapping Approach. GeoInfo 2006: 189-198 [BibTex] |
|
174 |
Daniela F. Brauner, Marco A. Casanova, Karin Koogan Breitman, Luiz André P. Paes Leme: Using Gazetteers to Annotate Geographic Catalog Entries. ICEIS (1) 2006: 215-220 [BibTex] |
|
173 |
Tatiana Almeida S. C. Vieira, Marco A. Casanova: Transactional Behavior of a Workflow Instance. OTM Conferences (1) 2006: 756-771 [BibTex] |
|
172 |
Vânia Maria Ponte Vidal, Marco A. Casanova, Fernando Cordeiro
Lemos: Automatic Generation of SQL/XML
Views. SBBD
2006: 221-235 [BibTex] |
|
171 |
Melissa Lemos, Marco A. Casanova: On the Complexity of Process Pipeline Scheduling. SBBD 2006: 57-71 [BibTex] |
|
170 |
COUTINHO, L., PADILHA, H., GUIMARÃES, L.C., CASANOVA, M.A., BARBASTEFANO, R. (2006) Aulativa: Digital Learning Workplans. Proc. 22nd World Conference on Open Learning and Distance Education, Rio de Janeiro, RJ, Brasil, 3-6 Setembro 2006. |
|
169 |
Abílio Fernandes, Karin Koogan Breitman, Tatiana Almeida S. C. Vieira, Marco A. Casanova, Antonio L. Furtado: Semi-automated Workflow Synthesis. ISoLA 2006: 332-334 [BibTex] |
|
168 |
Daniela F. Brauner, Marco A. Casanova, Ruy Luiz Milidiú: Mediation as Recommendation: An Approach to Design Mediators for Object Catalogs. OTM Workshops (1) 2006: 46-47 [BibTex] |
|
2005 |
|
|
167 |
Tatiana Almeida S. C.
Vieira, Marco A. Casanova, Luis Gustavo Ferrão: On
the Design of Ontology-driven Workflow Flexibilization
Mechanisms. J. Braz. Comp. Soc. 11(2): 33-43 (2005). doi:10.1007/BF03192374 [BibTex] |
|
166 |
COUTINHO, L., CASANOVA, M.A. (2005) Desenvolvimento
de cursos baseados na Web: Uma proposta metodológica. Boletim Técnico do
SENAC 31: 37-49. |
|
165 |
CASANOVA, M.A., CÂMARA, G., DAVIS JR., C.,
VINHAS, L., QUEIROZ, G.R. (2005) Bancos de Dados Geográficos. vols 1, p. 506. Curitiba:
Editora MundoGeo. |
|
164 |
Frederico T. Fonseca, Marco A. Casanova: Anais do VII Simpósio
Brasileiro de Geoinformática, 20-23 Novembro,
Campos do Jordão, São Paulo, SP, Brasil INPE
2005 [BibTex] |
|
163 |
FERREIRA, K.R., CASANOVA, M.A., QUEIROZ, G.R., OLIVEIRA, O.F. (2005) Arquiteturas e linguagens (Cap.5). In: Bancos de Dados Geográficos, edited by Marco A. Casanova; Gilberto Câmara; Clodoveu Davis Jr.; Lúbia Vinhas; Gilberto Ribeiro de Queiroz. Vol. 1, 181-212. Curitiba: Editora MundoGEO. |
|
162 |
CASANOVA, M.A. (2005) Processamento de consultas e gerência de transações (Cap. 7). In: Bancos de Dados Geográficos, edited by Marco A. Casanova; Gilberto Câmara; Clodoveu Davis Jr.; Lúbia Vinhas; Gilberto Ribeiro de Queiroz. Vol. 1, 233-280. Curitiba: Editora MundoGeo. |
|
161 |
CASANOVA, M.A., BRAUNER, D.F., CÂMARA, G., LIMA JR., P.O. (2005) Integração e interoperabilidade entre fontes de dados geográficos (Cap. 9). In: Bancos de Dados Geográficos, edited by Marco A. Casanova; Gilberto Câmara; Clodoveu Davis Jr.; Lúbia Vinhas; Gilberto Ribeiro de Queiroz. Vol. 1, 317-352. Curitiba: Editora MundoGeo. |
|
160 |
DAVIS JR., C., BORGES,
K.A.V., SOUZA, L.A., CASANOVA, M.A., LIMA JR., P.O. (2005) O Open Geospatial
Consortium. In: Bancos de
Dados Geográficos (Cap. 11), edited
by Marco A. Casanova; Gilberto Câmara; Clodoveu
Davis Jr.; Lúbia Vinhas; Gilberto Ribeiro de
Queiroz. Vol. 1, 379-398. Curitiba: Editora MundoGeo. |
|
159 |
Karin Koogan Breitman, Carolina Howard Felicíssimo, Marco A. Casanova: CATO - A Lightweight Ontology Alignment Tool. CAiSE Short Paper Proceedings 2005 [BibTex] |
|
158 |
Leonardo M. Couto, Marco A. Casanova, Daniel Schwabe: Desenvolvimento de
Sistemas de Informação Geográfica Cooperativos seguindo o Padrão Modelo-Visão-Controle. GeoInfo 2005: 269-280 [BibTex] |
|
157 |
Vânia Maria Ponte Vidal, Valdiana da Silva Araujo, Marco A. Casanova: Towards Automatic Generation of Rules for Incremental Maintenance of XML Views of Relational Data. WISE 2005: 189-202 [BibTex] |
|
156 |
LEMOS, M., CASANOVA, M.A., SEIBEL, L.F.B. (2005) BioDAMS - A Bioinformatics Data Analysis and Management System. Proc. International Workshop on Genomic Databases (IWGD), Nov. 10-11. Rio de Janeiro, RJ, Brasil, 2005. |
|
155 |
BREITMAN, K.K., CASANOVA, M.A. (2005) Desenvolvimento
de Ontologias para Engenharia de Software e Banco de Dados: Um tutorial
Prático. Anais do XIX Simpósio Brasileiro de Engenharia de Software (SBES),
Uberlândia, MG, Brasil, 2005. Porto Alegre: SBC |
|
2004 |
|
|
154 |
Melissa Lemos, Marco A.
Casanova, Luiz Fernando Bessa Seibel, José Antônio Fernandes de Macêdo, Antonio Basílio de Miranda: Ontology-Driven
Workflow Management for Biosequence Processing Systems. DEXA
2004: 781-790 [BibTex] |
|
153 |
Daniela F. Brauner, Marco A. Casanova, Carlos José Pereira de Lucena: Geo-Object Catalogs to Enable Geographic Databases Interoperability. GeoInfo 2004: 235-246 [BibTex] |
|
152 |
Tatiana Almeida S. C. Vieira, Marco A. Casanova, Luis Gustavo Ferrão: An Ontology-Driven Architecture for Flexible Workflow Execution. WebMedia/LA-WEB 2004: 70-77 [BibTex] |
|
151 |
COUTINHO, L., CAMPOS, G.H.B., MOTTA, C., CASANOVA, M.A. (2004) Constructing Web-based Courses with Content Objects, Didactic Objects and Didactic Situations. Proc. International Conference on Computers in Education (ICCE), Melbourne, Australia, Nov. 30 – Dec. 3, 2004: 1465-1474. |
|
150 |
VIEIRA, T.A.S., CASANOVA, M.A., FERRÃO, L.G. (2004) Implementation of Ontology-driven Workflow Flexibilization Mechanisms. Proc. Workshop on Ontologies and their Applications, São Luiz, MA, Brazil, September 28, 2004. Editora Livro Rápido, 2004: 79-90. |
|
149 |
COUTINHO, L., CAMPOS,
G.H.B., MOTTA, C., CASANOVA, M.A. (2004) Learning Objects:
Separating Content from Didactics. Anais do XXXI Seminário
Integrado de Software e Hardware (SEMISH), Salvador, BA, Brasil. |
|
148 |
COUTINHO, L.,
CAMPOS, G.H.B., MOTTA, C., CASANOVA, M.A. (2004) Objetos de Aprendizagem
e Cursos na Web. Anais do XI Congresso Internacional de Educação a
Distância, Salvador, BA, Brasil. |
|
147 |
OLIVEIRA, W.J., PORCIANO, P.P., ALVAREZ, B.S.V., CASANOVA, M.A., CARVALHO, M.T.M., MONTENEGRO, A.A., PINTO, P.C. (2004) SAAAP - An Automated Pipeline Routing System. Proc. 2004 International Pipeline Conference (IPC), Calgary, Canada. |
|
146 |
VIEIRA, T.A.S., CASANOVA, M.A. (2004) Semanticflow: A System for Flexible Workflow Execution. Proceedings of the 2nd ICEIS Doctoral Consortium (DCEIS), Porto, Portugal. Porto: INSTICC Press, 2004: 1-8. |
|
145 |
FERREIRA FILHO, A.T., CARDOSO, V.F., CARBONE, R., BERARDINELLI, R.P., CARVALHO, M.T.M., CASANOVA, M.A., OLIVEIRA, W.J. (2004) The Transpetro Emergency Response System. Proc. International Pipeline Conference (IPC), Calgary, Canada. |
|
2003 |
|
|
144 |
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 1: 1-7. |
|
143 |
Melissa Lemos, Luiz Fernando Bessa
Seibel, Marco A. Casanova: BioNotes: A System for Biosequence Annotation. DEXA
Workshops 2003: 16-20 [BibTex] |
|
142 |
Vânia Maria Ponte Vidal, Marco A. Casanova: Efficient Maintenance of XML Views Using View Correspondence Assertions. EC-Web 2003: 281-291 [BibTex] |
|
141 |
Fábio Meira de Oliveira Dias, Marco A. Casanova, Marcelo Tílio Monteiro de Carvalho: Workflow Execution in Disconnected Environments. SBBD
2003: 229-239 [BibTex] |
|
140 |
Vânia Maria Ponte Vidal, Marco A. Casanova, Valdiana da Silva Araujo: Generating rules for incremental maintenance of XML view of relational data. WIDM 2003: 139-146 [BibTex] |
|
139 |
LEMOS, M., SEIBEL, L.F.B., CASANOVA, M.A. (2003) Functional Requirements of Biosequence Annotation Systems. Proc. 1st International Workshop on Biological Data Management (BIDM), Prague, Czech Republic. |
|
138 |
OLIVEIRA, W.J., PORCIANO, P.P., PINTO, P.C., CASANOVA, M.A., MONTENEGRO, A.A.,
ALVAREZ, B.S.V. (2003) Sistema de Avaliação
Ambiental de Alternativas de Percursos - Uma Abordagem Tecnológica para
Estudos de Viabilidade Ambiental de Projetos. Proc. 2003 Rio Pipeline Conference & Exposition, Rio de Janeiro, RJ, Brasil. |
|
2002 |
|
|
137 |
Lucimar C. Martins, Tatiana A.
S. Coelho, Simone Diniz Junqueira Barbosa, Marco A.
Casanova, Carlos José Pereira de Lucena: A Framework for Filtering and Packaging Hypermedia Documents. AH
2002: 274-283 [BibTex] |
|
136 |
CASANOVA, M.A., CARVALHO, M.T.M., TORRES, F., SANTOS, A. (2002) INFOPAE - an Emergency Plan Deployment System. Proc. 2002 International Pipeline Conference (IPC), Calgary, Canada. |
|
135 |
CASANOVA, M.A., TUCHERMAN, L., VIEIRA, T.A.S., SCHWABE, D. (2002) Portfolios and Guided Tours for Digital Cultural Repositories. Proc. 2002 Museums and the Web Conference (MW), Boston, USA. |
|
134 |
CASANOVA, M.A., VIEIRA,
T.A.S., CARVALHO, M.T.M., CORSEUIL, E.T.L., NOBRE, H., DIAS, F.M., LEVY, C.H.
(2002) The
Design of XPAE - An Emergency Plan Definition Language. Anais do IV
Simpósio Brasileiro de Geoinformática (GeoInfo), Cachambú,
MG, Brasil, 5 – 6 Dezembro, 2002: 25-32. |
|
2001 |
|
|
133 |
CASANOVA, M.A., CARVALHO, M.T.M.,
FREIRE, J. (2001) The
Architecture of an Emergency Plan Deployment System. Anais do III
Simpósio Brasileiro de Geoinformática (GeoInfo), Rio de Janeiro, RJ,
Brasil. |
|
2000 |
|
|
132 |
Altigran Soares da Silva, Alberto H. F. Laender, Marco A. Casanova: On the relational representation of complex specialization structures. Inf. Syst. 25(6-7): 399-415 (2000). doi:10.1016/S0306-4379(00)00025-9 [BibTex] |
|
1999 |
|
|
131 |
Maurício R. Mediano, Marco A. Casanova, Marcelo Gattass: TDA - Um Método para Indexar
Topologicamente Atributos Espaciais. SBBD
1999: 269-283 [BibTex] |
|
130 |
COUTINHO, L., SEIDEL, V.,
RIBEIRO, A.F., CASANOVA, M.A. (1999) Couching Teachers to Work
with Collaborative Learning. Anais da III Jornada de Educación
a Distancia Mercusul/Sul, Osorno,
Chile. |
|
129 |
SOARES, L.F.G., CASANOVA, M.A. (1999) Qualidade de
Vídeo em Ambientes de Ensino e Aprendizagem Não-Presenciais.
Anais da III Jornada de Educación a Distancia Mercusul/Sul, Osorno, Chile. |
|
128 |
COUTINHO, L., CASANOVA, M.A. (1999) Uma Experiência de Campo
com Aprendizagem Colaborativa. Anais do VI Congresso Internacional de
Educação à Distância, Rio de Janeiro, RJ, Brasil. |
|
127 |
COUTINHO, L., RIBEIRO, A.F., CASANOVA, M.A. (1999) A Collaborative Learning Environment for Educational Technology Centers. Proc. 19th World Conference on Open Learning and Distance Education, Vienna, Austria, June 20 – 24, 1999. |
|
1996 |
|
|
126 |
MEDEIROS, C.M.B., HEMERLY, A.S., CÂMARA, G., CASANOVA, M.A.
(1996) Anatomia de Sistemas de
Informação Geográfica. vols
1, p. 250. Campinas: Ed. UNICAMP. |
|
125 |
Gilberto Câmara, Marco A. Casanova, Ubirajara Moura de
Freitas, João Pedro Cerveira
Cordeiro, Lauro Hara: A Presentation Language for GIS
Cadastral Data. ACM-GIS
1996: 139-146 [BibTex] |
|
124 |
Altigran Soares da Silva, Alberto H. F. Laender, Marco A. Casanova: An Approach to Maintaining Optimized Relational Representations of Entity-Relationship Schemas. ER 1996: 292-308 [BibTex] |
|
123 |
Luiz Fernando Gomes Soares, Marco A. Casanova, Guido Lemos de
Souza Filho: Anchors and Links for Nested Composite Nodes. MMM
1996: 21-34 [BibTex] |
|
122 |
MEDIANO, M., GATTASS, M., CASANOVA, M.A.
(1996) HPS-tree: Um Método de Acesso para
Armazenar Mapas Longos com Multi-resolução
Geométrica e Topológica. Anais do IX Simpósio Brasileiro de
Computação Gráfica e Processamento de Imagens (SIBGRAPI), Caxambú,
MG, Brasil: 219-226. |
|
1995 |
|
|
121 |
Luiz Fernando Gomes
Soares, Noemi de La Rocque Rodriguez, Marco A.
Casanova: Nested
Composite Nodes and Version Control in an Open Hypermedia System. Inf. Syst.
20(6): 501-519 (1995). doi:10.1016/0306-4379(95)00027-2
[BibTex] |
|
120 |
CÂMARA, G., FREITAS, U., CASANOVA, M.A. (1995) Analysis
of the Algebras of Geographical
Operations. Anais do VIII Simpósio Brasileiro
de Computação Gráfica e Processamento de Imagens (SIBGRAPI), São Carlos, SP,
Brasil. |
|
119 |
TOCANTINS, C., CASANOVA, M.A. (1995) Armazenamento
Distribuído de Mapas Vetoriais em Sistemas de Geoprocessamento.
Anais do X Simpósio Brasileiro de Banco de Dados (SBBD), Recife, PE, Brasil. |
|
118 |
SOARES, L.F.G., SOUZA, G., CASANOVA, M.A. (1995) Synchronization Aspects of an Hypermedia Presentation Model with Composite Nodes. Proc. Workshop on Effective Abstraction. Multimedia Layout, Presentation and Workshop on Effective Abstraction, San Francisco, USA. |
|
117 |
SILVA, A.S., LAENDER, A.H.F.,
CASANOVA, M.A. (1995) Uma Discussão sobre o
Mapeamento Relacional Correto de Estruturas Complexas de Especialização em
Esquemas Entidade-Relacionamento. Anais do X Simpósio Brasileiro de Banco
de Dados (SBBD), Recife, PE, Brasil. |
|
1994 |
|
|
116 |
Alberto H. F. Laender, Marco A. Casanova, Alexandre P. de Carvalho, L. F. G. G. M. Ridolfi: An analysis of SQL integrity constraints from an entity-relationship model perspective. Inf. Syst. 19(4): 331-358 (1994) doi:10.1016/0306-4379(94)90018-3 [BibTex] |
|
115 |
HEMERLY, A. S., CASANOVA, M.A., FURTADO, A.L. (1994) Exploiting User Models to Avoid Misconstruals. In: R. Demolombe, T. Imielinski (eds.) Nonstandard queries and nonstandard answers: studies in logic and computation. Oxford University Press Oxford, UK, 1994: 73- 97. ISBN:0-19-853852-9 |
|
114 |
Claudia Bauzer Medeiros, Marco A. Casanova, Gilberto Câmara: The DOMUS Project - Building on OODB GIS for Environmental Control. IGIS 1994: 45-54 [BibTex] |
|
113 |
Alberto H. F. Laender, Donal J. Flynn, Marco A. Casanova: On the Mapping of NIAM Schemas into SQL. ORM 1994: 89-102 [BibTex] |
|
112 |
Maurício R. Mediano, Marco A. Casanova, Marcelo Dreux: V-Trees
- A Storage Method for Long Vector Data. VLDB
1994: 321-330 [BibTex] |
|
111 |
MEDIANO, M., CASANOVA,
M.A., DREUX, M. (1994) A Family of Storage Methods for Geographic Data. Anais do IX
Simpósio Brasileiro de Banco de Dados (SBBD), São Carlos, SP, Brasil. |
|
110 |
CÂMARA, G., FREITAS, U., SOUZA, R.C., HEMERLY, A.S., CASANOVA, M.A. (1994) A General Model for Integrating Remote Sensing and GIS Data. Proc. IV Symposium on Mapping and Geographic Information Systems. |
|
109 |
CÂMARA, G., FREITAS, U., SOUZA, R.C., CASANOVA, M.A., HEMERLY, A.S., MEDEIROS, C.M.B. (1994) A Model to Cultivate Objects and Manipulate Fields. In: Proc. 2nd ACM Workshop on Advances in Geographic Information, Gaithersburg, USA. |
|
108 |
ALCEZAR, J.P., HEMERLY, A.S., CASANOVA, M.A., FURTADO, A.L. (1994) Cooperative Interfaces for Spatio-temporal Databases. Proceedings of the 7th International Conference no Systems Research Informatics and Cybernetics, Focus Symposium no Database and Expert Systems, Baden-Baden, Germany. |
|
107 |
SOARES, L.F.G., RODRIGUEZ, N., CASANOVA, M.A. (1994) Nested Composite Nodes and Version Control. Hypermedia System. Proc. of the Workshop on Versioning in Hypertext Systems, Edinburgh, Scotland. |
|
106 |
LAENDER, A.H.F., CASANOVA, M.A. (1994) On the Mapping of NIAM Schemas into SQL. In: Terry A. Halpin, Robert Meersman (Eds.): Proceedings of the First International Conference on Object-Role Modelling (ORM), Magnetic Island, Australia, 4-6 July 1994: 89-102. |
|
105 |
SILVA, A.S., LAENDER, A.H.F.,
CASANOVA, M.A. (1994) Sobre a Manutenção de
Consistência de Representações Otimizadas de
Esquemas ER. Anais do IX Simpósio Brasileiro de Bancos de Dados (SBBD), São
Carlos, SP, Brasil, 1994. |
|
1993 |
|
|
104 |
Marco A. Casanova, Luiz Tucherman, Alberto H. F. Laender: On the Design and Maintenance of Optimized Relational Representations of Entity-Relationship Schemas. Data Knowl. Eng. 11(1): 1-20 (1993) doi:10.1016/0169-023X(93)90043-O [BibTex] |
|
103 |
Andrea S. Hemerly, Marco A. Casanova, Antonio L. Furtado: Avoiding Misconstruals in Database Systems: A Default Logic Approach. IEEE Trans. Knowl. Data Eng. 5(6): 994-996 (1993) doi:10.1109/69.250086 [BibTex] |
|
102 |
Andrea S. Hemerly, Antonio L. Furtado, Marco A. Casanova: Towards Cooperativeness in Geographic Databases. DEXA 1993: 373-376 [BibTex] |
|
101 |
SOARES, L.F.G., CASANOVA, M.A., COLCHER, S. (1993) A Distributed Architecture for Hypermedia Systems using MHEG Standard Objects Interchange. Proc. Workshop on Hypermedia and Hypertext Standards Workshop on Hypermedia and Hypertext Standards, Amsterdam, The Netherlands, 1993. |
|
100 |
FURTADO, A.L., CASANOVA, M.A.,
HEMERLY, A.S. (1993) Cooperative
Environments for Geographic
Databases: a Prescriptive Analysis.
Anais do VIII Simpósio Brasileiro de Banco de Dados (SBBD), Campina Grande,
PB, Brasil, 1993. |
|
099 |
SOARES, L.F.G., CASANOVA, M.A., RODRIGUEZ, N. (1993) Um Modelo
Conceitual Hipermídia com Nós de Composição e Controle de Versões. Anais
do VI Simpósio Brasileiro de Engenharia de Software (SBES), Rio de Janeiro,
RJ, Brasil, 1993. Porto Alegre: SBC. |
|
098 |
CASANOVA, M.A., HEMERLY, A.S.,
DUARTE, M. P. C., MEDIANO, M., CÂMARA, G., FREITAS, U. (1993) Um Sistema de
Armazenamento para Atributos Espaciais de Objetos Geográficos. Anais do II
Simpósio Brasileiro de Geoinformática (GeoInfo), São Paulo, SP, Brasil,
1993. |
|
097 |
SOARES, L.F.G., CASANOVA, M.A. (1993) Uma Arquitetura Distribuída para o Modelo de
Contextos Aninhados com Intercâmbio de Objetos MHEG. Anais do IX Simpósio
Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC), Campinas,
SP, Brasil, 1993. Porto Alegre: SBC. |
|
1992 |
|
|
096 |
Marco A. Casanova, Andrea S. Hemerly, Ramiro A. de T. Guerreiro: Explaining SLDNF resolution with non-normal defaults. IBM Journal of Research and Development 36(3): 347-360 (1992) doi:10.1147/rd.363.0347 [BibTex] |
|
095 |
Ramiro A. de T. Guerreiro, Andrea S. Hemerly, Marco A. Casanova: STORK and PENGUIN: Logic programming systems using general clauses and defaults. IBM Journal of Research and Development 36(3): 361-374 (1992) doi:10.1147/rd.363.0361 [BibTex] |
|
094 |
SOARES, L.F.G., TUCHERMAN, L., NUNES, P.R., CASANOVA, M.A. (1992) Fundamentos de Sistemas Multimídia. vols 1, p. 250. Porto Alegre: Ed. UFRGS. |
|
093 |
Marco A. Casanova, Andrea S. Hemerly, Antonio L. Furtado: A Declarative Conceptual Modelling Language: Description and Example Applications. CAiSE 1992: 589-611 [BibTex] |
|
092 |
FURTADO, A.L., CASANOVA, M.A.
(1992) A Declarative Conceptual Modelling
Language. Anais do VII Simpósio Brasileiro de Banco
de Dados (SBBD), Porto Alegre, RS, Brasil, 1992. Porto Alegre: SBC |
|
091 |
CÂMARA, G., FREITAS, U., SOUZA, M.A., CASANOVA, M.A., HEMERLY, A.S. (1992) Data Modelling and Development of a Spatial Database for the Brazilian Amazonia. Proc. XVII Congress of the International Society for Photogrammetry and Remote Sensing (ISPRS), Washington, DC, USA, 1992. doi:sid.inpe.br/iris@1912/2005/07.19.23.25.40-0 |
|
090 |
CASANOVA, M.A., CARVALHO, A.P., RIDOLFI, L.
(1992) FeST - Uma
Ferramenta para Projeto Conceitual de Banco de Dados. Anais do VII Simpósio
Brasileiro de Banco de Dados (SBBD), Porto Alegre, RS, Brasil. |
|
089 |
HEMERLY, A.S., CASANOVA, M.A.
(1992) Relacionando Resolução SLDNF e Lógica de Defaults. Anais do IX
Simpósio Brasileiro de Inteligência Artificial (SBIA), Rio de Janeiro, RJ,
Brasil. |
|
088 |
CÂMARA, G., SOUZA, R.C., FREITAS, U., CASANOVA, M.A. (1992) SPRING: Processamento de Imagens e Dados Georeferenciados. Anais do V Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens (SIBGRAPI), Águas de Lindóia, Brasil, 1992. Porto Alegre: SBC. doi:sid.inpe.br/iris@1912/2005/07.19.23.13.29-0 |
|
1991 |
|
|
087 |
Marco A. Casanova, Antonio L. Furtado, Luiz Tucherman: A Software Tool for Modular Database Design. ACM Trans. Database Syst. 16(2): 209-234 (1991) doi:10.1145/114325.103711 [BibTex] |
|
086 |
Andrea S. Hemerly, Marco A. Casanova, Antonio L. Furtado: Cooperative Behavior Through Request Modification. ER 1991: 607-621 [BibTex] |
|
085 |
Marco A. Casanova, Alexandre P. de Carvalho, L. F. G. G. M. Ridolfi, Alberto H. F. Laender: An Analysis of Table Constraints in SQL2 Based on the Entity-Relationship Model. ER 1991: 623-641 [BibTex] |
|
084 |
Marco A. Casanova, Luiz Tucherman, Maria Julia D. Lima, Jose L. Rangel Netto, Noemi de La Rocque Rodriguez, Luiz Fernando Gomes Soares: The Nested Context Model for Hyperdocuments. Hypertext 1991: 193-201 [BibTex] |
|
083 |
Marco A. Casanova, Andrea S. Hemerly, Ramiro A. de T. Guerreiro: Explaining SLDNF Resolution with Non-Normal Defaults. ICLP 1991: 18-31 [BibTex] |
|
082 |
HEMERLY, A.S., CASANOVA,
M.A., FURTADO, A.L. (1991) An Approach to the Problem of Avoiding Misconstruals. Anais do VIII Simpósio Brasileiro de
Inteligência Artificial (SBIA), Brasília, DF, Brasil, 1991. Porto Alegre:
SBC. |
|
081 |
HEMERLY, A.S., CASANOVA, M.A., FURTADO, A.L. (1991) Exploiting User Models to Avoid Misconstruals. Proc. Workshop on Nonstandard Queries and Answers, Toulouse, France, 1991. |
|
080 |
FURTADO, A.L., HEMERLY, A.S.,
CASANOVA, M.A. (1991) Modificação de Comandos como
Instrumento de Cooperatividade. Anais do VI
Simpósio Brasileiro de Banco de Dados (SBBD), Manaus, AM, Brasil, 1991. Porto
Alegre: SBC. |
|
079 |
CARVALHO, A.P., CASANOVA, M.A., VELOSO, S.R.M. (1991) O Problema da Correção e Completude Forte
em Lógica de Default. Anais do VIII Simpósio Brasileiro de Inteligência
Artificial (SBIA), Brasília, DF, Brasil, 1991. Porto Alegre: SBC. |
|
1990 |
|
|
078 |
Luiz Tucherman, Marco A. Casanova, Antonio L. Furtado: The CHRIS consultant-a tool for database design and rapid prototyping. Inf. Syst. 15(2): 187-195 (1990) doi:10.1016/0306-4379(90)90034-M [BibTex] |
|
077 |
GUERREIRO, R., CASANOVA, M.A., SILVA, A.S. (1990) Raciocínio Matemático em Lógica de Defaults.
Revista Brasileira de Computação 5: 1-10. (Cessou em
1994. Cont. ISSN 0104-6500 Journal of the Brazilian Computer Society). |
|
076 |
Ramiro A. de T. Guerreiro, Marco A. Casanova, Andrea S. Hemerly: Contributions to a Proof Theory for Generic Defaults. ECAI 1990: 213-218 [BibTex] |
|
075 |
Antonio L. Furtado, Marco A. Casanova: Plan and Schedule Generation over Temporal Databases. ER 1990: 235-248 [BibTex] |
|
074 |
Marco A. Casanova, Luiz Tucherman, Alberto H. F. Laender: Algorithms for Designing and Maintaining Optimized Relational Representations of Entity-Relationship Schemas. ER 1990: 361-374 [BibTex] |
|
073 |
CASANOVA, M.A., FURTADO, A.L. (1990) An Information System Environment based on Plan Generation. Proc. Working Conference on Cooperating Knowledge based Systems, Keele, UK, 1990. |
|
072 |
SOARES, L.F.G., RODRIGUEZ, N., RANGEL, J.L.M., LIMA, M.J.D., TUCHERMAN, L., CASANOVA, M.A. (1990) Delineamento da Arquitetura de um Sistema para Processamento de Documentos Multimídia. Anais do IV Simpósio Brasileiro de Engenharia de Software (SBES). Águas de São Pedro, Brasil, 1990. Porto Alegre: SBC. |
|
071 |
CASANOVA, M.A., TUCHERMAN, L. (1990) Designing and Maintaining Optimized DB2 Representations of Entity-Relationship Schemas. Proc. IBM Data Base ITL Conference, Atlanta, USA, 1990. |
|
070 |
CASANOVA, M.A., HEMERLY,
A.S., GUERREIRO, R. (1990) Explaining SLDNF Resolution with Non-Normal
Defaults. Anais do VII Simpósio Brasileiro de Inteligência Artificial (SBIA),
Campina Grande, PB, Brasil, 1990. Porto Alegre: SBC. |
|
069 |
FURTADO, A.L., CASANOVA, M.A. (1990) NICE: A Cooperative Environment for the Use of Information Systems. Proc. ITL Conference on Expert Systems. Yorktown Height, NY, USA, 1990. |
|
068 |
CASANOVA, M.A., TUCHERMAN, L. (1990) Projeto
e Manutenção de Representações Relacionais Otimizadas
para Esquemas Entidade-Relacionamento. Anais XXIII Congresso Nacional de
Informática - SUCESU '90, Rio de Janeiro, RJ, Brasil, 1990. Rio de Janeiro:
SUCESU. |
|
067 |
CARVALHO, A.P., CASANOVA, M.A., VELOSO, S.R.M. (1990) Um Método de Dedução Não-Monotônico
e Parametrizado baseado em Eliminação de Modelos. Anais do VII Simpósio
Brasileiro de Inteligência Artificial (SBIA), Campina Grande, PB, Brasil,
1990. |
|
1989 |
|
|
066 |
Luiz Tucherman, Marco A. Casanova, Pedro M. Gualandi, Anelise P. Braga: A Proposal for Formalizing and Extending the Generalization and Subset Abstractions in the Entity-Relationship Model. ER 1989: 27-41 [BibTex] |
|
065 |
Marco A. Casanova, Ramiro A. de T. Guerreiro, Andrea Silva: Logic Programming with General Clauses and Defaults Based on Model Elimination. IJCAI 1989: 395-400 [BibTex] |
|
064 |
Marco A. Casanova, Ramiro A. de T. Guerreiro, Andrea Silva: Computing Answers to Logic Programs with Weak Model Elimination. NACLP 1989: 92-114 [BibTex] |
|
063 |
Marco A. Casanova, Luiz Tucherman, Antonio L. Furtado, Anelise P. Braga: Optimization of Relational Schemas Containing Inclusion Dependencies. VLDB 1989: 317-325 [BibTex] |
|
062 |
GUERREIRO, R., CASANOVA, M.A., SILVA, A.S. (1989) A Logic Programming System using General Clauses and Defaults. Proc. IBM Interdivisional Technical Liaison Conference on Expert Systems, San Jose, CA, USA,1989. |
|
061 |
GUERREIRO, R., SILVA, A.S., CASANOVA, M.A. (1989) Computing Answers in Default Logic. Proc. IEEE Int'l. Symposium on Architectures, Languages and Algorithms for Artificial Intelligence, Washington, DC, USA, 1989. Los Alamitos: IEEE. |
|
060 |
TUCHERMAN, L., CASANOVA, M.A. (1989)
Estendendo as Abstrações de Generalização e Subconjunto no Modelo
Entidade-Relacionamento. Anais do XXII Congresso Nacional de Informática, São
Paulo, SP, Brasil, 1989. São Paulo: SUCESU. |
|
059 |
CASANOVA, M.A., TUCHERMAN, L. (1989)
Operações sobre Conjuntos de Entidades e Relacionamentos Organizados em Grafo
de Especialização. Anais do IX Congresso da Sociedade Brasileira de
Computação, Uberlândia, MG, Brasil, 1989. Porto Alegre: SBC. |
|
058 |
GUERREIRO, R., CASANOVA, M.A., SILVA, A.S. (1989) Raciocínio Matemático em Lógica de Defaults.
Anais do VI Simpósio Brasileiro de Inteligência Artificial (SBIA), Rio de
Janeiro, RJ, Brasil, 1989. |
|
057 |
BRAGA, A.P., CASANOVA, M.A., TUCHERMAN, L.
(1989) Trivialização de Dependências de Inclusão em
Esquemas Conceituais Relacionais. Anais do IV Simpósio Brasileiro de Banco de
Dados (SBBD), Campinas, SP, Brasil, 1989. Porto Alegre: SBC. |
|
056 |
CASANOVA, M.A., GUERREIRO, R., SILVA, A.S. (1989) Computação de Respostas para Programas em
Lógica através de Eliminação de Modelos Fraca. Anais do VIII Simpósio
Latino-Americano de Lógica Matemática, João Pessoa, PB, Brasil, 1989. |
|
055 |
SILVA, A.S., GUERREIRO, R., CASANOVA, M.A. (1989) Uma Extensão à Lógica de Defaults. Anais do
VIII Simpósio Latino-Americano de Lógica Matemática, João Pessoa, PB, Brasil,
1989. |
|
1988 |
|
|
054 |
Marco A. Casanova, Antonio L. Furtado: String Pattern-Matching in Prolog. Comput. Lang. 13(3/4): 149-170 (1988) doi:10.1016/0096-0551(88)90022-7 [BibTex] |
|
053 |
Marco A. Casanova, Luiz Tucherman, Antonio L. Furtado: Enforcing
Inclusion Dependencies
and Referencial Integrity. VLDB
1988: 38-49 [BibTex] |
|
052 |
CASANOVA, M.A., FURTADO, A.L.,
TUCHERMAN, L. (1988) A Monitor Enforcing Referential Integrity. Anais do
III Simpósio Brasileiro de Banco de Dados (SBBD), Recife, PE, Brasil, 1988.
Porto Alegre: SBC. |
|
051 |
CASANOVA, M.A., GUERREIRO, R., SILVA, A.S. (1988) Computação de Respostas em Sistemas baseados
em Eliminação de Modelos e Defaults. Anais do V Simpósio Brasileiro de
Inteligência Artificial (SBIA), Natal, RN, Brasil, 1988. Porto Alegre: SBC. |
|
050 |
GUERREIRO, R., CASANOVA, M.A., SILVA, A.S. (1988) Programação em Cláusulas Genéricas utilizando
o Método de Eliminação de Modelos. Anais do V Simpósio Brasileiro de
Inteligência Artificial (SBIA), Natal, RN, Brasil, 1988. Porto Alegre: SBC. |
|
049 |
FURTADO, A.L., CASANOVA, M.A. (1988) Transforming Constraints into Logic Programming. Proc. IFIP WG 2.6 Working Conference on Data Semantics, "Data and Knowledge" (DS-2). Albufeira, Portugal, 1988. Amsterdam: North-Holland/IFIP: 137-149. |
|
048 |
CASANOVA, M.A., TUCHERMAN, L. (1988) Visão
Parcial: Um Mecanismo para Abstração de Dados no Modelo Entidade
Relacionamento. Anais do XV Seminário Integrado de Hardware e Software
(SEMISH), Rio de Janeiro, RJ, Brasil, 1988. Porto Alegre: SBC. |
|
1987 |
|
|
047 |
FURTADO, A.L., GIORNO, F.A.C.,
CASANOVA, M.A. (1987) Programação em Lógica e a Linguagem
Prolog. vols 1, p.
461. São Paulo: Ed. Blucher. |
|
046 |
Antonio L. Furtado, Marco A. Casanova, Luiz Tucherman: The CHRIS Consultant. ER 1987: 515-532 [BibTex] |
|
045 |
FURTADO, A.L., CASANOVA, M.A.,
TUCHERMAN, L. (1987) The CHRIS Consultant. Anais do
II Simpósio Brasileiro de Banco de Dados (SBBD), Porto Alegre, RS, Brasil,
1987. Porto Alegre: SBC. |
|
1986 |
|
|
044 |
TUCHERMAN, L., FURTADO, A.L., CASANOVA, M.A. (1986) Modular Database Design Tools. In: Relational Databases: State of the Art Report, edited by Infotech. Vol. 14:5. New York: Pergamon. |
|
043 |
Antonio L. Furtado, Marco A. Casanova, Luiz Tucherman: Transforming Constraints into Logic Programs: A Case Study. DS-2 1986: 137-149 [BibTex] |
|
042 |
Antonio L. Furtado, Marco A. Casanova, Luiz Tucherman: A Framework for Design/Redesign Experts. Expert Database Conf. 1986: 423-438 [BibTex] |
|
041 |
Marco A. Casanova, C. M. O. Moura: Designing Database Applications in Logic Programming. IFIP Congress 1986: 235-240 [BibTex] |
|
040 |
CASANOVA, M.A., WALTER, M.E.M.
(1986) Implementação de Interpretadores Prolog
Combinando Expansão em Profundidade com Expansão em Amplitude. Anais do III
Simpósio Brasileiro de Inteligência Artificial (SBIA), Rio de Janeiro, RJ,
Brasil, 1986. SBC/IME: 284-294. |
|
039 |
CASANOVA, M.A., WALTER, M.E.M.
(1986) Uma Implementação do Método de Eliminação de
Modelos. Anais do III Simpósio Brasileiro de Inteligência Artificial (SBIA),
Rio de Janeiro, RJ, Brasil, 1986. SBC/IME: 311-322. |
|
038 |
TUCHERMAN, L., CASANOVA, M.A. (1986)
Princípios de Modularização para Sistemas de
Informação. Anais do XIX Congresso Nacional de Informática, Rio de Janeiro,
RJ, Brasil, 1986. Rio de Janeiro: SUCESU. |
|
1985 |
|
|
037 |
MOURA, A.V., CASANOVA, M.A.
(1985) Princípios de Sistemas de
Bancos de Dados Distribuídos. vols
1, p. 355. Rio de Janeiro: Ed. Campus. |
|
036 |
Antonio L. Furtado, Marco A. Casanova: Updating Relational Views. Query Processing in Database Systems 1985: 127-142 [BibTex] |
|
035 |
Marco A. Casanova, Arnaldo V. Moura, Luiz Tucherman: On the Correctness of a Local Storage Subsystem. PODS 1985: 123-134 [BibTex] |
|
034 |
Luiz Tucherman, Antonio L. Furtado, Marco A. Casanova: A Tool for Modular Database Design. VLDB 1985: 436-447 [BibTex] |
|
033 |
FURTADO, A.L., TUCHERMAN, L., CASANOVA, M.A. (1985) Sistemas Especialistas para Especificação
Modular de Banco de Dados. Anais do II Simpósio de Inteligência Artificial
(SBIA), São José dos Campos, SP, Brasil, 1985. São José dos Campos: INPE. |
|
032 |
CASANOVA, M.A., TUCHERMAN, L., FURTADO, A.L. (1985) Uma Ferramenta para Projeto Modular de Banco
de Dados. Anais do XII Seminário Integrado de Hardware e Software (SEMISH),
Porto Alegre, RS, Brasil, 1985. Porto Alegre: SBC. |
|
1984 |
|
|
031 |
Marco A. Casanova, Jose E. Amaral de Sa: Mapping Uninterpreted Schemes into Entity-Relationship Diagrams: Two Applications to Conceptual Schema Design. IBM Journal of Research and Development 28(1): 82-94 (1984) doi:10.1147/rd.281.0082 [BibTex] |
|
030 |
Ulrich Schiel, Antonio L. Furtado, Erich J. Neuhold, Marco A. Casanova: Towards multi-level and modular conceptual schema specifications. Inf. Syst. 9(1): 43-57 (1984) doi:10.1016/0306-4379(84)90015-2 [BibTex] |
|
029 |
Marco A. Casanova, Ronald Fagin, Christos H. Papadimitriou: Inclusion Dependencies and Their Interaction with Functional Dependencies. J. Comput. Syst. Sci. 28(1): 29-59 (1984) doi:10.1016/0022-0000(84)90075-8 [BibTex] |
|
028 |
CASANOVA, M.A., FURTADO, A.L. (1984) On the Description of Database Transition Constraints using Temporal Logic. In: Hervé Gallaire, Jean-Marie Nicolas, Jack Minker (Eds.): Advances in Data Base Theory, Vol. 2, Based on the Proceedings of the Workshop on Logical Data Bases, December 14-17, 1982, Centre d'études et de recherches de Toulouse, France. Plenum Press, New York, 1984, ISBN 0-306-41636-0: 211-236. |
|
027 |
Marco A. Casanova, Paulo A. S. Veloso, Antonio L. Furtado: Formal Data Base Specification - An Eclectic Perspective. PODS 1984: 110-118 [BibTex] |
|
026 |
TUCHERMAN, L., CASANOVA, M.A. (1984) Síntese
das Condições e Efeitos Colaterais das Operações de Atualização sobre Bancos
de Dados. Anais do XVII Congresso Nacional de Informática, Rio de Janeiro,
RJ, Brasil, 1984. Rio de Janeiro: SUCESU. |
|
025 |
CASANOVA, M.A., MOURA, C.M.O.
(1984) Sistemas de Gerência de Bancos de Dados Distribuídos São Factíveis?. Anais do XVII Congresso Nacional de Informática, Rio de
Janeiro, RJ, Brasil, 1984. Rio de Janeiro: SUCESU. |
|
024 |
CASANOVA, M.A., PION, M. (1984) Variedades de Lógica Temporal. Proc. of the II Symposium of Logic, Philosophy and Theory of Science, Niteroi, RJ, Brasil, 1984. |
|
1983 |
|
|
023 |
Marco A. Casanova: The Theory of Functional and Subset Dependencies Over Relational Expressions. Inf. Process. Lett. 16(3): 153-160 (1983) doi:10.1016/0020-0190(83)90068-6 [BibTex] |
|
022 |
CASANOVA, M.A. (1983) A theory of data dependencies over relational expressions. ACIS International Journal of Computer and Information Science 12: 151-192. doi:10.1007/BF00995890 |
|
021 |
CASANOVA, M.A., CASTILHO, J.M.V., FURTADO, A.L. (1983) Properties of Conceptual and External Database Schemas. In: Formal Description of Programming Concepts, II, edited by Bjorner, D., 91-99. Amsterdam: North-Holland. |
|
020 |
Marco A. Casanova, Jose E. Amaral de Sá: Designing Entity-Relationship Schemes for Conventional Information Systems. ER 1983: 265-277 [BibTex] |
|
019 |
Antonio L. Furtado, Paulo A. S. Veloso, Marco A. Casanova: A Grammatical Approach to Data Bases. IFIP
Congress 1983: 705-710 [BibTex] |
|
018 |
Marco A. Casanova, Vânia Maria Ponte Vidal: Towards a Sound View Integration Methodology. PODS 1983: 36-47 [BibTex] |
|
017 |
Luiz Tucherman, Antonio L. Furtado, Marco A. Casanova: A Pragmatic Approach to Structured Database Design. VLDB 1983: 219-231 [BibTex] |
|
016 |
MOURA, C.M.O., CASANOVA, M.A.
(1983) Tableaux Analíticos de Primeira Ordem Utilização como Procedimento de
Decisão para Dependências de Dados. Anais do XVI Congresso Nacional de Informática,
São Paulo, SP, Brasil, 1983. São Paulo: SUCESU: 90-96. |
|
1982 |
|
|
015 |
34. REGO, S. P., CASANOVA, M.A. (1982) Uma Teoria de
Dependências Funcionais e de Inclusão. Revista Brasileira de Computação
2: 151-167. |
|
014 |
Marco A. Casanova, Antonio L. Furtado: On the Description of Database Transition Constraints Using Temporal Languages. Advances in Data Base Theory 1982: 211-236 [BibTex] |
|
013 |
Marco A. Casanova, Ronald Fagin, Christos H. Papadimitriou: Inclusion Dependencies and Their Interaction with Functional Dependencies. PODS 1982: 171-176 [BibTex] |
|
012 |
Marco A. Casanova: A Theory of Data Dependencies over Relational Expressions. PODS 1982: 189-198 [BibTex] |
|
011 |
José Mauro Volkmer de Castilho, Marco A.
Casanova, Antonio L. Furtado: A Temporal
Framework for Database Specifications. VLDB
1982: 280-291 [BibTex] |
|
010 |
CASANOVA, M.A., FURTADO,
A.L. (1982) A Family of Temporal Languages for the Description of Transition
Constraints. Proceedings of the Workshop on Logical Bases for Databases,
Toulouse, France, 1982. Toulouse: Centre d'études et de recherches de Toulouse. |
|
009 |
REGO, S. P., CASANOVA, M.A. (1982) Aplicações
de uma Teoria de Dependências Funcionais e Dependências de Inclusão.
Anais do XV Congresso Nacional de Informática, Rio de Janeiro, RJ, Brasil,
1982. Rio de Janeiro: SUCESU. |
|
008 |
MOURA, C.M.O., CASANOVA, M.A.
(1982) Projeto
de Bancos de Dados através de Exemplos. Anais do XV Congresso Nacional de
Informática, Rio de Janeiro, RJ, Brasil, 1982. Rio de Janeiro: SUCESU. |
|
1981 |
|
|
007 |
Philip A. Bernstein, Marco A. Casanova, Nathan Goodman: Errors in 'Process Synchronization in Database Systems'. SIGMOD Record 11(1): 9-29 (1981) doi:10.1145/984471.984472 [BibTex] |
|
006 |
Marco A. Casanova: The Concurrency Control Problem for Database Systems. Springer 1981 [BibTex] |
|
005 |
Marco A. Casanova, Philip A. Bernstein: A Formal System for Reasoning about Programs Accessing a Relational Database. ACM Trans. Program. Lang. Syst. 2(3): 386-414 (1980) doi:10.1145.357103.357111 [BibTex] |
|
004 |
Marco A. Casanova, Philip A. Bernstein: General Purpose Schedulers for Database Systems. Acta Inf. 14: 195-220 (1980) doi:10.1007/BF00264253 – see also Erratum in Acta Inf. 15: 471 (1981) [BibTex] |
|
1979 |
|
|
003 |
Philip A. Bernstein, Marco A. Casanova, Nathan Goodman: Comments on "Process Synchronization in Database Systems". ACM Trans. Database Syst. 4(4): 545-546 (1979) doi:10.1145.320107.320126 [BibTex] |
|
002 |
Marco A. Casanova, Philip A. Bernstein: The Logic of a Relational Data Manipulation Language. POPL 1979: 101-109 [BibTex] |
|
1975 |
|
|
001 |
CASANOVA, M.A. (1975) Controle de estoque para
pequenos estabelecimentos: um modelo simples. Revista do Círculo de
Engenharia Militar 73: S109-S113. |