Yanhong A. Liu

Available identifiers

zbMath Open liu.yanhong-annieMaRDI QIDQ216151

List of research outcomes

Publication	Date of Publication	Type
Brief Announcement: What's Live? Understanding Distributed Consensus	2024-03-26	Paper
Recursive rules with aggregation: a simple unified semantics	2023-01-04	Paper
Recursive rules with aggregation: a simple unified semantics	2022-07-01	Paper
Knowledge of uncertain worlds: programming with logical constraints	2022-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q5020980	2022-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q5020560	2022-01-06	Paper
Founded semantics and constraint semantics of logic rules	2020-12-15	Paper
Knowledge of uncertain worlds: programming with logical constraints	2020-05-06	Paper
Formal verification of Multi-Paxos for distributed consensus	2020-01-03	Paper
Automatic accurate cost-bound analysis for high-level languages	2018-07-09	Paper
Founded semantics and constraint semantics of logic rules	2018-04-06	Paper
Precise complexity guarantees for pointer analysis via Datalog with extensions	2017-11-09	Paper
Iterate, Incrementalize, and Implement: A Systematic Approach to Efficiency Improvement and Guarantees	2013-04-19	Paper
Generating Specialized Rules and Programs for Demand-Driven Analysis	2009-01-27	Paper
Verification, Model Checking, and Abstract Interpretation	2007-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q4808694	2004-08-12	Paper
Dynamic programming via static incrementalization	2003-08-21	Paper
Eliminating dead code on recursive data.	2003-08-07	Paper
https://portal.mardi4nfdi.de/entity/Q4414381	2003-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4778704	2002-11-19	Paper
Strengthening invariants for efficient computation	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4531761	2002-05-23	Paper
https://portal.mardi4nfdi.de/entity/Q2754089	2001-11-11	Paper
Efficiency by incrmentalization: An introduction	2001-11-06	Paper
Systematic derivation of incremental programs	1995-06-08	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Yanhong A. Liu