default search action

combined dblp search
author search
venue search
publication search

ask others

Yue Li 0021

> Home > Persons

Person information

affiliation: Heriot-Watt University, School of Mathematical and Computer Sciences, Edinburgh, UK

Other persons with the same name

see FAQ

Yue Li — disambiguation page
Yue Li 0001 — California Institute of Technology, Pasadena, CA, USA (and 1 more)
Yue Li 0002 — College of William & Mary, Williamsburg, VA, USA
Yue Li 0003 — Jilin University, Department of Information, College of Communication Engineering, Changchun, China
Yue Li 0004 — City University of Hong Kong, Department of Mechanical and Biomedical Engineering, Hong Kong
Yue Li 0005 — Purdue University, West Lafayette, IN, USA
Yue Li 0006 — Nanjing University, China (and 2 more)
Yue Li 0007 — University of Victoria, Department of Electrical and Computer Engineering, BC, Canada
Yue Li 0008 — Hong Kong University of Science and Technology, Department of Electrical and Computer Engineering, Hong Kong
Yue Li 0009 — Tsinghua University, Department of Electronic Engineering, Microwave and Antenna Institute, Beijing, China

Yue Li 0010 — Donghua University, School of Computer Science and Technology, Shanghai, China (and 1 more)
Yue Li 0011 — University of Rennes 1, France
Yue Li 0012 — University of Karlsruhe, Germany
Yue Li 0013 — Nankai University, College of Software, Tianjin, China (and 1 more)
Yue Li 0014 — Pennsylvania State University, Department of Mechanical and Nuclear Engineering, University Park, PA, USA
Yue Li 0015 — Bytedance Inc., San Diego, CA, USA (and 1 more)
Yue Li 0016 — Hunan University, School of Information Science and Engineering, Changsha, China
Yue Li 0017 — Massachusetts Institute of Technology, Computer Science and Artificial Intelligence Laboratory, Boston, MA, USA (and 1 more)
Yue Li 0018 — Harbin Institute of Technology, Communications Engineering Research Center, Shenzhen, China
Yue Li 0019 — Florida International University, School of Computing and Information Sciences, Miami, FL, USA (and 2 more)
Yue Li 0020 — Wuhan University of Science and Engineering, Wuhan, China
Yue Li 0022 — Naval Aviation University, College of Basic Science for Aviation, Yantai, China
Yue Li 0023 — Xi'an Jiaotong-Liverpool University, Suzhou, China (and 1 more)
Yue Li 0024 — Nanyang Technological University, School of Electrical and Electronic Engineering, Singapore
Yue Li 0025 — Chinese University of Hong Kong, Department of Geography and Resource Management, Hong Kong
Yue Li 0026 — University College Dublin, School of Electrical and Electronic Engineering, Dublin, Ireland
Yue Li 0027 — Nanjing University of Aeronautics and Astronautics, College of Automation Engineering, Nanjing, China
Yue Li 0028 — Capital Normal University, Information Engineering College, Beijing, China
Yue Li 0029 — University of Science and Technology Beijing, School of Computer and Communication Engineering, Beijing, China
Yue Li 0030 — Zhejiang University, College of Electrical Engineering, Hangzhou, China
Yue Li 0031 — Case Western Reserve University, Department of Civil Engineering, Cleveland, OH, USA (and 1 more)
Yue Li 0032 — National University of Defense Technology, Laboratory of Science and Technology on Integrated Logistics Support, Changsha, China
Yue Li 0033 — AIG Software, Jersey City, NJ, USA (and 1 more)
Yue Li 0034 — University of New South Wales, UNSW, School of Electrical Engineering and Telecommunications, Sydney, Australia
Yue Li 0035 — Télécom ParisTech, INFRES, France,
Yue Li 0036 — University of Amsterdam, Atlas Lab, The Netherlands (and 1 more)
Yue Li 0037 — Peking University, School of Computer Science, HCST, Beijing, China

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[b1]
- view
  - electronic edition @ bl.uk
  - details & citations
- export record
  dblp key:
  - phd/ethos/Li19i
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Li19i
Yue Li:
A proof-theoretic approach to coinduction in Horn clause logic. Heriot-Watt University, UK, 2019
[c3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/BasoldKL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BasoldKL19
Henning Basold, Ekaterina Komendantskaya, Yue Li:
Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses. ESOP 2019: 783-813
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1903-07371
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-07371
Ekaterina Komendantskaya, Yue Li:
Coinductive Uniform Proofs. CoRR abs/1903.07371 (2019)
2018
[c2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1809-04771
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-04771
Ekaterina Komendantskaya, Yue Li:
Towards Coinductive Theory Exploration in Horn Clause Logic: Position Paper. HCVS 2018: 27-33
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1811-07644
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-07644
Henning Basold, Ekaterina Komendantskaya, Yue Li:
Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses. CoRR abs/1811.07644 (2018)
2017
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/KomendantskayaL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/KomendantskayaL17
Ekaterina Komendantskaya, Yue Li:
Productive corecursion in logic programming. Theory Pract. Log. Program. 17(5-6): 906-923 (2017)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/KomendantskayaL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KomendantskayaL17
Ekaterina Komendantskaya, Yue Li:
Productive Corecursion in Logic Programming. CoRR abs/1707.01541 (2017)
2016
[c1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Li17l
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Li17l
Yue Li:
Structural Resolution with Co-inductive Loop Detection. CoALP-Ty 2016: 52-67

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.