Yanhong A. Liu

From MaRDI portal
Person:216151

Available identifiers

zbMath Open liu.yanhong-annieMaRDI QIDQ216151

List of research outcomes





PublicationDate of PublicationType
Brief Announcement: What's Live? Understanding Distributed Consensus2024-03-26Paper
Recursive rules with aggregation: a simple unified semantics2023-01-04Paper
Recursive rules with aggregation: a simple unified semantics2022-07-01Paper
Knowledge of uncertain worlds: programming with logical constraints2022-02-08Paper
https://portal.mardi4nfdi.de/entity/Q50209802022-01-11Paper
https://portal.mardi4nfdi.de/entity/Q50205602022-01-06Paper
Founded semantics and constraint semantics of logic rules2020-12-15Paper
Knowledge of uncertain worlds: programming with logical constraints2020-05-06Paper
Formal verification of Multi-Paxos for distributed consensus2020-01-03Paper
Automatic accurate cost-bound analysis for high-level languages2018-07-09Paper
Founded semantics and constraint semantics of logic rules2018-04-06Paper
Precise complexity guarantees for pointer analysis via Datalog with extensions2017-11-09Paper
Iterate, Incrementalize, and Implement: A Systematic Approach to Efficiency Improvement and Guarantees2013-04-19Paper
Generating Specialized Rules and Programs for Demand-Driven Analysis2009-01-27Paper
Verification, Model Checking, and Abstract Interpretation2007-02-12Paper
https://portal.mardi4nfdi.de/entity/Q48086942004-08-12Paper
Dynamic programming via static incrementalization2003-08-21Paper
Eliminating dead code on recursive data.2003-08-07Paper
https://portal.mardi4nfdi.de/entity/Q44143812003-07-25Paper
https://portal.mardi4nfdi.de/entity/Q47787042002-11-19Paper
Strengthening invariants for efficient computation2002-07-22Paper
https://portal.mardi4nfdi.de/entity/Q45317612002-05-23Paper
https://portal.mardi4nfdi.de/entity/Q27540892001-11-11Paper
Efficiency by incrmentalization: An introduction2001-11-06Paper
Systematic derivation of incremental programs1995-06-08Paper

Research outcomes over time

This page was built for person: Yanhong A. Liu

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:216151&oldid=6650806"
Powered by MediaWiki