Abdur Rakib

Alıntı yapanlar

	Hepsi	2020 yılından bugüne
Alıntılar	587	254
h-endeksi	13	10
i10-endeksi	20	10

20072008200920102011201220132014201520162017201820192020202120222023202420253 10 10 20 25 19 23 27 24 25 33 50 55 39 48 30 47 76 14

Genel erişim

Tümünü görüntüle

4 makale

0 makale

genel erişime açık olanlar

genel erişime açık olmayanlar

Finansman sağlayan kuruluşun getirdiği zorunluluğa dayalı olarak

Katkıda bulunan yazarlar

Hoang Nga NguyenAssociate Professor, Swansea Universityswansea.ac.uk üzerinde doğrulanmış e-posta adresine sahip
Natasha AlechinaOpen University NLuu.nl üzerinde doğrulanmış e-posta adresine sahip
Brian LoganNottingham Universitycs.nott.ac.uk üzerinde doğrulanmış e-posta adresine sahip
Hafiz Mahfooz Ul HaqueAssociate Professor, Faculty of Information Technology, University of Central Punjabucp.edu.pk üzerinde doğrulanmış e-posta adresine sahip
Abba LawanFederal University Dutse, Nigeriafud.edu.ng üzerinde doğrulanmış e-posta adresine sahip
Rokan Uddin FaruquiAssociate Professor of Computer Science and Engineering, University of Chittagongcu.ac.bd üzerinde doğrulanmış e-posta adresine sahip
M. E. AydinComputer Science, University of the West of Englanduwe.ac.uk üzerinde doğrulanmış e-posta adresine sahip
Rafet DurgutBandirma Onyedi Eylul University, Engineering and Natural Sciences; University of the West ofuwe.ac.uk üzerinde doğrulanmış e-posta adresine sahip
Phan Cong VinhNguyen Tat Thanh University, Vietnamntt.edu.vn üzerinde doğrulanmış e-posta adresine sahip
Asha Sajeewani KarunaratneFaculty of Agricultural Sciences, Sabaragamuwa University of Sri Lankaagri.sab.ac.lk üzerinde doğrulanmış e-posta adresine sahip
Robin DossDeakin Cyber Research & Innovation Centre (Deakin Cyber), Deakin Universitydeakin.edu.au üzerinde doğrulanmış e-posta adresine sahip
Adnan Anwar ; A. Anwar ; A AnwarSenior Lecturer, Course Director (PG Cyber Security Courses), Deakin Universitydeakin.edu.au üzerinde doğrulanmış e-posta adresine sahip
Reinhard WilhelmComputer Science, Saarland University, Saarland Informatics Campus (SIC)cs.uni-saarland.de üzerinde doğrulanmış e-posta adresine sahip
Siraj Ahmed ShaikhSwansea Universityswansea.ac.uk üzerinde doğrulanmış e-posta adresine sahip
Mohamad Rafi Segi RahmatUniversity of Nottingham Malaysianottingham.edu.my üzerinde doğrulanmış e-posta adresine sahip
Arkady ZaslavskyDeakin University, Data61 @ CSIRO, Monash University, Lulea University of Technology(Sweden)deakin.edu.au üzerinde doğrulanmış e-posta adresine sahip
Sue Walker ProfUFS & ARCarc.agric.za üzerinde doğrulanmış e-posta adresine sahip
John-Jules Meyeremeritus Utrecht Universitycs.uu.nl üzerinde doğrulanmış e-posta adresine sahip

Takip et

Abdur Rakib

Coventry University

coventry.ac.uk üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa

Artificial Intelligence Multi-agent Systems Formal Verification Safety Security


Başlık Alıntılara göre sırala Yıla göre sırala Başlığa göre sırala	Alıntı yapanlar Alıntı yapanlar	Yıl
Logic for coalitions with bounded resources N Alechina, B Logan, HN Nguyen, A Rakib Journal of Logic and Computation 21 (6), 907-937, 2011	90	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	80	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	37	2009
A logic for context-aware non-monotonic reasoning agents A Rakib, HMU Haque Mexican International Conference on Artificial Intelligence, 453-471, 2014	29	2014
Component-wise instruction-cache behavior prediction A Rakib, O Parshin, S Thesing, R Wilhelm International Symposium on Automated Technology for Verification and …, 2004	24	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	23	2012
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	21	2013
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	20	2018
An efficient rule-based distributed reasoning framework for resource-bounded systems A Rakib, I Uddin Mobile Networks and Applications 24 (1), 82-99, 2019	19	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
The semantic web rule language expressiveness extensions-a survey A Lawan, A Rakib arXiv preprint arXiv:1903.11723, 2019	17	2019
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	17	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	13	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
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	10	2017
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
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	10	2011

Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.

Makaleler 1–20

Yıllık alıntı sayısı

Mükerrer alıntılar

Birleştirilmiş alıntılar

Katkıda bulunan yazar ekleKatkıda bulunan yazarlar

Takip et

Alıntı yapanlar

Katkıda bulunan yazarlar