×

zbMATH — the first resource for mathematics

Han, Zhi

Compute Distance To:
Author ID: han.zhi Recent zbMATH articles by "Han, Zhi"
Published as: Han, Z.; Han, Zhi
Documents Indexed: 21 Publications since 1997

Publications by Year

Citations contained in zbMATH Open

11 Publications have been cited 84 times in 80 Documents Cited by Year
Stochastic stability and stabilization of positive systems with Markovian jump parameters. Zbl 1291.93323
Zhang, J.; Han, Z.; Zhu, F.
29
2014
Abstraction and counterexample-guided refinement in model checking of hybrid systems. Zbl 1101.68678
Clarke, Edmund; Fehnker, Ansgar; Han, Zhi; Krogh, Bruce; Ouaknine, Joël; Stursberg, Olaf; Theobald, Michael
20
2003
Verification of hybrid systems based on counterexample-guided abstraction refinement. Zbl 1031.68078
Clarke, Edmund; Fehnker, Ansgar; Han, Zhi; Krogh, Bruce; Stursberg, Olaf; Theobald, Michael
12
2003
An analysis and design method for systems with structural uncertainty. Zbl 1124.93052
Cai, X.; Han, Z.; Wang, X.
4
2006
Reachability analysis of large-scale affine systems using low-dimensional polytopes. Zbl 1178.93025
Han, Zhi; Krogh, Bruce H.
4
2006
Solving nonlinear viscoelastic problems via a self-adaptive precise algorithm in time domain. Zbl 1073.74049
Yang, Haitian; Han, Zhi
4
2004
A new approach for adaptive blind equalization of chaotic communication: the optimal linearization technique. Zbl 1189.94013
Tsai, J. S. H.; Lu, F.-C.; Provence, R. S.; Shieh, L. S.; Han, Z.
3
2009
Solving viscoelastic problems with cyclic symmetry via a precise algorithm and EFGM. Zbl 1200.74139
Han, Zhi; Yang, Haitian; Liu, Ling
3
2006
Video primal sketch: a unified middle-level representation for video. Zbl 1343.94010
Han, Zhi; Xu, Zongben; Zhu, Song-Chun
2
2015
The use of cyclic symmetry in two-dimensional elastic analysis by the element-free Galerkin method. Zbl 1141.74370
Yang, Haitian; Liu, Ling; Han, Zhi
2
2005
Numerical investigation of toroidal shock wave focusing in a cylindrical chamber. Zbl 1267.76055
Teng, H.; Jiang, Z.; Han, Z.; Hosseini, S. H. R.; Takayama, K.
1
2005
Video primal sketch: a unified middle-level representation for video. Zbl 1343.94010
Han, Zhi; Xu, Zongben; Zhu, Song-Chun
2
2015
Stochastic stability and stabilization of positive systems with Markovian jump parameters. Zbl 1291.93323
Zhang, J.; Han, Z.; Zhu, F.
29
2014
A new approach for adaptive blind equalization of chaotic communication: the optimal linearization technique. Zbl 1189.94013
Tsai, J. S. H.; Lu, F.-C.; Provence, R. S.; Shieh, L. S.; Han, Z.
3
2009
An analysis and design method for systems with structural uncertainty. Zbl 1124.93052
Cai, X.; Han, Z.; Wang, X.
4
2006
Reachability analysis of large-scale affine systems using low-dimensional polytopes. Zbl 1178.93025
Han, Zhi; Krogh, Bruce H.
4
2006
Solving viscoelastic problems with cyclic symmetry via a precise algorithm and EFGM. Zbl 1200.74139
Han, Zhi; Yang, Haitian; Liu, Ling
3
2006
The use of cyclic symmetry in two-dimensional elastic analysis by the element-free Galerkin method. Zbl 1141.74370
Yang, Haitian; Liu, Ling; Han, Zhi
2
2005
Numerical investigation of toroidal shock wave focusing in a cylindrical chamber. Zbl 1267.76055
Teng, H.; Jiang, Z.; Han, Z.; Hosseini, S. H. R.; Takayama, K.
1
2005
Solving nonlinear viscoelastic problems via a self-adaptive precise algorithm in time domain. Zbl 1073.74049
Yang, Haitian; Han, Zhi
4
2004
Abstraction and counterexample-guided refinement in model checking of hybrid systems. Zbl 1101.68678
Clarke, Edmund; Fehnker, Ansgar; Han, Zhi; Krogh, Bruce; Ouaknine, Joël; Stursberg, Olaf; Theobald, Michael
20
2003
Verification of hybrid systems based on counterexample-guided abstraction refinement. Zbl 1031.68078
Clarke, Edmund; Fehnker, Ansgar; Han, Zhi; Krogh, Bruce; Stursberg, Olaf; Theobald, Michael
12
2003
all top 5

