Simultaneous External and Internal Stabilization for Continuous and Discrete-Time Critically Unstable Linear Systems with Saturating Actuators. - Ping Hou; Ali Saberi; Zongli Lin; Peddapullaiah Sannuti (Autom., 1998)

On simultaneous global external and global internal stabilization of critically unstable linear systems with saturating actuators. - Ali Saberi; Ping Hou; Anton A. Stoorvogel (IEEE Trans. Autom. Control., 2000)

Shaping gain of the partially coherent additive white Gaussian noise channel. - Ping Hou; Benjamin Belzer; Thomas R. Fischer (IEEE Commun. Lett., 2002)

Capacity of AM-PSK on partially coherent fading channels. - Benjamin Belzer; Allen D. Risley; Ping Hou; Thomas R. Fischer (IEEE Trans. Commun., 2002)

Some Representation Theorems for Recovering Contraction Relations. - Ping Hou (J. Comput. Sci. Technol., 2005)

The Research of a Processing Prototype for NGN Congestion. - Wenchuan Yang; Qiong Wu; Ping Hou; Fei Cui (AMT, 2006)

The research of a web-based network blocking prototype for next generation network. - Wenchuan Yang; Qiong Wu; Ping Hou; Yang Zhang (GrC, 2006)

The Research of an Intelligent Object-Oriented Prototype for Data Warehouse. - Wenchuan Yang; Ping Hou; Yanyang Fan; Qiong Wu (ICIC (1), 2006)

A Deductive System for PC(ID). - Ping Hou; Johan Wittocx; Marc Denecker (LPNMR, 2007)

A Deductive System for FO(ID) Based on Least Fixpoint Logic. - Ping Hou; Marc Denecker (LPNMR, 2009)

FO(FD): Extending classical logic with rule-based fixpoint definitions. - Ping Hou; Broes De Cat; Marc Denecker (Theory Pract. Log. Program., 2010)

Reduced recruitment of orbitofrontal cortex to human social chemosensory cues in social anxiety. - Wen Zhou 003; Ping Hou; Yuxiang Zhou; Denise Chen (NeuroImage, 2011)

Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems - Ping Hou (CoRR, 2012)

LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions - Ping Hou; Johan Wittocx; Marc Denecker (CoRR, 2012)

Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems. - Ping Hou; Hao Zheng (LFCS, 2013)

Solving Uncertain MDPs by Reusing State Information and Plans. - Ping Hou; William Yeoh 001; Tran Cao Son (AAAI, 2014)

Revisiting Risk-Sensitive MDPs: New Algorithms and Results. - Ping Hou; William Yeoh 001; Pradeep Varakantham (ICAPS, 2014)

A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems. - Ping Hou; Yifei Chen (ARQNL@IJCAR, 2014)

New feature selection methods based on context similarity for text categorization. - Yifei Chen; Bingqing Han; Ping Hou (FSKD, 2014)

Probabilistic Planning with Risk-Sensitive Criterion. - Ping Hou (AAAI, 2015)

Proactive Dynamic DCOPs. - Khoi D. Hoang; Ferdinando Fioretto; Ping Hou; Makoto Yokoo; William Yeoh 001; Roie Zivan (AAAI Workshop: AI for Smart Grids and Smart Buildings, 2016)

Solving Risk-Sensitive POMDPs With and Without Cost Observations. - Ping Hou; William Yeoh 001; Pradeep Varakantham (AAAI, 2016)

Proactive Dynamic Distributed Constraint Optimization. - Khoi D. Hoang; Ferdinando Fioretto; Ping Hou; Makoto Yokoo; William Yeoh 001; Roie Zivan (AAMAS, 2016)

Goal Recognition Design with Stochastic Agent Action Outcomes. - Christabel Wayllace; Ping Hou; William Yeoh 001; Tran Cao Son (IJCAI, 2016)

Infinite-Horizon Proactive Dynamic DCOPs. - Khoi D. Hoang; Ping Hou; Ferdinando Fioretto; William Yeoh 001; Roie Zivan; Makoto Yokoo (AAMAS, 2017)

New Metrics and Algorithms for Stochastic Goal Recognition Design Problems. - Christabel Wayllace; Ping Hou; William Yeoh 001 (IJCAI, 2017)

RAID v2.0: an updated resource of RNA-associated interactions across organisms. - Ying Yi; Yue Zhao; Chunhua Li 004; Lin Zhang; Huiying Huang; Yana Li; Lanlan Liu; Ping Hou; Tianyu Cui; Puwen Tan; Yongfei Hu; Ting Zhang; et al. (Nucleic Acids Res., 2017)

IClinfMRI Software for Integrating Functional MRI Techniques in Presurgical Mapping and Clinical Studies. - Ai-Ling Hsu; Ping Hou; Jason M. Johnson; Changwei W. Wu; Kyle R. Noll; Sujit S. Prabhu; Sherise D. Ferguson; Vinodh A. Kumar; Donald F. Schomer; John D. Hazle; Jyh-Horng Chen; Ho-Ling Liu (Frontiers Neuroinformatics, 2018)

