<?xml version="1.0"?>
<dblpperson name="Anna Formica" pid="47/224" n="72">
<person key="homepages/47/224" mdate="2018-03-12">
<author pid="47/224">Anna Formica</author>
<url>https://orcid.org/0000-0002-7992-6898</url>
</person>
<r><article key="journals/access/FormicaMT25" mdate="2025-05-09">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author orcid="0000-0002-3730-6383" pid="20/9056">Ida Mele</author>
<author orcid="0000-0001-8364-4407" pid="84/1964">Francesco Taglino</author>
<title>Semantic Similarity of Words in a Taxonomy: A Fuzzy and Multiple-Context Approach.</title>
<pages>67149-67158</pages>
<year>2025</year>
<volume>13</volume>
<journal>IEEE Access</journal>
<ee type="oa">https://doi.org/10.1109/ACCESS.2025.3560151</ee>
<url>db/journals/access/access13.html#FormicaMT25</url>
<stream>streams/journals/access</stream>
</article>
</r>
<r><article key="journals/access/NicolaFMT25" mdate="2025-08-09">
<author orcid="0000-0002-1045-0510" pid="25/1774-1">Antonio De Nicola 0001</author>
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author orcid="0000-0002-3730-6383" pid="20/9056">Ida Mele</author>
<author orcid="0000-0001-8364-4407" pid="84/1964">Francesco Taglino</author>
<title>Information Content Methods for Semantic Similarity: An Experimental Assessment.</title>
<pages>113953-113966</pages>
<year>2025</year>
<volume>13</volume>
<journal>IEEE Access</journal>
<ee type="oa">https://doi.org/10.1109/ACCESS.2025.3584192</ee>
<url>db/journals/access/access13.html#NicolaFMT25</url>
<stream>streams/journals/access</stream>
</article>
</r>
<r><inproceedings key="conf/aiccsa/FormicaMT25" mdate="2026-05-18">
<author pid="47/224">Anna Formica</author>
<author pid="20/9056">Ida Mele</author>
<author pid="84/1964">Francesco Taglino</author>
<title>A Fuzzy and Multiple-Context Approach for Semantic Similarity by using BabelNet.</title>
<pages>1-7</pages>
<year>2025</year>
<booktitle>AICCSA</booktitle>
<ee>https://doi.org/10.1109/AICCSA66935.2025.11315375</ee>
<crossref>conf/aiccsa/2025</crossref>
<url>db/conf/aiccsa/aiccsa2025.html#FormicaMT25</url>
</inproceedings>
</r>
<r><article key="journals/eis/NicolaFMMT24" mdate="2025-03-03">
<author orcid="0000-0002-1045-0510" pid="25/1774-1">Antonio De Nicola 0001</author>
<author pid="47/224">Anna Formica</author>
<author pid="20/9056">Ida Mele</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<author pid="84/1964">Francesco Taglino</author>
<title>A comparative study of LLMs and NLP approaches for supporting business process analysis.</title>
<year>2024</year>
<month>October</month>
<volume>18</volume>
<journal>Enterp. Inf. Syst.</journal>
<number>10</number>
<ee type="oa">https://doi.org/10.1080/17517575.2024.2415578</ee>
<url>db/journals/eis/eis18.html#NicolaFMMT24</url>
<stream>streams/journals/eis</stream>
</article>
</r>
<r><article key="journals/kais/FormicaMT24" mdate="2025-03-03">
<author pid="47/224">Anna Formica</author>
<author pid="20/9056">Ida Mele</author>
<author orcid="0000-0001-8364-4407" pid="84/1964">Francesco Taglino</author>
<title>A template-based approach for question answering over knowledge bases.</title>
<pages>453-479</pages>
<year>2024</year>
<month>January</month>
<volume>66</volume>
<journal>Knowl. Inf. Syst.</journal>
<number>1</number>
<ee type="oa">https://doi.org/10.1007/s10115-023-01966-8</ee>
<ee>https://www.wikidata.org/entity/Q125387375</ee>
<url>db/journals/kais/kais66.html#FormicaMT24</url>
</article>
</r>
<r><article key="journals/cai/FormicaT23" mdate="2023-06-19">
<author pid="47/224">Anna Formica</author>
<author pid="84/1964">Francesco Taglino</author>
<title>Semantic Similarity in a Taxonomy by Refining the Relatedness of Concept Intended Senses.</title>
<pages>191-209</pages>
<year>2023</year>
<volume>42</volume>
<journal>Comput. Informatics</journal>
<number>1</number>
<ee type="oa">https://doi.org/10.31577/cai_2023_1_191</ee>
<url>db/journals/cai/cai42.html#FormicaT23</url>
</article>
</r>
<r><article key="journals/isci/FormicaT23" mdate="2025-03-03">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author orcid="0000-0001-8364-4407" pid="84/1964">Francesco Taglino</author>
<title>Semantic relatedness in DBpedia: A comparative and experimental assessment.</title>
<pages>474-505</pages>
<year>2023</year>
<month>April</month>
<volume>621</volume>
<journal>Inf. Sci.</journal>
<ee>https://doi.org/10.1016/j.ins.2022.11.025</ee>
<ee>https://www.wikidata.org/entity/Q131377004</ee>
<url>db/journals/isci/isci621.html#FormicaT23</url>
</article>
</r>
<r><article key="journals/tlsdkcs/FormicaT22" mdate="2023-03-06">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author orcid="0000-0001-8364-4407" pid="84/1964">Francesco Taglino</author>
<title>Semantic Similarity in a Taxonomy by Evaluating the Relatedness of Concept Senses with the Linked Data Semantic Distance.</title>
<pages>66-89</pages>
<year>2023</year>
<volume>53</volume>
<journal>Trans. Large Scale Data Knowl. Centered Syst.</journal>
<ee>https://doi.org/10.1007/978-3-662-66863-4_3</ee>
<url>db/journals/tlsdkcs/tlsdkcs53.html#FormicaT22</url>
</article>
</r>
<r><article key="journals/ws/NicolaFMPT23" mdate="2025-03-03">
<author orcid="0000-0002-1045-0510" pid="25/1774-1">Antonio De Nicola 0001</author>
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<author pid="73/3737">Elaheh Pourabbas</author>
<author orcid="0000-0001-8364-4407" pid="84/1964">Francesco Taglino</author>
<title>A parametric similarity method: Comparative experiments based on semantically annotated large datasets.</title>
<pages>100773</pages>
<year>2023</year>
<month>April</month>
<volume>76</volume>
<journal>J. Web Semant.</journal>
<ee>https://doi.org/10.1016/j.websem.2023.100773</ee>
<url>db/journals/ws/ws76.html#NicolaFMPT23</url>
</article>
</r>
<r><inproceedings key="conf/dexa/NicolaFMMT23" mdate="2023-08-31">
<author orcid="0000-0002-1045-0510" pid="25/1774-1">Antonio De Nicola 0001</author>
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author orcid="0000-0002-3730-6383" pid="20/9056">Ida Mele</author>
<author orcid="0000-0002-7972-5201" pid="m/MMissikoff">Michele Missikoff</author>
<author orcid="0000-0001-8364-4407" pid="84/1964">Francesco Taglino</author>
<title>A Knowledge-Based Approach to Business Process Analysis: From Informal to Formal.</title>
<pages>493-507</pages>
<year>2023</year>
<booktitle>DEXA (1)</booktitle>
<ee>https://doi.org/10.1007/978-3-031-39847-6_39</ee>
<crossref>conf/dexa/2023-1</crossref>
<url>db/conf/dexa/dexa2023-1.html#NicolaFMMT23</url>
</inproceedings>
</r>
<r><inproceedings key="conf/ital-ia/0001FMMT23" mdate="2023-09-21">
<author pid="25/1774-1">Antonio De Nicola 0001</author>
<author pid="47/224">Anna Formica</author>
<author pid="20/9056">Ida Mele</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<author pid="84/1964">Francesco Taglino</author>
<title>A Formal Approach to a Knowledge Base for Business Process Analysis.</title>
<pages>100-104</pages>
<year>2023</year>
<booktitle>Ital-IA</booktitle>
<ee type="oa">https://ceur-ws.org/Vol-3486/80.pdf</ee>
<crossref>conf/ital-ia/2023</crossref>
<url>db/conf/ital-ia/ital-ia2023.html#0001FMMT23</url>
</inproceedings>
</r>
<r><inproceedings key="conf/sebd/0001FMMT23" mdate="2023-09-13">
<author pid="25/1774-1">Antonio De Nicola 0001</author>
<author pid="47/224">Anna Formica</author>
<author pid="20/9056">Ida Mele</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<author pid="84/1964">Francesco Taglino</author>
<title>Towards a Formal Approach to a Knowledge Base Supporting Business Process Analysis.</title>
<pages>192-199</pages>
<year>2023</year>
<booktitle>SEBD</booktitle>
<ee type="oa">https://ceur-ws.org/Vol-3478/paper37.pdf</ee>
<crossref>conf/sebd/2023</crossref>
<url>db/conf/sebd/sebd2023.html#0001FMMT23</url>
</inproceedings>
</r>
<r><article publtype="informal" key="journals/corr/abs-2302-04123" mdate="2023-02-10">
<author pid="25/1774-1">Antonio De Nicola 0001</author>
<author pid="47/224">Anna Formica</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<author pid="73/3737">Elaheh Pourabbas</author>
<author pid="84/1964">Francesco Taglino</author>
<title>A Parametric Similarity Method: Comparative Experiments based on Semantically Annotated Large Datasets.</title>
<year>2023</year>
<volume>abs/2302.04123</volume>
<journal>CoRR</journal>
<ee type="oa">https://doi.org/10.48550/arXiv.2302.04123</ee>
<url>db/journals/corr/corr2302.html#abs-2302-04123</url>
</article>
</r>
<r><article publtype="informal" key="journals/corr/abs-2308-09502" mdate="2023-08-25">
<author pid="47/224">Anna Formica</author>
<author pid="84/1964">Francesco Taglino</author>
<title>Semantic relatedness in DBpedia: A comparative and experimental assessment.</title>
<year>2023</year>
<volume>abs/2308.09502</volume>
<journal>CoRR</journal>
<ee type="oa">https://doi.org/10.48550/arXiv.2308.09502</ee>
<url>db/journals/corr/corr2308.html#abs-2308-09502</url>
</article>
</r>
<r><article key="journals/access/FormicaT21" mdate="2025-01-19">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author orcid="0000-0001-8364-4407" pid="84/1964">Francesco Taglino</author>
<title>An Enriched Information-Theoretic Definition of Semantic Similarity in a Taxonomy.</title>
<pages>100583-100593</pages>
<year>2021</year>
<volume>9</volume>
<journal>IEEE Access</journal>
<ee type="oa">https://doi.org/10.1109/ACCESS.2021.3096598</ee>
<ee>https://www.wikidata.org/entity/Q125310195</ee>
<url>db/journals/access/access9.html#FormicaT21</url>
</article>
</r>
<r><article key="journals/cai/Formica21" mdate="2023-03-21">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<title>Concept Similarity in Formal Concept Analysis with Many-Valued Contexts.</title>
<year>2021</year>
<volume>40</volume>
<journal>Comput. Informatics</journal>
<number>3</number>
<ee type="oa">https://doi.org/10.31577/cai_2021_3_469</ee>
<url>db/journals/cai/cai40.html#Formica21</url>
</article>
</r>
<r><article key="journals/access/FormicaMPR20" mdate="2020-06-17">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author orcid="0000-0001-7350-2237" pid="117/9009">Mauro Mazzei</author>
<author pid="73/3737">Elaheh Pourabbas</author>
<author orcid="0000-0001-7679-6728" pid="73/411">Maurizio Rafanelli</author>
<title>Approximate Query Answering Based on Topological Neighborhood and Semantic Similarity in OpenStreetMap.</title>
<pages>87011-87030</pages>
<year>2020</year>
<volume>8</volume>
<journal>IEEE Access</journal>
<ee type="oa">https://doi.org/10.1109/ACCESS.2020.2992202</ee>
<url>db/journals/access/access8.html#FormicaMPR20</url>
</article>
</r>
<r><article key="journals/fi/FormicaPT20" mdate="2020-05-22">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author orcid="0000-0001-8341-3190" pid="73/3737">Elaheh Pourabbas</author>
<author orcid="0000-0001-8364-4407" pid="84/1964">Francesco Taglino</author>
<title>Semantic Search Enhanced with Rating Scores.</title>
<pages>67</pages>
<year>2020</year>
<volume>12</volume>
<journal>Future Internet</journal>
<number>4</number>
<ee type="oa">https://doi.org/10.3390/fi12040067</ee>
<url>db/journals/fi/fi12.html#FormicaPT20</url>
</article>
</r>
<r><article key="journals/kais/Formica19" mdate="2025-01-19">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<title>Similarity reasoning in formal concept analysis: from one- to many-valued contexts.</title>
<pages>715-739</pages>
<year>2019</year>
<volume>60</volume>
<journal>Knowl. Inf. Syst.</journal>
<number>2</number>
<ee>https://doi.org/10.1007/s10115-018-1252-4</ee>
<ee>https://www.wikidata.org/entity/Q129278260</ee>
<url>db/journals/kais/kais60.html#Formica19</url>
</article>
</r>
<r><inproceedings key="conf/gistam/FormicaMPR19" mdate="2024-05-07">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author orcid="0000-0001-7350-2237" pid="117/9009">Mauro Mazzei</author>
<author pid="73/3737">Elaheh Pourabbas</author>
<author pid="73/411">Maurizio Rafanelli</author>
<title>Querying Distributed GIS with GeoPQLJ based on GeoJSON.</title>
<pages>175-182</pages>
<year>2019</year>
<booktitle>GISTAM</booktitle>
<ee>https://doi.org/10.5220/0007657201750182</ee>
<crossref>conf/gistam/2019</crossref>
<url>db/conf/gistam/gistam2019.html#FormicaMPR19</url>
</inproceedings>
</r>
<r><inproceedings key="conf/icaart/0001FMPT19" mdate="2025-03-03">
<author pid="25/1774-1">Antonio De Nicola 0001</author>
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<author pid="73/3737">Elaheh Pourabbas</author>
<author orcid="0000-0001-8364-4407" pid="84/1964">Francesco Taglino</author>
<title>A Comparative Assessment of Ontology Weighting Methods in Semantic Similarity Search.</title>
<pages>506-513</pages>
<year>2019</year>
<booktitle>ICAART (2)</booktitle>
<ee>https://doi.org/10.5220/0007342805060513</ee>
<crossref>conf/icaart/2019-2</crossref>
<url>db/conf/icaart/icaart2019-2.html#0001FMPT19</url>
</inproceedings>
</r>
<r><article key="journals/ivs/FormicaMPR18" mdate="2023-03-21">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author orcid="0000-0001-7350-2237" pid="117/9009">Mauro Mazzei</author>
<author pid="73/3737">Elaheh Pourabbas</author>
<author pid="73/411">Maurizio Rafanelli</author>
<title>Approximate answering of queries involving polyline-polyline topological relationships.</title>
<pages>128-145</pages>
<year>2018</year>
<volume>17</volume>
<journal>Inf. Vis.</journal>
<number>2</number>
<ee>https://doi.org/10.1177/1473871617698516</ee>
<url>db/journals/ivs/ivs17.html#FormicaMPR18</url>
</article>
</r>
<r><article key="journals/escri/MissikoffFPT17" mdate="2019-12-19">
<author pid="m/MMissikoff">Michele Missikoff</author>
<author pid="47/224">Anna Formica</author>
<author pid="73/3737">Elaheh Pourabbas</author>
<author pid="84/1964">Francesco Taglino</author>
<title>Enriching semantic search with preference and quality scores.</title>
<pages>1650002:1-1650002:8</pages>
<year>2017</year>
<volume>1</volume>
<journal>Encycl. Semantic Comput. Robotic Intell.</journal>
<number>1</number>
<ee>https://doi.org/10.1142/S2425038416500024</ee>
<url>db/journals/escri/escri1.html#MissikoffFPT17</url>
</article>
</r>
<r><article key="journals/ile/BarbagalloF17" mdate="2020-09-29">
<author pid="202/7374">A. Barbagallo</author>
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<title>ELSE: an ontology-based system integrating semantic search and e-learning technologies.</title>
<pages>650-666</pages>
<year>2017</year>
<volume>25</volume>
<journal>Interact. Learn. Environ.</journal>
<number>5</number>
<ee>https://doi.org/10.1080/10494820.2016.1172240</ee>
<url>db/journals/ile/ile25.html#BarbagalloF17</url>
</article>
</r>
<r><article key="journals/jgs/FormicaMPR17" mdate="2020-04-25">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author orcid="0000-0001-7350-2237" pid="117/9009">Mauro Mazzei</author>
<author orcid="0000-0001-8341-3190" pid="73/3737">Elaheh Pourabbas</author>
<author pid="73/411">Maurizio Rafanelli</author>
<title>Enriching the semantics of the directed polyline-polygon topological relationships: the DLP -intersection matrix.</title>
<pages>175-196</pages>
<year>2017</year>
<volume>19</volume>
<journal>J. Geogr. Syst.</journal>
<number>2</number>
<ee>https://doi.org/10.1007/s10109-017-0246-1</ee>
<url>db/journals/jgs/jgs19.html#FormicaMPR17</url>
</article>
</r>
<r><inproceedings key="conf/dexa/FormicaMPT17" mdate="2025-03-03">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<author pid="73/3737">Elaheh Pourabbas</author>
<author orcid="0000-0001-8364-4407" pid="84/1964">Francesco Taglino</author>
<title>A Bayesian Approach for Semantic Search Based on DAG-Shaped Ontologies.</title>
<pages>126-140</pages>
<year>2017</year>
<booktitle>DEXA (2)</booktitle>
<ee>https://doi.org/10.1007/978-3-319-64471-4_12</ee>
<crossref>conf/dexa/2017-2</crossref>
<url>db/conf/dexa/dexa2017-2.html#FormicaMPT17</url>
</inproceedings>
</r>
<r><inproceedings key="conf/ic3k/FormicaMPT16" mdate="2025-03-03">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<author pid="73/3737">Elaheh Pourabbas</author>
<author orcid="0000-0001-8364-4407" pid="84/1964">Francesco Taglino</author>
<title>A Bayesian Approach for Weighted Ontologies and Semantic Search.</title>
<pages>171-178</pages>
<year>2016</year>
<booktitle>KEOD</booktitle>
<ee>https://doi.org/10.5220/0006073301710178</ee>
<crossref>conf/ic3k/2016keod</crossref>
<url>db/conf/ic3k/keod2016.html#FormicaMPT16</url>
</inproceedings>
</r>
<r><article key="journals/cii/FormicaMPT13" mdate="2025-03-03">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<author pid="73/3737">Elaheh Pourabbas</author>
<author orcid="0000-0001-8364-4407" pid="84/1964">Francesco Taglino</author>
<title>Semantic search for matching user requests with profiled enterprises.</title>
<pages>191-202</pages>
<year>2013</year>
<volume>64</volume>
<journal>Comput. Ind.</journal>
<number>3</number>
<ee>https://doi.org/10.1016/j.compind.2012.09.007</ee>
<url>db/journals/cii/cii64.html#FormicaMPT13</url>
</article>
</r>
<r><article key="journals/comsis/FormicaPR13" mdate="2019-05-21">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author pid="73/3737">Elaheh Pourabbas</author>
<author pid="73/411">Maurizio Rafanelli</author>
<title>Constraint relaxation of the polygon-polyline topological relation for geographic pictorial query languages.</title>
<pages>1053-1075</pages>
<year>2013</year>
<volume>10</volume>
<journal>Comput. Sci. Inf. Syst.</journal>
<number>3</number>
<ee type="oa">https://doi.org/10.2298/CSIS120302017F</ee>
<url>db/journals/comsis/comsis10.html#FormicaPR13</url>
</article>
</r>
<r><article key="journals/isf/Formica13" mdate="2020-03-13">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<title>Similarity reasoning for the semantic web based on fuzzy concept lattices: An informal approach.</title>
<pages>511-520</pages>
<year>2013</year>
<volume>15</volume>
<journal>Inf. Syst. Frontiers</journal>
<number>3</number>
<ee>https://doi.org/10.1007/s10796-011-9340-y</ee>
<url>db/journals/isf/isf15.html#Formica13</url>
</article>
</r>
<r><inproceedings key="conf/caise/FormicaMPT13a" mdate="2023-03-10">
<author pid="47/224">Anna Formica</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<author pid="73/3737">Elaheh Pourabbas</author>
<author pid="84/1964">Francesco Taglino</author>
<title>A Linked Data Based Approach to Similarity Reasoning.</title>
<pages>31-38</pages>
<year>2013</year>
<booktitle>NGEBIS Short Papers</booktitle>
<ee type="oa">https://ceur-ws.org/Vol-1006/paper6.pdf</ee>
<crossref>conf/caise/2013ngebis</crossref>
<url>db/conf/caise/ngebis2013.html#FormicaMPT13a</url>
</inproceedings>
</r>
<r><inproceedings key="conf/caise/FormicaMPT13" mdate="2025-03-03">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<author pid="73/3737">Elaheh Pourabbas</author>
<author orcid="0000-0001-8364-4407" pid="84/1964">Francesco Taglino</author>
<title>Supporting Customer Choice with Semantic Similarity Search and Explanation.</title>
<pages>317-328</pages>
<year>2013</year>
<booktitle>CAiSE Workshops</booktitle>
<ee type="oa">https://doi.org/10.1007/978-3-642-38490-5_30</ee>
<crossref>conf/caise/2013w</crossref>
<url>db/conf/caise/caisews2013.html#FormicaMPT13</url>
</inproceedings>
</r>
<r><article key="journals/kbs/Formica12" mdate="2020-02-25">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<title>Semantic Web search based on rough sets and Fuzzy Formal Concept Analysis.</title>
<pages>40-47</pages>
<year>2012</year>
<volume>26</volume>
<journal>Knowl. Based Syst.</journal>
<ee>https://doi.org/10.1016/j.knosys.2011.06.018</ee>
<url>db/journals/kbs/kbs26.html#Formica12</url>
</article>
</r>
<r><inproceedings key="conf/IEEEares/FormicaMPR12" mdate="2018-06-26">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author orcid="0000-0001-7350-2237" pid="117/9009">Mauro Mazzei</author>
<author pid="73/3737">Elaheh Pourabbas</author>
<author pid="73/411">Maurizio Rafanelli</author>
<title>A 16-Intersection Matrix for the Polygon-Polyline Topological Relation for Geographic Pictorial Query Languages.</title>
<pages>302-316</pages>
<year>2012</year>
<booktitle>CD-ARES</booktitle>
<ee type="oa">https://doi.org/10.1007/978-3-642-32498-7_23</ee>
<crossref>conf/IEEEares/2012cd</crossref>
<url>db/conf/IEEEares/cd-ares2012.html#FormicaMPR12</url>
</inproceedings>
</r>
<r><article key="journals/ijufks/Formica10" mdate="2020-06-18">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<title>Concept Similarity in Fuzzy Formal Concept Analysis for Semantic Web.</title>
<pages>153-167</pages>
<year>2010</year>
<volume>18</volume>
<journal>Int. J. Uncertain. Fuzziness Knowl. Based Syst.</journal>
<number>2</number>
<ee>https://doi.org/10.1142/S0218488510006465</ee>
<url>db/journals/ijufks/ijufks18.html#Formica10</url>
</article>
</r>
<r><inproceedings key="conf/ic3k/FormicaMPT10" mdate="2011-10-27">
<author pid="47/224">Anna Formica</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<author pid="73/3737">Elaheh Pourabbas</author>
<author pid="84/1964">Francesco Taglino</author>
<title>Semantic Search for Enterprises Competencies Management .</title>
<pages>183-192</pages>
<year>2010</year>
<booktitle>KEOD</booktitle>
<crossref>conf/ic3k/2010keod</crossref>
<url>db/conf/ic3k/keod2010.html#FormicaMPT10</url>
</inproceedings>
</r>
<r><article key="journals/cacm/Formica09" mdate="2018-11-06">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<title>Concept similarity by evaluating information contents and feature vectors: a combined approach.</title>
<pages>145-149</pages>
<year>2009</year>
<volume>52</volume>
<journal>Commun. ACM</journal>
<number>3</number>
<ee>https://doi.org/10.1145/1467247.1467281</ee>
<url>db/journals/cacm/cacm52.html#Formica09</url>
</article>
</r>
<r><article key="journals/jcst/DUliziaFFG09" mdate="2018-11-30">
<author orcid="0000-0002-7565-5963" pid="97/3762">Arianna D'Ulizia</author>
<author orcid="0000-0001-9963-3315" pid="16/4746">Fernando Ferri</author>
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author orcid="0000-0003-4298-5437" pid="85/1960">Patrizia Grifoni</author>
<title>Approximating Geographical Queries.</title>
<pages>1109-1124</pages>
<year>2009</year>
<volume>24</volume>
<journal>J. Comput. Sci. Technol.</journal>
<number>6</number>
<ee>https://doi.org/10.1007/s11390-009-9284-6</ee>
<url>db/journals/jcst/jcst24.html#DUliziaFFG09</url>
</article>
</r>
<r><article key="journals/kais/FormicaP09" mdate="2017-06-06">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author pid="73/3737">Elaheh Pourabbas</author>
<title>Content based similarity of geographic classes organized as partition hierarchies.</title>
<pages>221-241</pages>
<year>2009</year>
<volume>20</volume>
<journal>Knowl. Inf. Syst.</journal>
<number>2</number>
<ee>https://doi.org/10.1007/s10115-008-0177-8</ee>
<url>db/journals/kais/kais20.html#FormicaP09</url>
</article>
</r>
<r><inproceedings key="conf/sebd/FormicaMPT09" mdate="2010-03-11">
<author pid="47/224">Anna Formica</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<author pid="73/3737">Elaheh Pourabbas</author>
<author pid="84/1964">Francesco Taglino</author>
<title>Adding Concept Weights to Ontologies for Semantic Search.</title>
<pages>73-80</pages>
<year>2009</year>
<booktitle>SEBD</booktitle>
<crossref>conf/sebd/2009</crossref>
<url>db/conf/sebd/sebd2009.html#FormicaMPT09</url>
</inproceedings>
</r>
<r><article key="journals/cj/Formica08" mdate="2017-06-05">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<title>Similarity of XML-Schema Elements: A Structural and Information Content Approach.</title>
<pages>240-254</pages>
<year>2008</year>
<volume>51</volume>
<journal>Comput. J.</journal>
<number>2</number>
<ee>https://doi.org/10.1093/comjnl/bxm051</ee>
<url>db/journals/cj/cj51.html#Formica08</url>
</article>
</r>
<r><article key="journals/kbs/Formica08" mdate="2020-02-25">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<title>Concept similarity in Formal Concept Analysis: An information content approach.</title>
<pages>80-87</pages>
<year>2008</year>
<volume>21</volume>
<journal>Knowl. Based Syst.</journal>
<number>1</number>
<ee>https://doi.org/10.1016/j.knosys.2007.02.001</ee>
<url>db/journals/kbs/kbs21.html#Formica08</url>
</article>
</r>
<r><inproceedings key="conf/otm/FormicaMPT08" mdate="2025-03-03">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<author pid="73/3737">Elaheh Pourabbas</author>
<author orcid="0000-0001-8364-4407" pid="84/1964">Francesco Taglino</author>
<title>Weighted Ontology for Semantic Search.</title>
<pages>1289-1303</pages>
<year>2008</year>
<booktitle>OTM Conferences (2)</booktitle>
<ee>https://doi.org/10.1007/978-3-540-88873-4_26</ee>
<crossref>conf/otm/2008-2</crossref>
<url>db/conf/otm/otm2008-2.html#FormicaMPT08</url>
</inproceedings>
</r>
<r><inproceedings key="conf/sac/DUliziaFFGR07" mdate="2020-06-15">
<author orcid="0000-0002-7565-5963" pid="97/3762">Arianna D'Ulizia</author>
<author orcid="0000-0001-9963-3315" pid="16/4746">Fernando Ferri</author>
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author orcid="0000-0003-4298-5437" pid="85/1960">Patrizia Grifoni</author>
<author pid="73/411">Maurizio Rafanelli</author>
<title>Structural similarity in geographical queries to improve query answering.</title>
<pages>19-23</pages>
<year>2007</year>
<crossref>conf/sac/2007</crossref>
<booktitle>SAC</booktitle>
<ee>https://doi.org/10.1145/1244002.1244007</ee>
<url>db/conf/sac/sac2007.html#DUliziaFFGR07</url>
</inproceedings>
</r>
<r><article key="journals/isci/Formica06" mdate="2017-06-06">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<title>Ontology-based concept similarity in Formal Concept Analysis.</title>
<pages>2624-2641</pages>
<year>2006</year>
<volume>176</volume>
<journal>Inf. Sci.</journal>
<number>18</number>
<ee>https://doi.org/10.1016/j.ins.2005.11.014</ee>
<url>db/journals/isci/isci176.html#Formica06</url>
</article>
</r>
<r><inproceedings key="conf/otm/FerriFGR06" mdate="2017-05-25">
<author pid="16/4746">Fernando Ferri</author>
<author pid="47/224">Anna Formica</author>
<author pid="85/1960">Patrizia Grifoni</author>
<author pid="73/411">Maurizio Rafanelli</author>
<title>Query Approximation by Semantic Similarity in GeoPQL.</title>
<pages>1670-1680</pages>
<year>2006</year>
<crossref>conf/otm/2006-w2</crossref>
<booktitle>OTM Workshops (2)</booktitle>
<ee>https://doi.org/10.1007/11915072_73</ee>
<url>db/conf/otm/otm2006-w2.html#FerriFGR06</url>
</inproceedings>
</r>
<r><article key="journals/ijseke/Formica05" mdate="2023-08-28">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<title>Similarity Of Xml-Schema Elements Supported By Domain Ontologies.</title>
<pages>117-130</pages>
<year>2005</year>
<volume>15</volume>
<journal>Int. J. Softw. Eng. Knowl. Eng.</journal>
<number>1</number>
<ee>https://doi.org/10.1142/S0218194005001872</ee>
<ee>https://www.wikidata.org/entity/Q114614827</ee>
<url>db/journals/ijseke/ijseke15.html#Formica05</url>
</article>
</r>
<r><inproceedings key="conf/otm/FerriFGR05" mdate="2020-06-15">
<author orcid="0000-0001-9963-3315" pid="16/4746">Fernando Ferri</author>
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author orcid="0000-0003-4298-5437" pid="85/1960">Patrizia Grifoni</author>
<author pid="73/411">Maurizio Rafanelli</author>
<title>Evaluating Semantic Similarity Using GML in Geographic Information Systems.</title>
<pages>1009-1019</pages>
<year>2005</year>
<crossref>conf/otm/2005-1</crossref>
<booktitle>OTM Workshops</booktitle>
<ee>https://doi.org/10.1007/11575863_123</ee>
<url>db/conf/otm/otm2005-1.html#FerriFGR05</url>
</inproceedings>
</r>
<r><article key="journals/cj/Formica04" mdate="2017-05-20">
<author pid="47/224">Anna Formica</author>
<title>Legality of XML-Schema Type Hierarchies.</title>
<pages>591-601</pages>
<year>2004</year>
<volume>47</volume>
<journal>Comput. J.</journal>
<number>5</number>
<ee>https://doi.org/10.1093/comjnl/47.5.591</ee>
<url>db/journals/cj/cj47.html#Formica04</url>
</article>
</r>
<r><article key="journals/csur/FormicaM04" mdate="2018-11-06">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<title>Inheritance processing and conflicts in structural generalization hierarchies.</title>
<pages>263-290</pages>
<year>2004</year>
<volume>36</volume>
<journal>ACM Comput. Surv.</journal>
<number>3</number>
<ee>https://doi.org/10.1145/1035570.1035572</ee>
<url>db/journals/csur/csur36.html#FormicaM04</url>
</article>
</r>
<r><article key="journals/is/Formica03" mdate="2017-06-06">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<title>Satisfiability of object-oriented database constraints with set and bag attributes.</title>
<pages>213-224</pages>
<year>2003</year>
<volume>28</volume>
<journal>Inf. Syst.</journal>
<number>3</number>
<ee>https://doi.org/10.1016/S0306-4379(02)00010-8</ee>
<url>db/journals/is/is28.html#Formica03</url>
</article>
</r>
<r><inproceedings key="conf/enter/MissikoffWHDFFT03" mdate="2019-06-27">
<author pid="m/MMissikoff">Michele Missikoff</author>
<author pid="91/3551">Hannes Werthner</author>
<author pid="30/626">Wolfram H&#246;pken</author>
<author pid="46/5153">Mirella Dell'Erba</author>
<author pid="50/4550">Oliver Fodor</author>
<author pid="47/224">Anna Formica</author>
<author pid="84/1964">Francesco Taglino</author>
<title>Harmonise - Towards Interoperability in the Tourism Domain.</title>
<pages>58-66</pages>
<year>2003</year>
<booktitle>ENTER</booktitle>
<ee>https://doi.org/10.1007/978-3-7091-6027-5_7</ee>
<crossref>conf/enter/2003</crossref>
<url>db/conf/enter/enter2003.html#MissikoffWHDFFT03</url>
</inproceedings>
</r>
<r><inproceedings key="conf/icws/FormicaM03" mdate="2003-10-17">
<author pid="47/224">Anna Formica</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<title>Ontology Validation in OPAL.</title>
<pages>198-202</pages>
<year>2003</year>
<crossref>conf/icws/2003</crossref>
<booktitle>ICWS</booktitle>
<url>db/conf/icws/icws2003.html#FormicaM03</url>
</inproceedings>
</r>
<r><article key="journals/cj/FormicaM02" mdate="2017-06-05">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<title>Concept Similarity in SymOntos: An Enterprise Ontology Management Tool.</title>
<pages>583-594</pages>
<year>2002</year>
<volume>45</volume>
<journal>Comput. J.</journal>
<number>6</number>
<ee>https://doi.org/10.1093/comjnl/45.6.583</ee>
<url>db/journals/cj/cj45.html#FormicaM02</url>
</article>
</r>
<r><article key="journals/dke/FormicaF02" mdate="2017-06-05">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author pid="70/816">Heinz Frank</author>
<title>Consistency of the static and dynamic components of object-oriented specifications.</title>
<pages>195-215</pages>
<year>2002</year>
<volume>40</volume>
<journal>Data Knowl. Eng.</journal>
<number>2</number>
<url>db/journals/dke/dke40.html#FormicaF02</url>
<ee>https://doi.org/10.1016/S0169-023X(01)00052-0</ee>
</article>
</r>
<r><article key="journals/tkde/Formica02" mdate="2017-06-08">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<title>Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas.</title>
<pages>123-139</pages>
<year>2002</year>
<volume>14</volume>
<journal>IEEE Trans. Knowl. Data Eng.</journal>
<number>1</number>
<ee>https://doi.org/10.1109/69.979977</ee>
<ee>http://doi.ieeecomputersociety.org/10.1109/69.979977</ee>
<url>db/journals/tkde/tkde14.html#Formica02</url>
</article>
</r>
<r><inproceedings key="conf/sbbd/FormicaM01" mdate="2003-10-07">
<author pid="47/224">Anna Formica</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<title>Semantic Integration of Tourism Enterprises: an Ontological Approach.</title>
<pages>187-198</pages>
<year>2001</year>
<crossref>conf/sbbd/2001</crossref>
<booktitle>SBBD</booktitle>
<url>db/conf/sbbd/sbbd2001.html#FormicaM01</url>
</inproceedings>
</r>
<r><article key="journals/dke/BeeriFM99" mdate="2017-06-05">
<author pid="b/CBeeri">Catriel Beeri</author>
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<title>Inheritance Hierarchy Design in Object-Oriented Databases.</title>
<pages>191-216</pages>
<year>1999</year>
<volume>30</volume>
<journal>Data Knowl. Eng.</journal>
<number>3</number>
<url>db/journals/dke/dke30.html#BeeriFM99</url>
<ee>https://doi.org/10.1016/S0169-023X(99)00011-7</ee>
</article>
</r>
<r><article key="journals/tods/FormicaGM98" mdate="2025-01-19">
<author pid="47/224">Anna Formica</author>
<author pid="53/908">Hans Dietmar Gr&#246;ger</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<title>An Efficient Method for Checking Object-Oriented Database Schema Correctness.</title>
<pages>333-369</pages>
<cdrom>TODS23/P334.PDF</cdrom>
<year>1998</year>
<volume>23</volume>
<journal>ACM Trans. Database Syst.</journal>
<number>3</number>
<url>db/journals/tods/tods23.html#FormicaGM98</url>
<ee>https://doi.org/10.1145/293910.293152</ee>
<ee>https://www.wikidata.org/entity/Q130972955</ee>
<cite label="Abadi and Cardelli 1996">...</cite>
<cite label="Agrawal and Gehani 1989">conf/sigmod/AgrawalG89</cite>
<cite label="Ait-Kaci and Podelski 1993">journals/jlp/Ait-KaciP93</cite>
<cite label="Albano et al. 1985">journals/tods/AlbanoCO85</cite>
<cite label="Albano et al. 1995">journals/vldb/AlbanoGO95</cite>
<cite label="Amadio and Cardelli 1993">journals/toplas/AmadioC93</cite>
<cite label="Andrews and Harris 1987">conf/oopsla/AndrewsH87</cite>
<cite label="Balsters et al. 1992">...</cite>
<cite label="Balsters and Fokkinga 1991">journals/tcs/BalstersF91</cite>
<cite label="Banerjee et al. 1990">journals/tois/BanerjeeCGKWBK87</cite>
<cite label="Beeri 1990">journals/dke/Beeri90</cite>
<cite label="Borgida 1988">conf/sigmod/Borgida88</cite>
<cite label="Bretl et al. 1989">books/aw/kimL89/BretlMOPSSWW89</cite>
<cite label="Cardelli 1988">journals/iandc/Cardelli88</cite>
<cite label="Cardelli and Wegner 1985">journals/csur/CardelliW85</cite>
<cite label="Carpenter 1992">...</cite>
<cite label="Cattel and Barry 1997">...</cite>
<cite label="Cook and Palsberg 1989">conf/oopsla/CookP89</cite>
<cite label="Cook et al. 1990">conf/popl/CookHC90</cite>
<cite label="Formica and Missikoff 1994">conf/edbt/FormicaM94</cite>
<cite label="Formica et al. 1997">journals/dke/FormicaGM97</cite>
<cite label="Horowitz and Sahni 1983">books/cs/HorowitzS78</cite>
<cite label="Khoshafian and Abnous 1990">...</cite>
<cite label="Khoshafian and Copeland 1986">conf/oopsla/KhoshafianC86</cite>
<cite label="Kifer and Lausen 1989">conf/sigmod/KiferL89</cite>
<cite label="Kim 1990a">books/mit/Kim90</cite>
<cite label="Kim 1990b">journals/tkde/Kim90</cite>
<cite label="Lecluse and Richard 1992">books/mk/bancilhonDK92/LecluseR92</cite>
<cite label="Matthes and Schmidt 1993">...</cite>
<cite label="Missikoff and Toiati 1994a">conf/sigmod/MissikoffT94</cite>
<cite label="Missikoff and Toiati 1994b">...</cite>
<cite label="Nebel 1991">...</cite>
<cite label="Versant 1991">...</cite>
<cite label="Yasukawa et al. 1992">conf/fgcs/YasukawaTY92</cite>
<cite label="Zicari 1992">books/mk/bancilhonDK92/Zicari92</cite>
</article>
</r>
<r><article key="journals/dke/FormicaGM97" mdate="2023-08-28">
<author pid="47/224">Anna Formica</author>
<author pid="53/908">Hans Dietmar Gr&#246;ger</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<title>Object-Oriented Database Schema Analysis and Inheritance Processing: A Graphtheoretic Approach.</title>
<pages>157-181</pages>
<year>1997</year>
<volume>24</volume>
<journal>Data Knowl. Eng.</journal>
<number>2</number>
<url>db/journals/dke/dke24.html#FormicaGM97</url>
<ee>https://doi.org/10.1016/S0169-023X(97)00018-9</ee>
<ee>https://www.wikidata.org/entity/Q114826247</ee>
</article>
</r>
<r><article key="journals/ipl/FormicaM97" mdate="2017-06-14">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<title>A Verification Algorithm for Inheritance Hierarchies in Object-Oriented Databases.</title>
<pages>269-279</pages>
<year>1997</year>
<volume>62</volume>
<journal>Inf. Process. Lett.</journal>
<number>5</number>
<url>db/journals/ipl/ipl62.html#FormicaM97</url>
<ee>https://doi.org/10.1016/S0020-0190(97)00062-8</ee>
</article>
</r>
<r><inproceedings key="conf/adbis/DamianiFFMP97" mdate="2017-03-29">
<author pid="d/EDamiani">Ernesto Damiani</author>
<author pid="47/224">Anna Formica</author>
<author pid="f/MariaGraziaFugini">Maria Grazia Fugini</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<author pid="83/56">R. Pizzicannella</author>
<title>Reusing Analysis Schemas in ODB Applications: a Chart Based Approach.</title>
<pages>406-415</pages>
<cdrom>adbis97/P406.pdf</cdrom>
<year>1997</year>
<crossref>conf/adbis/97</crossref>
<booktitle>ADBIS</booktitle>
<url>db/conf/adbis/adbis97.html#DamianiFFMP97</url>
<cite>journals/tse/BankerKZ93</cite>
<cite>journals/tosem/BatoryO92</cite>
<cite>...</cite>
<cite>books/mk/Cattell94</cite>
<cite>...</cite>
<cite>...</cite>
<cite>conf/edbt/FormicaM94</cite>
<cite>journals/tse/FrakesP94</cite>
<cite>journals/csur/Krueger92</cite>
<cite>journals/tse/MaarekBK91</cite>
<cite>...</cite>
<cite>...</cite>
<cite>...</cite>
<cite>journals/tosem/OstertagHDB92</cite>
<cite>...</cite>
<cite>journals/cacm/SaltonAB94</cite>
</inproceedings>
</r>
<r><inproceedings key="conf/sebd/FormicaGM96" mdate="2016-01-18">
<author pid="47/224">Anna Formica</author>
<author pid="53/908">Hans Dietmar Gr&#246;ger</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<title>A Method for Inheritance Processing in Object-Oriented Databases.</title>
<pages>139-160</pages>
<year>1996</year>
<crossref>conf/sebd/1996</crossref>
<booktitle>SEBD</booktitle>
<url>db/conf/sebd/sebd1996.html#FormicaGM96</url>
</inproceedings>
</r>
<r><inproceedings key="conf/iclp/FormicaMT95" mdate="2013-12-02">
<author pid="47/224">Anna Formica</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<author pid="59/1594">Roberto Terenzi</author>
<title>A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas.</title>
<pages>819</pages>
<year>1995</year>
<crossref>conf/iclp/1995</crossref>
<booktitle>ICLP</booktitle>
<url>db/conf/iclp/iclp95.html#FormicaMT95</url>
</inproceedings>
</r>
<r><inproceedings key="conf/sebd/FormicaM95" mdate="2016-01-18">
<author pid="47/224">Anna Formica</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<title>A Graph-Theoretic Approach to the Verification of Inheritance Hierarchies in Object-Oriented Databases.</title>
<pages>273-282</pages>
<year>1995</year>
<crossref>conf/sebd/1995</crossref>
<booktitle>SEBD</booktitle>
<url>db/conf/sebd/sebd1995.html#FormicaM95</url>
</inproceedings>
</r>
<r><inproceedings key="conf/edbt/FormicaM94" mdate="2023-03-21">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<title>Correctness of ISA Hierarchies in Object-Oriented Database Schemas.</title>
<pages>231-244</pages>
<cdrom>EDBT94/P231.pdf</cdrom>
<crossref>conf/edbt/94</crossref>
<year>1994</year>
<booktitle>EDBT</booktitle>
<url>db/conf/edbt/edbt94.html#FormicaM94</url>
<ee>https://doi.org/10.1007/3-540-57818-8_54</ee>
<cite>journals/tods/AlbanoCO85</cite>
<cite>conf/dood/AtkinsonBDDMZ89</cite>
<cite>journals/tois/BanerjeeCGKWBK87</cite>
<cite>...</cite>
<cite>conf/aaai/BrachmanL84</cite>
<cite>...</cite>
<cite>...</cite>
<cite>...</cite>
<cite>conf/edbt/CauvetPR88</cite>
<cite>...</cite>
<cite>...</cite>
<cite>...</cite>
<cite>...</cite>
<cite>journals/tkde/Kim90</cite>
<cite>...</cite>
<cite>...</cite>
<cite>conf/vldb/LecluseR89</cite>
<cite>...</cite>
</inproceedings>
</r>
<r><inproceedings key="conf/ewdw/FormicaMT94" mdate="2019-06-24">
<author pid="47/224">Anna Formica</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<author pid="59/1594">Roberto Terenzi</author>
<title>Constraint Satisfiability in Object-Oriented Databases.</title>
<pages>48-60</pages>
<year>1994</year>
<crossref>conf/ewdw/94</crossref>
<booktitle>East/West Database Workshop</booktitle>
<url>db/conf/ewdw/ewdw94.html#FormicaMT94</url>
<ee>https://doi.org/10.1007/978-1-4471-3577-7_4</ee>
</inproceedings>
</r>
<r><inproceedings key="conf/sebd/FormicaM93" mdate="2005-09-19">
<author pid="47/224">Anna Formica</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<title>On Structural Correctness of Object-Oriented Database Schemas.</title>
<pages>139-150</pages>
<year>1993</year>
<crossref>conf/sebd/1993</crossref>
<booktitle>SEBD</booktitle>
<url>db/conf/sebd/sebd1993.html#FormicaM93</url>
</inproceedings>
</r>
<r><incollection key="journals/lncs/FormicaM93" mdate="2017-05-20">
<author pid="47/224">Anna Formica</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<title>Modeling Semantic Interity Contraints in Object-Oriented Database Schemas.</title>
<pages>129-147</pages>
<year>1993</year>
<crossref>books/sp/Atzeni93</crossref>
<booktitle>LOGIDATA+: Deductive Databases with Complex Objects</booktitle>
<url>db/journals/lncs/lncs701.html#FormicaM93</url>
<ee>https://doi.org/10.1007/BFb0021894</ee>
</incollection>
</r>
<r><incollection key="journals/lncs/ArtaleBCCCFLGMM93" mdate="2024-09-27">
<author pid="65/6588">Alessandro Artale</author>
<author pid="31/2497">Jean Paul Ballerini</author>
<author pid="64/7029">Filippo Cacace</author>
<author pid="c/StefanoCeri">Stefano Ceri</author>
<author pid="04/6126">Francesca Cesarini</author>
<author pid="47/224">Anna Formica</author>
<author pid="l/HermanLam">Herman Lam</author>
<author pid="g/SergioGreco">Sergio Greco</author>
<author pid="18/5634">Giorgio Marrella</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<author pid="p/LuigiPalopoli">Luigi Palopoli 0001</author>
<author pid="386/1911">Luigi Pichetti</author>
<author pid="s/DomenicoSacca">Domenico Sacc&#224;</author>
<author pid="35/3517">Silvio Salza</author>
<author pid="s/ClaudioSartori">Claudio Sartori 0001</author>
<author pid="91/2911">Giovanni Soda</author>
<author pid="t/LetiziaTanca">Letizia Tanca</author>
<author pid="386/1915">M. Toiati</author>
<title>Prototypes in the LOGIDATA+ Project.</title>
<pages>252-273</pages>
<year>1993</year>
<crossref>books/sp/Atzeni93</crossref>
<booktitle>LOGIDATA+: Deductive Databases with Complex Objects</booktitle>
<url>db/journals/lncs/lncs701.html#ArtaleBCCCFLGMM93</url>
<ee>https://doi.org/10.1007/BFb0021901</ee>
</incollection>
</r>
<r><inproceedings key="conf/cikm/FormicaM92" mdate="2023-03-21">
<ee>https://doi.org/10.1007/3-540-57419-0_5</ee>
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<title>Integrity Constraints Representation in Object-Oriented Databases.</title>
<pages>69-85</pages>
<cdrom>CIKM/1992/P069.pdf</cdrom>
<year>1992</year>
<crossref>conf/cikm/1992</crossref>
<booktitle>CIKM</booktitle>
<url>db/conf/cikm/cikm92.html#FormicaM92</url>
</inproceedings>
</r>
<r><inproceedings key="conf/ewdw/FormicaMV90" mdate="2023-03-21">
<author orcid="0000-0002-7992-6898" pid="47/224">Anna Formica</author>
<author pid="m/MMissikoff">Michele Missikoff</author>
<author pid="26/3822">S. Vazzana</author>
<title>An Object-Oriented Data model for Artificial Intelligence Applications.</title>
<pages>26-41</pages>
<year>1990</year>
<crossref>conf/ewdw/90</crossref>
<booktitle>East/West Database Workshop</booktitle>
<url>db/conf/ewdw/ewdw90.html#FormicaMV90</url>
<ee>https://doi.org/10.1007/3-540-54141-1_3</ee>
</inproceedings>
</r>
<coauthors n="39" nc="1">
<co c="0"><na f="a/Artale:Alessandro" pid="65/6588">Alessandro Artale</na></co>
<co c="0"><na f="b/Ballerini:Jean_Paul" pid="31/2497">Jean Paul Ballerini</na></co>
<co c="-1"><na f="b/Barbagallo:A=" pid="202/7374">A. Barbagallo</na></co>
<co c="0"><na f="b/Beeri:Catriel" pid="b/CBeeri">Catriel Beeri</na></co>
<co c="0"><na f="c/Cacace:Filippo" pid="64/7029">Filippo Cacace</na></co>
<co c="0"><na f="c/Ceri:Stefano" pid="c/StefanoCeri">Stefano Ceri</na></co>
<co c="0"><na f="c/Cesarini:Francesca" pid="04/6126">Francesca Cesarini</na></co>
<co c="0"><na f="d/Damiani:Ernesto" pid="d/EDamiani">Ernesto Damiani</na></co>
<co c="0"><na f="d/Dell=Erba:Mirella" pid="46/5153">Mirella Dell'Erba</na></co>
<co c="0"><na f="d/D=Ulizia:Arianna" pid="97/3762">Arianna D'Ulizia</na></co>
<co c="0"><na f="f/Ferri:Fernando" pid="16/4746">Fernando Ferri</na></co>
<co c="0"><na f="f/Fodor:Oliver" pid="50/4550">Oliver Fodor</na></co>
<co c="-1"><na f="f/Frank:Heinz" pid="70/816">Heinz Frank</na></co>
<co c="0"><na f="f/Fugini:Maria_Grazia" pid="f/MariaGraziaFugini">Maria Grazia Fugini</na></co>
<co c="0"><na f="g/Greco:Sergio" pid="g/SergioGreco">Sergio Greco</na></co>
<co c="0"><na f="g/Grifoni:Patrizia" pid="85/1960">Patrizia Grifoni</na></co>
<co c="0"><na f="g/Gr=ouml=ger:Hans_Dietmar" pid="53/908">Hans Dietmar Gr&#246;ger</na></co>
<co c="0"><na f="h/H=ouml=pken:Wolfram" pid="30/626">Wolfram H&#246;pken</na></co>
<co c="0"><na f="l/Lam:Herman" pid="l/HermanLam">Herman Lam</na></co>
<co c="0"><na f="m/Marrella:Giorgio" pid="18/5634">Giorgio Marrella</na></co>
<co c="0"><na f="m/Mazzei:Mauro" pid="117/9009">Mauro Mazzei</na></co>
<co c="0"><na f="m/Mele:Ida" pid="20/9056">Ida Mele</na></co>
<co c="0"><na f="m/Missikoff:Michele" pid="m/MMissikoff">Michele Missikoff</na></co>
<co c="0"><na f="n/Nicola_0001:Antonio_De" pid="25/1774-1">Antonio De Nicola 0001</na></co>
<co c="0"><na f="p/Palopoli_0001:Luigi" pid="p/LuigiPalopoli">Luigi Palopoli 0001</na></co>
<co c="0"><na f="p/Pichetti:Luigi" pid="386/1911">Luigi Pichetti</na></co>
<co c="0"><na f="p/Pizzicannella:R=" pid="83/56">R. Pizzicannella</na></co>
<co c="0"><na f="p/Pourabbas:Elaheh" pid="73/3737">Elaheh Pourabbas</na></co>
<co c="0"><na f="r/Rafanelli:Maurizio" pid="73/411">Maurizio Rafanelli</na></co>
<co c="0"><na f="s/Sacc=agrave=:Domenico" pid="s/DomenicoSacca">Domenico Sacc&#224;</na></co>
<co c="0"><na f="s/Salza:Silvio" pid="35/3517">Silvio Salza</na></co>
<co c="0"><na f="s/Sartori_0001:Claudio" pid="s/ClaudioSartori">Claudio Sartori 0001</na></co>
<co c="0"><na f="s/Soda:Giovanni" pid="91/2911">Giovanni Soda</na></co>
<co c="0"><na f="t/Taglino:Francesco" pid="84/1964">Francesco Taglino</na></co>
<co c="0"><na f="t/Tanca:Letizia" pid="t/LetiziaTanca">Letizia Tanca</na></co>
<co c="0"><na f="t/Terenzi:Roberto" pid="59/1594">Roberto Terenzi</na></co>
<co c="0"><na f="t/Toiati:M=" pid="386/1915">M. Toiati</na></co>
<co c="0"><na f="v/Vazzana:S=" pid="26/3822">S. Vazzana</na></co>
<co c="0"><na f="w/Werthner:Hannes" pid="91/3551">Hannes Werthner</na></co>
</coauthors>
</dblpperson>