Cited by 192 Authors

10 Qi, Wenhai
7 Gao, Xianwen
5 Cai, Xiushan
5 Zhang, Wei
4 Cheng, Jun
4 Ratschan, Stefan
4 Zhang, Junfeng
3 Dang, Thao
3 Han, Zhengzhi
3 Kao, Yonggui
3 Park, Juhyun (Jessie)
3 Wang, Jiyang
3 Zhang, Di
3 Zhang, Qingling
2 Abate, Alessandro
2 Benvenuti, Luca
2 Chen, Xiaoming
2 Ding, Derui
2 Dong, Hongli
2 Du, Baozhu
2 Duggirala, Parasara Sridhar
2 Frehse, Goran
2 Girard, Antoine
2 Hahn, Ernst Moritz
2 Han, Zhi
2 Hermanns, Holger
2 Hu, Xiaofei
2 Li, Shuo
2 Pappas, George J.
2 Platzer, André
2 Prabhakar, Pavithra
2 Stursberg, Olaf
2 Wang, Zidong
2 Xiang, Zhengrong
2 Yang, Haitian
2 Yao, Weian
2 Zhu, Shuqian
2 Zong, Guangdeng
1 Adzkiya, Dieky
1 Ahmad, Bashir
1 Alur, Rajeev
1 Anthoni, Selvaraj Marshal
1 Asarin, Eugene
1 Avila, Jorge Andrés Julca
1 Balluchi, Andrea
1 Bogomolov, Sergiy
1 Bolzern, Paolo
1 Bormann, Jörg
1 Bresolin, Davide
1 Carter, Rebekah
1 Chen, Yun
1 Colaneri, Patrizio
1 Collins, Peter J.
1 Dague, Philippe
1 Damm, Werner
1 De Schutter, Bart
1 Deaecto, Grace S.
1 Deng, Xuanjin
1 Di Benedetto, Maria Domenica
1 Diab, Hilal
1 Dimarogonas, Dimos V.
1 Ding, Xing
1 D’Innocenzo, Alessandro
1 Doyen, Laurent
1 Duracz, Adam
1 Dzetkulič, Tomáš
1 Engell, Sebastian
1 Farjudian, Amin
1 Feng, Jun’e
1 Ferrari, Alberto
1 Freibothe, Martin
1 Fu, Shasha
1 Gallois, Jean-Pierre
1 Gawlitza, Thomas Martin
1 Geretti, Luca
1 Geromel, Jose Claudio
1 Geyer, Tobias
1 Giacobbe, Mirco
1 Goyal, Manish
1 Guo, Hui
1 Guo, Xiufang
1 Guo, Yafeng
1 Haitian, Yang
1 Hänsch, Paul
1 Hartmanns, Arnd
1 He, Yiqian
1 Henzinger, Thomas A.
1 Hu, Meng-Jie
1 Ivančić, Franjo
1 Jackson, Paul B.
1 Jia, Xianglei
1 Jiao, Ticao
1 Johansson, Karl Henrik
1 Johnson, Taylor T.
1 Karimi, Hamid Reza
1 Katoen, Joost-Pieter
1 Kavraki, Lydia E.
1 Kowalewski, Stefan
1 Kwon, Nam Kyu
1 Lamnabhi-Lagarrigue, Françoise
...and 92 more Authors

Citations by Year