Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ping Hou
@article{DBLP:journals/corr/abs-2402-16741,
author = {Nobuko Yoshida and
Ping Hou},
title = {Less is More Revisit},
journal = {CoRR},
volume = {abs/2402.16741},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.16741},
doi = {10.48550/ARXIV.2402.16741},
eprinttype = {arXiv},
eprint = {2402.16741},
timestamp = {Mon, 25 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-16741.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/BarwellHY023,
author = {Adam D. Barwell and
Ping Hou and
Nobuko Yoshida and
Fangyi Zhou},
title = {Designing Asynchronous Multiparty Protocols with Crash-Stop Failures
(Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {9},
number = {2},
pages = {09:1--09:3},
year = {2023},
url = {https://doi.org/10.4230/DARTS.9.2.9},
doi = {10.4230/DARTS.9.2.9},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/BarwellHY023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/LiuLHL23,
author = {Chao Liu and
Jingyu Lv and
Ping Hou and
Danrong Lu},
title = {Disclosing products' freshness level as a non-contractible quality:
Optimal logistics service contracts in the fresh products supply chain},
journal = {Eur. J. Oper. Res.},
volume = {307},
number = {3},
pages = {1085--1102},
year = {2023},
url = {https://doi.org/10.1016/j.ejor.2022.09.024},
doi = {10.1016/J.EJOR.2022.09.024},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eor/LiuLHL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BarwellHY023,
author = {Adam D. Barwell and
Ping Hou and
Nobuko Yoshida and
Fangyi Zhou},
editor = {Karim Ali and
Guido Salvaneschi},
title = {Designing Asynchronous Multiparty Protocols with Crash-Stop Failures},
booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
July 17-21, 2023, Seattle, Washington, United States},
series = {LIPIcs},
volume = {263},
pages = {1:1--1:30},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.1},
doi = {10.4230/LIPICS.ECOOP.2023.1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/BarwellHY023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-06238,
author = {Adam D. Barwell and
Ping Hou and
Nobuko Yoshida and
Fangyi Zhou},
title = {Designing Asynchronous Multiparty Protocols with Crash-Stop Failures},
journal = {CoRR},
volume = {abs/2305.06238},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.06238},
doi = {10.48550/ARXIV.2305.06238},
eprinttype = {arXiv},
eprint = {2305.06238},
timestamp = {Tue, 16 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-06238.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-11851,
author = {Adam D. Barwell and
Ping Hou and
Nobuko Yoshida and
Fangyi Zhou},
title = {Crash-Stop Failures in Asynchronous Multiparty Session Types},
journal = {CoRR},
volume = {abs/2311.11851},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.11851},
doi = {10.48550/ARXIV.2311.11851},
eprinttype = {arXiv},
eprint = {2311.11851},
timestamp = {Thu, 23 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-11851.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/HoangFHYYZ22,
author = {Khoi D. Hoang and
Ferdinando Fioretto and
Ping Hou and
William Yeoh and
Makoto Yokoo and
Roie Zivan},
title = {Proactive Dynamic Distributed Constraint Optimization Problems},
journal = {J. Artif. Intell. Res.},
volume = {74},
pages = {179--225},
year = {2022},
url = {https://doi.org/10.1613/jair.1.13499},
doi = {10.1613/JAIR.1.13499},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/HoangFHYYZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bib/ZhangBYHZS21,
author = {Zicheng Zhang and
Siqi Bao and
Congcong Yan and
Ping Hou and
Meng Zhou and
Jie Sun},
title = {Computational principles and practice for decoding immune contexture
in the tumor microenvironment},
journal = {Briefings Bioinform.},
volume = {22},
number = {3},
year = {2021},
url = {https://doi.org/10.1093/bib/bbaa075},
doi = {10.1093/BIB/BBAA075},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bib/ZhangBYHZS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bib/ZhaoGBYZHZS21,
author = {Hengqiang Zhao and
Shanshan Gu and
Siqi Bao and
Congcong Yan and
Zicheng Zhang and
Ping Hou and
Meng Zhou and
Jie Sun},
title = {Mechanistically derived patient-level framework for precision medicine
identifies a personalized immune prognostic signature in high-grade
serous ovarian cancer},
journal = {Briefings Bioinform.},
volume = {22},
number = {3},
year = {2021},
url = {https://doi.org/10.1093/bib/bbaa069},
doi = {10.1093/BIB/BBAA069},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bib/ZhaoGBYZHZS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bib/ZhouZBHYSS21,
author = {Meng Zhou and
Zicheng Zhang and
Siqi Bao and
Ping Hou and
Congcong Yan and
Jianzhong Su and
Jie Sun},
title = {Computational recognition of lncRNA signature of tumor-infiltrating
{B} lymphocytes with potential implications in prognosis and immunotherapy
of bladder cancer},
journal = {Briefings Bioinform.},
volume = {22},
number = {3},
year = {2021},
url = {https://doi.org/10.1093/bib/bbaa047},
doi = {10.1093/BIB/BBAA047},
timestamp = {Sat, 31 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bib/ZhouZBHYSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bib/HouBFYSQZ21,
author = {Ping Hou and
Siqi Bao and
Dandan Fan and
Congcong Yan and
Jianzhong Su and
Jia Qu and
Meng Zhou},
title = {Machine learning-based integrative analysis of methylome and transcriptome
identifies novel prognostic {DNA} methylation signature in uveal melanoma},
journal = {Briefings Bioinform.},
volume = {22},
number = {4},
year = {2021},
url = {https://doi.org/10.1093/bib/bbaa371},
doi = {10.1093/BIB/BBAA371},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bib/HouBFYSQZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/PopescuLH21,
author = {Andrei Popescu and
Peter Lammich and
Ping Hou},
title = {CoCon: {A} Conference Management System with Formally Verified Document
Confidentiality},
journal = {J. Autom. Reason.},
volume = {65},
number = {2},
pages = {321--356},
year = {2021},
url = {https://doi.org/10.1007/s10817-020-09566-9},
doi = {10.1007/S10817-020-09566-9},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/PopescuLH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jei/ZhangYDBZHM20,
author = {Yin Zhang and
Junhua Yan and
Xuan Du and
Xuehan Bai and
Xiyang Zhi and
Ping Hou and
Yue Ma},
title = {Fusing deep learning and statistical visual features for no-reference
image quality assessment},
journal = {J. Electronic Imaging},
volume = {29},
number = {4},
pages = {043011},
year = {2020},
url = {https://doi.org/10.1117/1.JEI.29.4.043011},
doi = {10.1117/1.JEI.29.4.043011},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jei/ZhangYDBZHM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcomp/HouGWWGZ20,
author = {Ping Hou and
Pei Guo and
Peng Wu and
Jianwu Wang and
Aryya Gangopadhyay and
Zhibo Zhang},
title = {A Deep Learning Model for Detecting Dust in Earth's Atmosphere from
Satellite Remote Sensing Data},
booktitle = {{IEEE} International Conference on Smart Computing, {SMARTCOMP} 2020,
Bologna, Italy, September 14-17, 2020},
pages = {196--201},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SMARTCOMP50058.2020.00045},
doi = {10.1109/SMARTCOMP50058.2020.00045},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smartcomp/HouGWWGZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/HouHGZ19,
author = {Ping Hou and
Jun Hu and
Jie Gao and
Peican Zhu},
title = {Stability Analysis for Memristor-Based Complex-Valued Neural Networks
with Time Delays},
journal = {Entropy},
volume = {21},
number = {2},
pages = {120},
year = {2019},
url = {https://doi.org/10.3390/e21020120},
doi = {10.3390/E21020120},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entropy/HouHGZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fini/HsuHJWNPFKSHCL18,
author = {Ai{-}Ling Hsu and
Ping Hou and
Jason M. Johnson and
Changwei W. Wu and
Kyle R. Noll and
Sujit S. Prabhu and
Sherise D. Ferguson and
Vinodh A. Kumar and
Donald F. Schomer and
John D. Hazle and
Jyh{-}Horng Chen and
Ho{-}Ling Liu},
title = {IClinfMRI Software for Integrating Functional {MRI} Techniques in
Presurgical Mapping and Clinical Studies},
journal = {Frontiers Neuroinformatics},
volume = {12},
pages = {11},
year = {2018},
url = {https://doi.org/10.3389/fninf.2018.00011},
doi = {10.3389/FNINF.2018.00011},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fini/HsuHJWNPFKSHCL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/YiZLZHLLHCTHZHL17,
author = {Ying Yi and
Yue Zhao and
Chunhua Li and
Lin Zhang and
Huiying Huang and
Yana Li and
Lanlan Liu and
Ping Hou and
Tianyu Cui and
Puwen Tan and
Yongfei Hu and
Ting Zhang and
Yan Huang and
Xiaobo Li and
Jia Yu and
Dong Wang},
title = {{RAID} v2.0: an updated resource of RNA-associated interactions across
organisms},
journal = {Nucleic Acids Res.},
volume = {45},
number = {Database-Issue},
pages = {D115--D118},
year = {2017},
url = {https://doi.org/10.1093/nar/gkw1052},
doi = {10.1093/NAR/GKW1052},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nar/YiZLZHLLHCTHZHL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/HoangHF0ZY17,
author = {Khoi D. Hoang and
Ping Hou and
Ferdinando Fioretto and
William Yeoh and
Roie Zivan and
Makoto Yokoo},
editor = {Kate Larson and
Michael Winikoff and
Sanmay Das and
Edmund H. Durfee},
title = {Infinite-Horizon Proactive Dynamic DCOPs},
booktitle = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
pages = {212--220},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3091160},
timestamp = {Wed, 27 Sep 2017 07:24:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/HoangHF0ZY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WayllaceH017,
author = {Christabel Wayllace and
Ping Hou and
William Yeoh},
editor = {Carles Sierra},
title = {New Metrics and Algorithms for Stochastic Goal Recognition Design
Problems},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {4455--4462},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/622},
doi = {10.24963/IJCAI.2017/622},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/WayllaceH017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HoangFHY0Z16,
author = {Khoi D. Hoang and
Ferdinando Fioretto and
Ping Hou and
Makoto Yokoo and
William Yeoh and
Roie Zivan},
editor = {Enrico Pontelli and
Alex Rogers and
Sylvie Thi{\'{e}}baux and
Tran Cao Son},
title = {Proactive Dynamic DCOPs},
booktitle = {{AI} for Smart Grids and Smart Buildings, Papers from the 2016 {AAAI}
Workshop, Phoenix, Arizona, USA, February 12, 2016},
series = {{AAAI} Technical Report},
volume = {{WS-16-04}},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12593},
timestamp = {Tue, 05 Sep 2023 08:59:27 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HoangFHY0Z16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Hou0V16,
author = {Ping Hou and
William Yeoh and
Pradeep Varakantham},
editor = {Dale Schuurmans and
Michael P. Wellman},
title = {Solving Risk-Sensitive POMDPs With and Without Cost Observations},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
pages = {3138--3144},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/aaai.v30i1.10402},
doi = {10.1609/AAAI.V30I1.10402},
timestamp = {Mon, 04 Sep 2023 15:08:28 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Hou0V16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/HoangFHY0Z16,
author = {Khoi D. Hoang and
Ferdinando Fioretto and
Ping Hou and
Makoto Yokoo and
William Yeoh and
Roie Zivan},
editor = {Catholijn M. Jonker and
Stacy Marsella and
John Thangarajah and
Karl Tuyls},
title = {Proactive Dynamic Distributed Constraint Optimization},
booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents
{\&} Multiagent Systems, Singapore, May 9-13, 2016},
pages = {597--605},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2937013},
timestamp = {Fri, 20 May 2016 20:33:29 +0200},
biburl = {https://dblp.org/rec/conf/atal/HoangFHY0Z16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WayllaceH0S16,
author = {Christabel Wayllace and
Ping Hou and
William Yeoh and
Tran Cao Son},
editor = {Subbarao Kambhampati},
title = {Goal Recognition Design with Stochastic Agent Action Outcomes},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {3279--3285},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/464},
timestamp = {Tue, 20 Aug 2019 16:19:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/WayllaceH0S16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Hou16,
author = {Ping Hou},
editor = {Subbarao Kambhampati},
title = {Probabilistic Planning with Risk-Sensitive Criterion},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {3996--3997},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/572},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Hou16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Hou15,
author = {Ping Hou},
editor = {Blai Bonet and
Sven Koenig},
title = {Probabilistic Planning with Risk-Sensitive Criterion},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {4241--4242},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9252},
doi = {10.1609/AAAI.V29I1.9252},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Hou15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HouYS14,
author = {Ping Hou and
William Yeoh and
Tran Cao Son},
editor = {Carla E. Brodley and
Peter Stone},
title = {Solving Uncertain MDPs by Reusing State Information and Plans},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {2285--2292},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.9029},
doi = {10.1609/AAAI.V28I1.9029},
timestamp = {Mon, 04 Sep 2023 15:06:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HouYS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Hou0V14,
author = {Ping Hou and
William Yeoh and
Pradeep Varakantham},
editor = {Steve A. Chien and
Minh Binh Do and
Alan Fern and
Wheeler Ruml},
title = {Revisiting Risk-Sensitive MDPs: New Algorithms and Results},
booktitle = {Proceedings of the Twenty-Fourth International Conference on Automated
Planning and Scheduling, {ICAPS} 2014, Portsmouth, New Hampshire,
USA, June 21-26, 2014},
publisher = {{AAAI}},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS14/paper/view/7798},
timestamp = {Thu, 19 Nov 2015 08:52:28 +0100},
biburl = {https://dblp.org/rec/conf/aips/Hou0V14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HouC14,
author = {Ping Hou and
Yifei Chen},
editor = {Christoph Benzm{\"{u}}ller and
Jens Otten},
title = {A Logic for Verifying Metric Temporal Properties in Distributed Hybrid
Systems},
booktitle = {Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR
2014, Vienna, Austria, July 23, 2014},
series = {EPiC Series in Computing},
volume = {33},
pages = {17--30},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/smg4},
doi = {10.29007/SMG4},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HouC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fskd/ChenHH14,
author = {Yifei Chen and
Bingqing Han and
Ping Hou},
title = {New feature selection methods based on context similarity for text
categorization},
booktitle = {11th International Conference on Fuzzy Systems and Knowledge Discovery,
{FSKD} 2014, Xiamen, China, August 19-21, 2014},
pages = {598--604},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/FSKD.2014.6980902},
doi = {10.1109/FSKD.2014.6980902},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/fskd/ChenHH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/HouZ13,
author = {Ping Hou and
Hao Zheng},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Quantified Differential Temporal Dynamic Logic for Verifying Properties
of Distributed Hybrid Systems},
booktitle = {Logical Foundations of Computer Science, International Symposium,
{LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7734},
pages = {234--251},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35722-0\_17},
doi = {10.1007/978-3-642-35722-0\_17},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/HouZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-2531,
author = {Ping Hou},
title = {Quantified Differential Temporal Dynamic Logic for Verifying Properties
of Distributed Hybrid Systems},
journal = {CoRR},
volume = {abs/1207.2531},
year = {2012},
url = {http://arxiv.org/abs/1207.2531},
eprinttype = {arXiv},
eprint = {1207.2531},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-2531.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-2534,
author = {Ping Hou and
Johan Wittocx and
Marc Denecker},
title = {{LPC(ID):} {A} Sequent Calculus Proof System for Propositional Logic
Extended with Inductive Definitions},
journal = {CoRR},
volume = {abs/1207.2534},
year = {2012},
url = {http://arxiv.org/abs/1207.2534},
eprinttype = {arXiv},
eprint = {1207.2534},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-2534.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/ZhouHZC11,
author = {Wen Zhou and
Ping Hou and
Yuxiang Zhou and
Denise Chen},
title = {Reduced recruitment of orbitofrontal cortex to human social chemosensory
cues in social anxiety},
journal = {NeuroImage},
volume = {55},
number = {3},
pages = {1401--1406},
year = {2011},
url = {https://doi.org/10.1016/j.neuroimage.2010.12.064},
doi = {10.1016/J.NEUROIMAGE.2010.12.064},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/neuroimage/ZhouHZC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/HouCD10,
author = {Ping Hou and
Broes De Cat and
Marc Denecker},
title = {{FO(FD):} Extending classical logic with rule-based fixpoint definitions},
journal = {Theory Pract. Log. Program.},
volume = {10},
number = {4-6},
pages = {581--596},
year = {2010},
url = {https://doi.org/10.1017/S1471068410000293},
doi = {10.1017/S1471068410000293},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/HouCD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-3819,
author = {Ping Hou and
Broes De Cat and
Marc Denecker},
title = {{FO(FD):} Extending classical logic with rule-based fixpoint definitions},
journal = {CoRR},
volume = {abs/1007.3819},
year = {2010},
url = {http://arxiv.org/abs/1007.3819},
eprinttype = {arXiv},
eprint = {1007.3819},
timestamp = {Tue, 23 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-3819.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/HouD09,
author = {Ping Hou and
Marc Denecker},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {A Deductive System for {FO(ID)} Based on Least Fixpoint Logic},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {129--141},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_13},
doi = {10.1007/978-3-642-04238-6\_13},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/HouD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/HouWD07,
author = {Ping Hou and
Johan Wittocx and
Marc Denecker},
editor = {Chitta Baral and
Gerhard Brewka and
John S. Schlipf},
title = {A Deductive System for {PC(ID)}},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference,
{LPNMR} 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4483},
pages = {162--174},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72200-7\_15},
doi = {10.1007/978-3-540-72200-7\_15},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/HouWD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amt/YangWHC06,
author = {Wenchuan Yang and
Qiong Wu and
Ping Hou and
Fei Cui},
editor = {Yuefeng Li and
Mark Looi and
Ning Zhong},
title = {The Research of a Processing Prototype for {NGN} Congestion},
booktitle = {Advances in Intelligent {IT} - Active Media Technology 2006, Proceedings
of the 4th International Conference on Active Media Technology, {AMT}
2006, June 7-9, 2006, Brisbane, Australia},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {138},
pages = {307--310},
publisher = {{IOS} Press},
year = {2006},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=1548},
timestamp = {Tue, 21 Feb 2017 13:43:19 +0100},
biburl = {https://dblp.org/rec/conf/amt/YangWHC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/grc/YangWHZ06,
author = {Wenchuan Yang and
Qiong Wu and
Ping Hou and
Yang Zhang},
title = {The research of a web-based network blocking prototype for next generation
network},
booktitle = {2006 {IEEE} International Conference on Granular Computing, GrC 2006,
Atlanta, Georgia, USA, May 10-12, 2006},
pages = {357--360},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/GRC.2006.1635814},
doi = {10.1109/GRC.2006.1635814},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/grc/YangWHZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icic/YangHFW06,
author = {Wenchuan Yang and
Ping Hou and
Yanyang Fan and
Qiong Wu},
editor = {De{-}Shuang Huang and
Kang Li and
George W. Irwin},
title = {The Research of an Intelligent Object-Oriented Prototype for Data
Warehouse},
booktitle = {Intelligent Computing, International Conference on Intelligent Computing,
{ICIC} 2006, Kunming, China, August 16-19, 2006. Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {4113},
pages = {1300--1305},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11816157\_163},
doi = {10.1007/11816157\_163},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/icic/YangHFW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/Hou05,
author = {Ping Hou},
title = {Some Representation Theorems for Recovering Contraction Relations},
journal = {J. Comput. Sci. Technol.},
volume = {20},
number = {4},
pages = {536--541},
year = {2005},
url = {https://doi.org/10.1007/s11390-005-0536-9},
doi = {10.1007/S11390-005-0536-9},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/Hou05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/icl/HouBF02,
author = {Ping Hou and
Benjamin Belzer and
Thomas R. Fischer},
title = {Shaping gain of the partially coherent additive white Gaussian noise
channel},
journal = {{IEEE} Commun. Lett.},
volume = {6},
number = {5},
pages = {175--177},
year = {2002},
url = {https://doi.org/10.1109/4234.1001655},
doi = {10.1109/4234.1001655},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/icl/HouBF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcom/BelzerRHF02,
author = {Benjamin Belzer and
Allen D. Risley and
Ping Hou and
Thomas R. Fischer},
title = {Capacity of {AM-PSK} on partially coherent fading channels},
journal = {{IEEE} Trans. Commun.},
volume = {50},
number = {3},
pages = {369--373},
year = {2002},
url = {https://doi.org/10.1109/26.990896},
doi = {10.1109/26.990896},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcom/BelzerRHF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/SaberiHS00,
author = {Ali Saberi and
Ping Hou and
Anton A. Stoorvogel},
title = {On simultaneous global external and global internal stabilization
of critically unstable linear systems with saturating actuators},
journal = {{IEEE} Trans. Autom. Control.},
volume = {45},
number = {6},
pages = {1042--1052},
year = {2000},
url = {https://doi.org/10.1109/9.863591},
doi = {10.1109/9.863591},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/SaberiHS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/HouSLS98,
author = {Ping Hou and
Ali Saberi and
Zongli Lin and
Peddapullaiah Sannuti},
title = {Simultaneous External and Internal Stabilization for Continuous and
Discrete-Time Critically Unstable Linear Systems with Saturating Actuators},
journal = {Autom.},
volume = {34},
number = {12},
pages = {1547--1557},
year = {1998},
url = {https://doi.org/10.1016/S0005-1098(98)80008-3},
doi = {10.1016/S0005-1098(98)80008-3},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/automatica/HouSLS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 01:56 CEST 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:
