Author/Creator: Dong, Jin Song - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Dong, Jin Song

1. A blockchain-based decentralized booking system. (2020)

Authors:: Dong, Naipeng; Bai, Guangdong; Huang, Lung-Chen; Lim, Edmund Kok Heng; Dong, Jin Song
Journal:: Knowledge engineering review
Issue:: Volume 35(2020)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Formally specifying and verifying mobile agents – model checking mobility: the MobiOZ approach. (2nd September 2008)

Authors:: Taguchi, Kenji; Dong, Jin Song
Journal:: International journal of agent-oriented software engineering
Issue:: Volume 2:Number 4(2008)
Page Start:: 449
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. GRAVITAS: A model checking based planning and goal reasoning framework for autonomous systems. (January 2021)

Authors:: Bride, Hadrien; Dong, Jin Song; Green, Ryan; Hóu, Zhé; Mahony, Brendan; Oxenham, Martin
Journal:: Engineering applications of artificial intelligence
Issue:: Volume 97(2021)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. Silas: A high-performance machine learning foundation for logical reasoning and verification. (15th August 2021)

Authors:: Bride, Hadrien; Cai, Cheng-Hao; Dong, Jie; Dong, Jin Song; Hóu, Zhé; Mirjalili, Seyedali; Sun, Jing
Journal:: Expert systems with applications
Issue:: Volume 176(2021)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