1. A Unified Framework for DPLL(T) + Certificates. (23rd May 2013) Authors: Zhou, Min; He, Fei; Wang, Bow-Yaw; Gu, Ming; Sun, Jiaguang Other Names: Song Xiaoyu Academic Editor. Journal: Journal of applied mathematics Issue: Volume 2013(2013) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Enhancing pyridinic nitrogen level in graphene to promote electrocatalytic activity for oxygen reduction reaction. (11th January 2016) Authors: Sun, Jiaguang; Wang, Lan; Song, Ranran; Yanga, Shubin Journal: Nanotechnology Issue: Volume 27:Number 5(2016) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Functional Verification of High Performance Adders in COQ. (10th April 2014) Authors: Wang, Qian; Song, Xiaoyu; Gu, Ming; Sun, Jiaguang Other Names: Thulasiraman Krishnaiyan Academic Editor. Journal: Journal of applied mathematics Issue: Volume 2014(2014) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Functional Verification of High Performance Adders in COQ. (10th April 2014) Authors: Wang, Qian; Song, Xiaoyu; Gu, Ming; Sun, Jiaguang Other Names: Thulasiraman Krishnaiyan Academic Editor. Journal: Journal of applied mathematics Issue: Volume 2014(2014) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Hybrid 2D–0D Graphene–VN Quantum Dots for Superior Lithium and Sodium Storage. Issue 6 (23rd December 2015) Authors: Wang, Lan; Sun, Jiaguang; Song, Ranran; Yang, Shubin; Song, Huaihe Journal: Advanced energy materials Issue: Volume 6:Issue 6(2016) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Identifying and constructing elemental parts of shafts based on conditional random fields model. (May 2015) Authors: Wen, Yamei; Zhang, Hui; Li, Fangtao; Sun, Jiaguang Journal: Computer aided design Issue: Volume 62(2015) Page Start: 10 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Identifying and constructing elemental parts of shafts based on conditional random fields model. (May 2015) Authors: Wen, Yamei; Zhang, Hui; Li, Fangtao; Sun, Jiaguang Journal: Computer aided design Issue: Volume 62(2015) Page Start: 10 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Memetic-based schedule synthesis for communication on time-triggered embedded systems. (October 2017) Authors: Shi, Heyuan; Tang, Kun; Liu, Chengbao; Song, Xiaoyu; Hu, Chao; Sun, Jiaguang Journal: International journal of distributed sensor networks Issue: Volume 13:Number 10(2017) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Modeling a Heterogeneous Embedded System in Coloured Petri Nets. (31st March 2014) Authors: Zhang, Huafeng; Zhang, Hehua; Gu, Ming; Sun, Jiaguang Other Names: Song X. Academic Editor. Journal: Journal of applied mathematics Issue: Volume 2014(2014) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Nitrogen-doped holey graphene foams for high-performance lithium storage. Issue 111 (26th October 2015) Authors: Sun, Jiaguang; Wang, Lan; Song, Ranran; Yang, Shubin Journal: RSC advances Issue: Volume 5:Issue 111(2015) Page Start: 91114 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