Edit Profile (opens in new tab) Li, Wenda Compute Distance To: Compute Author ID: li.wenda Published as: Li, Wenda Documents Indexed: 32 Publications since 1989 Co-Authors: 8 Co-Authors with 6 Joint Publications 231 Co-Co-Authors all top 5 Co-Authors 0 single-authored 5 Paulson, Lawrence Charles 3 Nee, A. Y. C. 3 Ong, S. K. 2 Poon, J. C. H. 1 Bliss, Karen M. 1 Bordg, Anthony 1 Cai, Jian 1 Cao, Haitao 1 Carter, Campbell D. 1 Chaubey, Yogendra Prasad 1 Cheng, Xiaolin 1 Clark-Stone, J. 1 Crimi, M. 1 Dinger, M. J. 1 Durham, Stephen D. 1 Dwivedi, T. D. 1 Evans, P. J. 1 Flournoy, Nancy 1 Huang, Jingfang 1 Huber, Gary A. 1 Jing, Zhu 1 Kavanagh, Kathleen Rose 1 Koutsoukou-Argyraki, Angeliki 1 Liu, Gui-Rong 1 McCammon, J. Andrew 1 Mileham, A. R. 1 Ogihara, Mitsunori 1 Owen, Geraint 1 Passmore, Grant Olney 1 Ryan, Mark Dermot 1 Saleeb, Atef F. 1 Schreyer, Howard L. 1 Siegmund, Thomas 1 Sulsky, Deborah L. 1 Tong, Chenning 1 Wilt, Thomas E. 1 Yi, Yujun 1 Zaki, Mohammed Javeed 1 Zhang, Bo 1 Zhang, Shanghong 1 Zhao, Yong all top 5 Serials 6 International Journal of Production Research 2 Journal of Fluid Mechanics 2 Journal of Sound and Vibration 2 Journal of Automated Reasoning 2 Experimental Mathematics 1 The Canadian Journal of Statistics 1 Computer Physics Communications 1 Discrete Mathematics 1 International Journal of Mechanical Sciences 1 Applied Mathematics and Computation 1 Journal of Computational and Applied Mathematics 1 Circuits, Systems, and Signal Processing 1 Acta Mathematica Hungarica 1 Journal of National Academy of Mathematics, India 1 Computational Mechanics 1 Signal Processing 1 Mathematical Problems in Engineering 1 CMES. Computer Modeling in Engineering & Sciences 1 1 Journal of Computational Acoustics all top 5 Fields 8 Computer science (68-XX) 8 Fluid mechanics (76-XX) 6 Operations research, mathematical programming (90-XX) 5 Mechanics of deformable solids (74-XX) 3 Mathematical logic and foundations (03-XX) 2 Functions of a complex variable (30-XX) 2 Statistics (62-XX) 2 Biology and other natural sciences (92-XX) 2 Systems theory; control (93-XX) 1 Combinatorics (05-XX) 1 Number theory (11-XX) 1 Field theory and polynomials (12-XX) 1 Algebraic geometry (14-XX) 1 Measure and integration (28-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) 1 Mechanics of particles and systems (70-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year Citations contained in zbMATH Open 18 Publications have been cited 5 times in 4 Documents Cited by ▼ Year ▼ A sequential design for maximizing the probability of a favourable response. Zbl 0916.62057Durham, S. D.; Flournoy, N.; Li, W. 40 1998 Optimisation of integrated process planning and scheduling using a particle swarm optimisation approach. Zbl 1198.90183Guo, Y. W.; Li, W. D.; Mileham, A. R.; Owen, G. W. 9 2009 Hybrid genetic algorithm and simulated annealing approach for the optimization of process plans for prismatic parts. Zbl 1058.90034Li, W. D.; Ong, S. K.; Nee, A. Y. C. 6 2002 Existence of strong symmetric self-orthogonal diagonal Latin squares. Zbl 1226.05059Cao, H.; Li, W. 5 2011 Optimization of process plans using a constraint-based tabu search approach. Zbl 1094.90535Li, W. D.; Ong, S. K.; Nee, A. Y. C. 4 2004 Hausdorff dimensions of sets related to Lüroth expansion. Zbl 1399.28006Gui, Y.; Li, W. 4 2016 Principal internal resonances in 3-DOF systems subjected to wide-band random excitation. Zbl 1235.74141Li, W.; Ibrahim, R. A. 3 1989 An implicit integration scheme for generalized viscoplasticity with dynamic recovery. Zbl 0931.74079Saleeb, A. F.; Wilt, T. E.; Li, W. 3 1998 Optimization of machining datum selection and machining tolerance allocation with genetic algorithms. Zbl 0944.90537Li, W.; Bai, G.; Zhang, C.; Wang, B. 2 2000 A hybrid method for recognizing interacting machining features. Zbl 1059.90097Li, W. D.; Ong, S. K.; Nee, A. Y. C. 2 2003 Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL. Zbl 1468.68298Li, Wenda; Passmore, Grant Olney; Paulson, Lawrence C. 2 2019 Experimental study of three-scalar mixing in a turbulent coaxial jet. Zbl 1241.76012Cai, J.; Dinger, M. J.; Li, W.; Carter, C. D.; Ryan, M. D.; Tong, C. 2 2011 Parallel data mining for association rules on shared-memory systems. Zbl 0991.68620Parthasarathy, S.; Zaki, M. J.; Ogihara, M.; Li, W. 2 2001 State-of-the-art technologies and methodologies for collaborative product development systems. Zbl 1122.90341Li, W. D.; Qiu, Z. M. 2 2006 A formal proof of Cauchy’s residue theorem. Zbl 1478.68440Li, Wenda; Paulson, Lawrence C. 2 2016 An analytical consideration of steady-state forced convection within a nanofluid-saturated metal foam. Zbl 1337.76060Zhang, W.; Li, W.; Nakayama, A. 2 2015 Evaluating winding numbers and counting complex roots through Cauchy indices in Isabelle/HOL. Zbl 1468.68299Li, Wenda; Paulson, Lawrence C. 1 2020 Numerical stabilities and boundary conditions in time-domain Eulerian simulations of acoustic wave propagations with and without background flow. Zbl 1142.76039Zheng, Z. C.; Li, W. 1 2008 Evaluating winding numbers and counting complex roots through Cauchy indices in Isabelle/HOL. Zbl 1468.68299Li, Wenda; Paulson, Lawrence C. 1 2020 Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL. Zbl 1468.68298Li, Wenda; Passmore, Grant Olney; Paulson, Lawrence C. 2 2019 Hausdorff dimensions of sets related to Lüroth expansion. Zbl 1399.28006Gui, Y.; Li, W. 4 2016 A formal proof of Cauchy’s residue theorem. Zbl 1478.68440Li, Wenda; Paulson, Lawrence C. 2 2016 An analytical consideration of steady-state forced convection within a nanofluid-saturated metal foam. Zbl 1337.76060Zhang, W.; Li, W.; Nakayama, A. 2 2015 Existence of strong symmetric self-orthogonal diagonal Latin squares. Zbl 1226.05059Cao, H.; Li, W. 5 2011 Experimental study of three-scalar mixing in a turbulent coaxial jet. Zbl 1241.76012Cai, J.; Dinger, M. J.; Li, W.; Carter, C. D.; Ryan, M. D.; Tong, C. 2 2011 Optimisation of integrated process planning and scheduling using a particle swarm optimisation approach. Zbl 1198.90183Guo, Y. W.; Li, W. D.; Mileham, A. R.; Owen, G. W. 9 2009 Numerical stabilities and boundary conditions in time-domain Eulerian simulations of acoustic wave propagations with and without background flow. Zbl 1142.76039Zheng, Z. C.; Li, W. 1 2008 State-of-the-art technologies and methodologies for collaborative product development systems. Zbl 1122.90341Li, W. D.; Qiu, Z. M. 2 2006 Optimization of process plans using a constraint-based tabu search approach. Zbl 1094.90535Li, W. D.; Ong, S. K.; Nee, A. Y. C. 4 2004 A hybrid method for recognizing interacting machining features. Zbl 1059.90097Li, W. D.; Ong, S. K.; Nee, A. Y. C. 2 2003 Hybrid genetic algorithm and simulated annealing approach for the optimization of process plans for prismatic parts. Zbl 1058.90034Li, W. D.; Ong, S. K.; Nee, A. Y. C. 6 2002 Parallel data mining for association rules on shared-memory systems. Zbl 0991.68620Parthasarathy, S.; Zaki, M. J.; Ogihara, M.; Li, W. 2 2001 Optimization of machining datum selection and machining tolerance allocation with genetic algorithms. Zbl 0944.90537Li, W.; Bai, G.; Zhang, C.; Wang, B. 2 2000 A sequential design for maximizing the probability of a favourable response. Zbl 0916.62057Durham, S. D.; Flournoy, N.; Li, W. 40 1998 An implicit integration scheme for generalized viscoplasticity with dynamic recovery. Zbl 0931.74079Saleeb, A. F.; Wilt, T. E.; Li, W. 3 1998 Principal internal resonances in 3-DOF systems subjected to wide-band random excitation. Zbl 1235.74141Li, W.; Ibrahim, R. A. 3 1989 all top 5 Cited by 6 Authors 3 Paulson, Lawrence Charles 2 Li, Wenda 1 Eberl, Manuel 1 Nipkow, Tobias 1 Passmore, Grant Olney 1 Wenzel, Makarius Cited in 2 Serials 2 Journal of Automated Reasoning 1 Formal Aspects of Computing Cited in 3 Fields 4 Computer science (68-XX) 1 Field theory and polynomials (12-XX) 1 Functions of a complex variable (30-XX) Citations by Year