dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Marco A. Casanova Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHugo Feitosa de Figueirêdo, Yuri Almeida Lacerda, Anselmo Cardoso de Paiva, Marco A. Casanova, Cláudio de Souza Baptista: PhotoGeo: a photo digital library with spatial-temporal support and self-annotation. Multimedia Tools Appl. 59(1): 279-305 (2012)
2011
122no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStanimir Bakshev, Laura Spinsanti, José Antônio Fernandes de Macêdo, Creto Vidal, Marco A. Casanova: Trajectory Semantic Visualization. ICEIS (1) 2011: 326-332
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIgo Ramalho Brilhante, José Antônio Fernandes de Macêdo, Chiara Renso, Marco A. Casanova: Trajectory data analysis using complex networks. IDEAS 2011: 17-25
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernardo Pereira Nunes, Alexander Arturo Mera Caraballo, Marco A. Casanova, Karin Breitman, Luiz André P. Paes Leme: Complex matching of RDF datatype properties. OM 2011
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco A. Casanova, Karin Koogan Breitman, Antonio L. Furtado, Vânia Maria Ponte Vidal, José Antônio Fernandes de Macêdo, Raphael Valle A. Gomes, Percy E. Rivera Salas: The Role of Constraints in Linked Data. OTM Conferences (2) 2011: 781-799
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVâ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)
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno 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)
2010
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHelena Piccinini, Melissa Lemos, Marco A. Casanova, Antonio L. Furtado: W-Ray: A Strategy to Publish Deep Web Geographic Data. ER Workshops 2010: 2-11
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo Gomes Metello, Eduardo David, Marcelo Tílio Monteiro de Carvalho, Marco A. Casanova: Integrating Business Processes iinto GIS-Based Simulations. GeoInfo 2010: 87-97
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPercy 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
112no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEveline 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
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoã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
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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)
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuiz 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)
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAngelo 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)
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEveline 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)
2009
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio 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
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVâ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
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBörje Karlsson, Simone Diniz Junqueira Barbosa, Antonio L. Furtado, Marco A. Casanova: A Plot-Manipulation Algebra to Support Digital Storytelling. ICEC 2009: 132-144
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuiz André P. Paes Leme, Marco A. Casanova, Karin Koogan Breitman, Antonio L. Furtado: Instance-Based OWL Schema Matching. ICEIS 2009: 14-26
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTanara 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
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Borgida, Marco A. Casanova, Alberto H. F. Laender: Logical Database Design: from Conceptual to Logical Schema. Encyclopedia of Database Systems 2009: 1645-1649
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAngelo 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)
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarla 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)
2008
97no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo Tílio Monteiro de Carvalho, Marco A. Casanova, Marcelo Gattass, Lúbia Vinhas: X Brazilian Symposium on Geoinformatics, 8-10 December, Rio de Janeiro, Rio de Janeiro, Brazil INPE 2008
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio 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
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo Gomes Metello, Marco A. Casanova, Marcelo Tílio Monteiro de Carvalho: Using Serious Game Techniques to Simulate Emergency Situations. GeoInfo 2008: 121-182
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarla 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
93no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela F. Brauner, Alexandre Gazola, Marco A. Casanova, Karin Koogan Breitman: Adaptative Matching of Database Web Services Export Schemas. ICEIS (1) 2008: 49-56
92no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVâ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
91no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuiz André P. Paes Leme, Daniela F. Brauner, Karin Koogan Breitman, Marco A. Casanova, Alexandre Gazola: Matching object catalogues. ISSE 4(4): 315-328 (2008)
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMelissa Lemos, Marco A. Casanova, Antonio L. Furtado: Process pipeline scheduling. Journal of Systems and Software 81(3): 307-327 (2008)
2007
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarin Koogan Breitman, Simone Diniz Junqueira Barbosa, Marco A. Casanova, Antonio L. Furtado: Conceptual modeling by analogy and metaphor. CIKM 2007: 865-868
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela 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
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVítor Dantas, Marcelo Gomes Metello, Melissa Lemos, Marco A. Casanova: Coverage Representation in TerraLib. GeoInfo 2007: 245-250
85no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarin 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
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRicardo 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
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimone Diniz Junqueira Barbosa, Karin Koogan Breitman, Antonio L. Furtado, Marco A. Casanova: Similarity and Analogy over Application Domains. SBBD 2007: 238-252
82no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco A. Casanova: Schema Matching Revisited. SBBD 2007: 380
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco A. Casanova, Karin Koogan Breitman, Daniela F. Brauner, André L. A. Marins: Database Conceptual Schema Matching. IEEE Computer 40(10): 102-104 (2007)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbí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)
2006
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela F. Brauner, Marco A. Casanova, Ruy Luiz Milidiú: Towards Gazetteer Integration Through an Instance-based Thesauri Mapping Approach. GeoInfo 2006: 189-198
78no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela 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
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbílio Fernandes, Karin Koogan Breitman, Tatiana Almeida S. C. Vieira, Marco A. Casanova, Antonio L. Furtado: Semi-automated Workflow Synthesis. ISoLA 2006: 332-334
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTatiana Almeida S. C. Vieira, Marco A. Casanova: Transactional Behavior of a Workflow Instance. OTM Conferences (1) 2006: 756-771
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela 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
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVânia Maria Ponte Vidal, Marco A. Casanova, Fernando Cordeiro Lemos: Automatic Generation of SQL/XML Views. SBBD 2006: 221-235
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMelissa Lemos, Marco A. Casanova: On the Complexity of Process Pipeline Scheduling. SBBD 2006: 57-71
2005
72no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrederico T. Fonseca, Marco A. Casanova: VII Brazilian Symposium on Geoinformatics, 20-23 November, Campos do Jordão, São Paulo, Brazil INPE 2005
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarin Koogan Breitman, Carolina Howard Felicíssimo, Marco A. Casanova: CATO - A Lightweight Ontology Alignment Tool. CAiSE Short Paper Proceedings 2005
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonardo 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
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVâ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
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTatiana 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)
2004
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMelissa 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
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniela F. Brauner, Marco A. Casanova, Carlos José Pereira de Lucena: Geo-Object Catalogs to Enable Geographic Databases Interoperability. GeoInfo 2004: 235-246
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTatiana 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
2003
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMelissa Lemos, Luiz Fernando Bessa Seibel, Marco A. Casanova: BioNotes: A System for Biosequence Annotation. DEXA Workshops 2003: 16-20
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVânia Maria Ponte Vidal, Marco A. Casanova: Efficient Maintenance of XML Views Using View Correspondence Assertions. EC-Web 2003: 281-291
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFábio Meira de Oliveira Dias, Marco A. Casanova, Marcelo Tílio Monteiro de Carvalho: Workflow Execution in Disconnected Environments. SBBD 2003: 229-239
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVâ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
2002
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLucimar 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
2000
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAltigran 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)
1999
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurício R. Mediano, Marco A. Casanova, Marcelo Gattass: TDA - Um Método para Indexar Topologicamente Atributos Espaciais. SBBD 1999: 269-283
1996
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilberto 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
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAltigran 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
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuiz Fernando Gomes Soares, Marco A. Casanova, Guido Lemos de Souza Filho: Anchors and Links for Nested Composite Nodes. MMM 1996: 21-34
1995
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuiz 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)
1994
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Bauzer Medeiros, Marco A. Casanova, Gilberto Câmara: The DOMUS Project - Building on OODB GIS for Environmental Control. IGIS 1994: 45-54
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto H. F. Laender, Donal J. Flynn, Marco A. Casanova: On the Mapping of NIAM Schemas into SQL. ORM 1994: 89-102
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurício R. Mediano, Marco A. Casanova, Marcelo Dreux: V-Trees - A Storage Method for Long Vector Data. VLDB 1994: 321-330
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto 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)
1993
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea S. Hemerly, Antonio L. Furtado, Marco A. Casanova: Towards Cooperativeness in Geographic Databases. DEXA 1993: 373-376
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea 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)
1992
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco A. Casanova, Andrea S. Hemerly, Antonio L. Furtado: A Declarative Conceptual Modelling Language: Description and Example Applications. CAiSE 1992: 589-611
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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)
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamiro 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)
1991
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea S. Hemerly, Marco A. Casanova, Antonio L. Furtado: Cooperative Behavior Through Request Modification. ER 1991: 607-621
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco A. Casanova, Andrea S. Hemerly, Ramiro A. de T. Guerreiro: Explaining SLDNF Resolution with Non-Normal Defaults. ICLP 1991: 18-31
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco A. Casanova, Antonio L. Furtado, Luiz Tucherman: A Software Tool for Modular Database Design. ACM Trans. Database Syst. 16(2): 209-234 (1991)
1990
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRamiro A. de T. Guerreiro, Marco A. Casanova, Andrea S. Hemerly: Contributions to a Proof Theory for Generic Defaults. ECAI 1990: 213-218
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio L. Furtado, Marco A. Casanova: Plan and Schedule Generation over Temporal Databases. ER 1990: 235-248
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco A. Casanova, Luiz Tucherman, Alberto H. F. Laender: Algorithms for Designing and Maintaining Optimized Relational Representations of Entity-Relationship Schemas. ER 1990: 361-374
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuiz 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)
1989
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuiz Tucherman, Marco A. Casanova, Pedro M. Gualandi, Anelise P. Braga: A Proposal for Formalizing and Extending the Generalization and Subset Abstractions in the Enity-Relationship Model. ER 1989: 27-41
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco A. Casanova, Ramiro A. de T. Guerreiro, Andrea Silva: Logic Programming with General Clauses and Defaults Based on Model Elimination. IJCAI 1989: 395-400
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco A. Casanova, Ramiro A. de T. Guerreiro, Andrea Silva: Computing Answers to Logic Programs with Weak Model Elimination. NACLP 1989: 92-114
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco A. Casanova, Luiz Tucherman, Antonio L. Furtado, Anelise P. Braga: Optimization of Relational Schemas Containing Inclusion Dependencies. VLDB 1989: 317-325
1988
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco A. Casanova, Luiz Tucherman, Antonio L. Furtado: Enforcing Inclusion Dependencies and Referencial Integrity. VLDB 1988: 38-49
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco A. Casanova, Antonio L. Furtado: String Pattern-Matching in Prolog. Comput. Lang. 13(3/4): 149-170 (1988)
1987
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio L. Furtado, Marco A. Casanova, Luiz Tucherman: The CHRIS Consultant. ER 1987: 515-532
1986
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio L. Furtado, Marco A. Casanova, Luiz Tucherman: Transforming Constraints into Logic Programs: A Case Study. DS-2 1986: 137-149
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio L. Furtado, Marco A. Casanova, Luiz Tucherman: A Framework for Design/Redesign Experts. Expert Database Conf. 1986: 423-438
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco A. Casanova, C. M. O. Moura: Designing Database Applications in Logic Programming. IFIP Congress 1986: 235-240
1985
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco A. Casanova, Arnaldo V. Moura, Luiz Tucherman: On the Correctness of a Local Storage Subsystem. PODS 1985: 123-134
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuiz Tucherman, Antonio L. Furtado, Marco A. Casanova: A Tool for Modular Database Design. VLDB 1985: 436-447
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio L. Furtado, Marco A. Casanova: Updating Relational Views. Query Processing in Database Systems 1985: 127-142
1984
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco A. Casanova, Paulo A. S. Veloso, Antonio L. Furtado: Formal Data Base Specification - An Eclectic Perspective. PODS 1984: 110-118
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich 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)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco A. Casanova, Ronald Fagin, Christos H. Papadimitriou: Inclusion Dependencies and Their Interaction with Functional Dependencies. J. Comput. Syst. Sci. 28(1): 29-59 (1984)
1983
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco A. Casanova, Jose E. Amaral de Sa: Designing Entity-Relationship Schemes for Conventional Information Systems. ER 1983: 265-277
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio L. Furtado, Paulo A. S. Veloso, Marco A. Casanova: A Grammatical Approach to Data Bases. IFIP Congress 1983: 705-710
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco A. Casanova, Vânia Maria Ponte Vidal: Towards a Sound View Integration Methodology. PODS 1983: 36-47
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuiz Tucherman, Antonio L. Furtado, Marco A. Casanova: A Pragmatic Approach to Structured Database Design. VLDB 1983: 219-231
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco A. Casanova: The Theory of Functional and Subset Dependencies Over Relational Expressions. Inf. Process. Lett. 16(3): 153-160 (1983)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco A. Casanova: A theory of data dependencies over relational expressions. International Journal of Parallel Programming 12(3): 151-191 (1983)
1982
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco A. Casanova, Antonio L. Furtado: On the Description of Database Transition Constraints Using Temporal Languages. Advances in Data Base Theory 1982: 211-236
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco A. Casanova, Ronald Fagin, Christos H. Papadimitriou: Inclusion Dependencies and Their Interaction with Functional Dependencies. PODS 1982: 171-176
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco A. Casanova: A Theory of Data Dependencies over Relational Expressions. PODS 1982: 189-198
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Mauro Volkmer de Castilho, Marco A. Casanova, Antonio L. Furtado: A Temporal Framework for Database Specifications. VLDB 1982: 280-291
1981
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco A. Casanova: The Concurrency Control Problem for Database Systems Springer 1981
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco A. Casanova, Philip A. Bernstein: General Purpose Schedulers for Database System. Acta Inf. 15: 471 (1981)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilip A. Bernstein, Marco A. Casanova, Nathan Goodman: Errors in 'Process Synchronization in Database Systems'. SIGMOD Record 11(1): 9-29 (1981)
1980
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco A. Casanova, Philip A. Bernstein: General Purpose Schedulers for Database Systems. Acta Inf. 14: 195-220 (1980)
1979
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco A. Casanova, Philip A. Bernstein: The Logic of a Relational Data Manipulation Language. POPL 1979: 101-109
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilip A. Bernstein, Marco A. Casanova, Nathan Goodman: Comments on "Process Synchronization in Database Systems". ACM Trans. Database Syst. 4(4): 545-546 (1979)

