default search action

combined dblp search
author search
venue search
publication search

ask others

Hafiz Mahfooz Ul Haque

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/ictcc/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictcc/2023
Phan Cong Vinh, Hafiz Mahfooz Ul Haque:
Nature of Computation and Communication - 9th EAI International Conference, ICTCC 2023, Ho Chi Minh City, Vietnam, October 26-27, 2023, Proceedings. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 586, Springer 2024, ISBN 978-3-031-59461-8 [contents]
2023
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/HaqueAU23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/HaqueAU23
Hafiz Mahfooz Ul Haque, Salwa Muhammad Akhtar, Ijaz Uddin:
Contextual defeasible reasoning framework for heterogeneous knowledge sources. Concurr. Comput. Pract. Exp. 35(15) (2023)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/HaqueSK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/HaqueSK23
Hafiz Mahfooz Ul Haque, Kiran Saleem, Ahmad Salman Khan:
Modeling belief-desire-intention reasoning agents for situation-aware formalisms. Concurr. Comput. Pract. Exp. 35(15) (2023)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/ZulfiqarHTK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/ZulfiqarHTK23
Haidar Zulfiqar, Hafiz Mahfooz Ul Haque, Faiza Tariq, Rashad Mahmood Khan:
A survey on smart parking systems in urban cities. Concurr. Comput. Pract. Exp. 35(15) (2023)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/iot/YousafHAHKV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iot/YousafHAHKV23
Shahid Yousaf, Hafiz Mahfooz Ul Haque, Muhammad Atif, Muhammad Adnan Hashmi, Abbas Khalid, Phan Cong Vinh:
A context-aware multi-agent reasoning based intelligent assistive formalism. Internet Things 23: 100857 (2023)
2022
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/monet/NazirHS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/monet/NazirHS22
Makia Nazir, Hafiz Mahfooz Ul Haque, Kiran Saleem:
A Semantic Knowledge based Context-aware Formalism for Smart Border Surveillance System. Mob. Networks Appl. 27(5): 2036-2048 (2022)
2021
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/HaqueZAA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/HaqueZAA21
Hafiz Mahfooz Ul Haque, Haidar Zulfiqar, Abrar Ahmed, Yasir Ali:
A context-aware framework for modelling and verification of smart parking systems in urban cities. Concurr. Comput. Pract. Exp. 33(2) (2021)
2020
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/iccasa/AkhtarH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccasa/AkhtarH20
Salwa Muhammad Akhtar, Hafiz Mahfooz Ul Haque:
Contextual Defeasible Reasoning Framework for Heterogeneous Systems. ICCASA/ICTCC 2020: 16-30
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/iccasa/SaleemH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccasa/SaleemH20
Kiran Saleem, Hafiz Mahfooz Ul Haque:
Modelling Situation-Aware Formalism Using BDI Reasoning Agents. ICCASA/ICTCC 2020: 169-181

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/monet/UddinRHV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/monet/UddinRHV18
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)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/icacs/HaqueK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icacs/HaqueK18
Hafiz Mahfooz Ul Haque, Sajid Ullah Khan:
A context-aware reasoning framework for heterogeneous systems. ICACS 2018: 1-9
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/iccasa/HaqueZKH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccasa/HaqueZKH18
Hafiz Mahfooz Ul Haque, Haidar Zulfiqar, Sajid Ullah Khan, Muneeb Ul Haque:
Context-Aware Parking Systems in Urban Areas: A Survey and Early Experiments. ICCASA/ICTCC 2018: 25-35
2017
[b1]
- view
- export record
  dblp key:
  - phd/ethos/UlHaque17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/UlHaque17
Hafiz Mahfooz Ul Haque:
A formal approach to modelling and verification of context-aware systems. University of Nottingham, UK, 2017
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/monet/UddinRH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/monet/UddinRH17
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)
2016
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/iccasa/HaqueRU16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccasa/HaqueRU16
Hafiz Mahfooz Ul Haque, Abdur Rakib, Ijaz Uddin:
Modelling and Reasoning About Context-Aware Agents over Heterogeneous Knowledge Sources. ICCASA 2016: 1-11
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ictcc/UddinHRR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictcc/UddinHRR16
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
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/RakibH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/RakibH15
Abdur Rakib, Hafiz Mahfooz Ul Haque:
Modeling and verifying context-aware non-monotonic reasoning agents. MEMOCODE 2015: 61-69
2014
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/monet/RakibH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/monet/RakibH14
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)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/micai/RakibH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/micai/RakibH14
Abdur Rakib, Hafiz Mahfooz Ul Haque:
A Logic for Context-Aware Non-monotonic Reasoning Agents. MICAI (1) 2014: 453-471
2013
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/iccasa/RakibHF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccasa/RakibHF13
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

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.