| 2009 |
|---|
| 32 | EE | Anna Formica:
Concept similarity by evaluating information contents and feature vectors: a combined approach.
Commun. ACM 52(3): 145-149 (2009) |
| 2008 |
|---|
| 31 | EE | Anna Formica,
Michele Missikoff,
Elaheh Pourabbas,
Francesco Taglino:
Weighted Ontology for Semantic Search.
OTM Conferences (2) 2008: 1289-1303 |
| 30 | EE | Anna Formica:
Similarity of XML-Schema Elements: A Structural and Information Content Approach.
Comput. J. 51(2): 240-254 (2008) |
| 29 | EE | Anna Formica:
Concept similarity in Formal Concept Analysis: An information content approach.
Knowl.-Based Syst. 21(1): 80-87 (2008) |
| 2007 |
|---|
| 28 | EE | Arianna D'Ulizia,
Fernando Ferri,
Anna Formica,
Patrizia Grifoni,
Maurizio Rafanelli:
Structural similarity in geographical queries to improve query answering.
SAC 2007: 19-23 |
| 2006 |
|---|
| 27 | EE | Fernando Ferri,
Anna Formica,
Patrizia Grifoni,
Maurizio Rafanelli:
Query Approximation by Semantic Similarity in GeoPQL.
OTM Workshops (2) 2006: 1670-1680 |
| 26 | EE | Anna Formica:
Ontology-based concept similarity in Formal Concept Analysis.
Inf. Sci. 176(18): 2624-2641 (2006) |
| 2005 |
|---|
| 25 | EE | Fernando Ferri,
Anna Formica,
Patrizia Grifoni,
Maurizio Rafanelli:
Evaluating Semantic Similarity Using GML in Geographic Information Systems.
OTM Workshops 2005: 1009-1019 |
| 24 | EE | Anna Formica:
Similarity Of Xml-Schema Elements Supported By Domain Ontologies.
International Journal of Software Engineering and Knowledge Engineering 15(1): 117-130 (2005) |
| 2004 |
|---|
| 23 | EE | Anna Formica,
Michele Missikoff:
Inheritance processing and conflicts in structural generalization hierarchies.
ACM Comput. Surv. 36(3): 263-290 (2004) |
| 22 | EE | Anna 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 |
| 20 | EE | Anna Formica:
Satisfiability of object-oriented database constraints with set and bag attributes.
Inf. Syst. 28(3): 213-224 (2003) |
| 2002 |
|---|
| 19 | EE | Anna Formica,
Michele Missikoff:
Concept Similarity in SymOntos: An Enterprise Ontology Management Tool.
Comput. J. 45(6): 583-594 (2002) |
| 18 | EE | Anna Formica,
Heinz Frank:
Consistency of the static and dynamic components of object-oriented specifications.
Data Knowl. Eng. 40(2): 195-215 (2002) |
| 17 | EE | Anna 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 |
|---|
| 15 | EE | Catriel Beeri,
Anna Formica,
Michele Missikoff:
Inheritance Hierarchy Design in Object-Oriented Databases.
Data Knowl. Eng. 30(3): 191-216 (1999) |
| 1998 |
|---|
| 14 | EE | Anna 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 |
|---|
| 13 | EE | Ernesto Damiani,
Anna Formica,
Maria Grazia Fugini,
Michele Missikoff,
R. Pizzicannella:
Reusing Analysis Schemas in ODB Applications: a Chart Based Approach.
ADBIS 1997: 406-415 |
| 12 | EE | Anna 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) |
| 11 | EE | Anna 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 |
|---|
| 7 | EE | Anna 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 |
|---|
| 2 | EE | Anna Formica,
Michele Missikoff:
Integrity Constraints Representation in Object-Oriented Databases.
CIKM 1992: 69-85 |
| 1990 |
|---|
| 1 | | Anna Formica,
Michele Missikoff,
S. Vazzana:
An Object-Oriented Data model for Artificial Intelligence Applications.
East/West Database Workshop 1990: 26-41 |
