1 | Makia Nazir, Hafiz Mahfooz Ul Haque and Kiran Saleem. A Semantic Knowledge based Context-aware Formalism for Smart Border Surveillance System. In Journal of Mobile Networks and Applications, 2022 |
2 | Shahid Yousaf, Hafiz Mahfooz ul Haque, Abbas Khalid, Muhammad Adnan Hashmi and Eraj Khan. Modelling and Verification of Context-aware Intelligent Assistive Formalism. In the journal: Computers, Materials & Continua, 2021. |
3 | Hafiz Mahfooz Ul Haque, Salwa Muhammad Akhtar, and Ijaz Uddin. Contextual Defeasible Reasoning Framework for Heterogeneous knowledge Sources. In the journal: Concurrency and Computation: Practice and Experience, e6446, In Wiley Online Library (2021). |
4 | Haidar Zulfiqar, Hafiz Mahfooz Ul Haque, Faiza Tariq, and Rashad Mahmood Khan. A survey on smart parking systems in urban cities. In the journal: Concurrency and Computation: Practice and Experience, e6511, In Wiley Online Library (2021). |
5 | Hafiz Mahfooz Ul Haque, Kiran Saleem and Ahmad Salman Khnan. Modelling BDI Reasoning Agents for Situation-aware Formalisms. In the journal: Concurrency and Computation: Practice and Experience, e6417, In Wiley Online Library (2021). |
6 | Salwa Muhammad Akhtar and Hafiz Mahfooz Ul Haque. Contextual Defeasible Reasoning Framework for Heterogeneous System. International Conference on Context-aware Systems and Applications, Springer Cham, 2020 (Springer Book Chapter). |
7 | Kiran Saleem and Hafiz Mahfooz Ul Haque. Modelling Situation- aware Formalism using BDI Reasoning Agents. International Conference on Context-aware Systems and Applications, Springer Cham, 2020 (Springer Book Chapter). |
8 | Salwa Muhammad Akhtar, Makia Nazir, Kiran Saleem, Hafiz Mahfooz Ul Haque, and Ibrar Hussain. An Ontology-driven IoT based Healthcare Formalism. International Journal of Advanced Computer Science and Applications 11 (02), (2020). |
9 | Hafiz Mahfooz Ul Haque, Haider Zulfiqar, Abrar Ahmed, and Yasir Ali. A context‐aware framework for modelling and verification of smart parking systems in urban cities. In the journal: Concurrency and Computation: Practice and Experience, e5401, In Wiley Online Library (2019). |
10 | Hafiz Mahfooz Ul Haque, Sajid Ullah Khan and Ibrar Hussain. Semantic Knowledge Transformation for Context-aware Heterogeneous Formalisms. International Journal of Advanced Computer Science and Applications 10 (12), (2019). |
11 | Ijaz Uddin, Abdur Rakib, Hafiz Mahfooz Ul Haque, and Phan Cong Vinh. "Modeling and reasoning about preference-based context-aware agents over heterogeneous knowledge sources." Mobile Networks and Applications, (2018). |
12 | Hafiz Mahfooz Ul Haque, Haidar Zulfiqar, Sajid Ullah Khan, and Muneeb Ul Haque. "Context-Aware Parking Systems in Urban Areas: A Survey and Early Experiments." In Context-Aware Systems and Applications, and Nature of Computation and Communication, pp. 25-35. Springer, Cham. (Springer Book Chapter), 2018 |
13 | Hafiz Mahfooz Ul Haque and Sajid Ullah Khan. A Context-aware Reasoning Framework for Heterogeneous System In: International Conference on Advancements in Computational Sciences (ICACS’18), IEEE Xplore Digital Library, IEEE 2018. |
14 | Ijaz Uddin, Abdur Rakib and Hafiz Mahfooz Ul Haque. A Framework for Implementing Formally Verified Resource-bounded Smart Space Systems. In Journal of Mobile Networks and Applications, 2017 |
15 | Hafiz Mahfooz Ul Haque, Abdur Rakib and Ijaz Uddin. Modelling and Reasoning about Context-Aware Agents over Heterogeneous Knowledge Sources In: 5th EAI International Conference on Context-Aware Systems and Applications (ICCASA'16), Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (LNICST)@Springer. (Springer Book Chapter), 2017 |
16 | Ijaz Uddin, Hafiz Mahfooz Ul Haque, Abdur Rakib, and Mohamad Rafi Segi Rahmat: Resource-bounded context-aware applications: A survey and early experiment. In 2nd International Conference on Nature of Computation and Communication (ICTCC'16), LNICST@Springer-Verlag. (Springer Book Chapter), 2016 |
17 | Abdur Rakib and Hafiz Mahfooz Ul Haque, 2015: Modelling and verifying context-aware non-monotonic reasoning agents. In 13th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'15). The University of Texas at Austin, September 21-23, 2015. |
18 | Abdur Rakib and Hafiz Mahfooz Ul Haque. A Logical Framework for the Representation and Verification of Context-aware Agents Springer Journal of Mobile Networks and Applications. Volume 19(5), 2014. |
19 | Abdur Rakib and Hafiz Mahfooz Ul Haque. A logic for context- aware non-monotonic reasoning agents. In: A. GELBUKH ET AL., ed., Human- Inspired Computing and Its Applications LNCS Volume 8856. Springer International Publishing Switzerland. 453-471. (Springer Book Chapter), 2014 |
20 | Abdur Rakib, Hafiz Mahfooz Ul Haque and Rokan Uddin Faruqui. A temporal description logic for resource-bounded rule-based context-aware agents. In: P.C. VINH ET AL. (EDS.), ed., Context-Aware Systems and Applications LNICST Volume 128. Springer International Publishing Switzerland. 3-14. (Springer Book Chapter), 2013 |
|