Abdur Rakib

Citada per

	Totes	Des de 2020
Citacions	556	241
Índex h	13	9
Índex i10	18	9

20072008200920102011201220132014201520162017201820192020202120222023202420252 10 10 20 25 19 19 25 24 24 30 50 48 38 45 29 43 75 11

Accés públic

Mostra-ho tot

4 articles

0 articles

disponibles

no disponibles

Es basa en els requisits de les agències que proporcionen el finançament

Coautors

Hoang Nga NguyenAssociate Professor, Swansea UniversityCorreu electrònic verificat a swansea.ac.uk
Natasha AlechinaOpen University NLCorreu electrònic verificat a uu.nl
Brian LoganNottingham UniversityCorreu electrònic verificat a cs.nott.ac.uk
Hafiz Mahfooz Ul HaqueAssociate Professor, Faculty of Information Technology, University of Central PunjabCorreu electrònic verificat a ucp.edu.pk
Abba LawanFederal University Dutse, NigeriaCorreu electrònic verificat a fud.edu.ng
Rokan Uddin FaruquiAssociate Professor of Computer Science and Engineering, University of ChittagongCorreu electrònic verificat a cu.ac.bd
M. E. AydinComputer Science, University of the West of EnglandCorreu electrònic verificat a uwe.ac.uk
Rafet DurgutBandirma Onyedi Eylul University, Engineering and Natural Sciences; University of the West ofCorreu electrònic verificat a uwe.ac.uk
Phan Cong VinhNguyen Tat Thanh University, VietnamCorreu electrònic verificat a ntt.edu.vn
Asha Sajeewani KarunaratneFaculty of Agricultural Sciences, Sabaragamuwa University of Sri LankaCorreu electrònic verificat a agri.sab.ac.lk
Robin DossDeakin Cyber Research & Innovation Centre (Deakin Cyber), Deakin UniversityCorreu electrònic verificat a deakin.edu.au
Adnan Anwar ; A. Anwar ; A AnwarSenior Lecturer, Course Director (PG Cyber Security Courses), Deakin UniversityCorreu electrònic verificat a deakin.edu.au
Reinhard WilhelmComputer Science, Saarland University, Saarland Informatics Campus (SIC)Correu electrònic verificat a cs.uni-saarland.de
Mohamad Rafi Segi RahmatUniversity of Nottingham MalaysiaCorreu electrònic verificat a nottingham.edu.my
Sue Walker ProfUFS & ARCCorreu electrònic verificat a arc.agric.za
Siraj Ahmed ShaikhSwansea UniversityCorreu electrònic verificat a swansea.ac.uk
Arkady ZaslavskyDeakin University, Data61 @ CSIRO, Monash University, Lulea University of Technology(Sweden)Correu electrònic verificat a deakin.edu.au
John-Jules Meyeremeritus Utrecht UniversityCorreu electrònic verificat a cs.uu.nl

Segueix

Abdur Rakib

Coventry University

Correu electrònic verificat a coventry.ac.uk - Pàgina d'inici

Artificial Intelligence Multi-agent Systems Formal Verification Safety Security


Títol Ordena per cites Ordena per any Ordena per títol	Citada per Citada per	Any
Logic for coalitions with bounded resources N Alechina, B Logan, HN Nguyen, A Rakib Journal of Logic and Computation 21 (6), 907-937, 2011	87	2011
Resource-bounded alternating-time temporal logic N Alechina, B Logan, NH Nga, A Rakib Proceedings of the 9th International Conference on Autonomous Agents and …, 2010	78	2010
Verifying time, memory and communication bounds in systems of reasoning agents N Alechina, B Logan, HN Nguyen, A Rakib Synthese 169, 385-403, 2009	36	2009
A logic for context-aware non-monotonic reasoning agents A Rakib, HMU Haque Mexican International Conference on Artificial Intelligence, 453-471, 2014	26	2014
Component-wise instruction-cache behavior prediction A Rakib, O Parshin, S Thesing, R Wilhelm Automated Technology for Verification and Analysis: Second International …, 2004	23	2004
A formal approach to modelling and verifying resource-bounded context-aware agents A Rakib, RU Faruqui International Conference on Context-Aware Systems and Applications, 86-96, 2012	22	2012
An efficient rule-based distributed reasoning framework for resource-bounded systems A Rakib, I Uddin Mobile Networks and Applications 24 (1), 82-99, 2019	18	2019
Alternating-time temporal logic with resource bounds HN Nguyen, N Alechina, B Logan, A Rakib Journal of Logic and Computation 28 (4), 631-663, 2018	18	2018
Modeling and reasoning about preference-based context-aware agents over heterogeneous knowledge sources I Uddin, A Rakib, HMU Haque, PC Vinh Mobile Networks and Applications 23, 13-26, 2018	18	2018
The semantic web rule language expressiveness extensions-a survey A Lawan, A Rakib arXiv preprint arXiv:1903.11723, 2019	17	2019
A temporal description logic for resource-bounded rule-based context-aware agents A Rakib, HM Ul Haque, RU Faruqui International Conference on Context-Aware Systems and Applications, 3-14, 2013	16	2013
Reasoning about other agents’ beliefs under bounded resources N Alechina, B Logan, HN Nguyen, A Rakib Knowledge Representation for Agents and Multi-Agent Systems: First …, 2009	16	2009
Verifying time and communication costs of rule-based reasoners N Alechina, B Logan, NH Nga, A Rakib International Workshop on Model Checking and Artificial Intelligence, 1-14, 2008	15	2008
State-of-the-Art Authentication and Verification Schemes in VANETs: A Survey S Mazhar, A Rakib, L Pan, F Jiang, A Anwar, R Doss, J Bryans Vehicular Communications, 100804, 2024	11	2024
A Probabilistic Logic for Resource-Bounded Multi-Agent Systems. HN Nguyen, A Rakib IJCAI, 521-527, 2019	11	2019
Transfer learning for operator selection: A reinforcement learning approach R Durgut, ME Aydin, A Rakib Algorithms 15 (1), 24, 2022	10	2022
Advancing Underutilized Crops Knowledge Using SWRL-enabled Ontologies-A survey and early experiment. A Lawan, A Rakib, N Alechina, A Karunaratne JIST (Workshops & Posters), 69-84, 2014	10	2014
Verifying resource requirements for ontology-driven rule-based agents A Rakib, RU Faruqui, W MacCaull Foundations of Information and Knowledge Systems: 7th International …, 2012	10	2012
A framework for implementing formally verified resource-bounded smart space systems I Uddin, A Rakib, HMU Haque Mobile Networks and Applications 22 (2), 289-304, 2017	9	2017
Automated verification of resource requirements in multi-agent systems using abstraction N Alechina, B Logan, HN Nguyen, A Rakib Model Checking and Artificial Intelligence: 6th International Workshop …, 2011	9	2011

En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.

Articles 1–20

Cites per any

Cites duplicades

Cites combinades

Addició de coautorsCoautors

Segueix

Citada per

Coautors