Naijun Zhan 个人学术档案 - 学术资源搜索

引用次数

	总计	2019 年至今
引用	2804	1621
h 指数	29	21
i10 指数	71	52

380

190

285

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202416 1 8 5 13 5 8 11 37 38 72 41 73 97 114 111 152 250 97 208 225 270 284 380 250

开放获取的出版物数量

查看全部

79 篇文章

1 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Bai XueFull Professor, State Key Laboratory of Computer Science,Institute of Software, CAS在 ios.ac.cn 的电子邮件经过验证
Martin FränzleProfessor of Computer Science, University of Oldenburg在 informatik.uni-oldenburg.de 的电子邮件经过验证
Mingshuai ChenAssistant Professor of Computer Science, Zhejiang University在 zju.edu.cn 的电子邮件经过验证
Bohua ZhanInstitute of Software, Chinese Academy of Sciences在 ios.ac.cn 的电子邮件经过验证
Liang ZouTencent在 tencent.com 的电子邮件经过验证
ting ganSchool of Computer Science, Wuhan University在 whu.edu.cn 的电子邮件经过验证
Professor Zhiming Liu - 刘志明Southwest University, Chongqing, China在 swu.edu.cn 的电子邮件经过验证
Jie AnInstitute of Software, Chinese Academy of Sciences, Beijing, China在 iscas.ac.cn 的电子邮件经过验证
Deepak KapurUniversity of New Mexico在 cs.unm.edu 的电子邮件经过验证
Lijun Zhang在 ios.ac.cn 的电子邮件经过验证
Dimitar P. GuelevAssociate Professor of Logic, Bulgarian Academy of Sciences在 math.bas.bg 的电子邮件经过验证
Anders P. RavnAalborg University在 cs.aau.dk 的电子邮件经过验证
Mingsheng YingUniversity of Technology Syeney在 uts.edu.au 的电子邮件经过验证
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of Twente在 cs.rwth-aachen.de 的电子邮件经过验证
Stefan MitschSchool of Computing, DePaul University在 depaul.edu 的电子邮件经过验证
Shengchao QinProfessor of Computer Science, Teesside University在 tees.ac.uk 的电子邮件经过验证
Kim G. LarsenDirector, Professor Aalborg University在 cs.aau.dk 的电子邮件经过验证
Lijun ZhangFull Professor, State Key Laboratory of Computer Science, Institute of Software Chinese在 ios.ac.cn 的电子邮件经过验证
David N. JansenRadboud Universiteit Nijmegen在 cs.ru.nl 的电子邮件经过验证
Eun-Young KangUniversity of Southern Denmark在 mmmi.sdu.dk 的电子邮件经过验证

关注

Naijun Zhan

School of Computer Science, Peking University

在 ios.ac.cn 的电子邮件经过验证 - 首页

Formal Methods Real-time embedded and hybrid systems Program Verification


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
A calculus for hybrid CSP J Liu, J Lv, Z Quan, N Zhan, H Zhao, C Zhou, L Zou Asian Symposium on Programming Languages and Systems, 1-15, 2010	139	2010
Computing semi-algebraic invariants for polynomial dynamical systems J Liu, N Zhan, H Zhao Proceedings of the ninth ACM international conference on Embedded software …, 2011	133	2011
Formal verification of quantum algorithms using quantum Hoare logic J Liu, B Zhan, S Wang, S Ying, T Liu, Y Li, M Ying, N Zhan Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019	100*	2019
Discovering non-linear ranking functions by solving semi-algebraic systems Y Chen, B Xia, L Yang, N Zhan, C Zhou Theoretical Aspects of Computing–ICTAC 2007: 4th International Colloquium …, 2007	95	2007
Formal Verification of Simulink/Stateflow Diagrams N Zhan, S Wang, H Zhao Springer, 2017	93*	2017
Barrier certificates revisited L Dai, T Gan, B Xia, N Zhan Journal of Symbolic Computation 80, 62-86, 2017	85	2017
An improved HHL prover: an interactive theorem prover for hybrid systems S Wang, N Zhan, L Zou Formal Methods and Software Engineering: 17th International Conference on …, 2015	79	2015
Refinement and verification in component-based model-driven design Z Chen, Z Liu, AP Ravn, V Stolz, N Zhan Science of Computer Programming 74 (4), 168-196, 2009	78	2009
Verifying Chinese train control system under a combined scenario by theorem proving L Zou, J Lv, S Wang, N Zhan, T Tang, L Yuan, Y Liu Verified Software: Theories, Tools, Experiments: 5th International …, 2014	74	2014
Verifying simulink diagrams via a hybrid hoare logic prover L Zou, N Zhany, S Wang, M Fränzle, S Qin 2013 Proceedings of the International Conference on Embedded Software …, 2013	74	2013
Recent advances in program verification through computer algebra L Yang, C Zhou, N Zhan, B Xia Frontiers of Computer Science in China 4, 1-16, 2010	69	2010
Formal verification of Simulink/Stateflow diagrams L Zou, N Zhan, S Wang, M Fränzle Automated Technology for Verification and Analysis: 13th International …, 2015	67	2015
A model of component-based programming X Chen, J He, Z Liu, N Zhan International Symposium on Fundamentals of Software Engineering …, 2007	61	2007
Inner-approximating reachable sets for polynomial systems with time-varying uncertainties B Xue, M Fränzle, N Zhan IEEE Transactions on Automatic Control 65 (4), 1468-1483, 2019	56	2019
Generating polynomial invariants with DISCOVERER and QEPCAD Y Chen, B Xia, L Yang, N Zhan Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines …, 2007	50	2007
Reachability analysis for solvable dynamical systems T Gan, M Chen, Y Li, B Xia, N Zhan IEEE Transactions on Automatic Control 63 (7), 2003-2018, 2017	48	2017
Program verification by using DISCOVERER L Yang, N Zhan, B Xia, C Zhou Working Conference on Verified Software: Theories, Tools, and Experiments …, 2005	48	2005
Finding polynomial loop invariants for probabilistic programs Y Feng, L Zhang, DN Jansen, N Zhan, B Xia Automated Technology for Verification and Analysis: 15th International …, 2017	44	2017
Abstraction of elementary hybrid systems by variable transformation J Liu, N Zhan, H Zhao, L Zou International Symposium on Formal Methods, 360-377, 2015	43	2015
Formal verification of a descent guidance control program of a lunar lander H Zhao, M Yang, N Zhan, B Gu, L Zou, Y Chen FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014	41	2014

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用