Skip to Main content Skip to Navigation
New interface

tel-01247115v2  Theses
Nadime Francis. View-based query determinacy and rewritings over graph databases
Databases [cs.DB]. Université Paris Saclay (COmUE), 2015. English. ⟨NNT : 2015SACLN015⟩
tel-00643595v1  Habilitation à diriger des recherches
Florent Jacquemard. Extended Tree Automata Models for the Verification of Infinite State Systems
Formal Languages and Automata Theory [cs.FL]. École normale supérieure de Cachan - ENS Cachan, 2011
tel-00908155v5  Theses
Émilien Antoine. Distributed data management with the rule-based language: Webdamlog
Databases [cs.DB]. Université Paris Sud - Paris XI, 2013. English
tel-01092547v1  Habilitation à diriger des recherches
Cristina Sirangelo. Representing and Querying Incomplete Information: a Data Interoperability Perspective
Databases [cs.DB]. Ecole Normale Supérieure de Cachan, 2014