Coauthor Index

1Silvana Amaral [94] [98]
2Valdiana da Silva Araujo [61] [69] [92]
3Stanimir Bakshev [122]
4Cláudio de Souza Baptista [123]
5Simone Diniz Junqueira Barbosa [60] [83] [85] [88] [91] [96] [99] [103] [105]
6Philip A. Bernstein [1] [2] [3] [4] [5] [6]
7Alexander Borgida [100]
8Anelise P. Braga [31] [34]
9Daniela F. Brauner [66] [75] [78] [79] [81] [87] [90] [93]
10Karin Koogan Breitman (Karin Breitman) [71] [77] [78] [80] [81] [83] [85] [88] [90] [91] [93] [96] [102] [105] [106] [109] [110] [113] [116] [119] [120]
11Igo Ramalho Brilhante [121]
12Gilberto Câmara [53] [57] [94] [98]
13Alexander Arturo Mera Caraballo [120]
14Marcelo Tilio M. de Carvalho [117]
15Marcelo Tílio Monteiro de Carvalho [62] [95] [97] [114]
16José Mauro Volkmer de Castilho [8]
17Angelo E. M. Ciarlini [80] [99] [108]
18Tatiana A. S. Coelho [60]
19João Pedro Cerveira Cordeiro [57]
20Leonardo M. Couto [70]
21Vítor Dantas [86]
22Eduardo David [114]
23Fábio Meira de Oliveira Dias [62]
24Marcelo Dreux [51]
25Markus Endler [84]
26José Viterbo F. [113]
27Ronald Fagin [10] [18]
28Carolina Howard Felicíssimo [71]
29Abílio Fernandes [77] [80]
30Luis Gustavo Ferrão [65] [68]
31Hugo Feitosa de Figueirêdo [123]
32Guido Lemos de Souza Filho [55]
33Donal J. Flynn [52]
34Frederico T. Fonseca [72]
35Karla Donato Fook [94] [98]
36João Carlos Freitas [87]
37Ubirajara Moura de Freitas [57]
38Antonio L. Furtado [8] [11] [14] [16] [19] [21] [22] [23] [26] [27] [28] [29] [30] [31] [35] [37] [39] [43] [46] [47] [49] [77] [80] [83] [85] [88] [89] [91] [96] [99] [102] [103] [105] [106] [108] [109] [110] [115] [116] [119]
39Marcelo Gattass [58] [97]
40Alexandre Gazola [90] [93]
41Raphael Valle A. Gomes [119]
42Nathan Goodman [1] [5]
43Pedro M. Gualandi [34]
44Ramiro A. de T. Guerreiro [32] [33] [38] [40] [44] [45]
45Lauro Hara [57]
46Andrea S. Hemerly [38] [40] [43] [44] [45] [46] [47] [49]
47Michael G. Hinchey (Mike Hinchey) [80] [85]
48Chantal Intrator [87]
49Börje Karlsson (Börje Felipe Fernandes Karlsson) [103]
50Yuri Almeida Lacerda [123]
51Alberto H. F. Laender [36] [42] [48] [50] [52] [56] [59] [100]
52Tanara Lauschner [101] [106] [110] [116]
53Bruno de C. Leal [117]
54Luiz André P. Paes Leme [78] [90] [102] [106] [109] [110] [116] [120]
55Fernando Cordeiro Lemos [74] [92] [112]
56Melissa Lemos [64] [67] [73] [86] [89] [115]
57Maria Julia D. Lima [41]
58Fernanda Lígia R. Lopes [107] [112]
59Bernadette Farias Lóscio [107] [112]
60Carlos José Pereira de Lucena [60] [66]
61José Antônio Fernandes de Macêdo [67] [101] [104] [107] [111] [112] [117] [118] [119] [121] [122]
62André L. A. Marins [81]
63Lucimar C. Martins [60]
64Claudia Bauzer Medeiros [53]
65Maurício R. Mediano [51] [58]
66Marcelo Gomes Metello [86] [95] [114]
67Ruy Luiz Milidiú [75] [79]
68Antonio Basílio de Miranda [67]
69Antônio Miguel Vieira Monteiro [94] [98]
70Arnaldo V. Moura [24]
71C. M. O. Moura [25]
72Jose L. Rangel Netto [41]
73Erich J. Neuhold [19]
74Bernardo Pereira Nunes [120]
75Anselmo Cardoso de Paiva [123]
76Christos H. Papadimitriou [10] [18]
77Helena Piccinini [115]
78João C. Pinheiro [111] [118]
79Alexandre Plastino (Alexandre P. de Carvalho) [42] [50]
80Fabio Porto [111] [118]
81Chiara Renso [121]
82L. F. G. G. M. Ridolfi [42] [50]
83Ricardo Couto Antunes da Rocha [84]
84Noemi de La Rocque Rodriguez [41] [54]
85Jose E. Amaral de Sa [17] [20]
86Eveline R. Sacramento [104] [107] [111] [112]
87Percy E. Salas [113]
88Percy E. Rivera Salas [119]
89Ulrich Schiel [19]
90Daniel Schwabe [70]
91Luiz Fernando Bessa Seibel [64] [67]
92Altigran Soares da Silva [56] [59]
93Andrea Silva [32] [33]
94Luiz Fernando Gomes Soares [41] [54] [55]
95Laura Spinsanti [122]
96Váleria Cesário Times [117]
97Luiz Tucherman [14] [23] [24] [26] [27] [28] [30] [31] [34] [35] [36] [39] [41] [48]
98Paulo A. S. Veloso [16] [21] [108]
99Creto Vidal [122]
100Vânia Maria Ponte Vidal [15] [61] [63] [69] [74] [92] [101] [104] [106] [107] [110] [111] [112] [116] [117] [118] [119]
101Tatiana Almeida S. C. Vieira [65] [68] [76] [77]
102Lúbia Vinhas [97]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page