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

Anna Formica Vis

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

*2009
33EEAnna Formica: Concept similarity by evaluating information contents and feature vectors: a combined approach. Commun. ACM 52(3): 145-149 (2009)
32EEAnna Formica, Elaheh Pourabbas: Content based similarity of geographic classes organized as partition hierarchies. Knowl. Inf. Syst. 20(2): 221-241 (2009)
2008
31EEAnna Formica, Michele Missikoff, Elaheh Pourabbas, Francesco Taglino: Weighted Ontology for Semantic Search. OTM Conferences (2) 2008: 1289-1303
30EEAnna Formica: Similarity of XML-Schema Elements: A Structural and Information Content Approach. Comput. J. 51(2): 240-254 (2008)
29EEAnna Formica: Concept similarity in Formal Concept Analysis: An information content approach. Knowl.-Based Syst. 21(1): 80-87 (2008)
2007
28EEArianna D'Ulizia, Fernando Ferri, Anna Formica, Patrizia Grifoni, Maurizio Rafanelli: Structural similarity in geographical queries to improve query answering. SAC 2007: 19-23
2006
27EEFernando Ferri, Anna Formica, Patrizia Grifoni, Maurizio Rafanelli: Query Approximation by Semantic Similarity in GeoPQL. OTM Workshops (2) 2006: 1670-1680
26EEAnna Formica: Ontology-based concept similarity in Formal Concept Analysis. Inf. Sci. 176(18): 2624-2641 (2006)
2005
25EEFernando Ferri, Anna Formica, Patrizia Grifoni, Maurizio Rafanelli: Evaluating Semantic Similarity Using GML in Geographic Information Systems. OTM Workshops 2005: 1009-1019
24EEAnna Formica: Similarity Of Xml-Schema Elements Supported By Domain Ontologies. International Journal of Software Engineering and Knowledge Engineering 15(1): 117-130 (2005)
2004
23EEAnna Formica, Michele Missikoff: Inheritance processing and conflicts in structural generalization hierarchies. ACM Comput. Surv. 36(3): 263-290 (2004)
22EEAnna Formica: Legality of XML-Schema Type Hierarchies. Comput. J. 47(5): 591-601 (2004)
2003
21 Anna Formica, Michele Missikoff: Ontology Validation in OPAL. ICWS 2003: 198-202
20EEAnna Formica: Satisfiability of object-oriented database constraints with set and bag attributes. Inf. Syst. 28(3): 213-224 (2003)
2002
19EEAnna Formica, Michele Missikoff: Concept Similarity in SymOntos: An Enterprise Ontology Management Tool. Comput. J. 45(6): 583-594 (2002)
18EEAnna Formica, Heinz Frank: Consistency of the static and dynamic components of object-oriented specifications. Data Knowl. Eng. 40(2): 195-215 (2002)
17EEAnna Formica: Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas. IEEE Trans. Knowl. Data Eng. 14(1): 123-139 (2002)
2001
16 Anna Formica, Michele Missikoff: Semantic Integration of Tourism Enterprises: an Ontological Approach. SBBD 2001: 187-198
1999
15EECatriel Beeri, Anna Formica, Michele Missikoff: Inheritance Hierarchy Design in Object-Oriented Databases. Data Knowl. Eng. 30(3): 191-216 (1999)
1998
14EEAnna Formica, Hans Dietmar Gröger, Michele Missikoff: An Efficient Method for Checking Object-Oriented Database Schema Correctness. ACM Trans. Database Syst. 23(3): 333-369 (1998)
1997
13EEErnesto Damiani, Anna Formica, Maria Grazia Fugini, Michele Missikoff, R. Pizzicannella: Reusing Analysis Schemas in ODB Applications: a Chart Based Approach. ADBIS 1997: 406-415
12EEAnna Formica, Hans Dietmar Gröger, Michele Missikoff: Object-Oriented Database Schema Analysis and Inheritance Processing: A Graphtheoretic Approach. Data Knowl. Eng. 24(2): 157-181 (1997)
11EEAnna Formica, Michele Missikoff: A Verification Algorithm for Inheritance Hierarchies in Object-Oriented Databases. Inf. Process. Lett. 62(5): 269-279 (1997)
1996
10 Anna Formica, Hans Dietmar Gröger, Michele Missikoff: A Method for Inheritance Processing in Object-Oriented Databases. SEBD 1996: 139-160
1995
9 Anna Formica, Michele Missikoff, Roberto Terenzi: A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas. ICLP 1995: 819
8 Anna Formica, Michele Missikoff: A Graph-Theoretic Approach to the Verification of Inheritance Hierarchies in Object-Oriented Databases. SEBD 1995: 273-282
1994
7EEAnna Formica, Michele Missikoff: Correctness of ISA Hierarchies in Object-Oriented Database Schemas. EDBT 1994: 231-244
6 Anna Formica, Michele Missikoff, Roberto Terenzi: Constraint Satisfiability in Object-Oriented Databases. East/West Database Workshop 1994: 48-60
1993
5 Anna Formica, Michele Missikoff: On Structural Correctness of Object-Oriented Database Schemas. SEBD 1993: 139-150
4 Anna Formica, Michele Missikoff: Modeling Semantic Interity Contraints in Object-Oriented Database Schemas. LOGIDATA+: Deductive Databases with Complex Objects 1993: 129-147
3 Alessandro Artale, Jean Paul Ballerini, Filippo Cacace, Stefano Ceri, Francesca Cesarini, Anna Formica, Herman Lam, Sergio Greco, G. Marrella, Michele Missikoff, Luigi Palopoli, L. Pichetti, Domenico Saccà, Silvio Salza, Claudio Sartori, Giovanni Soda, Letizia Tanca, M. Toiati: Prototypes in the LOGIDATA+ Project. LOGIDATA+: Deductive Databases with Complex Objects 1993: 252-273
1992
2EEAnna Formica, Michele Missikoff: Integrity Constraints Representation in Object-Oriented Databases. CIKM 1992: 69-85
1990
1EEAnna Formica, Michele Missikoff, S. Vazzana: An Object-Oriented Data model for Artificial Intelligence Applications. East/West Database Workshop 1990: 26-41

Coauthor Index

1Alessandro Artale [3]
2Jean Paul Ballerini [3]
3Catriel Beeri [15]
4Filippo Cacace [3]
5Stefano Ceri [3]
6Francesca Cesarini [3]
7Arianna D'Ulizia [28]
8Ernesto Damiani [13]
9Fernando Ferri [25] [27] [28]
10Heinz Frank [18]
11Maria Grazia Fugini (Mariagrazia Fugini) [13]
12Sergio Greco [3]
13Patrizia Grifoni [25] [27] [28]
14Hans Dietmar Gröger [10] [12] [14]
15Herman Lam [3]
16G. Marrella [3]
17Michele Missikoff [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [19] [21] [23] [31]
18Luigi Palopoli [3]
19L. Pichetti [3]
20R. Pizzicannella [13]
21Elaheh Pourabbas [31] [32]
22Maurizio Rafanelli [25] [27] [28]
23Domenico Saccà [3]
24Silvio Salza [3]
25Claudio Sartori [3]
26Giovanni Soda [3]
27Francesco Taglino [31]
28Letizia Tanca [3]
29Roberto Terenzi [6] [9]
30M. Toiati [3]
31S. Vazzana [1]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)