Amélie Gheerbrant

26 papers A* 3A 4B 2Misc 1Journal 11Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Dangers of List Processing in Querying Property Graphs.
Proc. ACM Manag. Data
Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova
2025 A conf
Database Theory in Action: Cypher, GQL, and Regular Path Queries.
ICDT
Amélie Gheerbrant, Leonid Libkin, Liat Peterfreund, Alexandra Rogova
2025 J jnl
GQL and SQL/PGQ: Theoretical Models and Expressive Power.
Proc. VLDB Endow.
Amélie Gheerbrant, Leonid Libkin, Liat Peterfreund, Alexandra Rogova
2025 — conf
Reproducibility Report for ACM SIGMOD 2025 Paper: 'Dangers of List Processing in Querying Property Graphs'.
SIGMOD ARI Reports
Georgiy Lebedev, Alexis Schlomer, Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova
2024 J jnl
GQL and SQL/PGQ: Theoretical Models and Expressive Power.
CoRR
Amélie Gheerbrant, Leonid Libkin, Liat Peterfreund, Alexandra Rogova
2024 J jnl
Querying Incomplete Data: Complexity and Tractability via Datalog and First-Order Rewritings.
Theory Pract. Log. Program.
Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo
2023 A conf
A Researcher's Digest of GQL (Invited Talk).
ICDT
Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc
2023 A* conf
GPC: A Pattern Calculus for Property Graphs.
PODS
Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc
2023 J jnl
Querying Incomplete Data : Complexity and Tractability via Datalog and First-Order Rewritings.
CoRR
Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo
2022 — conf
Certain Answers of Extensions of Conjunctive Queries by Datalog and First-Order Rewriting.
Datalog
Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo
2022 J jnl
GPC: A Pattern Calculus for Property Graphs.
CoRR
Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc
2019 A* conf
Best Answers over Incomplete Data : Complexity and First-Order Rewritings.
IJCAI
Amélie Gheerbrant, Cristina Sirangelo
2015 J jnl
Certain Answers over Incomplete XML Documents: Extending Tractability Boundary.
Theory Comput. Syst.
Amélie Gheerbrant, Leonid Libkin
2014 J jnl
Naïve Evaluation of Queries over Incomplete Databases.
ACM Trans. Database Syst.
Amélie Gheerbrant, Leonid Libkin, Cristina Sirangelo
2014 — conf
Querying Incomplete Graphs with Data.
AMW
Amélie Gheerbrant, Gaëlle Fontaine
2013 A conf
Containment of pattern-based queries over data trees.
ICDT
Claire David, Amélie Gheerbrant, Leonid Libkin, Wim Martens
2013 — conf
Reasoning About Pattern-Based XML Queries.
RR
Amélie Gheerbrant, Leonid Libkin, Cristina Sirangelo
2013 — conf
Static Analysis and Query Answering for Incomplete Data Trees with Constraints.
In Search of Elegance in the Theory and Practice of Computation
Amélie Gheerbrant, Leonid Libkin, Juan L. Reutter
2013 A* conf
When is naive evaluation possible?
PODS
Amélie Gheerbrant, Leonid Libkin, Cristina Sirangelo
2012 J jnl
Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees
Log. Methods Comput. Sci.
Amélie Gheerbrant, Balder ten Cate
2012 A conf
On the complexity of query answering over incomplete XML documents.
ICDT
Amélie Gheerbrant, Leonid Libkin, Tony Tan
2010 B conf
Complete Axiomatization of the Stutter-invariant Fragment of the Linear Time mu-calculus.
Advances in Modal Logic
Amélie Gheerbrant
2010 J jnl
Game Solution, Epistemic Dynamics and Fixed-Point Logics.
Fundam. Informaticae
Johan van Benthem, Amélie Gheerbrant
2009 Misc conf
Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees.
LFCS
Amélie Gheerbrant, Balder ten Cate
2009 B conf
Craig Interpolation for Linear Temporal Languages.
CSL
Amélie Gheerbrant, Balder ten Cate
2006 J jnl
Recursive complexity of the Carnap first order modal logic C.
Math. Log. Q.
Amélie Gheerbrant, Marcin Mostowski