Leonid Libkin

Identifiers

• name variant Leonid Libkin 0.60 · backfill

Papers (7)

1. Data Context Informed Data Wrangling cs.DB · 2018 · author #8
2. Formal Semantics of the Language Cypher cs.DB · 2018 · author #4
3. Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151) cs.DB · 2017 · author #10
4. Graph Logics with Rational Relations cs.FL · 2013 · author #3
5. Parameterized Regular Expressions and their Languages cs.FL · 2011 · author #2
6. Algorithmic metatheorems for decidable LTL model checking over infinite systems cs.LO · 2009 · author #2
7. Logics for Unranked Trees: An Overview cs.LO · 2006 · author #1

Mentions

• 1304.4150 #3 · backfill · confidence 0.70 Leonid Libkin
• 1107.0577 #2 · backfill · confidence 0.70 Leonid Libkin
• 0910.4932 #2 · backfill · confidence 0.70 Leonid Libkin

Frequent Coauthors

• Pablo Barcel\'o 2 shared papers
• Alastair Green 1 shared papers
• Alex Bogatu 1 shared papers
• Alvaro A. A. Fernandes 1 shared papers
• Andr\'es Taylor 1 shared papers
• Anthony Widjaja To 1 shared papers
• Benny Kimelfeld 1 shared papers
• Claire David 1 shared papers
• Cristina Civili 1 shared papers
• Dan Suciu 1 shared papers
• Diego Calvanese 1 shared papers
• Diego Figueira 1 shared papers
• Edward Abel 1 shared papers
• Eyke H\"ullermeier 1 shared papers
• Filip Murlak 1 shared papers
• Frank Neven 1 shared papers
• Jianwen Su 1 shared papers
• John Keane 1 shared papers
• Juan Reutter 1 shared papers
• Julia Stoyanovich 1 shared papers