Skip to Main content

Researcher identifiers

  • IdHAL : federico-ulliana

Social networks

    Export Publications

    Export the displayed publications:

    External widget

    Open access quantity

    87.878787878788 %

    Number of documents

    33

    Publications of Federico Ulliana


    Journal articles6 documents

    • Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana. Characterizing Boundedness in Chase Variants. Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2021, 21 (1), pp.51-79. ⟨10.1017/S1471068420000083⟩. ⟨lirmm-02920610⟩
    • Sarah Guiziou, Federico Ulliana, Violaine Moreau, Michel Leclère, Jérôme Bonnet. An Automated Design Framework for Multicellular Recombinase Logic. ACS Synthetic Biology, American Chemical Society, 2018, 7 (5), pp.1406-1412. ⟨10.1021/acssynbio.8b00016⟩. ⟨lirmm-01934682⟩
    • Pierre-Yves Rabattu, Benoit Massé, Federico Ulliana, Marie-Christine Rousset, Damien Rohmer, et al.. My Corporis Fabrica Embryo: An ontology-based 3D spatio-temporal modeling of human embryo development. Journal of Biomedical Semantics, BioMed Central, 2015, 6, pp.36:1-15. ⟨10.1186/s13326-015-0034-0⟩. ⟨hal-01214229⟩
    • Federico Ulliana, Jean-Claude Léon, Olivier Palombi, Marie-Christine Rousset, François Faure. Combining 3D Models and Functions through Ontologies to Describe Man-made Products and Virtual Humans: Toward a Common Framework. Computer-Aided Design and Applications, CAD Solutions LLC (imprimé) and Taylor & Francis Online (en ligne), 2015, 12 (2), pp.166-180. ⟨10.1080/16864360.2014.962429⟩. ⟨hal-01070581⟩
    • Olivier Palombi, Federico Ulliana, Valentin Favier, Jean-Claude Léon, Marie-Christine Rousset. My Corporis Fabrica: an ontology-based tool for reasoning and querying on complex anatomical models. Journal of Biomedical Semantics, BioMed Central, 2014, 5 (1), pp.20:1-13. ⟨10.1186/2041-1480-5-20⟩. ⟨hal-00990332v2⟩
    • Nicole Bidoit, Dario Colazzo, Federico Ulliana. Type-Based Detection of XML Query-Update Independence. Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, 2012. ⟨hal-00757544⟩

    Conference papers21 documents

    • Olivier Rodriguez, Reza Akbarinia, Federico Ulliana. Querying Key-Value Stores under Single-Key Constraints: Rewriting and Parallelization. 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⟩. ⟨lirmm-02195593⟩
    • Guillaume Pérution-Kihli, Sarah Guiziou, Federico Ulliana, Michel Leclère, Jérôme Bonnet. Boolean Recombinase-Based Devices. 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⟩. ⟨lirmm-02416052⟩
    • Pierre Bourhis, Michel Leclère, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana, et al.. Oblivious and Semi-Oblivious Boundedness for Existential Rules. IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1581-1587, ⟨10.24963/ijcai.2019/219⟩. ⟨lirmm-02148142⟩
    • Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana. A Single Approach to Decide Chase Termination on Linear Existential Rules. ICDT 2019 - 22nd International Conference on Database Theory, Mar 2019, Lisbonne, Portugal. pp.18:1--18:19, ⟨10.4230/LIPIcs.ICDT.2019.18⟩. ⟨lirmm-02148200⟩
    • Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana. On the k-Boundedness for Existential Rules. RuleML+RR, Sep 2018, Luxembourg, Luxembourg. pp.48-64, ⟨10.1007/978-3-319-99906-7_4⟩. ⟨lirmm-01921140⟩
    • Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo, Federico Ulliana. A Single Approach to Decide Chase Termination on Linear Existential Rules. 31st International Workshop on Description Logics (DL), Oct 2018, Tempe, United States. ⟨lirmm-01892353⟩
    • Harold Vilmart, Jean-Claude Léon, Federico Ulliana. Extraction et Inférence de Connaissances à partir d’Assemblages Mécaniques Définis par une Représentation CAO 3D. EGC: Extraction et Gestion des Connaissances, Jan 2017, Grenoble, France. pp.21-32. ⟨lirmm-01662810⟩
    • Meghyn Bienvenu, Pierre Bourhis, Marie-Laure Mugnier, Sophie Tison, Federico Ulliana. Ontology-Mediated Query Answering for Key-Value Stores. IJCAI: International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia. ⟨lirmm-01632090⟩
    • Olivier Rodriguez, Corentin Colomier, Cecilie Rivière, Reza Akbarinia, Federico Ulliana. Querying Key-Value Stores Under Simple Semantic Constraints : Rewriting and Parallelization. BDA: Gestion de Données — Principes, Technologies et Applications, Nov 2017, Nancy, France. ⟨lirmm-01620207⟩
    • Sarah Guiziou, Pauline Mayonove, Federico Ulliana, Violaine Moreau, Michel Leclère, et al.. Scalable composition frameworks for multicellular logic. BIOSYNSYS, Oct 2017, La Grande Motte, France. ⟨10.1101/150987⟩. ⟨lirmm-01662689⟩
    • Marie-Laure Mugnier, Marie-Christine Rousset, Federico Ulliana. Ontology-Mediated Queries for NOSQL Databases. DL: Description Logics, Apr 2016, Cape Town, South Africa. pp.1051-1057. ⟨lirmm-01375093⟩
    • Marie-Laure Mugnier, Marie-Christine Rousset, Federico Ulliana. Ontology-Mediated Queries for NOSQL Databases. AAAI Conference on Artificial Intelligence, Feb 2016, Phoenix, United States. pp.1051-1057. ⟨lirmm-01242913⟩
    • Michel Leclère, Marie-Laure Mugnier, Federico Ulliana. On Bounded Positive Existential Rules. DL: Description Logics, Apr 2016, Cape Town, South Africa. CEUR Workshop Proceedings. ⟨lirmm-01375091⟩
    • Nicole Bidoit, Dario Colazzo, Carlo Sartiani, Alessandro Solimando, Federico Ulliana. Queries and Updates on Big XML Documents (Extended Abstract). SEBD: Sistemi Evoluti per Basi di Dati, Jun 2015, Gaeta, Italy. ⟨hal-01169269⟩
    • Nicole Bidoit, Dario Colazzo, Carlo Sartiani, Alessandro Solimando, Federico Ulliana. Andromeda: A System for Processing Queries and Updates on Big XML Documents. BigDa: Big Data Applications and Principles, Sep 2015, Poitiers, France. pp.218-228, ⟨10.1007/978-3-319-23201-0_24⟩. ⟨hal-01169275⟩
    • Marie-Christine Rousset, Federico Ulliana. Extracting Bounded-level Modules from Deductive RDF Triplestores. AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence (AAAI). Austin, USA., Jan 2015, Austin, TX, United States. ⟨lirmm-01086951⟩
    • Fabrice Jouanot, Cyril Labbé, Elena Michael, Marie-Christine Rousset, Maïté Tauber, et al.. Semantic Filtering of Scientific Articles guided by a Domain Ontology. WCECS 2014 - World Congress on Engineering and Computer Science 2014, International Association of Engineers, Oct 2014, San Francisco, United States. pp.803-808. ⟨hal-01088092⟩
    • Armelle Bauer, Federico Ulliana, Ali Hamadi Dicko, Benjamin Gilles, Olivier Palombi, et al.. My Corporis Fabrica: Making Anatomy Easy. SIGGRAPH: Special Interest Group on GRAPHics and Interactive Techniques, Aug 2014, Vancouver, Canada. pp.#16, ⟨10.1145/2619195.2656302⟩. ⟨hal-00987439⟩
    • Federico Ulliana, Jean-Claude Léon, Olivier Palombi, Marie-Christine Rousset, François Faure. Combining 3D Models and Functions through Ontologies to Describe Man-made Products and Virtual Humans: Toward a Common Framework. Computer-Aided Design, Jun 2014, Hong Kong, Hong Kong SAR China. pp.77. ⟨hal-01070567⟩
    • Nicole Bidoit, Dario Colazzo, Noor Malla, Federico Ulliana, Maurizio Nolé, et al.. Processing XML queries and updates on map/reduce clusters. International Conference on Extending Database Technology, Mar 2013, Genova, Italy. ⟨hal-00923695⟩
    • Nicole Bidoit, Dario Colazzo, Federico Ulliana. Detecting XML query-update independence. 26emes Journees Bases de Donnees Avancees, Oct 2010, Toulouse, France. ⟨inria-00542526⟩

    Book sections1 document

    • Marie-Christine Rousset, Manuel Atencia, Jérôme David, Fabrice Jouanot, Olivier Palombi, et al.. Datalog revisited for reasoning in linked data. 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⟩. ⟨hal-01661141⟩

    Reports2 documents

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

    Theses2 documents

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

    Habilitation à diriger des recherches1 document

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