Author/Creator: Qin, Shengchao - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Qin, Shengchao

1. Comparative modelling and verification of Pthreads and Dthreads. Issue 3 (17th November 2017)

Authors:: Fei, Yuan; Zhu, Huibiao; Wu, Xi; Fang, Huixing; Qin, Shengchao
Other Names:: Babiceanu Radu guestEditor.; Waeselynck Hélène guestEditor.
Journal:: Journal of software
Issue:: Volume 30:Issue 3(2018)
Page Start:: n/a
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Formal methods and software engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings /: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings. (2019)

Editors:: Aït-Ameur, Yamine; Qin, Shengchao
Other Names:: International Conference on Formal Engineering Methods, 21st
Record Type:: Book
Extent:: 1 online resource (xxi, 528 pages), illustrations (some color)
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Maximizing influence under influence loss constraint in social networks. (15th August 2016)

Authors:: Zeng, Yifeng; Chen, Xuefeng; Cong, Gao; Qin, Shengchao; Tang, Jing; Xiang, Yanping
Journal:: Expert systems with applications
Issue:: Volume 55(2016)
Page Start:: 255
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. Maximizing influence under influence loss constraint in social networks. (15th August 2016)

Authors:: Zeng, Yifeng; Chen, Xuefeng; Cong, Gao; Qin, Shengchao; Tang, Jing; Xiang, Yanping
Journal:: Expert systems with applications
Issue:: Volume 55(2016)
Page Start:: 255
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