Libkin, Leonid

1. Graph Pattern Matching in GQL and SQL/PGQ
   2021/12/12 by Deutsch, Alin, Francis, Nadime, Green, Alastair +15 · 5 citations
   #Databases (cs.DB) #FOS: Computer and information sciences #H.2.3
2. Algorithmic metatheorems for decidable LTL model checking over infinite systems
   2009/10/26 by Anthony Widjaja To, Leonid Libkin, To, Anthony Widjaja +1 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling #semigroups and automata theory
3. GPC: A Pattern Calculus for Property Graphs
   2022/10/29 by Francis, Nadime, Gheerbrant, Amélie, Guagliardo, Paolo +7 · 4 citations
   #Databases (cs.DB) #FOS: Computer and information sciences
4. Formal Semantics of the Language Cypher
   2018/02/27 by Francis, Nadime, Green, Alastair, Guagliardo, Paolo +8 · 1 citation
   #Databases (cs.DB) #FOS: Computer and information sciences #Programming Languages (cs.PL)
5. GQL and SQL/PGQ: Theoretical Models and Expressive Power
   2024/09/02 by Gheerbrant, Amélie, Libkin, Leonid, Peterfreund, Liat +1 · 3 citations
   #Databases (cs.DB) #FOS: Computer and information sciences