Leonid Libkin

1. Querying Graphs with Data
   2016/03/20 by Leonid Libkin, Wim Martens, Domagoj Vrgoč · 9 citations
   Computer Science · #Advanced Database Systems and Queries #Graph Theory and Algorithms #Semantic Web and Ontologies
2. Algorithmic metatheorems for decidable LTL model checking over infinite systems
   2009/10/26 by Anthony Widjaja To, To, Anthony Widjaja, Leonid Libkin +1 · 1 citation
   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. Rel: A Programming Language for Relational Data
   2025/04/14 by Molham Aref, Paolo Guagliardo, George Kastrinis +13 · 1 voice
   Computer Science · #Advanced Database Systems and Queries #Data Management and Algorithms #Semantic Web and Ontologies #cs.DB #cs.PL