BibTeX records: Anna Formica

download as .bib file

@article{DBLP:journals/kais/FormicaMT24,
  author       = {Anna Formica and
                  Ida Mele and
                  Francesco Taglino},
  title        = {A template-based approach for question answering over knowledge bases},
  journal      = {Knowl. Inf. Syst.},
  volume       = {66},
  number       = {1},
  pages        = {453--479},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10115-023-01966-8},
  doi          = {10.1007/S10115-023-01966-8},
  timestamp    = {Fri, 08 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/kais/FormicaMT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/FormicaT23,
  author       = {Anna Formica and
                  Francesco Taglino},
  title        = {Semantic Similarity in a Taxonomy by Refining the Relatedness of Concept
                  Intended Senses},
  journal      = {Comput. Informatics},
  volume       = {42},
  number       = {1},
  pages        = {191--209},
  year         = {2023},
  url          = {https://doi.org/10.31577/cai\_2023\_1\_191},
  doi          = {10.31577/CAI\_2023\_1\_191},
  timestamp    = {Mon, 19 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cai/FormicaT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/FormicaT23,
  author       = {Anna Formica and
                  Francesco Taglino},
  title        = {Semantic relatedness in DBpedia: {A} comparative and experimental
                  assessment},
  journal      = {Inf. Sci.},
  volume       = {621},
  pages        = {474--505},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.ins.2022.11.025},
  doi          = {10.1016/J.INS.2022.11.025},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isci/FormicaT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tlsdkcs/FormicaT22,
  author       = {Anna Formica and
                  Francesco Taglino},
  title        = {Semantic Similarity in a Taxonomy by Evaluating the Relatedness of
                  Concept Senses with the Linked Data Semantic Distance},
  journal      = {Trans. Large Scale Data Knowl. Centered Syst.},
  volume       = {53},
  pages        = {66--89},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-662-66863-4\_3},
  doi          = {10.1007/978-3-662-66863-4\_3},
  timestamp    = {Mon, 06 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tlsdkcs/FormicaT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/NicolaFMPT23,
  author       = {Antonio De Nicola and
                  Anna Formica and
                  Michele Missikoff and
                  Elaheh Pourabbas and
                  Francesco Taglino},
  title        = {A parametric similarity method: Comparative experiments based on semantically
                  annotated large datasets},
  journal      = {J. Web Semant.},
  volume       = {76},
  pages        = {100773},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.websem.2023.100773},
  doi          = {10.1016/J.WEBSEM.2023.100773},
  timestamp    = {Sat, 29 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ws/NicolaFMPT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/NicolaFMMT23,
  author       = {Antonio De Nicola and
                  Anna Formica and
                  Ida Mele and
                  Michele Missikoff and
                  Francesco Taglino},
  editor       = {Christine Strauss and
                  Toshiyuki Amagasa and
                  Gabriele Kotsis and
                  A Min Tjoa and
                  Ismail Khalil},
  title        = {A Knowledge-Based Approach to Business Process Analysis: From Informal
                  to Formal},
  booktitle    = {Database and Expert Systems Applications - 34th International Conference,
                  {DEXA} 2023, Penang, Malaysia, August 28-30, 2023, Proceedings, Part
                  {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14146},
  pages        = {493--507},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-39847-6\_39},
  doi          = {10.1007/978-3-031-39847-6\_39},
  timestamp    = {Sat, 30 Sep 2023 09:38:52 +0200},
  biburl       = {https://dblp.org/rec/conf/dexa/NicolaFMMT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ital-ia/0001FMMT23,
  author       = {Antonio De Nicola and
                  Anna Formica and
                  Ida Mele and
                  Michele Missikoff and
                  Francesco Taglino},
  editor       = {Fabrizio Falchi and
                  Fosca Giannotti and
                  Anna Monreale and
                  Chiara Boldrini and
                  Salvatore Rinzivillo and
                  Sara Colantonio},
  title        = {A Formal Approach to a Knowledge Base for Business Process Analysis},
  booktitle    = {Proceedings of the Italia Intelligenza Artificiale - Thematic Workshops
                  co-located with the 3rd {CINI} National Lab {AIIS} Conference on Artificial
                  Intelligence (Ital {IA} 2023), Pisa, Italy, May 29-30, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3486},
  pages        = {100--104},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3486/80.pdf},
  timestamp    = {Thu, 21 Sep 2023 17:01:40 +0200},
  biburl       = {https://dblp.org/rec/conf/ital-ia/0001FMMT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/0001FMMT23,
  author       = {Antonio De Nicola and
                  Anna Formica and
                  Ida Mele and
                  Michele Missikoff and
                  Francesco Taglino},
  editor       = {Diego Calvanese and
                  Claudia Diamantini and
                  Guglielmo Faggioli and
                  Nicola Ferro and
                  Stefano Marchesin and
                  Gianmaria Silvello and
                  Letizia Tanca},
  title        = {Towards a Formal Approach to a Knowledge Base Supporting Business
                  Process Analysis},
  booktitle    = {Proceedings of the 31st Symposium of Advanced Database Systems, Galzingano
                  Terme, Italy, July 2nd to 5th, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3478},
  pages        = {192--199},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3478/paper37.pdf},
  timestamp    = {Wed, 13 Sep 2023 16:08:43 +0200},
  biburl       = {https://dblp.org/rec/conf/sebd/0001FMMT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-04123,
  author       = {Antonio De Nicola and
                  Anna Formica and
                  Michele Missikoff and
                  Elaheh Pourabbas and
                  Francesco Taglino},
  title        = {A Parametric Similarity Method: Comparative Experiments based on Semantically
                  Annotated Large Datasets},
  journal      = {CoRR},
  volume       = {abs/2302.04123},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2302.04123},
  doi          = {10.48550/ARXIV.2302.04123},
  eprinttype    = {arXiv},
  eprint       = {2302.04123},
  timestamp    = {Fri, 10 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2302-04123.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-09502,
  author       = {Anna Formica and
                  Francesco Taglino},
  title        = {Semantic relatedness in DBpedia: {A} comparative and experimental
                  assessment},
  journal      = {CoRR},
  volume       = {abs/2308.09502},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2308.09502},
  doi          = {10.48550/ARXIV.2308.09502},
  eprinttype    = {arXiv},
  eprint       = {2308.09502},
  timestamp    = {Fri, 25 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2308-09502.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/FormicaT21,
  author       = {Anna Formica and
                  Francesco Taglino},
  title        = {An Enriched Information-Theoretic Definition of Semantic Similarity
                  in a Taxonomy},
  journal      = {{IEEE} Access},
  volume       = {9},
  pages        = {100583--100593},
  year         = {2021},
  url          = {https://doi.org/10.1109/ACCESS.2021.3096598},
  doi          = {10.1109/ACCESS.2021.3096598},
  timestamp    = {Thu, 29 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/FormicaT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/Formica21,
  author       = {Anna Formica},
  title        = {Concept Similarity in Formal Concept Analysis with Many-Valued Contexts},
  journal      = {Comput. Informatics},
  volume       = {40},
  number       = {3},
  year         = {2021},
  url          = {https://doi.org/10.31577/cai\_2021\_3\_469},
  doi          = {10.31577/CAI\_2021\_3\_469},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cai/Formica21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/FormicaMPR20,
  author       = {Anna Formica and
                  Mauro Mazzei and
                  Elaheh Pourabbas and
                  Maurizio Rafanelli},
  title        = {Approximate Query Answering Based on Topological Neighborhood and
                  Semantic Similarity in OpenStreetMap},
  journal      = {{IEEE} Access},
  volume       = {8},
  pages        = {87011--87030},
  year         = {2020},
  url          = {https://doi.org/10.1109/ACCESS.2020.2992202},
  doi          = {10.1109/ACCESS.2020.2992202},
  timestamp    = {Wed, 17 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/FormicaMPR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fi/FormicaPT20,
  author       = {Anna Formica and
                  Elaheh Pourabbas and
                  Francesco Taglino},
  title        = {Semantic Search Enhanced with Rating Scores},
  journal      = {Future Internet},
  volume       = {12},
  number       = {4},
  pages        = {67},
  year         = {2020},
  url          = {https://doi.org/10.3390/fi12040067},
  doi          = {10.3390/FI12040067},
  timestamp    = {Fri, 22 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fi/FormicaPT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kais/Formica19,
  author       = {Anna Formica},
  title        = {Similarity reasoning in formal concept analysis: from one- to many-valued
                  contexts},
  journal      = {Knowl. Inf. Syst.},
  volume       = {60},
  number       = {2},
  pages        = {715--739},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10115-018-1252-4},
  doi          = {10.1007/S10115-018-1252-4},
  timestamp    = {Thu, 08 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/kais/Formica19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gistam/FormicaMPR19,
  author       = {Anna Formica and
                  Mauro Mazzei and
                  Elaheh Pourabbas and
                  Maurizio Rafanelli},
  editor       = {C{\'{e}}dric Grueau and
                  Robert Laurini and
                  Lemonia Ragia},
  title        = {Querying Distributed {GIS} with GeoPQLJ based on GeoJSON},
  booktitle    = {Proceedings of the 5th International Conference on Geographical Information
                  Systems Theory, Applications and Management, {GISTAM} 2019, Heraklion,
                  Crete, Greece, May 3-5, 2019},
  pages        = {175--182},
  publisher    = {SciTePress},
  year         = {2019},
  url          = {https://doi.org/10.5220/0007657201750182},
  doi          = {10.5220/0007657201750182},
  timestamp    = {Tue, 06 Jun 2023 14:58:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gistam/FormicaMPR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/0001FMPT19,
  author       = {Antonio De Nicola and
                  Anna Formica and
                  Michele Missikoff and
                  Elaheh Pourabbas and
                  Francesco Taglino},
  editor       = {Ana Paula Rocha and
                  Luc Steels and
                  H. Jaap van den Herik},
  title        = {A Comparative Assessment of Ontology Weighting Methods in Semantic
                  Similarity Search},
  booktitle    = {Proceedings of the 11th International Conference on Agents and Artificial
                  Intelligence, {ICAART} 2019, Volume 2, Prague, Czech Republic, February
                  19-21, 2019},
  pages        = {506--513},
  publisher    = {SciTePress},
  year         = {2019},
  url          = {https://doi.org/10.5220/0007342805060513},
  doi          = {10.5220/0007342805060513},
  timestamp    = {Tue, 06 Jun 2023 14:58:01 +0200},
  biburl       = {https://dblp.org/rec/conf/icaart/0001FMPT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ivs/FormicaMPR18,
  author       = {Anna Formica and
                  Mauro Mazzei and
                  Elaheh Pourabbas and
                  Maurizio Rafanelli},
  title        = {Approximate answering of queries involving polyline-polyline topological
                  relationships},
  journal      = {Inf. Vis.},
  volume       = {17},
  number       = {2},
  pages        = {128--145},
  year         = {2018},
  url          = {https://doi.org/10.1177/1473871617698516},
  doi          = {10.1177/1473871617698516},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ivs/FormicaMPR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/escri/MissikoffFPT17,
  author       = {Michele Missikoff and
                  Anna Formica and
                  Elaheh Pourabbas and
                  Francesco Taglino},
  title        = {Enriching semantic search with preference and quality scores},
  journal      = {Encycl. Semantic Comput. Robotic Intell.},
  volume       = {1},
  number       = {1},
  pages        = {1650002:1--1650002:8},
  year         = {2017},
  url          = {https://doi.org/10.1142/S2425038416500024},
  doi          = {10.1142/S2425038416500024},
  timestamp    = {Thu, 19 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/escri/MissikoffFPT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ile/BarbagalloF17,
  author       = {A. Barbagallo and
                  Anna Formica},
  title        = {{ELSE:} an ontology-based system integrating semantic search and e-learning
                  technologies},
  journal      = {Interact. Learn. Environ.},
  volume       = {25},
  number       = {5},
  pages        = {650--666},
  year         = {2017},
  url          = {https://doi.org/10.1080/10494820.2016.1172240},
  doi          = {10.1080/10494820.2016.1172240},
  timestamp    = {Tue, 29 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ile/BarbagalloF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgs/FormicaMPR17,
  author       = {Anna Formica and
                  Mauro Mazzei and
                  Elaheh Pourabbas and
                  Maurizio Rafanelli},
  title        = {Enriching the semantics of the directed polyline-polygon topological
                  relationships: the {DLP} -intersection matrix},
  journal      = {J. Geogr. Syst.},
  volume       = {19},
  number       = {2},
  pages        = {175--196},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10109-017-0246-1},
  doi          = {10.1007/S10109-017-0246-1},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jgs/FormicaMPR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/FormicaMPT17,
  author       = {Anna Formica and
                  Michele Missikoff and
                  Elaheh Pourabbas and
                  Francesco Taglino},
  editor       = {Djamal Benslimane and
                  Ernesto Damiani and
                  William I. Grosky and
                  Abdelkader Hameurlain and
                  Amit P. Sheth and
                  Roland R. Wagner},
  title        = {A Bayesian Approach for Semantic Search Based on DAG-Shaped Ontologies},
  booktitle    = {Database and Expert Systems Applications - 28th International Conference,
                  {DEXA} 2017, Lyon, France, August 28-31, 2017, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10439},
  pages        = {126--140},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-64471-4\_12},
  doi          = {10.1007/978-3-319-64471-4\_12},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dexa/FormicaMPT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic3k/FormicaMPT16,
  author       = {Anna Formica and
                  Michele Missikoff and
                  Elaheh Pourabbas and
                  Francesco Taglino},
  editor       = {Ana L. N. Fred and
                  Jan L. G. Dietz and
                  David Aveiro and
                  Kecheng Liu and
                  Jorge Bernardino and
                  Joaquim Filipe},
  title        = {A Bayesian Approach for Weighted Ontologies and Semantic Search},
  booktitle    = {Proceedings of the 8th International Joint Conference on Knowledge
                  Discovery, Knowledge Engineering and Knowledge Management {(IC3K}
                  2016) - Volume 2: KEOD, Porto - Portugal, November 9 - 11, 2016},
  pages        = {171--178},
  publisher    = {SciTePress},
  year         = {2016},
  url          = {https://doi.org/10.5220/0006073301710178},
  doi          = {10.5220/0006073301710178},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ic3k/FormicaMPT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cii/FormicaMPT13,
  author       = {Anna Formica and
                  Michele Missikoff and
                  Elaheh Pourabbas and
                  Francesco Taglino},
  title        = {Semantic search for matching user requests with profiled enterprises},
  journal      = {Comput. Ind.},
  volume       = {64},
  number       = {3},
  pages        = {191--202},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.compind.2012.09.007},
  doi          = {10.1016/J.COMPIND.2012.09.007},
  timestamp    = {Tue, 18 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cii/FormicaMPT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/FormicaPR13,
  author       = {Anna Formica and
                  Elaheh Pourabbas and
                  Maurizio Rafanelli},
  title        = {Constraint relaxation of the polygon-polyline topological relation
                  for geographic pictorial query languages},
  journal      = {Comput. Sci. Inf. Syst.},
  volume       = {10},
  number       = {3},
  pages        = {1053--1075},
  year         = {2013},
  url          = {https://doi.org/10.2298/CSIS120302017F},
  doi          = {10.2298/CSIS120302017F},
  timestamp    = {Tue, 21 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/comsis/FormicaPR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isf/Formica13,
  author       = {Anna Formica},
  title        = {Similarity reasoning for the semantic web based on fuzzy concept lattices:
                  An informal approach},
  journal      = {Inf. Syst. Frontiers},
  volume       = {15},
  number       = {3},
  pages        = {511--520},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10796-011-9340-y},
  doi          = {10.1007/S10796-011-9340-Y},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isf/Formica13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/FormicaMPT13a,
  author       = {Anna Formica and
                  Michele Missikoff and
                  Elaheh Pourabbas and
                  Francesco Taglino},
  editor       = {Gash Bhullar and
                  Neil A. M. Maiden and
                  Michele Missikoff and
                  Fabrizio Smith},
  title        = {A Linked Data Based Approach to Similarity Reasoning},
  booktitle    = {Short Paper Proceedings of the Second Workshop on New Generation Enterprise
                  and Business Innovation Systems, Valencia, Spain, June 18, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1006},
  pages        = {31--38},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1006/paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:35 +0100},
  biburl       = {https://dblp.org/rec/conf/caise/FormicaMPT13a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/FormicaMPT13,
  author       = {Anna Formica and
                  Michele Missikoff and
                  Elaheh Pourabbas and
                  Francesco Taglino},
  editor       = {Xavier Franch and
                  Pnina Soffer},
  title        = {Supporting Customer Choice with Semantic Similarity Search and Explanation},
  booktitle    = {Advanced Information Systems Engineering Workshops - CAiSE 2013 International
                  Workshops, Valencia, Spain, June 17-21, 2013. Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {148},
  pages        = {317--328},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38490-5\_30},
  doi          = {10.1007/978-3-642-38490-5\_30},
  timestamp    = {Sun, 23 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/caise/FormicaMPT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/Formica12,
  author       = {Anna Formica},
  title        = {Semantic Web search based on rough sets and Fuzzy Formal Concept Analysis},
  journal      = {Knowl. Based Syst.},
  volume       = {26},
  pages        = {40--47},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.knosys.2011.06.018},
  doi          = {10.1016/J.KNOSYS.2011.06.018},
  timestamp    = {Tue, 25 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/kbs/Formica12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/FormicaMPR12,
  author       = {Anna Formica and
                  Mauro Mazzei and
                  Elaheh Pourabbas and
                  Maurizio Rafanelli},
  editor       = {Gerald Quirchmayr and
                  Josef Basl and
                  Ilsun You and
                  Lida Xu and
                  Edgar R. Weippl},
  title        = {A 16-Intersection Matrix for the Polygon-Polyline Topological Relation
                  for Geographic Pictorial Query Languages},
  booktitle    = {Multidisciplinary Research and Practice for Information Systems -
                  {IFIP} {WG} 8.4, 8.9/TC 5 International Cross-Domain Conference and
                  Workshop on Availability, Reliability, and Security, {CD-ARES} 2012,
                  Prague, Czech Republic, August 20-24, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7465},
  pages        = {302--316},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32498-7\_23},
  doi          = {10.1007/978-3-642-32498-7\_23},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/IEEEares/FormicaMPR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijufks/Formica10,
  author       = {Anna Formica},
  title        = {Concept Similarity in Fuzzy Formal Concept Analysis for Semantic Web},
  journal      = {Int. J. Uncertain. Fuzziness Knowl. Based Syst.},
  volume       = {18},
  number       = {2},
  pages        = {153--167},
  year         = {2010},
  url          = {https://doi.org/10.1142/S0218488510006465},
  doi          = {10.1142/S0218488510006465},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijufks/Formica10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic3k/FormicaMPT10,
  author       = {Anna Formica and
                  Michele Missikoff and
                  Elaheh Pourabbas and
                  Francesco Taglino},
  editor       = {Joaquim Filipe and
                  Jan L. G. Dietz},
  title        = {Semantic Search for Enterprises Competencies Management},
  booktitle    = {{KEOD} 2010 - Proceedings of the International Conference on Knowledge
                  Engineering and Ontology Development, Valencia, Spain, October 25-28,
                  2010},
  pages        = {183--192},
  publisher    = {SciTePress},
  year         = {2010},
  timestamp    = {Thu, 27 Oct 2011 12:42:36 +0200},
  biburl       = {https://dblp.org/rec/conf/ic3k/FormicaMPT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Formica09,
  author       = {Anna Formica},
  title        = {Concept similarity by evaluating information contents and feature
                  vectors: a combined approach},
  journal      = {Commun. {ACM}},
  volume       = {52},
  number       = {3},
  pages        = {145--149},
  year         = {2009},
  url          = {https://doi.org/10.1145/1467247.1467281},
  doi          = {10.1145/1467247.1467281},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Formica09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/DUliziaFFG09,
  author       = {Arianna D'Ulizia and
                  Fernando Ferri and
                  Anna Formica and
                  Patrizia Grifoni},
  title        = {Approximating Geographical Queries},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {24},
  number       = {6},
  pages        = {1109--1124},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11390-009-9284-6},
  doi          = {10.1007/S11390-009-9284-6},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcst/DUliziaFFG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kais/FormicaP09,
  author       = {Anna Formica and
                  Elaheh Pourabbas},
  title        = {Content based similarity of geographic classes organized as partition
                  hierarchies},
  journal      = {Knowl. Inf. Syst.},
  volume       = {20},
  number       = {2},
  pages        = {221--241},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10115-008-0177-8},
  doi          = {10.1007/S10115-008-0177-8},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/kais/FormicaP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/FormicaMPT09,
  author       = {Anna Formica and
                  Michele Missikoff and
                  Elaheh Pourabbas and
                  Francesco Taglino},
  editor       = {Valeria De Antonellis and
                  Silvana Castano and
                  Barbara Catania and
                  Giovanna Guerrini},
  title        = {Adding Concept Weights to Ontologies for Semantic Search},
  booktitle    = {Proceedings of the Seventeenth Italian Symposium on Advanced Database
                  Systems, {SEBD} 2009, Camogli, Italy, June 21-24, 2009},
  pages        = {73--80},
  publisher    = {Edizioni Seneca},
  year         = {2009},
  timestamp    = {Thu, 11 Mar 2010 12:55:33 +0100},
  biburl       = {https://dblp.org/rec/conf/sebd/FormicaMPT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Formica08,
  author       = {Anna Formica},
  title        = {Similarity of XML-Schema Elements: {A} Structural and Information
                  Content Approach},
  journal      = {Comput. J.},
  volume       = {51},
  number       = {2},
  pages        = {240--254},
  year         = {2008},
  url          = {https://doi.org/10.1093/comjnl/bxm051},
  doi          = {10.1093/COMJNL/BXM051},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Formica08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/Formica08,
  author       = {Anna Formica},
  title        = {Concept similarity in Formal Concept Analysis: An information content
                  approach},
  journal      = {Knowl. Based Syst.},
  volume       = {21},
  number       = {1},
  pages        = {80--87},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.knosys.2007.02.001},
  doi          = {10.1016/J.KNOSYS.2007.02.001},
  timestamp    = {Tue, 25 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/kbs/Formica08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/FormicaMPT08,
  author       = {Anna Formica and
                  Michele Missikoff and
                  Elaheh Pourabbas and
                  Francesco Taglino},
  editor       = {Robert Meersman and
                  Zahir Tari},
  title        = {Weighted Ontology for Semantic Search},
  booktitle    = {On the Move to Meaningful Internet Systems: {OTM} 2008, {OTM} 2008
                  Confederated International Conferences, CoopIS, DOA, GADA, IS, and
                  {ODBASE} 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {5332},
  pages        = {1289--1303},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-88873-4\_26},
  doi          = {10.1007/978-3-540-88873-4\_26},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/otm/FormicaMPT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/DUliziaFFGR07,
  author       = {Arianna D'Ulizia and
                  Fernando Ferri and
                  Anna Formica and
                  Patrizia Grifoni and
                  Maurizio Rafanelli},
  editor       = {Yookun Cho and
                  Roger L. Wainwright and
                  Hisham Haddad and
                  Sung Y. Shin and
                  Yong Wan Koo},
  title        = {Structural similarity in geographical queries to improve query answering},
  booktitle    = {Proceedings of the 2007 {ACM} Symposium on Applied Computing (SAC),
                  Seoul, Korea, March 11-15, 2007},
  pages        = {19--23},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1244002.1244007},
  doi          = {10.1145/1244002.1244007},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/DUliziaFFGR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/Formica06,
  author       = {Anna Formica},
  title        = {Ontology-based concept similarity in Formal Concept Analysis},
  journal      = {Inf. Sci.},
  volume       = {176},
  number       = {18},
  pages        = {2624--2641},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.ins.2005.11.014},
  doi          = {10.1016/J.INS.2005.11.014},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isci/Formica06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/FerriFGR06,
  author       = {Fernando Ferri and
                  Anna Formica and
                  Patrizia Grifoni and
                  Maurizio Rafanelli},
  editor       = {Robert Meersman and
                  Zahir Tari and
                  Pilar Herrero},
  title        = {Query Approximation by Semantic Similarity in GeoPQL},
  booktitle    = {On the Move to Meaningful Internet Systems 2006: {OTM} 2006 Workshops,
                  {OTM} Confederated International Workshops and Posters, AWeSOMe, CAMS,
                  COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, {OTM}
                  Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier,
                  France, October 29 - November 3, 2006. Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {4278},
  pages        = {1670--1680},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11915072\_73},
  doi          = {10.1007/11915072\_73},
  timestamp    = {Thu, 14 Oct 2021 10:28:24 +0200},
  biburl       = {https://dblp.org/rec/conf/otm/FerriFGR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/Formica05,
  author       = {Anna Formica},
  title        = {Similarity Of Xml-Schema Elements Supported By Domain Ontologies},
  journal      = {Int. J. Softw. Eng. Knowl. Eng.},
  volume       = {15},
  number       = {1},
  pages        = {117--130},
  year         = {2005},
  url          = {https://doi.org/10.1142/S0218194005001872},
  doi          = {10.1142/S0218194005001872},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijseke/Formica05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/FerriFGR05,
  author       = {Fernando Ferri and
                  Anna Formica and
                  Patrizia Grifoni and
                  Maurizio Rafanelli},
  editor       = {Robert Meersman and
                  Zahir Tari and
                  Pilar Herrero and
                  Gonzalo M{\'{e}}ndez and
                  Lawrence Cavedon and
                  David B. Martin and
                  Annika Hinze and
                  George Buchanan and
                  Mar{\'{\i}}a S. P{\'{e}}rez and
                  V{\'{\i}}ctor Robles and
                  Jan Humble and
                  Antonia Albani and
                  Jan L. G. Dietz and
                  Herv{\'{e}} Panetto and
                  Monica Scannapieco and
                  Terry A. Halpin and
                  Peter Spyns and
                  Johannes Maria Zaha and
                  Esteban Zim{\'{a}}nyi and
                  Emmanuel Stefanakis and
                  Tharam S. Dillon and
                  Ling Feng and
                  Mustafa Jarrar and
                  Jos Lehmann and
                  Aldo de Moor and
                  Erik Duval and
                  Lora Aroyo},
  title        = {Evaluating Semantic Similarity Using {GML} in Geographic Information
                  Systems},
  booktitle    = {On the Move to Meaningful Internet Systems 2005: {OTM} 2005 Workshops,
                  {OTM} Confederated International Workshops and Posters, AWeSOMe, CAMS,
                  GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and {WOSE} 2005, Agia
                  Napa, Cyprus, October 31 - November 4, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3762},
  pages        = {1009--1019},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11575863\_123},
  doi          = {10.1007/11575863\_123},
  timestamp    = {Tue, 11 Apr 2023 12:52:01 +0200},
  biburl       = {https://dblp.org/rec/conf/otm/FerriFGR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Formica04,
  author       = {Anna Formica},
  title        = {Legality of XML-Schema Type Hierarchies},
  journal      = {Comput. J.},
  volume       = {47},
  number       = {5},
  pages        = {591--601},
  year         = {2004},
  url          = {https://doi.org/10.1093/comjnl/47.5.591},
  doi          = {10.1093/COMJNL/47.5.591},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Formica04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/FormicaM04,
  author       = {Anna Formica and
                  Michele Missikoff},
  title        = {Inheritance processing and conflicts in structural generalization
                  hierarchies},
  journal      = {{ACM} Comput. Surv.},
  volume       = {36},
  number       = {3},
  pages        = {263--290},
  year         = {2004},
  url          = {https://doi.org/10.1145/1035570.1035572},
  doi          = {10.1145/1035570.1035572},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/FormicaM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/Formica03,
  author       = {Anna Formica},
  title        = {Satisfiability of object-oriented database constraints with set and
                  bag attributes},
  journal      = {Inf. Syst.},
  volume       = {28},
  number       = {3},
  pages        = {213--224},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0306-4379(02)00010-8},
  doi          = {10.1016/S0306-4379(02)00010-8},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/is/Formica03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enter/MissikoffWHDFFT03,
  author       = {Michele Missikoff and
                  Hannes Werthner and
                  Wolfram H{\"{o}}pken and
                  Mirella Dell'Erba and
                  Oliver Fodor and
                  Anna Formica and
                  Francesco Taglino},
  editor       = {Andrew J. Frew and
                  Martin Hitz and
                  Peter O'Connor},
  title        = {Harmonise - Towards Interoperability in the Tourism Domain},
  booktitle    = {Information and Communication Technologies in Tourism, {ENTER} 2003,
                  Helsinki, Finland, 2003},
  pages        = {58--66},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-7091-6027-5\_7},
  doi          = {10.1007/978-3-7091-6027-5\_7},
  timestamp    = {Thu, 27 Jun 2019 15:54:42 +0200},
  biburl       = {https://dblp.org/rec/conf/enter/MissikoffWHDFFT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/FormicaM03,
  author       = {Anna Formica and
                  Michele Missikoff},
  editor       = {Liang{-}Jie Zhang},
  title        = {Ontology Validation in {OPAL}},
  booktitle    = {Proceedings of the International Conference on Web Services, {ICWS}
                  '03, June 23 - 26, 2003, Las Vegas, Nevada, {USA}},
  pages        = {198--202},
  publisher    = {{CSREA} Press},
  year         = {2003},
  timestamp    = {Fri, 17 Oct 2003 08:14:28 +0200},
  biburl       = {https://dblp.org/rec/conf/icws/FormicaM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/FormicaM02,
  author       = {Anna Formica and
                  Michele Missikoff},
  title        = {Concept Similarity in SymOntos: An Enterprise Ontology Management
                  Tool},
  journal      = {Comput. J.},
  volume       = {45},
  number       = {6},
  pages        = {583--594},
  year         = {2002},
  url          = {https://doi.org/10.1093/comjnl/45.6.583},
  doi          = {10.1093/COMJNL/45.6.583},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/FormicaM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/FormicaF02,
  author       = {Anna Formica and
                  Heinz Frank},
  title        = {Consistency of the static and dynamic components of object-oriented
                  specifications},
  journal      = {Data Knowl. Eng.},
  volume       = {40},
  number       = {2},
  pages        = {195--215},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0169-023X(01)00052-0},
  doi          = {10.1016/S0169-023X(01)00052-0},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dke/FormicaF02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/Formica02,
  author       = {Anna Formica},
  title        = {Finite Satisfiability of Integrity Constraints in Object-Oriented
                  Database Schemas},
  journal      = {{IEEE} Trans. Knowl. Data Eng.},
  volume       = {14},
  number       = {1},
  pages        = {123--139},
  year         = {2002},
  url          = {https://doi.org/10.1109/69.979977},
  doi          = {10.1109/69.979977},
  timestamp    = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tkde/Formica02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbbd/FormicaM01,
  author       = {Anna Formica and
                  Michele Missikoff},
  editor       = {Marta Mattoso and
                  Geraldo Xex{\'{e}}o},
  title        = {Semantic Integration of Tourism Enterprises: an Ontological Approach},
  booktitle    = {{XVI} Simp{\'{o}}sio Brasileiro de Banco de Dados, 1-3 Outubro
                  2001, Rio de Janeiro, Brasil, Anais/Proceedings},
  pages        = {187--198},
  publisher    = {{COPPE/UFRJ}},
  year         = {2001},
  timestamp    = {Mon, 13 Mar 2006 09:26:44 +0100},
  biburl       = {https://dblp.org/rec/conf/sbbd/FormicaM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/BeeriFM99,
  author       = {Catriel Beeri and
                  Anna Formica and
                  Michele Missikoff},
  title        = {Inheritance Hierarchy Design in Object-Oriented Databases},
  journal      = {Data Knowl. Eng.},
  volume       = {30},
  number       = {3},
  pages        = {191--216},
  year         = {1999},
  url          = {https://doi.org/10.1016/S0169-023X(99)00011-7},
  doi          = {10.1016/S0169-023X(99)00011-7},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dke/BeeriFM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/FormicaGM98,
  author       = {Anna Formica and
                  Hans Dietmar Gr{\"{o}}ger and
                  Michele Missikoff},
  title        = {An Efficient Method for Checking Object-Oriented Database Schema Correctness},
  journal      = {{ACM} Trans. Database Syst.},
  volume       = {23},
  number       = {3},
  pages        = {333--369},
  year         = {1998},
  url          = {https://doi.org/10.1145/293910.293152},
  doi          = {10.1145/293910.293152},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tods/FormicaGM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/FormicaGM97,
  author       = {Anna Formica and
                  Hans Dietmar Gr{\"{o}}ger and
                  Michele Missikoff},
  title        = {Object-Oriented Database Schema Analysis and Inheritance Processing:
                  {A} Graphtheoretic Approach},
  journal      = {Data Knowl. Eng.},
  volume       = {24},
  number       = {2},
  pages        = {157--181},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0169-023X(97)00018-9},
  doi          = {10.1016/S0169-023X(97)00018-9},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dke/FormicaGM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/FormicaM97,
  author       = {Anna Formica and
                  Michele Missikoff},
  title        = {A Verification Algorithm for Inheritance Hierarchies in Object-Oriented
                  Databases},
  journal      = {Inf. Process. Lett.},
  volume       = {62},
  number       = {5},
  pages        = {269--279},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0020-0190(97)00062-8},
  doi          = {10.1016/S0020-0190(97)00062-8},
  timestamp    = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/FormicaM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/DamianiFFMP97,
  author       = {Ernesto Damiani and
                  Anna Formica and
                  Maria Grazia Fugini and
                  Michele Missikoff and
                  R. Pizzicannella},
  title        = {Reusing Analysis Schemas in {ODB} Applications: a Chart Based Approach},
  booktitle    = {Proceedings of the First East-European Symposium on Advances in Databases
                  and Information Systems (ADBIS'97), St.-Petersburg, Russia, September
                  2-5, 1997. Volume 1: Regular Papers},
  pages        = {406--415},
  publisher    = {Nevsky Dialect},
  year         = {1997},
  timestamp    = {Thu, 21 Jun 2018 07:16:24 +0200},
  biburl       = {https://dblp.org/rec/conf/adbis/DamianiFFMP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/FormicaGM96,
  author       = {Anna Formica and
                  Hans Dietmar Gr{\"{o}}ger and
                  Michele Missikoff},
  editor       = {Fausto Rabitti and
                  Gianni Mainetto and
                  Ettore Ricciardi},
  title        = {A Method for Inheritance Processing in Object-Oriented Databases},
  booktitle    = {Atti del Quarto Convegno Nazionale su Sistemi Evoluti per Basi di
                  Dati (4th National Conference on Advanced Database Systems), {SEBD}
                  1996, Centro Sudi "I Cappuccini", San Miniato, Pisa, Italy, 3-5 Luglio
                  1996},
  pages        = {139--160},
  publisher    = {{STAR} - Servizio Tecnografico Area Ricerca CNR, Pisa},
  year         = {1996},
  timestamp    = {Mon, 18 Jan 2016 11:07:09 +0100},
  biburl       = {https://dblp.org/rec/conf/sebd/FormicaGM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FormicaMT95,
  author       = {Anna Formica and
                  Michele Missikoff and
                  Roberto Terenzi},
  editor       = {Leon Sterling},
  title        = {A Theorem Prover for Checking Satisfiability of Object-Oriented Database
                  Schemas},
  booktitle    = {Logic Programming, Proceedings of the Twelfth International Conference
                  on Logic Programming, Tokyo, Japan, June 13-16, 1995},
  pages        = {819},
  publisher    = {{MIT} Press},
  year         = {1995},
  timestamp    = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/FormicaMT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/FormicaM95,
  author       = {Anna Formica and
                  Michele Missikoff},
  editor       = {Antonio Albano and
                  Saverio Salerno and
                  Francesca Arcelli and
                  Matteo Gaeta and
                  Stefano Rizzo and
                  Giovanna Vantini},
  title        = {A Graph-Theoretic Approach to the Verification of Inheritance Hierarchies
                  in Object-Oriented Databases},
  booktitle    = {Atti del Terzo Convegno Nazionale su Sistemi Evoluti per Basi di Dati,
                  {SEBD} 1995, Ravello (Costiera Amalfitana), Italy, 28-30 Giugno 1995},
  pages        = {273--282},
  year         = {1995},
  timestamp    = {Mon, 18 Jan 2016 11:07:09 +0100},
  biburl       = {https://dblp.org/rec/conf/sebd/FormicaM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/FormicaM94,
  author       = {Anna Formica and
                  Michele Missikoff},
  editor       = {Matthias Jarke and
                  Janis A. Bubenko Jr. and
                  Keith G. Jeffery},
  title        = {Correctness of {ISA} Hierarchies in Object-Oriented Database Schemas},
  booktitle    = {Advances in Database Technology - EDBT'94. 4th International Conference
                  on Extending Database Technology, Cambridge, United Kingdom, March
                  28-31, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {779},
  pages        = {231--244},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-57818-8\_54},
  doi          = {10.1007/3-540-57818-8\_54},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edbt/FormicaM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewdw/FormicaMT94,
  author       = {Anna Formica and
                  Michele Missikoff and
                  Roberto Terenzi},
  editor       = {Johann Eder and
                  Leonid A. Kalinichenko},
  title        = {Constraint Satisfiability in Object-Oriented Databases},
  booktitle    = {East/West Database Workshop, Proceedings of the Second International
                  East/West Database Workshop, Klagenfurt, Austria, 25-28 September
                  1994},
  series       = {Workshops in Computing},
  pages        = {48--60},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/978-1-4471-3577-7\_4},
  doi          = {10.1007/978-1-4471-3577-7\_4},
  timestamp    = {Mon, 24 Jun 2019 15:47:45 +0200},
  biburl       = {https://dblp.org/rec/conf/ewdw/FormicaMT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/FormicaM93,
  author       = {Anna Formica and
                  Michele Missikoff},
  editor       = {Domenico Sacc{\`{a}}},
  title        = {On Structural Correctness of Object-Oriented Database Schemas},
  booktitle    = {Convegno SEBD'93, Proceedings of the Conference on Advanced Database
                  Systems (Atti del convegno su Sistemi Evoluti per Basi di Dati), {SEBD}
                  1993, Hotel Capo Suvero, Gizzeria, Italy, 14-16 June, 1993},
  pages        = {139--150},
  publisher    = {Mediterranean Press (via S. Pellico, 13 - Tel. 0984-465645 - 87030
                  Rende {(CS))}},
  year         = {1993},
  timestamp    = {Mon, 18 Jan 2016 11:07:09 +0100},
  biburl       = {https://dblp.org/rec/conf/sebd/FormicaM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:journals/lncs/FormicaM93,
  author       = {Anna Formica and
                  Michele Missikoff},
  editor       = {Paolo Atzeni},
  title        = {Modeling Semantic Interity Contraints in Object-Oriented Database
                  Schemas},
  booktitle    = {{LOGIDATA+:} Deductive Databases with Complex Objects},
  series       = {Lecture Notes in Computer Science},
  volume       = {701},
  pages        = {129--147},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0021894},
  doi          = {10.1007/BFB0021894},
  timestamp    = {Tue, 14 May 2019 10:00:35 +0200},
  biburl       = {https://dblp.org/rec/journals/lncs/FormicaM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:journals/lncs/ArtaleBCCCFLGMM93,
  author       = {Alessandro Artale and
                  Jean Paul Ballerini and
                  Filippo Cacace and
                  Stefano Ceri and
                  Francesca Cesarini and
                  Anna Formica and
                  Herman Lam and
                  Sergio Greco and
                  G. Marrella and
                  Michele Missikoff and
                  Luigi Palopoli and
                  L. Pichetti and
                  Domenico Sacc{\`{a}} and
                  Silvio Salza and
                  Claudio Sartori and
                  Giovanni Soda and
                  Letizia Tanca and
                  M. Toiati},
  editor       = {Paolo Atzeni},
  title        = {Prototypes in the {LOGIDATA+} Project},
  booktitle    = {{LOGIDATA+:} Deductive Databases with Complex Objects},
  series       = {Lecture Notes in Computer Science},
  volume       = {701},
  pages        = {252--273},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0021901},
  doi          = {10.1007/BFB0021901},
  timestamp    = {Mon, 18 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lncs/ArtaleBCCCFLGMM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/FormicaM92,
  author       = {Anna Formica and
                  Michele Missikoff},
  editor       = {Timothy W. Finin and
                  Charles K. Nicholas and
                  Yelena Yesha},
  title        = {Integrity Constraints Representation in Object-Oriented Databases},
  booktitle    = {Information and Knowledge Management, Expanding the Definition of
                  "Database", First International Conference, CIKM'92, Baltimore, Maryland,
                  USA, November 8-11, 1992, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {752},
  pages        = {69--85},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-57419-0\_5},
  doi          = {10.1007/3-540-57419-0\_5},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cikm/FormicaM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewdw/FormicaMV90,
  author       = {Anna Formica and
                  Michele Missikoff and
                  S. Vazzana},
  editor       = {Joachim W. Schmidt and
                  Anatoly A. Stogny},
  title        = {An Object-Oriented Data model for Artificial Intelligence Applications},
  booktitle    = {Next Generation Information System Technology, First Interational
                  East/West Data Base Workshop, Kiev, USSR, October 9-12, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {504},
  pages        = {26--41},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-54141-1\_3},
  doi          = {10.1007/3-540-54141-1\_3},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ewdw/FormicaMV90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics