 | 2009 |
|---|
| 100 |       | 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 |
| 99 | | 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 |
| 98 | | 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 |
| 97 | | 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 |
| 96 | | Luiz André P. Paes Leme,
Marco A. Casanova,
Karin Koogan Breitman,
Antonio L. Furtado:
Instance-Based OWL Schema Matching.
ICEIS 2009: 14-26 |
| 95 | | 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 |
| 94 | | Alexander Borgida,
Marco A. Casanova,
Alberto H. F. Laender:
Logical Database Design: from Conceptual to Logical Schema.
Encyclopedia of Database Systems 2009: 1645-1649 |
| 93 | | 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) |
| 2008 |
|---|
| 92 | | 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 |
| 91 |  | Daniela F. Brauner,
Alexandre Gazola,
Marco A. Casanova,
Karin Koogan Breitman:
Adaptative Matching of Database Web Services Export Schemas.
ICEIS (1) 2008: 49-56 |
| 90 | | 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 |
| 89 | | 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 |
| 88 | | 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) |
| 87 | | Melissa Lemos,
Marco A. Casanova,
Antonio L. Furtado:
Process pipeline scheduling.
Journal of Systems and Software 81(3): 307-327 (2008) |
| 2007 |
|---|
| 86 | | Karin Koogan Breitman,
Simone Diniz Junqueira Barbosa,
Marco A. Casanova,
Antonio L. Furtado:
Conceptual modeling by analogy and metaphor.
CIKM 2007: 865-868 |
| 85 | | 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 |
| 84 | | Vítor Dantas,
Marcelo Metello,
Melissa Lemos,
Marco A. Casanova:
Coverage Representation in TerraLib.
GeoInfo 2007: 245-250 |
| 83 | | 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 |
| 82 | | 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 |
| 81 | | Simone Diniz Junqueira Barbosa,
Karin Koogan Breitman,
Antonio L. Furtado,
Marco A. Casanova:
Similarity and Analogy over Application Domains.
SBBD 2007: 238-252 |
| 80 | | Marco A. Casanova:
Schema Matching Revisited.
SBBD 2007: 380 |
| 79 | | Marco A. Casanova,
Karin Koogan Breitman,
Daniela F. Brauner,
André L. A. Marins:
Database Conceptual Schema Matching.
IEEE Computer 40(10): 102-104 (2007) |
| 78 | | 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) |
| 2006 |
|---|
| 77 | | Daniela F. Brauner,
Marco A. Casanova,
Ruy Luiz Milidiú:
Towards Gazetteer Integration Through an Instance-based Thesauri Mapping Approach.
GeoInfo 2006: 189-198 |
| 76 | | 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 |
| 75 | | 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 |
| 74 | | Tatiana Almeida S. C. Vieira,
Marco A. Casanova:
Transactional Behavior of a Workflow Instance.
OTM Conferences (1) 2006: 756-771 |
| 73 | | 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 |
| 72 | | Vânia Maria Ponte Vidal,
Marco A. Casanova,
Fernando Cordeiro Lemos:
Automatic Generation of SQL/XML Views.
SBBD 2006: 221-235 |
| 71 | | Melissa Lemos,
Marco A. Casanova:
On the Complexity of Process Pipeline Scheduling.
SBBD 2006: 57-71 |
| 2005 |
|---|
| 70 | | Frederico T. Fonseca,
Marco A. Casanova:
VII Brazilian Symposium on Geoinformatics, 20-23 November, Campos do Jordão, São Paulo, Brazil
INPE 2005 |
| 69 | | Karin Koogan Breitman,
Carolina Howard Felicíssimo,
Marco A. Casanova:
CATO - A Lightweight Ontology Alignment Tool.
CAiSE Short Paper Proceedings 2005 |
| 68 | | 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 |
| 67 | | 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 |
| 2004 |
|---|
| 66 | | 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 |
| 65 | | Daniela F. Brauner,
Marco A. Casanova,
Carlos José Pereira de Lucena:
Geo-Object Catalogs to Enable Geographic Databases Interoperability.
GeoInfo 2004: 235-246 |
| 64 | | Tatiana Almeida S. C. Vieira,
Marco A. Casanova,
Luis Gustavo Ferrao:
An Ontology-Driven Architecture for Flexible Workflow Execution.
WebMedia/LA-WEB 2004: 70-77 |
| 2003 |
|---|
| 63 | | Melissa Lemos,
Luiz Fernando Bessa Seibel,
Marco A. Casanova:
BioNotes: A System for Biosequence Annotation.
DEXA Workshops 2003: 16-20 |
| 62 | | Vânia Maria Ponte Vidal,
Marco A. Casanova:
Efficient Maintenance of XML Views Using View Correspondence Assertions.
EC-Web 2003: 281-291 |
| 61 | | Fábio Meira de Oliveira Dias,
Marco A. Casanova,
Marcelo Tílio Monteiro de Carvalho:
Workflow Execution in Disconnected Environments.
SBBD 2003: 229-239 |
| 60 | | 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 |
| 2002 |
|---|
| 59 | | 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 |
| 2000 |
|---|
| 58 | | 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) |
| 1999 |
|---|
| 57 | | Maurício R. Mediano,
Marco A. Casanova,
Marcelo Gattass:
TDA - Um Método para Indexar Topologicamente Atributos Espaciais.
SBBD 1999: 269-283 |
| 1996 |
|---|
| 56 | | 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 |
| 55 | | 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 |
| 54 | | Luiz Fernando Gomes Soares,
Marco A. Casanova,
Guido Lemos de Souza Filho:
Anchors and Links for Nested Composite Nodes.
MMM 1996: 21-34 |
| 1995 |
|---|
| 53 | | 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) |
| 1994 |
|---|
| 52 | | Claudia Bauzer Medeiros,
Marco A. Casanova,
Gilberto Câmara:
The DOMUS Project - Building on OODB GIS for Environmental Control.
IGIS 1994: 45-54 |
| 51 | | Alberto H. F. Laender,
Donal J. Flynn,
Marco A. Casanova:
On the Mapping of NIAM Schemas into SQL.
ORM 1994: 89-102 |
| 50 | | Maurício R. Mediano,
Marco A. Casanova,
Marcelo Dreux:
V-Trees - A Storage Method for Long Vector Data.
VLDB 1994: 321-330 |
| 49 | | Alberto H. F. Laender,
Marco A. Casanova,
A. 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 |
|---|
| 48 | | Andrea S. Hemerly,
Antonio L. Furtado,
Marco A. Casanova:
Towards Cooperativeness in Geographic Databases.
DEXA 1993: 373-376 |
| 47 | | 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) |
| 46 | | 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) |
| 1992 |
|---|
| 45 | | Marco A. Casanova,
Andrea S. Hemerly,
Antonio L. Furtado:
A Declarative Conceptual Modelling Language: Description and Example Applications.
CAiSE 1992: 589-611 |
| 44 | | 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) |
| 43 | | 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) |
| 1991 |
|---|
| 42 | | Andrea S. Hemerly,
Marco A. Casanova,
Antonio L. Furtado:
Cooperative Behavior Through Request Modification.
ER 1991: 607-621 |
| 41 | | Marco A. Casanova,
A. 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 |
| 40 | | 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 |
| 39 | | Marco A. Casanova,
Andrea S. Hemerly,
Ramiro A. de T. Guerreiro:
Explaining SLDNF Resolution with Non-Normal Defaults.
ICLP 1991: 18-31 |
| 38 | | Marco A. Casanova,
Antonio L. Furtado,
Luiz Tucherman:
A Software Tool for Modular Database Design.
ACM Trans. Database Syst. 16(2): 209-234 (1991) |
| 1990 |
|---|
| 37 | | Ramiro A. de T. Guerreiro,
Marco A. Casanova,
Andrea S. Hemerly:
Contributions to a Proof Theory for Generic Defaults.
ECAI 1990: 213-218 |
| 36 | | Antonio L. Furtado,
Marco A. Casanova:
Plan and Schedule Generation over Temporal Databases.
ER 1990: 235-248 |
| 35 | | 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 |
| 34 | | 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) |
| 1989 |
|---|
| 33 | | Luiz 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 |
| 32 | | 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 |
| 31 | | Marco A. Casanova,
Ramiro A. de T. Guerreiro,
Andrea Silva:
Computing Answers to Logic Programs with Weak Model Elimination.
NACLP 1989: 92-114 |
| 30 | | Marco A. Casanova,
Luiz Tucherman,
Antonio L. Furtado,
Anelise P. Braga:
Optimization of Relational Schemas Containing Inclusion Dependencies.
VLDB 1989: 317-325 |
| 1988 |
|---|
| 29 | | Marco A. Casanova,
Luiz Tucherman,
Antonio L. Furtado:
Enforcing Inclusion Dependencies and Referencial Integrity.
VLDB 1988: 38-49 |
| 28 | | Marco A. Casanova,
Antonio L. Furtado:
String Pattern-Matching in Prolog.
Comput. Lang. 13(3/4): 149-170 (1988) |
| 1987 |
|---|
| 27 | | Antonio L. Furtado,
Marco A. Casanova,
Luiz Tucherman:
The CHRIS Consultant.
ER 1987: 515-532 |
| 1986 |
|---|
| 26 | | Antonio L. Furtado,
Marco A. Casanova,
Luiz Tucherman:
Transforming Constraints into Logic Programs: A Case Study.
DS-2 1986: 137-149 |
| 25 | | Antonio L. Furtado,
Marco A. Casanova,
Luiz Tucherman:
A Framework for Design/Redesign Experts.
Expert Database Conf. 1986: 423-438 |
| 24 | | Marco A. Casanova,
C. M. O. Moura:
Designing Database Applications in Logic Programming.
IFIP Congress 1986: 235-240 |
| 1985 |
|---|
| 23 | | Marco A. Casanova,
Arnaldo V. Moura,
Luiz Tucherman:
On the Correctness of a Local Storage Subsystem.
PODS 1985: 123-134 |
| 22 | | Luiz Tucherman,
Antonio L. Furtado,
Marco A. Casanova:
A Tool for Modular Database Design.
VLDB 1985: 436-447 |
| 21 | | Antonio L. Furtado,
Marco A. Casanova:
Updating Relational Views.
Query Processing in Database Systems 1985: 127-142 |
| 1984 |
|---|
| 20 | | Marco A. Casanova,
Paulo A. S. Veloso,
Antonio L. Furtado:
Formal Data Base Specification - An Eclectic Perspective.
PODS 1984: 110-118 |
| 19 | | 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) |
| 18 | | 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) |
| 17 | | 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) |
| 1983 |
|---|
| 16 | | Marco A. Casanova,
Jose E. Amaral de Sa:
Designing Entity-Relationship Schemes for Conventional Information Systems.
ER 1983: 265-277 |
| 15 | | Antonio L. Furtado,
Paulo A. S. Veloso,
Marco A. Casanova:
A Grammatical Approach to Data Bases.
IFIP Congress 1983: 705-710 |
| 14 | | Marco A. Casanova,
Vânia Maria Ponte Vidal:
Towards a Sound View Integration Methodology.
PODS 1983: 36-47 |
| 13 | | Luiz Tucherman,
Antonio L. Furtado,
Marco A. Casanova:
A Pragmatic Approach to Structured Database Design.
VLDB 1983: 219-231 |
| 12 | | Marco A. Casanova:
The Theory of Functional and Subset Dependencies Over Relational Expressions.
Inf. Process. Lett. 16(3): 153-160 (1983) |
| 1982 |
|---|
| 11 | | Marco A. Casanova,
Antonio L. Furtado:
On the Description of Database Transition Constraints Using Temporal Languages.
Advances in Data Base Theory 1982: 211-236 |
| 10 | | Marco A. Casanova,
Ronald Fagin,
Christos H. Papadimitriou:
Inclusion Dependencies and Their Interaction with Functional Dependencies.
PODS 1982: 171-176 |
| 9 | | Marco A. Casanova:
A Theory of Data Dependencies over Relational Expressions.
PODS 1982: 189-198 |
| 8 | | José Mauro Volkmer de Castilho,
Marco A. Casanova,
Antonio L. Furtado:
A Temporal Framework for Database Specifications.
VLDB 1982: 280-291 |
| 1981 |
|---|
| 7 | | Marco A. Casanova:
The Concurrency Control Problem for Database Systems
Springer 1981 |
| 6 | | Marco A. Casanova,
Philip A. Bernstein:
General Purpose Schedulers for Database System.
Acta Inf. 15: 471 (1981) |
| 5 | | Philip A. Bernstein,
Marco A. Casanova,
Nathan Goodman:
Errors in 'Process Synchronization in Database Systems'.
SIGMOD Record 11(1): 9-29 (1981) |
| 1980 |
|---|
| 4 | | 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) |
| 3 | | Marco A. Casanova,
Philip A. Bernstein:
General Purpose Schedulers for Database Systems.
Acta Inf. 14: 195-220 (1980) |
| 1979 |
|---|
| 2 | | Marco A. Casanova,
Philip A. Bernstein:
The Logic of a Relational Data Manipulation Language.
POPL 1979: 101-109 |
| 1 | | Philip A. Bernstein,
Marco A. Casanova,
Nathan Goodman:
Comments on "Process Synchronization in Database Systems".
ACM Trans. Database Syst. 4(4): 545-546 (1979) |
