BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Formica:Anna

Contributed to:

KEOD 20102010
SAC 20072007
ICLP 19951995
CIKM 19921992

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.