Statistics
Publications
9
Citations
202
H-Index
9
Active since
2008
Abdur Rakib is an author at University of Nottingham specializing in computing, computer science, and temporal logic.
Publications per year
2008–2024
9
9
Resource-bounded alternating-time temporal logic
Natasha Alechina, Brian Logan, Nguyen Hoang Nga et al. · 2010 · 43 citations · Full text
State-of-the-art authentication and verification schemes in VANETs: A survey
Sheraz Mazhar, Abdur Rakib, Lei Pan et al. · Vehicular Communications · 2024 · 36 citations · Full text
Verifying time, memory and communication bounds in systems of reasoning agents
Natasha Alechina, Brian Logan, Hoang Nga Nguyen et al. · Synthese · 2009 · 24 citations
Logic for coalitions with bounded resources
Natasha Alechina, Brian Logan, Abdur Rakib · Journal of Logic and Computation · 2010 · 21 citations · Full text
Humanities, Strategy, Game Theory +10
Verifying time, memory and communication bounds in systems of reasoning agents
Natasha Alechina, Brian Logan, Nguyen Hoang Nga et al. · 2008 · 19 citations · Full text
1–5 of 9