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
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⟩
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⟩
Datalog Rewritings of Regular Path Queries using Views. Logical Methods in Computer Science, 2015, 11 (4)
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⟩
View-based query determinacy and rewritings over graph databases. Databases [cs.DB]. Université Paris Saclay (COmUE), 2015. English
Consistency of injective tree patterns. Foundations of Software Technology and Theoretical Computer Science, Dec 2014, New Dehli, India
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⟩