Ping Hou

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 25

Top Topics

Distributed Constraint Optimization

Top Venues

Briefings Bioinform.

Publications

Nobuko Yoshida, Ping Hou
Less is More Revisit. CoRR (2024)
Ping Hou, Nicolas Lagaillardie, Nobuko Yoshida
Fearless Asynchronous Communications with Timed Multiparty Session Protocols. CoRR (2024)
Chao Liu, Jingyu Lv, Ping Hou, Danrong Lu
Disclosing products' freshness level as a non-contractible quality: Optimal logistics service contracts in the fresh products supply chain. Eur. J. Oper. Res. 307 (3) (2023)
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures. ECOOP (2023)
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures. CoRR (2023)
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
Crash-Stop Failures in Asynchronous Multiparty Session Types. CoRR (2023)
Khoi D. Hoang, Ferdinando Fioretto, Ping Hou, William Yeoh, Makoto Yokoo, Roie Zivan
Proactive Dynamic Distributed Constraint Optimization Problems. J. Artif. Intell. Res. 74 (2022)
Ping Hou, Siqi Bao, Dandan Fan, Congcong Yan, Jianzhong Su, Jia Qu, Meng Zhou
Machine learning-based integrative analysis of methylome and transcriptome identifies novel prognostic DNA methylation signature in uveal melanoma. Briefings Bioinform. 22 (4) (2021)
Hengqiang Zhao, Shanshan Gu, Siqi Bao, Congcong Yan, Zicheng Zhang, Ping Hou, Meng Zhou, Jie Sun
Mechanistically derived patient-level framework for precision medicine identifies a personalized immune prognostic signature in high-grade serous ovarian cancer. Briefings Bioinform. 22 (3) (2021)
Zicheng Zhang, Siqi Bao, Congcong Yan, Ping Hou, Meng Zhou, Jie Sun
Computational principles and practice for decoding immune contexture in the tumor microenvironment. Briefings Bioinform. 22 (3) (2021)
Andrei Popescu, Peter Lammich, Ping Hou
CoCon: A Conference Management System with Formally Verified Document Confidentiality. J. Autom. Reason. 65 (2) (2021)
Meng Zhou, Zicheng Zhang, Siqi Bao, Ping Hou, Congcong Yan, Jianzhong Su, Jie Sun
Computational recognition of lncRNA signature of tumor-infiltrating B lymphocytes with potential implications in prognosis and immunotherapy of bladder cancer. Briefings Bioinform. 22 (3) (2021)
Ping Hou, Pei Guo, Peng Wu, Jianwu Wang, Aryya Gangopadhyay, Zhibo Zhang
A Deep Learning Model for Detecting Dust in Earth's Atmosphere from Satellite Remote Sensing Data. SMARTCOMP (2020)
Yin Zhang, Junhua Yan, Xuan Du, Xuehan Bai, Xiyang Zhi, Ping Hou, Yue Ma
Fusing deep learning and statistical visual features for no-reference image quality assessment. J. Electronic Imaging 29 (4) (2020)
Ping Hou, Jun Hu, Jie Gao, Peican Zhu
Stability Analysis for Memristor-Based Complex-Valued Neural Networks with Time Delays. Entropy 21 (2) (2019)
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
IClinfMRI Software for Integrating Functional MRI Techniques in Presurgical Mapping and Clinical Studies. Frontiers Neuroinformatics 12 (2018)
Ying Yi, Yue Zhao, Chunhua Li, Lin Zhang, Huiying Huang, Yana Li, Lanlan Liu, Ping Hou, Tianyu Cui, Puwen Tan, Yongfei Hu, Ting Zhang, Yan Huang, Xiaobo Li, Jia Yu, Dong Wang
RAID v2.0: an updated resource of RNA-associated interactions across organisms. Nucleic Acids Res. 45 (Database-Issue) (2017)
Christabel Wayllace, Ping Hou, William Yeoh
New Metrics and Algorithms for Stochastic Goal Recognition Design Problems. IJCAI (2017)
Khoi D. Hoang, Ping Hou, Ferdinando Fioretto, William Yeoh, Roie Zivan, Makoto Yokoo
Infinite-Horizon Proactive Dynamic DCOPs. AAMAS (2017)
Khoi D. Hoang, Ferdinando Fioretto, Ping Hou, Makoto Yokoo, William Yeoh, Roie Zivan
Proactive Dynamic DCOPs. AAAI Workshop: AI for Smart Grids and Smart Buildings (2016)
Ping Hou, William Yeoh, Pradeep Varakantham
Solving Risk-Sensitive POMDPs With and Without Cost Observations. AAAI (2016)
Khoi D. Hoang, Ferdinando Fioretto, Ping Hou, Makoto Yokoo, William Yeoh, Roie Zivan
Proactive Dynamic Distributed Constraint Optimization. AAMAS (2016)
Ping Hou
Probabilistic Planning with Risk-Sensitive Criterion. IJCAI (2016)
Christabel Wayllace, Ping Hou, William Yeoh, Tran Cao Son
Goal Recognition Design with Stochastic Agent Action Outcomes. IJCAI (2016)
Ping Hou
Probabilistic Planning with Risk-Sensitive Criterion. AAAI (2015)
Yifei Chen, Bingqing Han, Ping Hou
New feature selection methods based on context similarity for text categorization. FSKD (2014)
Ping Hou, William Yeoh, Tran Cao Son
Solving Uncertain MDPs by Reusing State Information and Plans. AAAI (2014)
Ping Hou, William Yeoh, Pradeep Varakantham
Revisiting Risk-Sensitive MDPs: New Algorithms and Results. ICAPS (2014)
Ping Hou, Yifei Chen
A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems. ARQNL@IJCAR (2014)
Ping Hou, Hao Zheng
Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems. LFCS (2013)
Ping Hou
Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems CoRR (2012)
Ping Hou, Johan Wittocx, Marc Denecker
LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions CoRR (2012)
Wen Zhou, Ping Hou, Yuxiang Zhou, Denise Chen
Reduced recruitment of orbitofrontal cortex to human social chemosensory cues in social anxiety. NeuroImage 55 (3) (2011)
Ping Hou, Broes De Cat, Marc Denecker
FO(FD): Extending classical logic with rule-based fixpoint definitions. Theory Pract. Log. Program. 10 (4-6) (2010)
Ping Hou, Broes De Cat, Marc Denecker
FO(FD): Extending classical logic with rule-based fixpoint definitions CoRR (2010)
Ping Hou, Marc Denecker
A Deductive System for FO(ID) Based on Least Fixpoint Logic. LPNMR (2009)
Ping Hou, Johan Wittocx, Marc Denecker
A Deductive System for PC(ID). LPNMR (2007)
Wenchuan Yang, Ping Hou, Yanyang Fan, Qiong Wu
The Research of an Intelligent Object-Oriented Prototype for Data Warehouse. ICIC (1) (2006)
Wenchuan Yang, Qiong Wu, Ping Hou, Yang Zhang
The research of a web-based network blocking prototype for next generation network. GrC (2006)
Wenchuan Yang, Qiong Wu, Ping Hou, Fei Cui
The Research of a Processing Prototype for NGN Congestion. AMT (2006)
Ping Hou
Some Representation Theorems for Recovering Contraction Relations. J. Comput. Sci. Technol. 20 (4) (2005)
Benjamin Belzer, Allen D. Risley, Ping Hou, Thomas R. Fischer
Capacity of AM-PSK on partially coherent fading channels. IEEE Trans. Commun. 50 (3) (2002)
Ping Hou, Benjamin Belzer, Thomas R. Fischer
Shaping gain of the partially coherent additive white Gaussian noise channel. IEEE Commun. Lett. 6 (5) (2002)
Ali Saberi, Ping Hou, Anton A. Stoorvogel
On simultaneous global external and global internal stabilization of critically unstable linear systems with saturating actuators. IEEE Trans. Autom. Control. 45 (6) (2000)
Ping Hou, Ali Saberi, Zongli Lin, Peddapullaiah Sannuti
Simultaneous External and Internal Stabilization for Continuous and Discrete-Time Critically Unstable Linear Systems with Saturating Actuators. Autom. 34 (12) (1998)