Federico Ulliana

Identifiants chercheurs

IdHAL :

federico-ulliana

ORCID :

0000-0002-9192-9573

Présentation

Publications

Article dans une revue (7)

Scalable Reasoning on Document Stores via Instance-Aware Query Rewriting Olivier Rodriguez,Federico Ulliana,Marie-Laure Mugnier Proceedings of the VLDB Endowment (PVLDB), 2023, 16 (11), pp.2699-2713. ⟨10.14778/3611479.3611481⟩ Article dans une revue lirmm-04305787v1
Characterizing Boundedness in Chase Variants Stathis Delivorias,Michel Leclère,Marie-Laure Mugnier,Federico Ulliana Theory and Practice of Logic Programming, 2021, 21 (1), pp.51-79. ⟨10.1017/S1471068420000083⟩ Article dans une revue lirmm-02920610v1
An Automated Design Framework for Multicellular Recombinase Logic Sarah Guiziou,Federico Ulliana,Violaine Moreau,Michel Leclère,Jerome Bonnet ACS Synthetic Biology, 2018, 7 (5), pp.1406-1412. ⟨10.1021/acssynbio.8b00016⟩ Article dans une revue hal-04725198v1
My Corporis Fabrica Embryo: An ontology-based 3D spatio-temporal modeling of human embryo development Pierre-Yves Rabattu,Benoit Massé,Federico Ulliana,Marie-Christine Rousset,Damien Rohmeret al. Journal of Biomedical Semantics, 2015, 6, pp.36:1-15. ⟨10.1186/s13326-015-0034-0⟩ Article dans une revue hal-01214229v1
Combining 3D Models and Functions through Ontologies to Describe Man-made Products and Virtual Humans: Toward a Common Framework Federico Ulliana,Jean-Claude Léon,Olivier Palombi,Marie-Christine Rousset,François Faure Computer-Aided Design and Applications, 2015, 12 (2), pp.166-180. ⟨10.1080/16864360.2014.962429⟩ Article dans une revue hal-01070581v1
My Corporis Fabrica: an ontology-based tool for reasoning and querying on complex anatomical models Olivier Palombi,Federico Ulliana,Valentin Favier,Jean-Claude Léon,Marie-Christine Rousset Journal of Biomedical Semantics, 2014, 5 (1), pp.20:1-13. ⟨10.1186/2041-1480-5-20⟩ Article dans une revue hal-00990332v2
Type-Based Detection of XML Query-Update Independence Nicole Bidoit,Dario Colazzo,Federico Ulliana Proceedings of the VLDB Endowment (PVLDB), 2012 Article dans une revue hal-00757544v1

Communication dans un congrès (30)

Integrating Environmental Regulations Into Autonomous Agricultural Robotics: A Case for Waterbody-Aware Fertilization Guillaume Pérution-Kihli,Ahmad Kadi,Nikolas Müller,Akira Charoensit,David Carralet al. RuleML+RR 2025 - Rules and Reasoning, 9th International Joint Conference, RuleML+RR 2025, Sep 2025, Istanbul, Turkey Communication dans un congrès hal-05242346v1
Combining Open Data and Formal Reasoning for Autonomously Controlled Spreading near Water Bodies Ahmad Kadi,Nikolas Müller,Ansgar Bernardi,Federico Ulliana,Guillaume Pérution-Kihli KIU Workshopt 2025 - Künstliche Intelligenz in der Umweltinformatik, Sep 2025, Potsdam, Germany Communication dans un congrès lirmm-05165170v2
Gypscie-KG: Building a Logic-Based Approach for Knowledge Graph Data Integration View in ML Systems Gabriela Moraes,Fabio Porto,Federico Ulliana,Jean-François Baget,Michel Leclèreet al. LAGO 2025 – LLMs, Análise de Grafos e Ontologias (SBBD), Sep 2025, Fortaleza, Brazil Communication dans un congrès lirmm-05229486v1
A Legislation-Aware Robotic Framework for Autonomous Fertilization Near Protected Water Bodies Nikolas Müller,Ahmad Kadi,Marie-Laure Mugnier,Guillaume Pérution-Kihli,Federico Ullianaet al. ECMR 2025 - 12th European Conference on Mobile Robots, Sep 2025, Padua, Italy Communication dans un congrès lirmm-05165190v1
Collaborative Benchmarking Rule-Reasoners with B-Runner Federico Ulliana,Pierre Bisquert,Akira Charoensit,Renaud Colin,Florent Tornilet al. RuleML+RR 2024 - 8. International Joint Conference on Rules and Reasoning, Sep 2024, Bucarest, Romania. pp.21-31, ⟨10.1007/978-3-031-72407-7_3⟩ Communication dans un congrès lirmm-04670543v1
Rule-aware Datalog Fact Explanation Using Group-SAT Solver Akira Charoensit,David Carral,Pierre Bisquert,Lucas Rouquette,Federico Ulliana RuleML+RR 2024 - 8. International Joint Conference on Rules and Reasoning, Sep 2024, Brussels, Belgium Communication dans un congrès hal-04706324v1
Collaborative Benchmarking Rule-Reasoners with B-Runner Federico Ulliana,Pierre Bisquert,Akira Charoensit,Renaud Colin,Florent Tornilet al. BDA 2024 - 40e Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2024, Orleans, France Communication dans un congrès lirmm-04646842v2
InteGraal: a Tool for Data-Integration and Reasoning on Heterogeneous and Federated Sources Jean-François Baget,Pierre Bisquert,Michel Leclère,Marie-Laure Mugnier,Guillaume Pérution-Kihliet al. BDA 2023 - 39.Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2023, Montpellier, France Communication dans un congrès lirmm-04304601v1
Scalable Reasoning on Document Stores via Instance-Aware Query Rewriting Olivier Rodriguez,Federico Ulliana,Marie-Laure Mugnier BDA 2023 - 39e Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2023, Montpellier, France Communication dans un congrès lirmm-04305822v1
Oblivious and Semi-Oblivious Boundedness for Existential Rules Pierre Bourhis,Michel Leclère,Marie-Laure Mugnier,Sophie Tison,Federico Ullianaet al. IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1581-1587, ⟨10.24963/ijcai.2019/219⟩ Communication dans un congrès lirmm-02148142v1
Boolean Recombinase-Based Devices Guillaume Pérution-Kihli,Sarah Guiziou,Federico Ulliana,Michel Leclère,Jérôme Bonnet TPNC 2019 - 8th International Conference on Theory and Practice of Natural Computing, Dec 2019, Kingstone, Canada. pp.82-94, ⟨10.1007/978-3-030-34500-6_5⟩ Communication dans un congrès lirmm-02416052v1
Querying Key-Value Stores under Single-Key Constraints: Rewriting and Parallelization Olivier Rodriguez,Reza Akbarinia,Federico Ulliana RuleML+RR 2019 - 3rd International Joint Conference on Rules and Reasoning, Sep 2019, Bolzano, Italy. pp.198-206, ⟨10.1007/978-3-030-31095-0_15⟩ Communication dans un congrès lirmm-02195593v1
A Single Approach to Decide Chase Termination on Linear Existential Rules Michel Leclère,Marie-Laure Mugnier,Michaël Thomazo,Federico Ulliana ICDT 2019 - 22nd International Conference on Database Theory, Mar 2019, Lisbonne, Portugal. pp.18:1--18:19, ⟨10.4230/LIPIcs.ICDT.2019.18⟩ Communication dans un congrès lirmm-02148200v1
A Single Approach to Decide Chase Termination on Linear Existential Rules Michel Leclère,Marie-Laure Mugnier,Michaël Thomazo,Federico Ulliana 31st International Workshop on Description Logics (DL), Oct 2018, Tempe, United States Communication dans un congrès lirmm-01892353v1
On the k-Boundedness for Existential Rules Stathis Delivorias,Michel Leclère,Marie-Laure Mugnier,Federico Ulliana RuleML+RR, Sep 2018, Luxembourg, Luxembourg. pp.48-64, ⟨10.1007/978-3-319-99906-7_4⟩ Communication dans un congrès lirmm-01921140v1
Scalable composition frameworks for multicellular logic Sarah Guiziou,Pauline Mayonove,Federico Ulliana,Violaine Moreau,Michel Leclèreet al. BIOSYNSYS, Oct 2017, La Grande Motte, France. ⟨10.1101/150987⟩ Communication dans un congrès lirmm-01662689v1
Extraction et Inférence de Connaissances à partir d’Assemblages Mécaniques Définis par une Représentation CAO 3D Harold Vilmart,Jean-Claude Léon,Federico Ulliana EGC: Extraction et Gestion des Connaissances, Jan 2017, Grenoble, France. pp.21-32 Communication dans un congrès lirmm-01662810v1
Ontology-Mediated Query Answering for Key-Value Stores Meghyn Bienvenu,Pierre Bourhis,Marie-Laure Mugnier,Sophie Tison,Federico Ulliana IJCAI: International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia Communication dans un congrès lirmm-01632090v1
Querying Key-Value Stores Under Simple Semantic Constraints : Rewriting and Parallelization Olivier Rodriguez,Corentin Colomier,Cecilie Rivière,Reza Akbarinia,Federico Ulliana BDA: Gestion de Données — Principes, Technologies et Applications, Nov 2017, Nancy, France Communication dans un congrès lirmm-01620207v1
Ontology-Mediated Queries for NOSQL Databases Marie-Laure Mugnier,Marie-Christine Rousset,Federico Ulliana AAAI Conference on Artificial Intelligence, Feb 2016, Phoenix, United States. pp.1051-1057 Communication dans un congrès lirmm-01242913v1
Ontology-Mediated Queries for NOSQL Databases Marie-Laure Mugnier,Marie-Christine Rousset,Federico Ulliana DL: Description Logics, Apr 2016, Cape Town, South Africa. pp.1051-1057 Communication dans un congrès lirmm-01375093v1
Queries and Updates on Big XML Documents (Extended Abstract) Nicole Bidoit,Dario Colazzo,Carlo Sartiani,Alessandro Solimando,Federico Ulliana SEBD: Sistemi Evoluti per Basi di Dati, Jun 2015, Gaeta, Italy Communication dans un congrès hal-01169269v1
Extracting Bounded-level Modules from Deductive RDF Triplestores Marie-Christine Rousset,Federico Ulliana AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence (AAAI). Austin, USA., Jan 2015, Austin, TX, United States Communication dans un congrès lirmm-01086951v1
Andromeda: A System for Processing Queries and Updates on Big XML Documents Nicole Bidoit,Dario Colazzo,Carlo Sartiani,Alessandro Solimando,Federico Ulliana BigDa: Big Data Applications and Principles, Sep 2015, Poitiers, France. pp.218-228, ⟨10.1007/978-3-319-23201-0_24⟩ Communication dans un congrès hal-01169275v1
My Corporis Fabrica: Making Anatomy Easy Armelle Bauer,Federico Ulliana,Ali Hamadi Dicko,Benjamin Gilles,Olivier Palombiet al. SIGGRAPH: Special Interest Group on GRAPHics and Interactive Techniques, Aug 2014, Vancouver, Canada. pp.#16, ⟨10.1145/2619195.2656302⟩ Communication dans un congrès hal-00987439v1
Combining 3D Models and Functions through Ontologies to Describe Man-made Products and Virtual Humans: Toward a Common Framework Federico Ulliana,Jean-Claude Léon,Olivier Palombi,Marie-Christine Rousset,François Faure Computer-Aided Design, Jun 2014, Hong Kong, Hong Kong SAR China. pp.77 Communication dans un congrès hal-01070567v1
Semantic Filtering of Scientific Articles guided by a Domain Ontology Fabrice Jouanot,Cyril Labbé,Elena Michael,Marie-Christine Rousset,Maïté Tauberet al. WCECS 2014 - World Congress on Engineering and Computer Science 2014, International Association of Engineers, Oct 2014, San Francisco, United States. pp.803-808 Communication dans un congrès hal-01088092v1
Processing XML queries and updates on map/reduce clusters Nicole Bidoit,Dario Colazzo,Noor Malla,Federico Ulliana,Maurizio Noléet al. International Conference on Extending Database Technology, Mar 2013, Genova, Italy Communication dans un congrès hal-00923695v1
Detecting XML query-update independence Nicole Bidoit,Dario Colazzo,Federico Ulliana 26emes Journees Bases de Donnees Avancees, Oct 2010, Toulouse, France Communication dans un congrès inria-00542526v1
On Bounded Positive Existential Rules Michel Leclère,Marie-Laure Mugnier,Federico Ulliana DL: Description Logics, Apr 2016, Cape Town, South Africa. CEUR Workshop Proceedings Communication dans un congrès lirmm-01375091v1

Chapitre d'ouvrage (1)

Datalog revisited for reasoning in linked data Marie-Christine Rousset,Manuel Atencia,Jérôme David,Fabrice Jouanot,Olivier Palombiet al. Giovambattista Ianni; Domenico Lembo; Leopoldo Bertossi; Wolfgang Faber; Birte Glimm; Georg Gottlob; Steffen Staab. Reasoning Web. Semantic Interoperability on the Web. Reasoning Web 2017, LNCS (10370), Springer Verlag, pp.121-166, 2017, Reasoning Web International Summer School, 978-3-319-61032-0. ⟨10.1007/978-3-319-61033-7_5⟩ Chapitre d'ouvrage hal-01661141v1

Rapport (2)

Oblivious and Semi-Oblivious Boundedness for Existential Rules Pierre Bourhis,Michel Leclère,Marie-Laure Mugnier,Sophie Tison,Federico Ullianaet al. [Research Report] LIRMM (UM, CNRS). 2020 Rapport (rapport de recherche) lirmm-02920624v1
A Single Approach to Decide Chase Termination on Linear Existential Rules Michel Leclère,Marie-Laure Mugnier,Michaël Thomazo,Federico Ulliana [Research Report] arXiv:1810.02132. 2018 Rapport (rapport de recherche) lirmm-01892375v1

Thèse (2)

Type-based detection of XML query-update independence Federico Ulliana Other [cs.OH]. Université Paris Sud - Paris XI, 2012. English. ⟨NNT : 2012PA112339⟩ Thèse tel-00780488v1
Types for Detecting XML Query-Update Independence Federico Ulliana Databases [cs.DB]. Université Paris Sud - Paris XI, 2012. English. ⟨NNT : ⟩ Thèse tel-00757597v1

HDR (1)

Rule-based Languages for Reasoning on Data : Analysis, Design and Applications Federico Ulliana Computer Science [cs]. Montpellier University, 2021 HDR tel-03514093v1