default search action
Ping Hou
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j20]Nicolas Lagaillardie, Ping Hou, Nobuko Yoshida:
Fearless Asynchronous Communications with Timed Session Types in Rust (Artifact). Dagstuhl Artifacts Ser. 10(2): 10:1-10:3 (2024) - [c21]Ping Hou, Nicolas Lagaillardie, Nobuko Yoshida:
Fearless Asynchronous Communications with Timed Multiparty Session Protocols. ECOOP 2024: 19:1-19:30 - [i7]Nobuko Yoshida, Ping Hou:
Less is More Revisit. CoRR abs/2402.16741 (2024) - [i6]Ping Hou, Nicolas Lagaillardie, Nobuko Yoshida:
Fearless Asynchronous Communications with Timed Multiparty Session Protocols. CoRR abs/2406.19541 (2024) - 2023
- [j19]Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou:
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact). Dagstuhl Artifacts Ser. 9(2): 09:1-09:3 (2023) - [j18]Chao Liu
, Jingyu Lv
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): 1085-1102 (2023) - [c20]Adam D. Barwell
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures. ECOOP 2023: 1:1-1:30 - [d1]Adam D. Barwell
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact). Zenodo, 2023 - [i5]Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou:
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures. CoRR abs/2305.06238 (2023) - [i4]Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou:
Crash-Stop Failures in Asynchronous Multiparty Session Types. CoRR abs/2311.11851 (2023) - 2022
- [j17]Khoi D. Hoang, Ferdinando Fioretto, Ping Hou, William Yeoh
Proactive Dynamic Distributed Constraint Optimization Problems. J. Artif. Intell. Res. 74: 179-225 (2022) - 2021
- [j16]Zicheng Zhang, Siqi Bao, Congcong Yan, Ping Hou, Meng Zhou
Computational principles and practice for decoding immune contexture in the tumor microenvironment. Briefings Bioinform. 22(3) (2021) - [j15]Hengqiang Zhao, Shanshan Gu
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) - [j14]Meng Zhou
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) - [j13]Ping Hou, Siqi Bao, Dandan Fan
Machine learning-based integrative analysis of methylome and transcriptome identifies novel prognostic DNA methylation signature in uveal melanoma. Briefings Bioinform. 22(4) (2021) - [j12]Andrei Popescu, Peter Lammich
CoCon: A Conference Management System with Formally Verified Document Confidentiality. J. Autom. Reason. 65(2): 321-356 (2021) - 2020
- [j11]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): 043011 (2020) - [c19]Ping Hou, Pei Guo, Peng Wu
A Deep Learning Model for Detecting Dust in Earth's Atmosphere from Satellite Remote Sensing Data. SMARTCOMP 2020: 196-201
2010 – 2019
- 2019
- [j10]Ping Hou, Jun Hu, Jie Gao, Peican Zhu
Stability Analysis for Memristor-Based Complex-Valued Neural Networks with Time Delays. Entropy 21(2): 120 (2019) - 2018
- [j9]Ai-Ling Hsu
IClinfMRI Software for Integrating Functional MRI Techniques in Presurgical Mapping and Clinical Studies. Frontiers Neuroinformatics 12: 11 (2018) - 2017
- [j8]Ying Yi, Yue Zhao, Chunhua Li
RAID v2.0: an updated resource of RNA-associated interactions across organisms. Nucleic Acids Res. 45(Database-Issue): D115-D118 (2017) - [c18]Khoi D. Hoang, Ping Hou, Ferdinando Fioretto, William Yeoh, Roie Zivan, Makoto Yokoo:
Infinite-Horizon Proactive Dynamic DCOPs. AAMAS 2017: 212-220 - [c17]Christabel Wayllace, Ping Hou, William Yeoh
New Metrics and Algorithms for Stochastic Goal Recognition Design Problems. IJCAI 2017: 4455-4462 - 2016
- [c16]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 - [c15]Ping Hou, William Yeoh, Pradeep Varakantham:
Solving Risk-Sensitive POMDPs With and Without Cost Observations. AAAI 2016: 3138-3144 - [c14]Khoi D. Hoang, Ferdinando Fioretto, Ping Hou, Makoto Yokoo, William Yeoh, Roie Zivan:
Proactive Dynamic Distributed Constraint Optimization. AAMAS 2016: 597-605 - [c13]Christabel Wayllace, Ping Hou, William Yeoh, Tran Cao Son:
Goal Recognition Design with Stochastic Agent Action Outcomes. IJCAI 2016: 3279-3285 - [c12]Ping Hou:
Probabilistic Planning with Risk-Sensitive Criterion. IJCAI 2016: 3996-3997 - 2015
- [c11]Ping Hou:
Probabilistic Planning with Risk-Sensitive Criterion. AAAI 2015: 4241-4242 - 2014
- [c10]Ping Hou, William Yeoh, Tran Cao Son:
Solving Uncertain MDPs by Reusing State Information and Plans. AAAI 2014: 2285-2292 - [c9]Ping Hou, William Yeoh, Pradeep Varakantham:
Revisiting Risk-Sensitive MDPs: New Algorithms and Results. ICAPS 2014 - [c8]Ping Hou, Yifei Chen:
A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems. ARQNL@IJCAR 2014: 17-30 - [c7]Yifei Chen, Bingqing Han, Ping Hou:
New feature selection methods based on context similarity for text categorization. FSKD 2014: 598-604 - 2013
- [c6]Ping Hou, Hao Zheng:
Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems. LFCS 2013: 234-251 - 2012
- [i3]Ping Hou:
Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems. CoRR abs/1207.2531 (2012) - [i2]Ping Hou, Johan Wittocx, Marc Denecker:
LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions. CoRR abs/1207.2534 (2012) - 2011
- [j7]Wen Zhou
Reduced recruitment of orbitofrontal cortex to human social chemosensory cues in social anxiety. NeuroImage 55(3): 1401-1406 (2011) - 2010
- [j6]Ping Hou, Broes De Cat, Marc Denecker
FO(FD): Extending classical logic with rule-based fixpoint definitions. Theory Pract. Log. Program. 10(4-6): 581-596 (2010) - [i1]Ping Hou, Broes De Cat, Marc Denecker:
FO(FD): Extending classical logic with rule-based fixpoint definitions. CoRR abs/1007.3819 (2010)
2000 – 2009
- 2009
- [c5]Ping Hou, Marc Denecker
A Deductive System for FO(ID) Based on Least Fixpoint Logic. LPNMR 2009: 129-141 - 2007
- [c4]Ping Hou, Johan Wittocx, Marc Denecker
A Deductive System for PC(ID). LPNMR 2007: 162-174 - 2006
- [c3]Wenchuan Yang, Qiong Wu, Ping Hou, Fei Cui:
The Research of a Processing Prototype for NGN Congestion. AMT 2006: 307-310 - [c2]Wenchuan Yang, Qiong Wu, Ping Hou, Yang Zhang:
The research of a web-based network blocking prototype for next generation network. GrC 2006: 357-360 - [c1]Wenchuan Yang, Ping Hou, Yanyang Fan, Qiong Wu:
The Research of an Intelligent Object-Oriented Prototype for Data Warehouse. ICIC (1) 2006: 1300-1305 - 2005
- [j5]Ping Hou:
Some Representation Theorems for Recovering Contraction Relations. J. Comput. Sci. Technol. 20(4): 536-541 (2005) - 2002
- [j4]Ping Hou, Benjamin Belzer, Thomas R. Fischer:
Shaping gain of the partially coherent additive white Gaussian noise channel. IEEE Commun. Lett. 6(5): 175-177 (2002) - [j3]Benjamin Belzer, Allen D. Risley, Ping Hou, Thomas R. Fischer:
Capacity of AM-PSK on partially coherent fading channels. IEEE Trans. Commun. 50(3): 369-373 (2002) - 2000
- [j2]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): 1042-1052 (2000)
1990 – 1999
- 1998
- [j1]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): 1547-1557 (1998)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-20 20:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: