Nadime FRANCIS
Maître de conférences
Champs-sur-Marne
Bâtiment: Building: Copernic
5 boulevard Descartes
Champs-sur-Marne
77454 Marne-la-Vallée Cedex 2
Bureau: Office: 4B130
Nadime FRANCIS
Maître de conférences
Depuis septembre 2017, je suis maître de conférences au LIGM, dans l'équipe BAAM.
Entre 2015 et 2017, j'étais en postdoc à l'Université d'Edimbourg, sous la direction de Leonid Libkin.
Entre 2012 et 2015, j'étais étudiant en thèse sous la direction de Luc Ségoufin et Cristina Sirangelo au Laboratoire Spécification et Vérification, à l'ENS de Cachan. J'ai soutenu ma thèse le 11 décembre 2015.
Mots-clefs : théorie des bases de données, théorie des modèles finis, logique, automates, complexité.
I have been a Maître de conférences in the algorithmic team of LIGM since September 2017.
Between 2015 and 2017, I worked as a postdoc in Leonid Libkin's research team at the University of Edinburgh.
I did my PhD between 2012 and 2015 at the LSV, ENS Cachan, with my directors Luc Segoufin and Cristina Sirangelo. I defended my PhD on the 11th of December 2015. (manuscript)
Key words: database theory, finite model theory, logic, automata, complexity.
Mes dernières références
My latest references
Sur HAL
On HAL
Expressive power of property graph constraint languages. 2026
⟨10.48550/arXiv.2603.09806⟩
View-Based Query Determinacy for Walk-Based Semantics. 29th International Conference on Database Theory, Mar 2026, Tampere, Finland. pp. 22:1-22:21
⟨10.4230/LIPIcs.ICDT.2026.22⟩
Gray Codes With Constant Delay and Constant Auxiliary Space. 2026
Distinct Shortest Walk Enumeration for RPQs. Proceedings of the ACM on Management of Data, 2024, 2 (2), pp.1-22
⟨10.1145/3651601⟩
Modèles de mémoire pour l'enseignement de la programmation. Colloque Didapro 10 sur la Didactique de l’informatique et des STIC, 2024, Louvain-La-Neuve, Belgique. pp.33-43
Run-Based Semantics for RPQs. 20th International Conference on Principles of Knowledge Representation and Reasoning (KR'23), Sep 2023, Rhodes, Greece. pp.178-187
⟨10.24963/kr.2023/18⟩
GPC: a pattern calculus for property graphs. Proceedings of the ACM on Management of Data, 2023, 1 (2), pp.241-250
⟨10.1145/3584372.3588662⟩
A Researcher's Digest of GQL. 26th International Conference on Database Theory (ICDT 2023), Mar 2023, Ioannina, Greece
⟨10.4230/LIPIcs.ICDT.2023.1⟩
Graph Pattern Matching in GQL and SQL/PGQ. SIGMOD '22: International Conference on Management of Data, Jun 2022, Philadelphia, United States
⟨10.1145/3514221.3526057⟩
Cypher: An Evolving Query Language for Property Graphs. SIGMOD'18 Proceedings of the 2018 International Conference on Management of Data, Jun 2018, Houston, United States. pp.1433
⟨10.1145/3183713.3190657⟩
Asymptotic Determinacy of Path Queries using Union-of-Paths Views. Theory of Computing Systems, 2017, 61 (1), pp.156-190
⟨10.1007/s00224-016-9697-x⟩
Schema Mappings for Data Graphs. the 36th ACM SIGMOD-SIGACT-SIGAI Symposium, May 2017, Chicago, United States
⟨10.1145/3034786.3056113⟩
Asymptotic Determinacy of Path Queries using Union-of-Paths Views. 18th International Conference on Database Theory (ICDT 2015), Mar 2015, Brussels, Belgium
⟨10.4230/LIPIcs.ICDT.2015.44⟩
Datalog Rewritings of Regular Path Queries using Views. Logical Methods in Computer Science, 2015, 11 (4)
View-based query determinacy and rewritings over graph databases. Databases [cs.DB]. Université Paris Saclay (COmUE), 2015. English
Datalog Rewritings of Regular Path Queries using Views. Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014., Mar 2014, Athens, Greece. pp.107--118
⟨10.5441/002/icdt.2014.14⟩