×

zbMATH — the first resource for mathematics

Sun, Jun

Compute Distance To:
Author ID: sun.jun Recent zbMATH articles by "Sun, Jun"
Published as: Sun, J.; Sun, Jun
Documents Indexed: 91 Publications since 1997, including 3 Books

Publications by Year

Citations contained in zbMATH

38 Publications have been cited 105 times in 99 Documents Cited by Year
The fastest mixing Markov process on a graph and a connecting to a maximum variance unfolding problem. Zbl 1109.60324
Sun, Jun; Boyd, Stephen; Xiao, Lin; Diaconis, Persi
22
2006
Spectral indicator method for a non-selfadjoint Steklov eigenvalue problem. Zbl 1422.65361
Liu, J.; Sun, J.; Turner, T.
6
2019
Using quantum-behaved particle swarm optimization algorithm to solve non-linear programming problems. Zbl 1116.65072
Sun, Jun; Liu, Jing; Xu, Wenbo
6
2007
Recursive integral method with Cayley transformation. Zbl 07031739
Huang, R.; Sun, J.; Yang, C.
5
2018
Optimizing the codon usage of synthetic gene with QPSO algorithm. Zbl 1400.92180
Cai, Yujie; Sun, Jun; Wang, Jie; Ding, Yanrui; Tian, Na; Liao, Xiangru; Xu, Wenbo
5
2008
Quantum-behaved particle swarm optimization algorithm with controlled diversity. Zbl 1157.68433
Sun, Jun; Xu, Wenbo; Fang, Wei
5
2006
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS. Zbl 1398.68373
Shi, Ling; Zhao, Yongxin; Liu, Yang; Sun, Jun; Dong, Jin Song; Qin, Shengchao
3
2018
Generalized Lagrangian mean curvature flows in almost Calabi-Yau manifolds. Zbl 1372.53068
Sun, Jun; Yang, Liuqing
3
2017
Cancer feature selection and classification using a binary quantum-behaved particle swarm optimization and support vector machine. Zbl 1359.92055
Xi, Maolong; Sun, Jun; Liu, Li; Fan, Fangyun; Wu, Xiaojun
3
2016
Random drift particle swarm optimization algorithm: convergence analysis and parameter selection. Zbl 1343.68224
Sun, Jun; Wu, Xiaojun; Palade, Vasile; Fang, Wei; Shi, Yuhui
3
2015
Towards verification of computation orchestration. Zbl 1342.68209
Dong, Jin Song; Liu, Yang; Sun, Jun; Zhang, Xian
3
2014
Convergence analysis of quantum-behaved particle swarm optimization algorithm and study on its control parameter. Zbl 1224.90219
Fang, Wei; Sun, Jun; Xie, Zhenping; Xu, Wenbo
3
2010
A formal framework for modeling and validating simulink diagrams. Zbl 1192.68438
Chen, Chunqing; Dong, Jin Song; Sun, Jun
3
2009
Skew mean curvature flow. Zbl 1405.53093
Song, Chong; Sun, Jun
2
2019
Robust single-image super-resolution based on adaptive edge-preserving smoothing regularization. Zbl 1409.94816
Huang, Shuying; Sun, Jun; Yang, Yong; Fang, Yuming; Lin, Pan; Que, Yue
2
2018
A multiple template approach for robust tracking of fast motion target. Zbl 1363.68201
Sun, Jun; He, Fazhi; Chen, Yilin; Chen, Xiao
2
2016
Evolutionary sampling: a novel way of machine learning within a probabilistic framework. Zbl 1360.68722
Xie, Zhenping; Sun, Jun; Palade, Vasile; Wang, Shitong; Liu, Yuan
2
2015
On two-stage sequential coding of correlated sources. Zbl 1359.94465
Wang, Jia; Wu, Xiaolin; Sun, Jun; Yu, Songyu
2
2014
Multiple sequence alignment using the hidden Markov model trained by an improved quantum-behaved particle swarm optimization. Zbl 1250.68239
Sun, Jun; Wu, Xiaojun; Fang, Wei; Ding, Yangrui; Long, Haixia; Xu, Webo
2
2012
A general compiler for password-authenticated group key exchange protocol. Zbl 1209.68116
Li, Hui; Wu, Chuan-Kun; Sun, Jun
2
2010
Enhancing global search ability of quantum-behaved particle swarm optimization by maintaining diversity of the swarm. Zbl 1162.68659
Sun, Jun; Xu, Wenbo; Fang, Wei
2
2006
A generally applicable approximate solution for mixed mode crack-inclusion interaction. Zbl 1103.74051
Li, Z.; Sheng, Q.; Sun, J.
2
2006
Synthesis of distributed processes from scenario-based specifications. Zbl 1120.68422
Sun, Jun; Dong, Jin Song
2
2005
Robust coordinated control for large flexible spacecraft based on consensus theory. Zbl 1441.93064
Sun, Jun; Li, Shuang; Huang, Jing; Zhu, Dongfang
1
2020
Frame inference for inductive entailment proofs in separation logic. Zbl 1423.68104
Le, Quang Loc; Sun, Jun; Qin, Shengchao
1
2018
Satisfiability modulo heap-based programs. Zbl 1411.68028
Le, Quang Loc; Sun, Jun; Chin, Wei-Ngan
1
2016
Model checking approach to automated planning. Zbl 1291.68263
Li, Yi; Dong, Jin Song; Sun, Jing; Liu, Yang; Sun, Jun
1
2014
Complexity of the soundness problem of workflow nets. Zbl 1286.90079
Liu, GuanJun; Sun, Jun; Liu, Yang; Dong, JinSong
1
2014
State space reduction for sensor networks using two-level partial order reduction. Zbl 1426.68026
Zheng, Manchun; Sanán, David; Sun, Jun; Liu, Yang; Dong, Jin Song; Gu, Yu
1
2013
SeVe: automatic tool for verification of security protocols. Zbl 1251.68142
Luu, Anh Tuan; Sun, Jun; Liu, Yang; Dong, Jin Song
1
2012
Improved BDD-based discrete analysis of timed systems. Zbl 1372.68175
Nguyen, Truong Khanh; Sun, Jun; Liu, Yang; Dong, Jin Song; Liu, Yan
1
2012
An efficient algorithm for learning event-recording automata. Zbl 1348.68077
Lin, Shang-Wei; André, Étienne; Dong, Jin Song; Sun, Jun; Liu, Yang
1
2011
Universal alignment probability revisited. Zbl 1165.93344
Shen, Z.; Zhao, Q. C.; Jia, Q.-S.; Sun, J.
1
2009
Analysis of mutation operators on quantum-behaved particle swarm optimization algorithm. Zbl 1171.90556
Fang, Wei; Sun, Jun; Xu, Wenbo
1
2009
Design of vibration controllers for flexible beams using the mechatronic design quotient (MDQ) approach. Zbl 1182.74105
Sun, J.; Poo, A. N.; Ang, M. H.; Hong, G. S.; De Silva, C. W.; Tan, K. K.
1
2007
Reasoning support for semantic web ontology family languages using Alloy. Zbl 1117.68009
Wang, Hai H.; Dong, Jin Song; Sun, Jing; Sun, Jun
1
2006
Localization and glassy dynamics in the immune system. Zbl 1130.82345
Sun, Jun; Earl, David J.; Deem, Michael W.
1
2006
Scaling laws of cylindrical shells under lateral pressure. Zbl 0899.73286
Tabiei, A.; Sun, J.; Simitses, G. J.
1
1997
Robust coordinated control for large flexible spacecraft based on consensus theory. Zbl 1441.93064
Sun, Jun; Li, Shuang; Huang, Jing; Zhu, Dongfang
1
2020
Spectral indicator method for a non-selfadjoint Steklov eigenvalue problem. Zbl 1422.65361
Liu, J.; Sun, J.; Turner, T.
6
2019
Skew mean curvature flow. Zbl 1405.53093
Song, Chong; Sun, Jun
2
2019
Recursive integral method with Cayley transformation. Zbl 07031739
Huang, R.; Sun, J.; Yang, C.
5
2018
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS. Zbl 1398.68373
Shi, Ling; Zhao, Yongxin; Liu, Yang; Sun, Jun; Dong, Jin Song; Qin, Shengchao
3
2018
Robust single-image super-resolution based on adaptive edge-preserving smoothing regularization. Zbl 1409.94816
Huang, Shuying; Sun, Jun; Yang, Yong; Fang, Yuming; Lin, Pan; Que, Yue
2
2018
Frame inference for inductive entailment proofs in separation logic. Zbl 1423.68104
Le, Quang Loc; Sun, Jun; Qin, Shengchao
1
2018
Generalized Lagrangian mean curvature flows in almost Calabi-Yau manifolds. Zbl 1372.53068
Sun, Jun; Yang, Liuqing
3
2017
Cancer feature selection and classification using a binary quantum-behaved particle swarm optimization and support vector machine. Zbl 1359.92055
Xi, Maolong; Sun, Jun; Liu, Li; Fan, Fangyun; Wu, Xiaojun
3
2016
A multiple template approach for robust tracking of fast motion target. Zbl 1363.68201
Sun, Jun; He, Fazhi; Chen, Yilin; Chen, Xiao
2
2016
Satisfiability modulo heap-based programs. Zbl 1411.68028
Le, Quang Loc; Sun, Jun; Chin, Wei-Ngan
1
2016
Random drift particle swarm optimization algorithm: convergence analysis and parameter selection. Zbl 1343.68224
Sun, Jun; Wu, Xiaojun; Palade, Vasile; Fang, Wei; Shi, Yuhui
3
2015
Evolutionary sampling: a novel way of machine learning within a probabilistic framework. Zbl 1360.68722
Xie, Zhenping; Sun, Jun; Palade, Vasile; Wang, Shitong; Liu, Yuan
2
2015
Towards verification of computation orchestration. Zbl 1342.68209
Dong, Jin Song; Liu, Yang; Sun, Jun; Zhang, Xian
3
2014
On two-stage sequential coding of correlated sources. Zbl 1359.94465
Wang, Jia; Wu, Xiaolin; Sun, Jun; Yu, Songyu
2
2014
Model checking approach to automated planning. Zbl 1291.68263
Li, Yi; Dong, Jin Song; Sun, Jing; Liu, Yang; Sun, Jun
1
2014
Complexity of the soundness problem of workflow nets. Zbl 1286.90079
Liu, GuanJun; Sun, Jun; Liu, Yang; Dong, JinSong
1
2014
State space reduction for sensor networks using two-level partial order reduction. Zbl 1426.68026
Zheng, Manchun; Sanán, David; Sun, Jun; Liu, Yang; Dong, Jin Song; Gu, Yu
1
2013
Multiple sequence alignment using the hidden Markov model trained by an improved quantum-behaved particle swarm optimization. Zbl 1250.68239
Sun, Jun; Wu, Xiaojun; Fang, Wei; Ding, Yangrui; Long, Haixia; Xu, Webo
2
2012
SeVe: automatic tool for verification of security protocols. Zbl 1251.68142
Luu, Anh Tuan; Sun, Jun; Liu, Yang; Dong, Jin Song
1
2012
Improved BDD-based discrete analysis of timed systems. Zbl 1372.68175
Nguyen, Truong Khanh; Sun, Jun; Liu, Yang; Dong, Jin Song; Liu, Yan
1
2012
An efficient algorithm for learning event-recording automata. Zbl 1348.68077
Lin, Shang-Wei; André, Étienne; Dong, Jin Song; Sun, Jun; Liu, Yang
1
2011
Convergence analysis of quantum-behaved particle swarm optimization algorithm and study on its control parameter. Zbl 1224.90219
Fang, Wei; Sun, Jun; Xie, Zhenping; Xu, Wenbo
3
2010
A general compiler for password-authenticated group key exchange protocol. Zbl 1209.68116
Li, Hui; Wu, Chuan-Kun; Sun, Jun
2
2010
A formal framework for modeling and validating simulink diagrams. Zbl 1192.68438
Chen, Chunqing; Dong, Jin Song; Sun, Jun
3
2009
Universal alignment probability revisited. Zbl 1165.93344
Shen, Z.; Zhao, Q. C.; Jia, Q.-S.; Sun, J.
1
2009
Analysis of mutation operators on quantum-behaved particle swarm optimization algorithm. Zbl 1171.90556
Fang, Wei; Sun, Jun; Xu, Wenbo
1
2009
Optimizing the codon usage of synthetic gene with QPSO algorithm. Zbl 1400.92180
Cai, Yujie; Sun, Jun; Wang, Jie; Ding, Yanrui; Tian, Na; Liao, Xiangru; Xu, Wenbo
5
2008
Using quantum-behaved particle swarm optimization algorithm to solve non-linear programming problems. Zbl 1116.65072
Sun, Jun; Liu, Jing; Xu, Wenbo
6
2007
Design of vibration controllers for flexible beams using the mechatronic design quotient (MDQ) approach. Zbl 1182.74105
Sun, J.; Poo, A. N.; Ang, M. H.; Hong, G. S.; De Silva, C. W.; Tan, K. K.
1
2007
The fastest mixing Markov process on a graph and a connecting to a maximum variance unfolding problem. Zbl 1109.60324
Sun, Jun; Boyd, Stephen; Xiao, Lin; Diaconis, Persi
22
2006
Quantum-behaved particle swarm optimization algorithm with controlled diversity. Zbl 1157.68433
Sun, Jun; Xu, Wenbo; Fang, Wei
5
2006
Enhancing global search ability of quantum-behaved particle swarm optimization by maintaining diversity of the swarm. Zbl 1162.68659
Sun, Jun; Xu, Wenbo; Fang, Wei
2
2006
A generally applicable approximate solution for mixed mode crack-inclusion interaction. Zbl 1103.74051
Li, Z.; Sheng, Q.; Sun, J.
2
2006
Reasoning support for semantic web ontology family languages using Alloy. Zbl 1117.68009
Wang, Hai H.; Dong, Jin Song; Sun, Jing; Sun, Jun
1
2006
Localization and glassy dynamics in the immune system. Zbl 1130.82345
Sun, Jun; Earl, David J.; Deem, Michael W.
1
2006
Synthesis of distributed processes from scenario-based specifications. Zbl 1120.68422
Sun, Jun; Dong, Jin Song
2
2005
Scaling laws of cylindrical shells under lateral pressure. Zbl 0899.73286
Tabiei, A.; Sun, J.; Simitses, G. J.
1
1997
all top 5

