![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Abdur Rakib
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j14]Mehmet Emin Aydin
, Rafet Durgut, Abdur Rakib
:
Why Reinforcement Learning? Algorithms 17(6): 269 (2024) - [j13]Mehmet Emin Aydin
, Rafet Durgut, Abdur Rakib, Hisham Ihshaish:
Feature-based search space characterisation for data-driven adaptive operator selection. Evol. Syst. 15(1): 99-114 (2024) - [j12]Don Nalin Dharshana Jayaratne
, Suraj Harsha Kamtam
, Siraj Ahmed Shaikh
, Muhamad Azfar Ramli
, Qian Lu, Rakhi Manohar Mepparambath
, Hoang Nga Nguyen
, Abdur Rakib:
A simulation framework for automotive cybersecurity risk assessment. Simul. Model. Pract. Theory 136: 103005 (2024) - [j11]Sheraz Mazhar
, Abdur Rakib, Lei Pan, Frank Jiang, Adnan Anwar, Robin Doss, Jeremy W. Bryans:
State-of-the-art authentication and verification schemes in VANETs: A survey. Veh. Commun. 49: 100804 (2024) - [c25]Teena Kumari, Abdur Rakib, Arkady B. Zaslavsky, Hesamaldin Jadidbonab
, Valeh Moghaddam:
A Context-Aware Framework for Analysing Automotive Vehicle Security. ICSC 2024: 81-88 - [c24]Manu Jo Varghese
, Frank Jiang
, Robin Doss
, Adnan Anwar
, Abdur Rakib
:
DEMO: Adaptive Fuzz Testing for Automotive ECUs: A Modular Testbed Approach for Enhanced Vulnerability Detection. SIGCOMM (Posters and Demos) 2024: 110-112 - [i5]Mehmet Emin Aydin, Rafet Durgut, Abdur Rakib:
Adaptive operator selection utilising generalised experience. CoRR abs/2401.05350 (2024) - [i4]Alireza Nezhadettehad, Arkady B. Zaslavsky, Abdur Rakib, Siraj Ahmed Shaikh, Seng W. Loke, Guang-Li Huang, Alireza Hassani:
Predicting Next Useful Location With Context-Awareness: The State-Of-The-Art. CoRR abs/2401.08081 (2024) - 2023
- [j10]Hoang Nga Nguyen, Abdur Rakib
:
Formal Modelling and Verification of Probabilistic Resource Bounded Agents. J. Log. Lang. Inf. 32(5): 829-859 (2023) - 2022
- [j9]Rafet Durgut
, Mehmet Emin Aydin
, Abdur Rakib
:
Transfer Learning for Operator Selection: A Reinforcement Learning Approach. Algorithms 15(1): 24 (2022) - [c23]Rafet Durgut, Mehmet Emin Aydin
, Hisham Ihshaish
, Abdur Rakib
:
Analysing the Predictivity of Features to Characterise the Search Space. ICANN (4) 2022: 1-13 - [i3]Rafet Durgut, Mehmet Emin Aydin, Hisham Ihshaish, Abdur Rakib:
Analysing the Predictivity of Features to Characterise the Search Space. CoRR abs/2209.06114 (2022) - 2021
- [j8]Abdur Rakib
, Rokan Uddin Faruqui
:
Model checking ontology-driven reasoning agents using strategy and abstraction. Concurr. Comput. Pract. Exp. 33(2) (2021) - [c22]Ijaz Uddin, Abdur Rakib, Mumtaz Ali, Phan Cong Vinh:
Memory-Constrained Context-Aware Reasoning. ICCASA 2021: 133-146 - [e3]Phan Cong Vinh
, Abdur Rakib
:
Context-Aware Systems and Applications, and Nature of Computation and Communication - 9th EAI International Conference, ICCASA 2020, and 6th EAI International Conference, ICTCC 2020, Thai Nguyen, Vietnam, November 26-27, 2020, Proceedings. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 343, Springer 2021, ISBN 978-3-030-67100-6 [contents] - [e2]Phan Cong Vinh
, Abdur Rakib
:
Context-Aware Systems and Applications - 10th EAI International Conference, ICCASA 2021, Virtual Event, October 28-29, 2021, Proceedings. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 409, Springer 2021, ISBN 978-3-030-93178-0 [contents]
2010 – 2019
- 2019
- [j7]Abdur Rakib
, Ijaz Uddin:
An Efficient Rule-Based Distributed Reasoning Framework for Resource-bounded Systems. Mob. Networks Appl. 24(1): 82-99 (2019) - [c21]Hoang Nga Nguyen, Abdur Rakib:
Probabilistic Resource-bounded Alternating-time Temporal Logic. AAMAS 2019: 2141-2143 - [c20]Hoang Nga Nguyen
, Abdur Rakib:
A Probabilistic Logic for Resource-Bounded Multi-Agent Systems. IJCAI 2019: 521-527 - [e1]Phan Cong Vinh, Abdur Rakib:
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. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 298, Springer 2019, ISBN 978-3-030-34364-4 [contents] - [i2]Abba Lawan, Abdur Rakib:
The Semantic Web Rule Language Expressiveness Extensions-A Survey. CoRR abs/1903.11723 (2019) - [i1]Abba Lawan, Abdur Rakib:
FT-SWRL: A Fuzzy-Temporal Extension of Semantic Web Rule Language. CoRR abs/1911.12399 (2019) - 2018
- [j6]Hoang Nga Nguyen
, Natasha Alechina, Brian Logan, Abdur Rakib:
Alternating-time temporal logic with resource bounds. J. Log. Comput. 28(4): 631-663 (2018) - [j5]Ijaz Uddin, Abdur Rakib
, Hafiz Mahfooz Ul Haque, Phan Cong Vinh:
Modeling and Reasoning about Preference-Based Context-Aware Agents over Heterogeneous Knowledge Sources. Mob. Networks Appl. 23(1): 13-26 (2018) - 2017
- [j4]Ijaz Uddin, Abdur Rakib
, Hafiz Mahfooz Ul Haque:
A Framework for Implementing Formally Verified Resource-Bounded Smart Space Systems. Mob. Networks Appl. 22(2): 289-304 (2017) - [c19]Ijaz Uddin, Abdur Rakib
:
A Resource-Aware Preference Model for Context-Aware Systems. ICCASA/ICTCC 2017: 3-13 - 2016
- [c18]Abba Lawan, Abdur Rakib, Natasha Alechina, Asha Karunaratne:
The Onto-CropBase - A Semantic Web Application for Querying Crops Linked-Data. BDAS 2016: 384-399 - [c17]Hafiz Mahfooz Ul Haque, Abdur Rakib, Ijaz Uddin:
Modelling and Reasoning About Context-Aware Agents over Heterogeneous Knowledge Sources. ICCASA 2016: 1-11 - [c16]Ijaz Uddin, Hafiz Mahfooz Ul Haque, Abdur Rakib, Mohamad Rafi Segi Rahmat
:
Resource-Bounded Context-Aware Applications: A Survey and Early Experiment. ICTCC 2016: 153-164 - 2015
- [c15]Abdur Rakib, Hafiz Mahfooz Ul Haque:
Modeling and verifying context-aware non-monotonic reasoning agents. MEMOCODE 2015: 61-69 - 2014
- [j3]Abdur Rakib
, Hafiz Mahfooz Ul Haque:
A Logical Framework for the Representation and Verification of Context-aware Agents. Mob. Networks Appl. 19(5): 585-597 (2014) - [c14]Abba Lawan, Abdur Rakib, Natasha Alechina, Asha Karunaratne:
Advancing Underutilized Crops Knowledge Using SWRL-enabled Ontologies - A survey and early experiment. JIST (Workshops & Posters) 2014: 69-84 - [c13]Abdur Rakib, Hafiz Mahfooz Ul Haque:
A Logic for Context-Aware Non-monotonic Reasoning Agents. MICAI (1) 2014: 453-471 - 2013
- [c12]Abdur Rakib
, Hafiz Mahfooz Ul Haque, Rokan Uddin Faruqui
:
A Temporal Description Logic for Resource-Bounded Rule-Based Context-Aware Agents. ICCASA 2013: 3-14 - 2012
- [c11]Abdur Rakib
, Rokan Uddin Faruqui
, Wendy MacCaull:
Verifying Resource Requirements for Ontology-Driven Rule-Based Agents. FoIKS 2012: 312-331 - [c10]Abdur Rakib
, Rokan Uddin Faruqui
:
A Formal Approach to Modelling and Verifying Resource-Bounded Context-Aware Agents. ICCASA 2012: 86-96 - 2011
- [b1]Abdur Rakib:
Verifying requirements for resource-bounded agents. University of Nottingham, UK, 2011 - [j2]Natasha Alechina, Brian Logan, Nguyen Hoang Nga
, Abdur Rakib
:
Logic for coalitions with bounded resources. J. Log. Comput. 21(6): 907-937 (2011) - 2010
- [c9]Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
Resource-bounded alternating-time temporal logic. AAMAS 2010: 481-488 - [c8]Natasha Alechina, Brian Logan, Nguyen Hoang Nga
, Abdur Rakib
:
Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction. MoChArt 2010: 69-84
2000 – 2009
- 2009
- [j1]Natasha Alechina, Brian Logan, Nguyen Hoang Nga
, Abdur Rakib
:
Verifying time, memory and communication bounds in systems of reasoning agents. Synth. 169(2): 385-403 (2009) - [c7]Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
A Logic for Coalitions with Bounded Resources. IJCAI 2009: 659-664 - [c6]Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
:
Expressing Properties of Coalitional Ability under Resource Bounds. LORI 2009: 1-14 - 2008
- [c5]Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
Verifying time, memory and communication bounds in systems of reasoning agents. AAMAS (2) 2008: 736-743 - [c4]Natasha Alechina, Brian Logan, Nguyen Hoang Nga
, Abdur Rakib
:
Reasoning about Other Agents' Beliefs under Bounded Resources. KRAMAS 2008: 1-15 - [c3]Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
:
Verifying Time and Communication Costs of Rule-Based Reasoners. MoChArt 2008: 1-14 - [c2]Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib:
Verifying Resource Requirements for Distributed Rule-Based Systems. RuleML 2008: 31-38 - 2004
- [c1]Abdur Rakib, Oleg Parshin, Stephan Thesing, Reinhard Wilhelm:
Component-Wise Instruction-Cache Behavior Prediction. ATVA 2004: 211-229
Coauthor Index
aka: Hoang Nga Nguyen
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 19:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint