Amlie Gheerbrant
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
7
Active years
2009–2025
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICDT | Database Theory in Action: Cypher, GQL, and Regular Path Queries. | Amlie Gheerbrant, Leonid Libkin, Liat Peterfreund, Alexandra Rogova |
| 2025 | SIGMOD | Reproducibility Report for ACM SIGMOD 2025 Paper: 'Dangers of List Processing in Querying Property Graphs'. | Georgiy Lebedev, Alexis Schlomer, Amlie Gheerbrant, Leonid Libkin, Alexandra Rogova |
| 2023 | ICDT | A Researcher's Digest of GQL (Invited Talk). | Nadime Francis, Amlie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc |
| 2023 | PODS | GPC: A Pattern Calculus for Property Graphs. | Nadime Francis, Amlie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc |
| 2019 | IJCAI | Best Answers over Incomplete Data : Complexity and First-Order Rewritings. | Amlie Gheerbrant, Cristina Sirangelo |
| 2013 | ICDT | Containment of pattern-based queries over data trees. | Claire David, Amlie Gheerbrant, Leonid Libkin, Wim Martens |
| 2013 | PODS | When is naive evaluation possible? | Amlie Gheerbrant, Leonid Libkin, Cristina Sirangelo |
| 2012 | ICDT | On the complexity of query answering over incomplete XML documents. | Amlie Gheerbrant, Leonid Libkin, Tony Tan |
| 2010 | AiML | Complete Axiomatization of the Stutter-invariant Fragment of the Linear Time mu-calculus. | Amlie Gheerbrant |
| 2009 | CSL | Craig Interpolation for Linear Temporal Languages. | Amlie Gheerbrant, Balder ten Cate |
| 2009 | LFCS | Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees. | Amlie Gheerbrant, Balder ten Cate |