Aller au contenu principal
FR

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 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

Claire David, Nadime Francis, Victor Marsault
Distinct Shortest Walk Enumeration for RPQs. 2024
Léo Exibard, Nadime Francis, Antoine Meyer, Marie van den Bogaard
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
Claire David, Nadime Francis, Victor Marsault
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
Nadime Francis, Victor Marsault
Enumerating regular languages in radix order: Revisiting the Ackerman-Shallit algorithm. 2023
Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, et al.
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
Nadime Francis, Amelie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, et al.
A Researcher's Digest of GQL. 26th International Conference on Database Theory (ICDT 2023), Mar 2023, Ioannina, Greece
10.4230/LIPIcs.ICDT.2023.1
Alin Deutsch, Nadime Francis, Alastair Green, Keith Hare, Bei Li, et al.
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
Nadime Francis, Alastair Green, Paolo Guagliardo, Leonid Libkin, Tobias Lindaaker, et al.
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
Nadime Francis
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
Nadime Francis, Leonid Libkin
Schema Mappings for Data Graphs. the 36th ACM SIGMOD-SIGACT-SIGAI Symposium, May 2017, Chicago, United States
10.1145/3034786.3056113
Nadime Francis, Luc Segoufin, Cristina Sirangelo
Datalog Rewritings of Regular Path Queries using Views. Logical Methods in Computer Science, 2015, 11 (4)
Nadime Francis
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
Nadime Francis
View-based query determinacy and rewritings over graph databases. Databases [cs.DB]. Université Paris Saclay (COmUE), 2015. English
Nadime Francis, Luc Segoufin, Cristina Sirangelo
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
Claire David, Nadime Francis, Filip Murlak
Consistency of injective tree patterns. Foundations of Software Technology and Theoretical Computer Science, Dec 2014, New Dehli, India