◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Y. Liu

25 papers hereh-index 251.8k citations122 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author1
  • first author11
  • middle author5
  • last author8

Across the 25 of 25 papers where every author was matched, so the position is known.

fields
  • cs.PL9
  • cs.DC5
  • cs.LO4
  • cs.CR2
  • cs.PF2
  • cs.CY1
same name
  • Y. Liu — 526 papers
  • Y. Liu — 480 papers, h 51
  • Y. Liu — 340 papers, h 9
  • Y. Liu — 298 papers
  • Y. Liu — 286 papers
  • Y. Liu — 236 papers, h 146

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20102023
most citedFormal Verification of Multi-Paxos for Distributed Consensus

43 citations · 157 across the 25 of their papers we have counts for

collaborators
Showing 2017 · cs.PLShow all

1 paper · 2 filters

cs.PL2017★ 1 cited

AppLP: A Dialogue on Applications of Logic Programming

David S. Warren, Yanhong A. Liu

This document describes the contributions of the 2016 Applications of Logic Programming Workshop (AppLP), which was held on October 17 and associated with the International Confere…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.