- 8
- 1
- 1
- 1
- 1
Federico Ulliana
12
Documents
Identifiants chercheurs
- federico-ulliana
- 0000-0002-9192-9573
Présentation
Publications
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 12
- 9
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 11
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 4
- 1
- 1
- 3
- 2
- 2
- 1
|
Characterizing Boundedness in Chase VariantsTheory 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 LogicACS Synthetic Biology, 2018, 7 (5), pp.1406-1412. ⟨10.1021/acssynbio.8b00016⟩
Article dans une revue
lirmm-01934682v1
|
|
InteGraal: a Tool for Data-Integration and Reasoning on Heterogeneous and Federated SourcesBDA 2023 - 39e Conférence sur la Gestion de Données – Principes, Technologies et Applications, Oct 2023, Montpellier, France
Communication dans un congrès
lirmm-04304601v1
|
|
A Single Approach to Decide Chase Termination on Linear Existential RulesICDT 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
|
|
Oblivious and Semi-Oblivious Boundedness for Existential RulesIJCAI 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 DevicesTPNC 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
|
|
On the k-Boundedness for Existential RulesRuleML+RR, Sep 2018, Luxembourg, Luxembourg. pp.48-64, ⟨10.1007/978-3-319-99906-7_4⟩
Communication dans un congrès
lirmm-01921140v1
|
|
A Single Approach to Decide Chase Termination on Linear Existential Rules31st International Workshop on Description Logics (DL), Oct 2018, Tempe, United States
Communication dans un congrès
lirmm-01892353v1
|
|
Scalable composition frameworks for multicellular logicBIOSYNSYS, Oct 2017, La Grande Motte, France. ⟨10.1101/150987⟩
Communication dans un congrès
lirmm-01662689v1
|
|
On Bounded Positive Existential RulesDL: Description Logics, Apr 2016, Cape Town, South Africa. CEUR Workshop Proceedings
Communication dans un congrès
lirmm-01375091v1
|
|
Oblivious and Semi-Oblivious Boundedness for Existential Rules[Research Report] LIRMM (UM, CNRS). 2020
Rapport
lirmm-02920624v1
|
|
A Single Approach to Decide Chase Termination on Linear Existential Rules[Research Report] arXiv:1810.02132. 2018
Rapport
lirmm-01892375v1
|