| 2025 | AICCSA | A Fuzzy and Multiple-Context Approach for Semantic Similarity by using BabelNet. | Anna Formica, Ida Mele, Francesco Taglino |
| 2023 | DEXA | A Knowledge-Based Approach to Business Process Analysis: From Informal to Formal. | Antonio De Nicola, Anna Formica, Ida Mele, Michele Missikoff, Francesco Taglino |
| 2019 | ICAART | A Comparative Assessment of Ontology Weighting Methods in Semantic Similarity Search. | Antonio De Nicola, Anna Formica, Michele Missikoff, Elaheh Pourabbas, Francesco Taglino |
| 2017 | DEXA | A Bayesian Approach for Semantic Search Based on DAG-Shaped Ontologies. | Anna Formica, Michele Missikoff, Elaheh Pourabbas, Francesco Taglino |
| 2016 | IC3K | A Bayesian Approach for Weighted Ontologies and Semantic Search. | Anna Formica, Michele Missikoff, Elaheh Pourabbas, Francesco Taglino |
| 2013 | CaiSE | Supporting Customer Choice with Semantic Similarity Search and Explanation. | Anna Formica, Michele Missikoff, Elaheh Pourabbas, Francesco Taglino |
| 2013 | CaiSE | A Linked Data Based Approach to Similarity Reasoning. | Anna Formica, Michele Missikoff, Elaheh Pourabbas, Francesco Taglino |
| 2010 | IC3K | Semantic Search for Enterprises Competencies Management . | Anna Formica, Michele Missikoff, Elaheh Pourabbas, Francesco Taglino |
| 2007 | SAC | Structural similarity in geographical queries to improve query answering. | Arianna D'Ulizia, Fernando Ferri, Anna Formica, Patrizia Grifoni, Maurizio Rafanelli |
| 2003 | ENTER | Harmonise - Towards Interoperability in the Tourism Domain. | Michele Missikoff, Hannes Werthner, Wolfram Hpken, Mirella Dell'Erba, Oliver Fodor, Anna Formica, Francesco Taglino |
| 2003 | ICWS | Ontology Validation in OPAL. | Anna Formica, Michele Missikoff |
| 1997 | ADBIS | Reusing Analysis Schemas in ODB Applications: a Chart Based Approach. | Ernesto Damiani, Anna Formica, Maria Grazia Fugini, Michele Missikoff, R. Pizzicannella |
| 1995 | ICLP | A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas. | Anna Formica, Michele Missikoff, Roberto Terenzi |
| 1994 | EDBT | Correctness of ISA Hierarchies in Object-Oriented Database Schemas. | Anna Formica, Michele Missikoff |
| 1992 | CIKM | Integrity Constraints Representation in Object-Oriented Databases. | Anna Formica, Michele Missikoff |