Cited by 256 Authors

4 Helmberg, Christoph
4 Sun, Jun
3 Cavalcanti, Ana
3 Sun, Jiguang
3 Xu, Wenbo
2 Bi, Hai
2 Chen, Yizhou
2 Chen, Zhiguo
2 Fang, Wei
2 Fouss, Francois
2 Fu, Yi
2 Gong, Bo
2 Göring, Frank
2 Gundlach, Carsten
2 Harel, David
2 He, Fazhi
2 Huang, Ming
2 Lai, Choi-Hong
2 Li, Haoran
2 Liang, Xijun
2 Osting, Braxton
2 Palade, Vasile
2 Pang, Liping
2 Reiss, Susanna
2 Saerens, Marco
2 Sun, Jun
2 Sun, Jun
2 Wu, Xiaojun
2 Xiao, Wenqiang
2 Yang, Yidu
2 Zhang, Yu
2 Zhang, Zhimin
2 Zhao, Ji
2 Zhou, Di
2 Zhu, Huibiao
1 Achbany, Youssef
1 AlTurki, Musab A.
1 Ang, Miin Huey
1 Bertozzi, Andrea Louise
1 Bhasha, A. Valli
1 Bjørner, Dines
1 Bowen, Jonathan P.
1 Boyd, Stephen Poythress
1 Candès, Emmanuel J.
1 Chen, Jiawei
1 Chen, Junhui
1 Chen, Lijing
1 Chen, Mingshuai
1 Chen, Xiaole
1 Chen, Yang
1 Chew, Chee Meng
1 Clayton, Phil
1 Coban, Mustafa Turhan
1 d’Aspremont, Alexandre
1 de Silva, Clarence Wilfred
1 Deng, Hua
1 Deng, Riqiang
1 Dennis Wong, M. L.
1 Diaconis, Persi Warren
1 Ding, Chao
1 Ding, Yangrui
1 Dobrikov, Ivaylo
1 Dong, JinSong
1 Du, Hongwei
1 Du, Wenli
1 Duan, Zhenhua
1 Farsangi, Malihe M.
1 Fill, James Allen
1 Fu, Liuwei
1 Fu, Xiao
1 Gabarró, Joaquim
1 Gade, Kranthi K.
1 Gao, Faqin
1 García-Díez, Silvia
1 Ge, Hongwei
1 Gharibshah, Joobin
1 Grodzki, Grzegorz
1 Guillen, Nestor
1 Guo, Songtao
1 Guo, Xuning
1 Han, Qinglong
1 Han, Zhiwei
1 Hassanien, Aboul Ella
1 He, Debiao
1 He, Jifeng
1 Hong, Gap-Seon
1 Hu, Haiyan
1 Hu, Tiesong
1 Huang, Fangzhou
1 Huang, Kuo-Ling
1 Huang, Qiumei
1 Huang, Rui
1 Huang, Ruihao
1 Hung, William N. N.
1 Jalili, Mahdi
1 Ji, Yao
1 Jia, Qing-Shan
1 Jiang, Bin
1 Jiao, Xiong
1 Kahn, Jonas
...and 156 more Authors
all top 5

