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

Author/Creator Rakib, Abdur

1. Alternating-time temporal logic with resource bounds. (12th June 2015)

Authors:: Nguyen, Hoang Nga; Alechina, Natasha; Logan, Brian; Rakib, Abdur
Journal:: Journal of logic and computation
Issue:: Volume 28:Number 4(2018)
Page Start:: 631
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Context-aware systems and applications, and nature of computation and communication : 8th EAI International Conference, ICCASA 2019, and 5th EAI International Conference, ICTCC 2019, My Tho City, Vietnam, November 28-29, 2019, Proceedings /: 8th EAI International Conference, ICCASA 2019, and 5th EAI International Conference, ICTCC 2019, My Tho City, Vietnam, November 28-29, 2019, Proceedings. (2019)

Editors:: Cong-Vinh, Phan; Rakib, Abdur
Other Names:: ICCASA (Conference), 8th; ICTCC (Conference), 5th
Record Type:: Book
Extent:: 1 online resource (x, 259 pages), illustrations (some color)
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Model checking ontology‐driven reasoning agents using strategy and abstraction. (7th April 2019)

Authors:: Rakib, Abdur; Faruqui, Rokan Uddin
Other Names:: Ko Hoon guestEditor.; Marreiros Goreti guestEditor.; Cong Vinh Phan guestEditor.
Journal:: Concurrency and computation
Issue:: Volume 33:Number 2(2021)
Page Start:: n/a
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