Stability Analysis for Memristor-Based Complex-Valued Neural Networks with Time Delays. - Ping Hou; Jun Hu; Jie Gao; Peican Zhu (Entropy, 2019)

A Deep Learning Model for Detecting Dust in Earth's Atmosphere from Satellite Remote Sensing Data. - Ping Hou; Pei Guo; Peng Wu; Jianwu Wang 001; Aryya Gangopadhyay; Zhibo Zhang (SMARTCOMP, 2020)

Fusing deep learning and statistical visual features for no-reference image quality assessment. - Yin Zhang; Junhua Yan; Xuan Du; Xuehan Bai; Xiyang Zhi; Ping Hou; Yue Ma (J. Electronic Imaging, 2020)

Machine learning-based integrative analysis of methylome and transcriptome identifies novel prognostic DNA methylation signature in uveal melanoma. - Ping Hou; Siqi Bao; Dandan Fan; Congcong Yan; Jianzhong Su; Jia Qu; Meng Zhou 003 (Briefings Bioinform., 2021)

Computational principles and practice for decoding immune contexture in the tumor microenvironment. - Zicheng Zhang; Siqi Bao; Congcong Yan; Ping Hou; Meng Zhou 003; Jie Sun 021 (Briefings Bioinform., 2021)

Mechanistically derived patient-level framework for precision medicine identifies a personalized immune prognostic signature in high-grade serous ovarian cancer. - Hengqiang Zhao; Shanshan Gu; Siqi Bao; Congcong Yan; Zicheng Zhang; Ping Hou; Meng Zhou 003; Jie Sun 021 (Briefings Bioinform., 2021)

Computational recognition of lncRNA signature of tumor-infiltrating B lymphocytes with potential implications in prognosis and immunotherapy of bladder cancer. - Meng Zhou 003; Zicheng Zhang; Siqi Bao; Ping Hou; Congcong Yan; Jianzhong Su; Jie Sun 021 (Briefings Bioinform., 2021)

CoCon: A Conference Management System with Formally Verified Document Confidentiality. - Andrei Popescu 001; Peter Lammich; Ping Hou (J. Autom. Reason., 2021)

Proactive Dynamic Distributed Constraint Optimization Problems. - Khoi D. Hoang; Ferdinando Fioretto; Ping Hou; William Yeoh 001; Makoto Yokoo; Roie Zivan (J. Artif. Intell. Res., 2022)

Designing Asynchronous Multiparty Protocols with Crash-Stop Failures. - Adam D. Barwell; Ping Hou; Nobuko Yoshida; Fangyi Zhou 002 (ECOOP, 2023)

Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact). - Adam D. Barwell; Ping Hou; Nobuko Yoshida; Fangyi Zhou 002 (Dagstuhl Artifacts Ser., 2023)

Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact). - Adam D. Barwell; Ping Hou; Nobuko Yoshida; Fangyi Zhou 002 (Zenodo, 2023)

Disclosing products' freshness level as a non-contractible quality: Optimal logistics service contracts in the fresh products supply chain. - Chao Liu 047; Jingyu Lv; Ping Hou; Danrong Lu (Eur. J. Oper. Res., 2023)

Fearless Asynchronous Communications with Timed Multiparty Session Protocols. - Ping Hou; Nicolas Lagaillardie; Nobuko Yoshida (ECOOP, 2024)

Less is More Revisit. - Nobuko Yoshida; Ping Hou (CoRR, 2024)

Fearless Asynchronous Communications with Timed Session Types in Rust (Artifact). - Nicolas Lagaillardie; Ping Hou; Nobuko Yoshida (Dagstuhl Artifacts Ser., 2024)

Less is More Revisited: Association with Global Multiparty Session Types. - Nobuko Yoshida; Ping Hou (The Practice of Formal Methods (II), 2024)

Encoding Choice and Replication in $ mathtt{ textbf{roll}} text {-} pi $. - Adam D. Barwell; Ping Hou; Martin Vassor; Nobuko Yoshida (RC, 2025)

Crash-Stop Failures in Asynchronous Multiparty Session Types. - Adam D. Barwell; Ping Hou; Nobuko Yoshida; Fangyi Zhou 002 (Log. Methods Comput. Sci., 2025)

Pilot Assignment in NOMA-Aided Cell-Free mMIMO Systems: A Hypergraph Coloring Scheme. - Qin Wang 002; Haotian Chang; Ping Hou; Hui Zhang 034; Haitao Zhao 004; Hongbo Zhu 002 (IEEE Wirel. Commun. Lett., 2025)

Distributed Spectrum Sharing in UAV-Assisted HetNet Considering Interference Coordination: A Two-Level Stackelberg Game Approach. - Qin Wang 002; Jiaying Qian; Ping Hou; Haitao Zhao 004; Hongbo Zhu 002 (IEEE Internet Things J., 2025)