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
Maître de conférences
Depuis septembre 2017, je suis maître de conférences au LIGM, dans l'équipe Modèles et Algorithmes.
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
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
Enumerating regular languages in radix order: Revisiting the Ackerman-Shallit algorithm. 2023
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. Symposium on Principles of Database Systems (PODS), Jun 2023, Seattle WA USA, France. 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⟩