Faculty Search

List of Research

S.No Profile Title Type Department
1 Dr. Hafiz Mahfooz ul Haque A Context-aware Reasoning Framework for Heterogeneous System Faculty SE- Software Engineering
2 Dr. Hafiz Mahfooz ul Haque Modeling and reasoning about preference-based context-aware agents over heterogeneous knowledge sources Faculty SE- Software Engineering
3 Dr. Hafiz Mahfooz ul Haque Modelling and Reasoning about Context-Aware Agents over Heterogeneous Knowledge Sources Faculty SE- Software Engineering
4 Dr. Hafiz Mahfooz ul Haque A Framework for Implementing Formally Verified Resource-bounded Smart Space Systems Faculty SE- Software Engineering
5 Dr. Hafiz Mahfooz ul Haque Resource-bounded context-aware applications: A survey and early experiment Faculty SE- Software Engineering
6 Dr. Hafiz Mahfooz ul Haque Modelling and verifying context-aware nonmonotonic reasoning agents Faculty SE- Software Engineering
7 Dr. Hafiz Mahfooz ul Haque A logic for context-aware non-monotonic reasoning agents Faculty SE- Software Engineering
8 Dr. Hafiz Mahfooz ul Haque A Logical Framework for the Representation and Verification of Context-aware Agents Faculty SE- Software Engineering
9 Dr. Hafiz Mahfooz ul Haque A temporal description logic for resource-bounded rule-based context-aware agents Faculty SE- Software Engineering
10 Dr. Hafiz Mahfooz ul Haque Context-Aware Parking Systems in Urban Areas: A Survey and Early Experiments Faculty SE- Software Engineering
11 Dr. Hafiz Mahfooz ul Haque A context-aware framework for modelling and verification of smart parking systems in urban cities Faculty SE- Software Engineering