×
Author ID: han.zhi Recent zbMATH articles by "Han, Zhi"
Published as: Han, Zhi

Publications by Year

Citations contained in zbMATH Open

10 Publications have been cited 59 times in 55 Documents Cited by Year
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
25
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
13
2003
Reachability analysis of large-scale affine systems using low-dimensional polytopes. Zbl 1178.93025
Han, Zhi; Krogh, Bruce H.
8
2006
Solving nonlinear viscoelastic problems via a self-adaptive precise algorithm in time domain. Zbl 1073.74049
Yang, Haitian; Han, Zhi
6
2004
An analysis and design method for systems with structural uncertainty. Zbl 1124.93052
Cai, X.; Han, Z.; Wang, X.
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
Video primal sketch: a unified middle-level representation for video. Zbl 1343.94010
Han, Zhi; Xu, Zongben; Zhu, Song-Chun
2
2015
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.
2
2009
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
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.
2
2009
Reachability analysis of large-scale affine systems using low-dimensional polytopes. Zbl 1178.93025
Han, Zhi; Krogh, Bruce H.
8
2006
An analysis and design method for systems with structural uncertainty. Zbl 1124.93052
Cai, X.; Han, Z.; Wang, X.
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
6
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
25
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
13
2003
all top 5

Cited by 134 Authors

5 Ratschan, Stefan
3 Dang, Thao
3 Forets, Marcelo
3 Frehse, Goran
3 Hu, Xiaofei
3 Prabhakar, Pavithra
3 Schilling, Christian
3 Yang, Haitian
3 Yao, Weian
2 Abate, Alessandro
2 Benvenuti, Luca
2 Bogomolov, Sergiy
2 Duggirala, Parasara Sridhar
2 Girard, Antoine
2 Hahn, Ernst Moritz
2 Han, Zhi
2 He, Yiqian
2 Hermanns, Holger
2 Pappas, George J.
2 Platzer, André
2 She, Zhikun
2 Stursberg, Olaf
2 Wang, Zihao
1 Adimoolam, Arvind
1 Adzkiya, Dieky
1 Alur, Rajeev
1 Asarin, Eugene
1 Balluchi, Andrea
1 Bormann, Jörg
1 Bresolin, Davide
1 Caines, Peter Edwin
1 Carter, Rebekah
1 Collins, Peter J.
1 Dague, Philippe
1 Damm, Werner
1 Das, Spandan
1 De Schutter, Bart
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 Ferrari, Alberto
1 Freibothe, Martin
1 Gallois, Jean-Pierre
1 Ganesh, Vijay
1 Gawlitza, Thomas Martin
1 Geretti, Luca
1 Geyer, Tobias
1 Giacobbe, Mirco
1 Goyal, Manish
1 Haitian, Yang
1 Hänsch, Paul
1 Hartmanns, Arnd
1 Henzinger, Thomas A.
1 Ivančić, Franjo
1 Jackson, Paul B.
1 Jha, Somesh
1 Johansson, Karl Henrik
1 Johnson, Taylor T.
1 Katoen, Joost-Pieter
1 Kavraki, Lydia E.
1 Klaedtke, Felix
1 Kowalewski, Stefan
1 Lamnabhi-Lagarrigue, Françoise
1 Lanotte, Ruggero
1 Lefaucheux, Engel
1 Lindeberg, Tony
1 Linsbichler, Thomas
1 Liu, Ling
1 Lygeros, John
1 Makhlouf, Ibtissem Ben
1 Man, Ka Lok
1 Maratea, Marco
1 Meyer, Pierre-Jean
1 Mitra, Sayan
1 Mödersheim, Sebastian Alexander
1 Moggi, Eugenio
1 Moor, Thomas
1 Morari, Manfred
1 Navarro-López, Eva María
1 Niskanen, Andreas
1 Ouaknine, Joel O.
1 Pakniyat, Ali
1 Papafotiou, Georgios
1 Pinto, Guilherme A.
1 Plaku, Erion
1 Podelski, Andreas
1 Purser, David
1 Raisch, Jörg
1 Reniers, Michel Adriaan
1 Rooda, Jacobus E.
1 Saha, Indranil
1 Sangiovanni-Vincentelli, Alberto L.
1 Santucci, Fortunato
...and 34 more Authors

Citations by Year