default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: He Zhu 0001
@article{DBLP:journals/pacmpl/CuiWQZ24,
author = {Guofeng Cui and
Yuning Wang and
Wenjie Qiu and
He Zhu},
title = {Reward-Guided Synthesis of Intelligent Agents with Control Structures},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{PLDI}},
pages = {1730--1754},
year = {2024},
url = {https://doi.org/10.1145/3656447},
doi = {10.1145/3656447},
timestamp = {Fri, 02 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/CuiWQZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tai/ChenSTWZA24,
author = {Ziheng Chen and
Fabrizio Silvestri and
Gabriele Tolomei and
Jia Wang and
He Zhu and
Hongshik Ahn},
title = {Explain the Explainer: Interpreting Model-Agnostic Counterfactual
Explanations of a Deep Reinforcement Learning Agent},
journal = {{IEEE} Trans. Artif. Intell.},
volume = {5},
number = {4},
pages = {1443--1457},
year = {2024},
url = {https://doi.org/10.1109/TAI.2022.3223892},
doi = {10.1109/TAI.2022.3223892},
timestamp = {Sat, 04 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tai/ChenSTWZA24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/WangZ24,
author = {Yuning Wang and
He Zhu},
editor = {Arie Gurfinkel and
Vijay Ganesh},
title = {Safe Exploration in Reinforcement Learning by Reachability Analysis
over Learned Models},
booktitle = {Computer Aided Verification - 36th International Conference, {CAV}
2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {14683},
pages = {232--255},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-65633-0\_11},
doi = {10.1007/978-3-031-65633-0\_11},
timestamp = {Thu, 22 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/WangZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/DuanC024,
author = {Yuanlin Duan and
Guofeng Cui and
He Zhu},
editor = {Amir Globersons and
Lester Mackey and
Danielle Belgrave and
Angela Fan and
Ulrich Paquet and
Jakub M. Tomczak and
Cheng Zhang},
title = {Exploring the Edges of Latent State Clusters for Goal-Conditioned
Reinforcement Learning},
booktitle = {Advances in Neural Information Processing Systems 38: Annual Conference
on Neural Information Processing Systems 2024, NeurIPS 2024, Vancouver,
BC, Canada, December 10 - 15, 2024},
year = {2024},
url = {http://papers.nips.cc/paper\_files/paper/2024/hash/7089237e828d55febd85a8d07f89e102-Abstract-Conference.html},
timestamp = {Thu, 13 Feb 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/DuanC024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/DuanM024,
author = {Yuanlin Duan and
Wensen Mao and
He Zhu},
editor = {Amir Globersons and
Lester Mackey and
Danielle Belgrave and
Angela Fan and
Ulrich Paquet and
Jakub M. Tomczak and
Cheng Zhang},
title = {Learning World Models for Unconstrained Goal Navigation},
booktitle = {Advances in Neural Information Processing Systems 38: Annual Conference
on Neural Information Processing Systems 2024, NeurIPS 2024, Vancouver,
BC, Canada, December 10 - 15, 2024},
year = {2024},
url = {http://papers.nips.cc/paper\_files/paper/2024/hash/6cca3481ae66707958b824d37df40177-Abstract-Conference.html},
timestamp = {Thu, 13 Feb 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/DuanM024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2411-01396,
author = {Yuanlin Duan and
Guofeng Cui and
He Zhu},
title = {Exploring the Edges of Latent State Clusters for Goal-Conditioned
Reinforcement Learning},
journal = {CoRR},
volume = {abs/2411.01396},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2411.01396},
doi = {10.48550/ARXIV.2411.01396},
eprinttype = {arXiv},
eprint = {2411.01396},
timestamp = {Wed, 11 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2411-01396.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2411-02446,
author = {Yuanlin Duan and
Wensen Mao and
He Zhu},
title = {Learning World Models for Unconstrained Goal Navigation},
journal = {CoRR},
volume = {abs/2411.02446},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2411.02446},
doi = {10.48550/ARXIV.2411.02446},
eprinttype = {arXiv},
eprint = {2411.02446},
timestamp = {Wed, 01 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2411-02446.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/0002M023,
author = {Wenjie Qiu and
Wensen Mao and
He Zhu},
editor = {Alice Oh and
Tristan Naumann and
Amir Globerson and
Kate Saenko and
Moritz Hardt and
Sergey Levine},
title = {Instructing Goal-Conditioned Reinforcement Learning Agents with Temporal
Logic Objectives},
booktitle = {Advances in Neural Information Processing Systems 36: Annual Conference
on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans,
LA, USA, December 10 - 16, 2023},
year = {2023},
url = {http://papers.nips.cc/paper\_files/paper/2023/hash/7b35a69f434b5eb07ed1b1ef16ace52c-Abstract-Conference.html},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/0002M023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WangZ23,
author = {Yuning Wang and
He Zhu},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Verification-guided Programmatic Controller Synthesis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13994},
pages = {229--250},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30820-8\_16},
doi = {10.1007/978-3-031-30820-8\_16},
timestamp = {Sat, 13 May 2023 01:07:18 +0200},
biburl = {https://dblp.org/rec/conf/tacas/WangZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/Chen00Z22,
author = {Hanxiong Chen and
Yunqi Li and
He Zhu and
Yongfeng Zhang},
editor = {Mohammad Al Hasan and
Li Xiong},
title = {Learn Basic Skills and Reuse: Modularized Adaptive Neural Architecture
Search {(MANAS)}},
booktitle = {Proceedings of the 31st {ACM} International Conference on Information
{\&} Knowledge Management, Atlanta, GA, USA, October 17-21, 2022},
pages = {169--179},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3511808.3557385},
doi = {10.1145/3511808.3557385},
timestamp = {Wed, 19 Oct 2022 12:52:00 +0200},
biburl = {https://dblp.org/rec/conf/cikm/Chen00Z22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/ChenSW0AT22,
author = {Ziheng Chen and
Fabrizio Silvestri and
Jia Wang and
He Zhu and
Hongshik Ahn and
Gabriele Tolomei},
editor = {Mohammad Al Hasan and
Li Xiong},
title = {ReLAX: Reinforcement Learning Agent Explainer for Arbitrary Predictive
Models},
booktitle = {Proceedings of the 31st {ACM} International Conference on Information
{\&} Knowledge Management, Atlanta, GA, USA, October 17-21, 2022},
pages = {252--261},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3511808.3557429},
doi = {10.1145/3511808.3557429},
timestamp = {Tue, 11 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cikm/ChenSW0AT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/QiuZ22,
author = {Wenjie Qiu and
He Zhu},
title = {Programmatic Reinforcement Learning without Oracles},
booktitle = {The Tenth International Conference on Learning Representations, {ICLR}
2022, Virtual Event, April 25-29, 2022},
publisher = {OpenReview.net},
year = {2022},
url = {https://openreview.net/forum?id=6Tk2noBdvxt},
timestamp = {Thu, 12 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclr/QiuZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkdd/XiongEZJ22,
author = {Zikang Xiong and
Joe Eappen and
He Zhu and
Suresh Jagannathan},
editor = {Massih{-}Reza Amini and
St{\'{e}}phane Canu and
Asja Fischer and
Tias Guns and
Petra Kralj Novak and
Grigorios Tsoumakas},
title = {Defending Observation Attacks in Deep Reinforcement Learning via Detection
and Denoising},
booktitle = {Machine Learning and Knowledge Discovery in Databases - European Conference,
{ECML} {PKDD} 2022, Grenoble, France, September 19-23, 2022, Proceedings,
Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13715},
pages = {235--250},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26409-2\_15},
doi = {10.1007/978-3-031-26409-2\_15},
timestamp = {Mon, 20 Mar 2023 16:00:27 +0100},
biburl = {https://dblp.org/rec/conf/pkdd/XiongEZJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsdm/Chen0S0ZZ22,
author = {Hanxiong Chen and
Yunqi Li and
Shaoyun Shi and
Shuchang Liu and
He Zhu and
Yongfeng Zhang},
editor = {K. Selcuk Candan and
Huan Liu and
Leman Akoglu and
Xin Luna Dong and
Jiliang Tang},
title = {Graph Collaborative Reasoning},
booktitle = {{WSDM} '22: The Fifteenth {ACM} International Conference on Web Search
and Data Mining, Virtual Event / Tempe, AZ, USA, February 21 - 25,
2022},
pages = {75--84},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3488560.3498410},
doi = {10.1145/3488560.3498410},
timestamp = {Sun, 25 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsdm/Chen0S0ZZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-07188,
author = {Zikang Xiong and
Joe Eappen and
He Zhu and
Suresh Jagannathan},
title = {Defending Observation Attacks in Deep Reinforcement Learning via Detection
and Denoising},
journal = {CoRR},
volume = {abs/2206.07188},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.07188},
doi = {10.48550/ARXIV.2206.07188},
eprinttype = {arXiv},
eprint = {2206.07188},
timestamp = {Tue, 21 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-07188.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-11083,
author = {Hanxiong Chen and
Yunqi Li and
He Zhu and
Yongfeng Zhang},
title = {Learn Basic Skills and Reuse: Modularized Adaptive Neural Architecture
Search {(MANAS)}},
journal = {CoRR},
volume = {abs/2208.11083},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.11083},
doi = {10.48550/ARXIV.2208.11083},
eprinttype = {arXiv},
eprint = {2208.11083},
timestamp = {Sun, 25 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-11083.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/CuiZ21,
author = {Guofeng Cui and
He Zhu},
editor = {Marc'Aurelio Ranzato and
Alina Beygelzimer and
Yann N. Dauphin and
Percy Liang and
Jennifer Wortman Vaughan},
title = {Differentiable Synthesis of Program Architectures},
booktitle = {Advances in Neural Information Processing Systems 34: Annual Conference
on Neural Information Processing Systems 2021, NeurIPS 2021, December
6-14, 2021, virtual},
pages = {11123--11135},
year = {2021},
url = {https://proceedings.neurips.cc/paper/2021/hash/5c5a93a042235058b1ef7b0ac1e11b67-Abstract.html},
timestamp = {Sun, 25 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nips/CuiZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-11960,
author = {Ziheng Chen and
Fabrizio Silvestri and
Gabriele Tolomei and
He Zhu and
Jia Wang and
Hongshik Ahn},
title = {ReLACE: Reinforcement Learning Agent for Counterfactual Explanations
of Arbitrary Predictive Models},
journal = {CoRR},
volume = {abs/2110.11960},
year = {2021},
url = {https://arxiv.org/abs/2110.11960},
eprinttype = {arXiv},
eprint = {2110.11960},
timestamp = {Tue, 28 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-11960.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-13705,
author = {Hanxiong Chen and
Yunqi Li and
Shaoyun Shi and
Shuchang Liu and
He Zhu and
Yongfeng Zhang},
title = {Graph Collaborative Reasoning},
journal = {CoRR},
volume = {abs/2112.13705},
year = {2021},
url = {https://arxiv.org/abs/2112.13705},
eprinttype = {arXiv},
eprint = {2112.13705},
timestamp = {Sun, 25 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-13705.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/LinZSJ20,
author = {Xuankang Lin and
He Zhu and
Roopsha Samanta and
Suresh Jagannathan},
title = {Art: Abstraction Refinement-Guided Training for Provably Correct Neural
Networks},
booktitle = {2020 Formal Methods in Computer Aided Design, {FMCAD} 2020, Haifa,
Israel, September 21-24, 2020},
pages = {148--157},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6\_22},
doi = {10.34727/2020/ISBN.978-3-85448-042-6\_22},
timestamp = {Thu, 14 Jan 2021 08:55:22 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/LinZSJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-06861,
author = {Zikang Xiong and
Joe Eappen and
He Zhu and
Suresh Jagannathan},
title = {Robustness to Adversarial Attacks in Learning-Enabled Controllers},
journal = {CoRR},
volume = {abs/2006.06861},
year = {2020},
url = {https://arxiv.org/abs/2006.06861},
eprinttype = {arXiv},
eprint = {2006.06861},
timestamp = {Wed, 17 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-06861.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZhuXMJ19,
author = {He Zhu and
Zikang Xiong and
Stephen Magill and
Suresh Jagannathan},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {An inductive synthesis framework for verifiable reinforcement learning},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {686--701},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314638},
doi = {10.1145/3314221.3314638},
timestamp = {Mon, 21 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ZhuXMJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-07273,
author = {He Zhu and
Zikang Xiong and
Stephen Magill and
Suresh Jagannathan},
title = {An Inductive Synthesis Framework for Verifiable Reinforcement Learning},
journal = {CoRR},
volume = {abs/1907.07273},
year = {2019},
url = {http://arxiv.org/abs/1907.07273},
eprinttype = {arXiv},
eprint = {1907.07273},
timestamp = {Mon, 21 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-07273.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-10662,
author = {Xuankang Lin and
He Zhu and
Roopsha Samanta and
Suresh Jagannathan},
title = {{ART:} Abstraction Refinement-Guided Training for Provably Correct
Neural Networks},
journal = {CoRR},
volume = {abs/1907.10662},
year = {2019},
url = {http://arxiv.org/abs/1907.10662},
eprinttype = {arXiv},
eprint = {1907.10662},
timestamp = {Mon, 21 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-10662.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZhuMJ18,
author = {He Zhu and
Stephen Magill and
Suresh Jagannathan},
editor = {Jeffrey S. Foster and
Dan Grossman},
title = {A data-driven {CHC} solver},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
USA, June 18-22, 2018},
pages = {707--721},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3192366.3192416},
doi = {10.1145/3192366.3192416},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/ZhuMJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Zhu16a,
author = {He Zhu},
title = {Learning Program Specifications from Sample Runs},
school = {Purdue University, {USA}},
year = {2016},
url = {https://docs.lib.purdue.edu/open\_access\_dissertations/900},
timestamp = {Wed, 26 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Zhu16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZhuPJ16,
author = {He Zhu and
Gustavo Petri and
Suresh Jagannathan},
editor = {Chandra Krintz and
Emery D. Berger},
title = {Automatically learning shape specifications},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
USA, June 13-17, 2016},
pages = {491--507},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2908080.2908125},
doi = {10.1145/2908080.2908125},
timestamp = {Sat, 30 Sep 2023 09:54:48 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ZhuPJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ZhuPJ15,
author = {He Zhu and
Gustavo Petri and
Suresh Jagannathan},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Poling: {SMT} Aided Linearizability Proofs},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {9207},
pages = {3--19},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21668-3\_1},
doi = {10.1007/978-3-319-21668-3\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ZhuPJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ZhuNJ15,
author = {He Zhu and
Aditya V. Nori and
Suresh Jagannathan},
editor = {Kathleen Fisher and
John H. Reppy},
title = {Learning refinement types},
booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
1-3, 2015},
pages = {400--411},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2784731.2784766},
doi = {10.1145/2784731.2784766},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/icfp/ZhuNJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ZhuNJ15,
author = {He Zhu and
Aditya V. Nori and
Suresh Jagannathan},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Dependent Array Type Inference from Tests},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {412--430},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_23},
doi = {10.1007/978-3-662-46081-8\_23},
timestamp = {Tue, 07 May 2024 20:11:13 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ZhuNJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ZhuJ13,
author = {He Zhu and
Suresh Jagannathan},
editor = {Roberto Giacobazzi and
Josh Berdine and
Isabella Mastroeni},
title = {Compositional and Lightweight Dependent Type Inference for {ML}},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 14th International
Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7737},
pages = {295--314},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35873-9\_19},
doi = {10.1007/978-3-642-35873-9\_19},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ZhuJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/HeZHSG10,
author = {Fei He and
He Zhu and
William N. N. Hung and
Xiaoyu Song and
Ming Gu},
editor = {Jing Liu and
Doron A. Peled and
Bow{-}Yaw Wang and
Farn Wang},
title = {Compositional Abstraction Refinement for Timed Systems},
booktitle = {4th {IEEE} International Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2010, Taipei, Taiwan, 25-27 August 2010},
pages = {168--176},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/TASE.2010.27},
doi = {10.1109/TASE.2010.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/HeZHSG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ZhuHHSG09,
author = {He Zhu and
Fei He and
William N. N. Hung and
Xiaoyu Song and
Ming Gu},
title = {Data mining based decomposition for assume-guarantee reasoning},
booktitle = {Proceedings of 9th International Conference on Formal Methods in Computer-Aided
Design, {FMCAD} 2009, 15-18 November 2009, Austin, Texas, {USA}},
pages = {116--119},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/FMCAD.2009.5351134},
doi = {10.1109/FMCAD.2009.5351134},
timestamp = {Mon, 21 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/ZhuHHSG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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 2025-03-12 23:30 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:
