Concepedia

Li-Yan Yuan

LY

Statistics

Publications

14

Citations

446

H-Index

12

Active since

1985

Affiliations

University of Alberta(Current)

Chinese Academy of Sciences

Case Western Reserve University

Chongqing University

Institute of Software

Li-Yan Yuan is an author at University of Alberta specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningLogic ProgrammingFormal VerificationData ManagementProgram AnalysisComputer EngineeringSemantics

Publications per year

1985–2015

14

Publications

14

A new normal form for nested relations

Z. Meral Özsoyoğlu, Li-Yan Yuan · ACM Transactions on Database Systems · 1987 · 153 citations · Full text

Algebraic Logic, Tree Language, Syntax +13

A normal form for nested relations

Z. Meral Özsoyoğlu, Li-Yan Yuan · 1985 · 55 citations · Full text

Survey of Large-Scale Data Management Systems for Big Data Applications

Lengdong Wu, Li-Yan Yuan, Jia-Huai You · Journal of Computer Science and Technology · 2015 · 48 citations

Big Data Acquisition, Data Modeling, Engineering +10

Implementation of a Linear Tabling Mechanism

Neng‐Fa Zhou, Yi-Dong Shen, Li-Yan Yuan et al. · Lecture notes in computer science · 1999 · 28 citations

Linear tabulated resolution based on Prolog control strategy

Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You et al. · Theory and Practice of Logic Programming · 2001 · 25 citations

Mathematical Programming, Applied Logic, Engineering +17

1–5 of 14