Abdur Rakib

Citado por

	Todos	Desde 2020
Citações	593	260
Índice h	13	10
Índice i10	20	10

20072008200920102011201220132014201520162017201820192020202120222023202420253 10 10 20 25 19 23 27 24 25 33 50 55 39 48 29 48 79 17

Acesso público

Ver tudo

4 artigos

0 artigos

disponível

não disponível

Com base em autorizações de financiamento

Coautores

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

Seguir

Abdur Rakib

Coventry University

Email confirmado em coventry.ac.uk - Página inicial

Artificial Intelligence Multi-agent Systems Formal Verification Safety Security


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
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
Transfer learning for operator selection: A reinforcement learning approach R Durgut, ME Aydin, A Rakib Algorithms 15 (1), 24, 2022	12	2022
A Probabilistic Logic for Resource-Bounded Multi-Agent Systems. HN Nguyen, A Rakib IJCAI, 521-527, 2019	11	2019
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

O sistema não pode efectuar a operação agora. Tente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores