×

zbMATH — the first resource for mathematics

Wang, Dong

Compute Distance To:
Author ID: wang.dong.4 Recent zbMATH articles by "Wang, Dong"
Published as: Wang, D.; Wang, Dong
Documents Indexed: 81 Publications since 1999

Serials

Publications by Year

Citations contained in zbMATH

40 Publications have been cited 164 times in 136 Documents Cited by Year
Muttalib-Borodin ensembles in random matrix theory – realisations and correlation functions. Zbl 1366.60009
Forrester, Peter J.; Wang, Dong
20
2017
Quantum secure direct communication with optimal quantum superdense coding by using general four-qubit states. Zbl 1277.94032
Liu, Zhihao; Chen, Hanwu; Liu, Wenjie; Xu, Juan; Wang, Dong; Li, Zhiqiang
15
2013
An efficient threshold dynamics method for wetting on rough surfaces. Zbl 1378.76087
Xu, Xianmin; Wang, Dong; Wang, Xiao-Ping
10
2017
Bulk and soft-edge universality for singular values of products of Ginibre random matrices. Zbl 1384.60027
Liu, Dang-Zheng; Wang, Dong; Zhang, Lun
10
2016
Cryptanalysis and improvement of three-particle deterministic secure and high bit-rate direct quantum communication protocol. Zbl 1303.81063
Liu, Zhi-Hao; Chen, Han-Wu; Wang, Dong; Li, Wen-Qian
10
2014
Online object tracking with sparse prototypes. Zbl 1373.94423
Wang, Dong; Lu, Huchuan; Yang, Ming-Hsuan
10
2013
The multi-domain FMM-IBEM to model elastic wave scattering by three-dimensional inclusions in infinite domain. Zbl 1403.74194
Liu, Zhongxian; Wu, Fengjiao; Wang, Dong
7
2015
Automated abstraction refinement for model checking large state spaces using SAT based conflict analysis. Zbl 1019.68618
Chauhan, Pankaj; Clarke, Edmund; Kukula, James; Sapra, Samir; Veith, Helmut; Wang, Dong
7
2002
A diffusion generated method for computing Dirichlet partitions. Zbl 1407.51027
Wang, Dong; Osting, Braxton
6
2019
Classical-operation-based deterministic secure quantum communication. Zbl 1298.81058
Liu, Zhi-Hao; Chen, Han-Wu; Wang, Dong; Xue, Xi-Ling
6
2014
SAT based predicate abstraction for hardware verification. Zbl 1204.68129
Clarke, Edmund; Talupur, Muralidhar; Veith, Helmut; Wang, Dong
6
2004
The fast multi-pole indirect BEM for solving high-frequency seismic wave scattering by three-dimensional superficial irregularities. Zbl 1403.74193
Liu, Zhongxian; Wang, Dong; Liang, Jianwen; Wu, Fengjiao; Wu, Chengqing
5
2018
Distributions of a particle’s position and their asymptotics in the \(q\)-deformed totally asymmetric zero range process with site dependent jumping rates. Zbl 1422.60159
Lee, Eunghyun; Wang, Dong
4
2019
An efficient iterative thresholding method for image segmentation. Zbl 1380.65048
Wang, Dong; Li, Haohan; Wei, Xiaoyu; Wang, Xiao-Ping
4
2017
Integro-differential fractional boundary value problem on an unbounded domain. Zbl 1422.45008
Wang, Dong; Wang, Guotao
4
2016
Optimal remote preparation of a four-qubit entangled cluster-type state via two non-maximally entangled GHZ-type states. Zbl 1358.81064
Wang, Zhang-yin; Wang, Dong; Han, Lian-fang
4
2016
Factor models for matrix-valued high-dimensional time series. Zbl 1452.62684
Wang, Dong; Liu, Xialu; Chen, Rong
3
2019
An efficient boundary integral scheme for the MBO threshold dynamics method via the NUFFT. Zbl 1419.65080
Jiang, Shidong; Wang, Dong; Wang, Xiao-Ping
3
2018
Entropy-based wavelet de-noising method for time series analysis. Zbl 1179.94027
Sang, Yan-Fang; Wang, Dong; Wu, Ji-Chun; Zhu, Qing-Ping; Wang, Ling
3
2009
Distributed estimation of principal eigenspaces. Zbl 1450.62067
Fan, Jianqing; Wang, Dong; Wang, Kaizheng; Zhu, Ziwei
2
2019
Joint operational and financial collaboration in a capital-constrained supply chain under manufacturer collateral. Zbl 1395.90005
Bi, Gongbing; Fei, Yalei; Yuan, Xiaoyong; Wang, Dong
2
2018
Adaptive tracking control for non-affine nonlinear systems with non-affine function possibly being discontinuous. Zbl 1362.93076
Lv, Mao-Long; Sun, Xiu-Xia; Liu, Shu-Guang; Wang, Dong
2
2017
Nonlinear effects in composite cylinders: relations and dependence on inhomogeneities. Zbl 1423.74227
Wu, M. S.; Wang, Dong
2
2015
Making predicate abstraction efficient: how to eliminate redundant predicates. Zbl 1278.68163
Clarke, Edmund; Grumberg, Orna; Talupur, Muralidhar; Wang, Dong
2
2003
Using combinatorial optimization methods for quantification scheduling. Zbl 1002.68512
Chauhan, P.; Clarke, E.; Jha, S.; Kukula, J.; Veith, H.; Wang, D.
2
2001
Distributed constrained optimization for multi-agent systems over a directed graph with piecewise stepsize. Zbl 1437.93007
Wang, Dong; Chen, Yangwei; Gupta, Vijay; Lian, Jie
1
2020
A diffusion generated method for orthogonal matrix-valued fields. Zbl 1435.65144
Osting, Braxton; Wang, Dong
1
2020
An adaptive SVD-Krylov reduced order model for surrogate based structural shape optimization through isogeometric boundary element method. Zbl 1441.74187
Li, S.; Trevelyan, J.; Wu, Z.; Lian, H.; Wang, D.; Zhang, W.
1
2019
The dynamics of three-phase triple junction and contact points. Zbl 1373.76335
Wang, Dong; Wang, Xiao-Ping; Wang, Ya-Guang
1
2017
Cooperative learning neural network output feedback control of uncertain nonlinear multi-agent systems under directed topologies. Zbl 1372.93032
Wang, W.; Wang, D.; Peng, Z. H.
1
2017
Coordinating a supply chain for deteriorating items with multi-factor-dependent demand over a finite planning horizon. Zbl 07163326
Bai, Qingguo; Xu, Xianhao; Xu, Jianteng; Wang, Dong
1
2016
Occlusion-aware fragment-based tracking with spatial-temporal consistency. Zbl 1408.94619
Sun, Chong; Wang, Dong; Lu, Huchuan
1
2016
Efficient implementation of smoothed particle hydrodynamics (SPH) with plane sweep algorithm. Zbl 1373.76270
Wang, Dong; Zhou, Yisong; Shao, Sihong
1
2016
Top-\( k\) queries on RDF graphs. Zbl 1390.68251
Wang, Dong; Zou, Lei; Zhao, Dongyan
1
2015
Reliable social sensing with physical constraints: analytic bounds and performance evaluation. Zbl 1343.68038
Wang, Dong; Abdelzaher, Tarek; Kaplan, Lance; Ganti, Raghu; Hu, Shaohan; Liu, Hengchang
1
2015
Visual tracking via discriminative sparse similarity map. Zbl 1374.94480
Zhuang, Bohan; Lu, Huchuan; Xiao, Ziyang; Wang, Dong
1
2014
Examining the smooth and nonsmooth discrete element approaches to granular matter. Zbl 1352.74084
Servin, M.; Wang, D.; Lacoursière, C.; Bodin, K.
1
2014
Energy-optimal batching periods for asynchronous multistage data processing on sensor nodes: foundations and an mPlatform case study. Zbl 1243.68034
Wang, Dong; Abdelzaher, Tarek; Priyantha, Bodhi; Liu, Jie; Zhao, Feng
1
2012
A clustering algorithm based on multiple kernel SVM. Zbl 1212.68174
Zhao, Lifeng; Li, Xin; Wang, Dong
1
2009
Abstract BDDs: A technique for using abstraction in model checking. Zbl 0949.68105
Clarke, Edmund; Jha, Somesh; Lu, Yuan; Wang, Dong
1
1999
Distributed constrained optimization for multi-agent systems over a directed graph with piecewise stepsize. Zbl 1437.93007
Wang, Dong; Chen, Yangwei; Gupta, Vijay; Lian, Jie
1
2020
A diffusion generated method for orthogonal matrix-valued fields. Zbl 1435.65144
Osting, Braxton; Wang, Dong
1
2020
A diffusion generated method for computing Dirichlet partitions. Zbl 1407.51027
Wang, Dong; Osting, Braxton
6
2019
Distributions of a particle’s position and their asymptotics in the \(q\)-deformed totally asymmetric zero range process with site dependent jumping rates. Zbl 1422.60159
Lee, Eunghyun; Wang, Dong
4
2019
Factor models for matrix-valued high-dimensional time series. Zbl 1452.62684
Wang, Dong; Liu, Xialu; Chen, Rong
3
2019
Distributed estimation of principal eigenspaces. Zbl 1450.62067
Fan, Jianqing; Wang, Dong; Wang, Kaizheng; Zhu, Ziwei
2
2019
An adaptive SVD-Krylov reduced order model for surrogate based structural shape optimization through isogeometric boundary element method. Zbl 1441.74187
Li, S.; Trevelyan, J.; Wu, Z.; Lian, H.; Wang, D.; Zhang, W.
1
2019
The fast multi-pole indirect BEM for solving high-frequency seismic wave scattering by three-dimensional superficial irregularities. Zbl 1403.74193
Liu, Zhongxian; Wang, Dong; Liang, Jianwen; Wu, Fengjiao; Wu, Chengqing
5
2018
An efficient boundary integral scheme for the MBO threshold dynamics method via the NUFFT. Zbl 1419.65080
Jiang, Shidong; Wang, Dong; Wang, Xiao-Ping
3
2018
Joint operational and financial collaboration in a capital-constrained supply chain under manufacturer collateral. Zbl 1395.90005
Bi, Gongbing; Fei, Yalei; Yuan, Xiaoyong; Wang, Dong
2
2018
Muttalib-Borodin ensembles in random matrix theory – realisations and correlation functions. Zbl 1366.60009
Forrester, Peter J.; Wang, Dong
20
2017
An efficient threshold dynamics method for wetting on rough surfaces. Zbl 1378.76087
Xu, Xianmin; Wang, Dong; Wang, Xiao-Ping
10
2017
An efficient iterative thresholding method for image segmentation. Zbl 1380.65048
Wang, Dong; Li, Haohan; Wei, Xiaoyu; Wang, Xiao-Ping
4
2017
Adaptive tracking control for non-affine nonlinear systems with non-affine function possibly being discontinuous. Zbl 1362.93076
Lv, Mao-Long; Sun, Xiu-Xia; Liu, Shu-Guang; Wang, Dong
2
2017
The dynamics of three-phase triple junction and contact points. Zbl 1373.76335
Wang, Dong; Wang, Xiao-Ping; Wang, Ya-Guang
1
2017
Cooperative learning neural network output feedback control of uncertain nonlinear multi-agent systems under directed topologies. Zbl 1372.93032
Wang, W.; Wang, D.; Peng, Z. H.
1
2017
Bulk and soft-edge universality for singular values of products of Ginibre random matrices. Zbl 1384.60027
Liu, Dang-Zheng; Wang, Dong; Zhang, Lun
10
2016
Integro-differential fractional boundary value problem on an unbounded domain. Zbl 1422.45008
Wang, Dong; Wang, Guotao
4
2016
Optimal remote preparation of a four-qubit entangled cluster-type state via two non-maximally entangled GHZ-type states. Zbl 1358.81064
Wang, Zhang-yin; Wang, Dong; Han, Lian-fang
4
2016
Coordinating a supply chain for deteriorating items with multi-factor-dependent demand over a finite planning horizon. Zbl 07163326
Bai, Qingguo; Xu, Xianhao; Xu, Jianteng; Wang, Dong
1
2016
Occlusion-aware fragment-based tracking with spatial-temporal consistency. Zbl 1408.94619
Sun, Chong; Wang, Dong; Lu, Huchuan
1
2016
Efficient implementation of smoothed particle hydrodynamics (SPH) with plane sweep algorithm. Zbl 1373.76270
Wang, Dong; Zhou, Yisong; Shao, Sihong
1
2016
The multi-domain FMM-IBEM to model elastic wave scattering by three-dimensional inclusions in infinite domain. Zbl 1403.74194
Liu, Zhongxian; Wu, Fengjiao; Wang, Dong
7
2015
Nonlinear effects in composite cylinders: relations and dependence on inhomogeneities. Zbl 1423.74227
Wu, M. S.; Wang, Dong
2
2015
Top-\( k\) queries on RDF graphs. Zbl 1390.68251
Wang, Dong; Zou, Lei; Zhao, Dongyan
1
2015
Reliable social sensing with physical constraints: analytic bounds and performance evaluation. Zbl 1343.68038
Wang, Dong; Abdelzaher, Tarek; Kaplan, Lance; Ganti, Raghu; Hu, Shaohan; Liu, Hengchang
1
2015
Cryptanalysis and improvement of three-particle deterministic secure and high bit-rate direct quantum communication protocol. Zbl 1303.81063
Liu, Zhi-Hao; Chen, Han-Wu; Wang, Dong; Li, Wen-Qian
10
2014
Classical-operation-based deterministic secure quantum communication. Zbl 1298.81058
Liu, Zhi-Hao; Chen, Han-Wu; Wang, Dong; Xue, Xi-Ling
6
2014
Visual tracking via discriminative sparse similarity map. Zbl 1374.94480
Zhuang, Bohan; Lu, Huchuan; Xiao, Ziyang; Wang, Dong
1
2014
Examining the smooth and nonsmooth discrete element approaches to granular matter. Zbl 1352.74084
Servin, M.; Wang, D.; Lacoursière, C.; Bodin, K.
1
2014
Quantum secure direct communication with optimal quantum superdense coding by using general four-qubit states. Zbl 1277.94032
Liu, Zhihao; Chen, Hanwu; Liu, Wenjie; Xu, Juan; Wang, Dong; Li, Zhiqiang
15
2013
Online object tracking with sparse prototypes. Zbl 1373.94423
Wang, Dong; Lu, Huchuan; Yang, Ming-Hsuan
10
2013
Energy-optimal batching periods for asynchronous multistage data processing on sensor nodes: foundations and an mPlatform case study. Zbl 1243.68034
Wang, Dong; Abdelzaher, Tarek; Priyantha, Bodhi; Liu, Jie; Zhao, Feng
1
2012
Entropy-based wavelet de-noising method for time series analysis. Zbl 1179.94027
Sang, Yan-Fang; Wang, Dong; Wu, Ji-Chun; Zhu, Qing-Ping; Wang, Ling
3
2009
A clustering algorithm based on multiple kernel SVM. Zbl 1212.68174
Zhao, Lifeng; Li, Xin; Wang, Dong
1
2009
SAT based predicate abstraction for hardware verification. Zbl 1204.68129
Clarke, Edmund; Talupur, Muralidhar; Veith, Helmut; Wang, Dong
6
2004
Making predicate abstraction efficient: how to eliminate redundant predicates. Zbl 1278.68163
Clarke, Edmund; Grumberg, Orna; Talupur, Muralidhar; Wang, Dong
2
2003
Automated abstraction refinement for model checking large state spaces using SAT based conflict analysis. Zbl 1019.68618
Chauhan, Pankaj; Clarke, Edmund; Kukula, James; Sapra, Samir; Veith, Helmut; Wang, Dong
7
2002
Using combinatorial optimization methods for quantification scheduling. Zbl 1002.68512
Chauhan, P.; Clarke, E.; Jha, S.; Kukula, J.; Veith, H.; Wang, D.
2
2001
Abstract BDDs: A technique for using abstraction in model checking. Zbl 0949.68105
Clarke, Edmund; Jha, Somesh; Lu, Yuan; Wang, Dong
1
1999
all top 5

Cited by 302 Authors

11 Chen, Han Wu
11 Liu, Zhi-Hao
9 Forrester, Peter J.
6 Wang, Dong
4 Ipsen, Jesper R.
4 Liu, Dangzheng
4 Zhang, Lun
3 Chen, Rong
3 Kieburg, Mario
3 Kuijlaars, Arno B. J.
3 Liang, Jianwen
3 Liu, Wen-Jie
3 Liu, Zhongxian
3 Osting, Braxton
3 Schuppan, Viktor
3 Strahov, Eugene
3 Wang, Dong
3 Wang, Xiaoping
2 Abdelzaher, Tarek F.
2 Akemann, Gernot
2 An, Xing-Xing
2 Boyd, Stephen Poythress
2 Esedoglu, Selim
2 Gong, Lihua
2 Jiang, Shidong
2 Lee, Eunghyun
2 Lu, Yan
2 Marques-Silva, João P.
2 Nejad, Mohammad Zamani
2 Sang, Yan-Fang
2 Takapoui, Reza
2 Wang, Dong
2 Wang, Dong
2 Wang, Haibin
2 Wang, Xiao-Ping
2 Wu, Jichun
2 Xu, Xianmin
2 Yavuz, Tuba
2 Yu, Zhen-Bo
2 Zhai, Chengbo
1 Ahmad, Bashir
1 Alcázar, Vidal
1 Alford, Brad
1 Al-saedi, Ahmed Eid Salem
1 Aqlan, Mohammed Ha
1 Ashar, Pranav
1 Ba, Zhenning
1 Baltazar, Pedro
1 Beenamol, M.
1 Bemporad, Alberto
1 Bloem, Roderick
1 Bogoşel, Beniamin
1 Cao, Yanchuang
1 Chang, Xiaolin
1 Chechik, Marsha
1 Cheliotis, Dimitris
1 Chen, Elynn Y.
1 Chen, Xi
1 Chen, Xiao
1 Chen, Xin
1 Chen, Xiu-Bo
1 Chen, Yilin
1 Chen, Zhenyu
1 Cheng, Shan
1 Cheng, Yonggang
1 Choi, Kwontaeg
1 Choi, Seong Gon
1 Chu, Kwunlun
1 Claeys, Tom
1 Cui, Meng-Meng
1 Cvetković, Mario
1 Czarnecki, Krzysztof
1 Dai, Denghui
1 Dams, Dennis René
1 Dehghan, Mehdi
1 Devereux, Benet
1 Diamond, Steven
1 Dineva, Petia S.
1 Ding, Weifu
1 Dipierro, Serena
1 Dong, Li
1 Dong, Xinglin
1 Duan, Zhenhua
1 Easterbrook, Steve M.
1 Edelkamp, Stefan
1 Elsey, Matthew
1 Fan, Chia-Ming
1 Fischmeister, Sebastian
1 Fu, Desheng
1 Ganai, Malay K.
1 Ganesh, Vijay
1 Ganti, Raghu K.
1 Gao, Hongjuan
1 Gao, Yajun
1 Gao, Yufeng
1 Geng, Guohua
1 Ghannad, Mehdi
1 Gnitou, Gnim Tchalim
1 Goldberg, Eugene L.
1 Grumberg, Orna
...and 202 more Authors
all top 5

Cited in 63 Serials

16 International Journal of Theoretical Physics
12 Engineering Analysis with Boundary Elements
11 Quantum Information Processing
7 Random Matrices: Theory and Applications
4 Communications in Mathematical Physics
4 Theoretical Computer Science
4 SIGMA. Symmetry, Integrability and Geometry: Methods and Applications
3 Journal of Computational Physics
3 Journal of Scientific Computing
3 Formal Methods in System Design
3 Mathematical Problems in Engineering
2 International Journal of Engineering Science
2 Mathematics of Computation
2 Journal of Econometrics
2 Physica D
2 Real-Time Systems
2 International Journal of Computer Vision
2 Annales Henri Poincaré
2 Entropy
1 Acta Informatica
1 Artificial Intelligence
1 Computers & Mathematics with Applications
1 Computer Methods in Applied Mechanics and Engineering
1 International Journal of Control
1 Journal of the Franklin Institute
1 Journal of Statistical Physics
1 Nonlinearity
1 Nuclear Physics. B
1 Advances in Mathematics
1 Applied Mathematics and Computation
1 Information Sciences
1 Journal of the American Statistical Association
1 Journal of Computational and Applied Mathematics
1 Studies in Applied Mathematics
1 Advances in Applied Mathematics
1 Science of Computer Programming
1 Statistics & Probability Letters
1 Circuits, Systems, and Signal Processing
1 Constructive Approximation
1 Computational Mechanics
1 Applied Mathematical Modelling
1 Pattern Recognition
1 SIAM Journal on Applied Mathematics
1 Annales de l’Institut Henri Poincaré. Probabilités et Statistiques
1 Journal of Nonlinear Science
1 Applied Mathematics. Series B (English Edition)
1 Integral Transforms and Special Functions
1 Annals of Mathematics and Artificial Intelligence
1 Nonlinear Dynamics
1 Abstract and Applied Analysis
1 Optimization Methods & Software
1 International Journal of Nonlinear Sciences and Numerical Simulation
1 Journal of Machine Learning Research (JMLR)
1 Multiscale Modeling & Simulation
1 International Journal of Wavelets, Multiresolution and Information Processing
1 Mediterranean Journal of Mathematics
1 Advances in Difference Equations
1 Journal of Industrial and Management Optimization
1 Computational & Mathematical Methods in Medicine
1 Inverse Problems and Imaging
1 Algorithms
1 Advances in Pure and Applied Mathematics
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year