Edit Profile Nie, Xinchuang Compute Distance To: Compute Author ID: nie.xinchuang Published as: Nie, X.; Nie, X. C.; Nie, Xinchuang Documents Indexed: 5 Publications since 1994 all top 5 Co-Authors 0 single-authored 2 Jia, Yu 2 Xue, Xinlian 2 Zhai, Hao 1 Guo, Zhixiong 1 Guo, Zixiong 1 Han, Shaoling 1 Li, Shuang-Feng 1 Li, Sufen 1 Shevlin, S. A. 1 Sun, Qingbo 1 Sun, Qingqing 1 Wang, Fahui 1 Wang, Fei Serials 2 Physics Letters. A Fields 2 Quantum theory (81-XX) 1 Computer science (68-XX) 1 Optics, electromagnetic theory (78-XX) 1 Statistical mechanics, structure of matter (82-XX) Publications by Year Citations contained in zbMATH 2 Publications have been cited 19 times in 19 Documents Cited by ▼ Year ▼ Acoustic simulation using \(\alpha\)-FEM with a general approach for reducing dispersion error. Zbl 1403.76044He, Zhi Cheng; Li, Eric; Li, G. Y.; Wu, F.; Liu, G. R.; Nie, X. 13 2015 An overview of the Tecton proof system. Zbl 0938.68823Kapur, D.; Nie, X.; Musser, D. R. 6 1994 Acoustic simulation using \(\alpha\)-FEM with a general approach for reducing dispersion error. Zbl 1403.76044He, Zhi Cheng; Li, Eric; Li, G. Y.; Wu, F.; Liu, G. R.; Nie, X. 13 2015 An overview of the Tecton proof system. Zbl 0938.68823Kapur, D.; Nie, X.; Musser, D. R. 6 1994 all top 5 Cited by 59 Authors 2 Chai, Yingbin 2 Kapur, Deepak 2 Li, Tianyun 2 Li, Wei 2 Ren, Shuhui 2 Zhou, Liming 1 Annabattula, R. K. 1 Armando, Alessandro 1 Chau-Dinh, Thanh 1 Chen, Yu-Jen 1 Cui, Xiangyang 1 Francis, Amanda E. 1 Gong, Zhixiong 1 He, Zhicheng 1 Hu, Mengjun 1 Hu, Xin 1 Jouannaud, Jean-Pierre 1 Kounalis, Emmanuel 1 Kumar, Jyant 1 Kumbhar, Pramod Y. 1 Li, Eric 1 Li, Guangyao 1 Li, Min-Si 1 Li, Xiaolin 1 Liu, Gui-Rong 1 Liu, Peng 1 Llewellyn Smith, Stefan G. 1 Meng, Guangwei 1 Mohapatra, Debasis 1 Musser, David R. 1 Natarajan, Sundararajan 1 Nguyen, Trung-Kien 1 Nguyen, Van-Hau 1 Nie, Bin 1 Nie, Xiao 1 Ranise, Silvio 1 Simons, Martin 1 Stavridou, Victoria 1 Subramaniam, Mahadevan 1 Sun, Yangbin 1 Swaminathan, Nedunchezian 1 Wang, Gang 1 Wang, Liheng 1 Weber, Matthias 1 Wu, Fang 1 Wu, Fei 1 Wu, Gang 1 Yang, Hongrong 1 Yao, Lingyun 1 Yao, Liya 1 You, Xiangyu 1 Zeng, Wei 1 Zeng, Wenting 1 Zhang, Qifan 1 Zhang, Qixun 1 Zhang, Qunyi 1 Zhang, Tao 1 Zhang, Yongou 1 Zou, Zhihong all top 5 Cited in 12 Serials 5 International Journal of Computational Methods 4 Engineering Analysis with Boundary Elements 1 Acta Mechanica 1 Theoretical Computer Science 1 Journal of Symbolic Computation 1 Information and Computation 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 Applied Mathematical Modelling 1 Formal Methods in System Design 1 European Journal of Mechanics. A. Solids 1 Archives of Computational Methods in Engineering all top 5 Cited in 8 Fields 8 Numerical analysis (65-XX) 7 Computer science (68-XX) 7 Mechanics of deformable solids (74-XX) 5 Fluid mechanics (76-XX) 2 Mathematical logic and foundations (03-XX) 1 Partial differential equations (35-XX) 1 Optics, electromagnetic theory (78-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year