- 6
Pierre Senellart
6
Documents
Affiliations actuelles
- 454310
- 25027
Identifiants chercheurs
- pierre-senellart
- Arxiv : senellart_p_1
- 0000-0002-7909-5369
- Google Scholar : https://scholar.google.fr/citations?user=eao5MiQAAAAJ
- IdRef : 124713769
- VIAF : 218458224
- ISNI : 0000000140750736
Publications
- 6
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Monadic Datalog, Tree Validity, and Limited Access ContainmentACM Transactions on Computational Logic, 2020, 21 (1), pp.6:1-6:45. ⟨10.1145/3344514⟩
Article dans une revue
hal-02307999v1
|
|
Making AI Machines Work for Humans in FoWSIGMOD record, 2020, 49 (2), pp.30-35. ⟨10.1145/3442322.3442327⟩
Article dans une revue
hal-03103700v2
|
Evaluating Datalog via Tree Automata and CycluitsTheory of Computing Systems, 2019, 63 (7), pp.1620-1678. ⟨10.1007/s00224-018-9901-2⟩
Article dans une revue
hal-01891811v1
|
|
Combined Tractability of Query Evaluation via Tree Automata and CycluitsICDT 2017 - International Conference on Database Theory, Mar 2017, Venice, Italy. ⟨10.4230/LIPIcs.ICDT.2017.6⟩
Communication dans un congrès
hal-01439294v1
|
|
Monadic Datalog ContainmentICALP (2), Jul 2012, Warwick, United Kingdom. pp.79-91
Communication dans un congrès
hal-00809306v1
|
|
Combined Tractability of Query Evaluation via Tree Automata and Cycluits (Extended Version)2016
Pré-publication, Document de travail
hal-01439309v1
|