Travelled to:1 × Japan
1 × Korea
1 × Spain
1 × USA
Collaborated with:M.Missikoff R.Terenzi E.Pourabbas F.Taglino A.D'Ulizia F.Ferri P.Grifoni M.Rafanelli
Talks about:databas (2) orient (2) object (2) queri (2) constraint (1) represent (1) enterpris (1) structur (1) geograph (1) theorem (1)
Person: Anna Formica
DBLP: Formica:Anna
Contributed to:
2010
2007
1995
1992Wrote 4 papers:
- KEOD-2010-FormicaMPT #enterprise #semantics
- Semantic Search for Enterprises Competencies Management (AF, MM, EP, FT), pp. 183–192.
- SAC-2007-DUliziaFFGR #query #similarity
- Structural similarity in geographical queries to improve query answering (AD, FF, AF, PG, MR), pp. 19–23.
- ICLP-1995-FormicaMT #database #object-oriented #proving #satisfiability #theorem proving
- A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas (AF, MM, RT), p. 819.
- CIKM-1992-FormicaM #constraints #database #object-oriented #representation
- Integrity Constraints Representation in Object-Oriented Databases (AF, MM), pp. 69–85.