Nadime Francis

According to our database, Nadime Francis authored at least 14 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Distinct Shortest Walk Enumeration for RPQs.

Claire David, Nadime Francis, Victor Marsault

CoRR, 2023

Enumerating regular languages in radix order : Revisiting the Ackerman-Shallit algorithm.

Nadime Francis, Victor Marsault

CoRR, 2023

GPC: A Pattern Calculus for Property Graphs.

Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc

Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2023

Run-Based Semantics for RPQs.

Claire David, Nadime Francis, Victor Marsault

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

A Researcher's Digest of GQL (Invited Talk).

Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc

Proceedings of the 26th International Conference on Database Theory, 2023

2022

Graph Pattern Matching in GQL and SQL/PGQ.

Alin Deutsch, Nadime Francis, Alastair Green, Keith Hare, Bei Li, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Wim Martens, Jan Michels, Filip Murlak, Stefan Plantikow, Petra Selmer, Oskar van Rest, Hannes Voigt, Domagoj Vrgoc, Mingxi Wu, Fred Zemke

Proceedings of the SIGMOD '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

2018

Formal Semantics of the Language Cypher.

Nadime Francis, Alastair Green, Paolo Guagliardo, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Stefan Plantikow, Mats Rydberg, Martin Schuster, Petra Selmer, Andrés Taylor

CoRR, 2018

Cypher: An Evolving Query Language for Property Graphs.

Nadime Francis, Alastair Green, Paolo Guagliardo, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Stefan Plantikow, Mats Rydberg, Petra Selmer, Andrés Taylor

Proceedings of the 2018 International Conference on Management of Data, 2018

2017

Asymptotic Determinacy of Path Queries Using Union-of-Paths Views.

Nadime Francis

Theory Comput. Syst., 2017

Schema Mappings for Data Graphs.

Nadime Francis, Leonid Libkin

Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2017

2015

View-based query determinacy and rewritings over graph databases. (Vues et requêtes sur les graphes de données : déterminabilité et réécritures).

Nadime Francis

PhD thesis, 2015

Datalog Rewritings of Regular Path Queries using Views.

Nadime Francis, Luc Segoufin, Cristina Sirangelo

Log. Methods Comput. Sci., 2015

2014

Consistency of Injective Tree Patterns.

Claire David, Nadime Francis, Filip Murlak

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

2011

A Direct Translation from XPath to Nondeterministic Automata.

Nadime Francis, Claire David, Leonid Libkin

Proceedings of the 5th Alberto Mendelzon International Workshop on Foundations of Data Management, 2011