Ping Hou

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Proactive Dynamic Distributed Constraint Optimization Problems Journal of Artificial Intelligence Research	2022-08-02	Paper
Quantified differential temporal dynamic logic for verifying properties of distributed hybrid systems Logical Foundations of Computer Science	2015-12-11	Paper
A logic of fixpoint definitions	2011-08-24	Paper
\(FO(FD)\): extending classical logic with rule-based fixpoint definitions Theory and Practice of Logic Programming	2010-08-19	Paper
A Deductive System for FO(ID) Based on Least Fixpoint Logic Logic Programming and Nonmonotonic Reasoning	2009-11-10	Paper
Optimal control of the insurance company with proportional reinsurance policy under solvency constraints Insurance Mathematics & Economics	2009-01-16	Paper
A Deductive System for PC(ID) Logic Programming and Nonmonotonic Reasoning	2007-11-13	Paper
On simultaneous global external and global internal stabilization of critically unstable linear systems with saturating actuators IEEE Transactions on Automatic Control	2000-10-17	Paper
Simultaneous external and internal stabilization for continuous and discrete-time critically unstable linear systems with saturating actuators Automatica	2000-06-07	Paper
scientific article; zbMATH DE number 1282090 (Why is no real title available?)	2000-06-07	Paper

Research outcomes over time

This page was built for person: Ping Hou