Access content directly

Federico Ulliana

33
Documents
Researcher identifiers
  • IdHAL federico-ulliana

Presentation

Publications

Image document

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⟩
Journal articles lirmm-02920610v1
Image document

An Automated Design Framework for Multicellular Recombinase Logic

Sarah Guiziou , Federico Ulliana , Violaine Moreau , Michel Leclère , Jérôme Bonnet et al.
ACS Synthetic Biology, 2018, 7 (5), pp.1406-1412. ⟨10.1021/acssynbio.8b00016⟩
Journal articles lirmm-01934682v1

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 et al.
Computer-Aided Design and Applications, 2015, 12 (2), pp.166-180. ⟨10.1080/16864360.2014.962429⟩
Journal articles hal-01070581v1
Image document

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 Rohmer et al.
Journal of Biomedical Semantics, 2015, 6, pp.36:1-15. ⟨10.1186/s13326-015-0034-0⟩
Journal articles hal-01214229v1
Image document

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 et al.
Journal of Biomedical Semantics, 2014, 5 (1), pp.20:1-13. ⟨10.1186/2041-1480-5-20⟩
Journal articles hal-00990332v2
Image document

Type-Based Detection of XML Query-Update Independence

Nicole Bidoit , Dario Colazzo , Federico Ulliana
Proceedings of the VLDB Endowment (PVLDB), 2012
Journal articles hal-00757544v1
Image document

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⟩
Conference papers lirmm-02148200v1
Image document

Oblivious and Semi-Oblivious Boundedness for Existential Rules

Pierre Bourhis , Michel Leclère , Marie-Laure Mugnier , Sophie Tison , Federico Ulliana et al.
IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1581-1587, ⟨10.24963/ijcai.2019/219⟩
Conference papers lirmm-02148142v1
Image document

Boolean Recombinase-Based Devices

Guillaume Pérution-Kihli , Sarah Guiziou , Federico Ulliana , Michel Leclère , Jérôme Bonnet et al.
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⟩
Conference papers lirmm-02416052v1
Image document

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⟩
Conference papers lirmm-02195593v1
Image document

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
Conference papers lirmm-01892353v1
Image document

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⟩
Conference papers lirmm-01921140v1
Image document

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
Conference papers lirmm-01662810v1
Image document

Scalable composition frameworks for multicellular logic

Sarah Guiziou , Pauline Mayonove , Federico Ulliana , Violaine Moreau , Michel Leclère et al.
BIOSYNSYS, Oct 2017, La Grande Motte, France. ⟨10.1101/150987⟩
Conference papers lirmm-01662689v1
Image document

Querying Key-Value Stores Under Simple Semantic Constraints : Rewriting and Parallelization

Olivier Rodriguez , Corentin Colomier , Cecilie Rivière , Reza Akbarinia , Federico Ulliana et al.
BDA: Gestion de Données — Principes, Technologies et Applications, Nov 2017, Nancy, France
Conference papers lirmm-01620207v1
Image document

Ontology-Mediated Query Answering for Key-Value Stores

Meghyn Bienvenu , Pierre Bourhis , Marie-Laure Mugnier , Sophie Tison , Federico Ulliana et al.
IJCAI: International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia
Conference papers lirmm-01632090v1
Image document

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
Conference papers lirmm-01375091v1
Image document

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
Conference papers lirmm-01242913v1
Image document

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
Conference papers lirmm-01375093v1
Image document

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
Conference papers lirmm-01086951v1
Image document

Andromeda: A System for Processing Queries and Updates on Big XML Documents

Nicole Bidoit , Dario Colazzo , Carlo Sartiani , Alessandro Solimando , Federico Ulliana et al.
BigDa: Big Data Applications and Principles, Sep 2015, Poitiers, France. pp.218-228, ⟨10.1007/978-3-319-23201-0_24⟩
Conference papers hal-01169275v1
Image document

Queries and Updates on Big XML Documents (Extended Abstract)

Nicole Bidoit , Dario Colazzo , Carlo Sartiani , Alessandro Solimando , Federico Ulliana et al.
SEBD: Sistemi Evoluti per Basi di Dati, Jun 2015, Gaeta, Italy
Conference papers hal-01169269v1
Image document

Semantic Filtering of Scientific Articles guided by a Domain Ontology

Fabrice Jouanot , Cyril Labbé , Elena Michael , Marie-Christine Rousset , Maïté Tauber et al.
WCECS 2014 - World Congress on Engineering and Computer Science 2014, International Association of Engineers, Oct 2014, San Francisco, United States. pp.803-808
Conference papers hal-01088092v1
Image document

My Corporis Fabrica: Making Anatomy Easy

Armelle Bauer , Federico Ulliana , Ali Hamadi Dicko , Benjamin Gilles , Olivier Palombi et al.
SIGGRAPH: Special Interest Group on GRAPHics and Interactive Techniques, Aug 2014, Vancouver, Canada. pp.#16, ⟨10.1145/2619195.2656302⟩
Conference papers 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 et al.
Computer-Aided Design, Jun 2014, Hong Kong, Hong Kong SAR China. pp.77
Conference papers hal-01070567v1

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
Conference papers hal-00923695v1

Detecting XML query-update independence

Nicole Bidoit , Dario Colazzo , Federico Ulliana
26emes Journees Bases de Donnees Avancees, Oct 2010, Toulouse, France
Conference papers inria-00542526v1

Datalog revisited for reasoning in linked data

Marie-Christine Rousset , Manuel Atencia , Jérôme David , Fabrice Jouanot , Olivier Palombi et 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⟩
Book sections hal-01661141v1
Image document

Types for Detecting XML Query-Update Independence

Federico Ulliana
Databases [cs.DB]. Université Paris Sud - Paris XI, 2012. English. ⟨NNT : ⟩
Theses tel-00757597v1
Image document

Type-based detection of XML query-update independence

Federico Ulliana
Other [cs.OH]. Université Paris Sud - Paris XI, 2012. English. ⟨NNT : 2012PA112339⟩
Theses tel-00780488v1
Image document

Rule-based Languages for Reasoning on Data : Analysis, Design and Applications

Federico Ulliana
Computer Science [cs]. Montpellier University, 2021
Habilitation à diriger des recherches tel-03514093v1