Cited in 62 Serials

7 Information Sciences
5 Applied Mathematics and Computation
5 Formal Aspects of Computing
4 International Journal of Computer Mathematics
4 Computational & Mathematical Methods in Medicine
3 Mathematical Problems in Engineering
2 Computers & Mathematics with Applications
2 Chinese Annals of Mathematics. Series B
2 Journal of Scientific Computing
2 Mathematical Programming. Series A. Series B
2 Applied Mathematics. Series B (English Edition)
2 Complexity
2 Nonlinear Dynamics
2 Journal of Combinatorial Optimization
2 Living Reviews in Relativity
2 Journal of Theoretical Biology
1 Discrete Applied Mathematics
1 Inverse Problems
1 Journal of the Franklin Institute
1 Nonlinearity
1 Theoretical and Mathematical Physics
1 ZAMP. Zeitschrift für angewandte Mathematik und Physik
1 Journal of Geometry and Physics
1 Journal of Computer and System Sciences
1 Journal of Graph Theory
1 Numerical Functional Analysis and Optimization
1 Theoretical Computer Science
1 Optimal Control Applications & Methods
1 Advances in Applied Mathematics
1 Operations Research Letters
1 Applied Mathematics and Mechanics. (English Edition)
1 Journal of Classification
1 Applied Numerical Mathematics
1 Constructive Approximation
1 Statistical Science
1 Applied Mathematics Letters
1 SIAM Journal on Discrete Mathematics
1 Neural Computation
1 The Annals of Applied Probability
1 Discrete Event Dynamic Systems
1 Pattern Recognition
1 Journal of Nonlinear Science
1 Formal Methods in System Design
1 Calculus of Variations and Partial Differential Equations
1 Journal of Inverse and Ill-Posed Problems
1 Engineering Analysis with Boundary Elements
1 The Journal of Fourier Analysis and Applications
1 Journal of Vibration and Control
1 Abstract and Applied Analysis
1 Optimization Methods & Software
1 Discrete Dynamics in Nature and Society
1 International Journal of Applied Mathematics and Computer Science
1 Nonlinear Analysis. Real World Applications
1 Milan Journal of Mathematics
1 International Journal of Wavelets, Multiresolution and Information Processing
1 Journal of Industrial and Management Optimization
1 Discrete and Continuous Dynamical Systems. Series S
1 International Journal of Structural Stability and Dynamics
1 Stochastic Systems
1 Analysis and Geometry in Metric Spaces
1 Journal of Logical and Algebraic Methods in Programming
1 Open Mathematics

Citations by Year