Ping Hou

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