Leonid Libkin
Computer Networks and Communications · 2004–2018
A researcher in the Science corpus: 5 papers; trusts 2 researchers and is trusted by 8 researchers here, as inferred from the citation graph.
Subfields
- Computer Networks and Communications — 9 citations into it; #3,744 of 9,886 by trust here, #5,733 by citations
Whom Leonid Libkin trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Leonid Libkin overall
Papers from Leonid Libkin's perspective
Ordered by how strongly the researchers Leonid Libkin trusts endorse each paper. Same corpus, a different order for every researcher.
- Updating XML (ACM SIGMOD Conference)
- YAGO: A Core of Semantic Knowledge Unifying WordNet and Wikipedia
- Survey of graph database models
- Semantics and complexity of SPARQL (TODS)
- LUBM: A benchmark for OWL knowledge base systems (Journal of Web Semantics)
- An optimal lower bound on the number of variables for graph identification
- The Berlin SPARQL Benchmark (International Journal on Semantic Web and Information Systems (IJSWIS))
- Efficiently Compiling Efficient Query Plans for Modern Hardware (Proceedings of the VLDB Endowment)
- Dynamic logic (SIGA)
- Complexity and expressive power of logic programming
Their papers
- Cypher: An Evolving Query Language for Property Graphs (2018) — 744 citations
- TriAL (2018) — 762 citations
- A normal form for XML documents (2004) — 342 citations
- Elements of Finite Model Theory (2004) — 1,088 citations
- Elements Of Finite Model Theory (Texts in Theoretical Computer Science. An Eatcs Series) (2004) — 402 citations