Publications

 Staff   Current Student   Careers   Media   Login
Comp1
Computing - Publications Computing - Publications

Dr. Saad Naeem Zafar
  1. S. Zafar, R. Colvin, K. Winter, N. Yatepanage and R. G. Dromey (2007). Early Validation and Verification of a Distributed Role-Based Access Control Model, In 14th Asia-Pacific Software Engineering Conference (APSEC 2007), Nagoya, 2007, Japan, pp. 430-437.
  2. S. Zafar, R. Colvin and K. Winter (2006). Verification of an Integrated Role-Based Access Control Model, 1st Asian Working Conference on Verified Software (AWCVS 2006), Macau, SAR, 2006, pp. 230-241.
  3. S. Zafar and R. G. Dromey (2006). Formal Verification of the IEEE 802.11i WLAN Security Protocol, Australian Software Engineering Conference (ASWEC    '06), Sydney, Australia, 2006.
  4. S. Zafar and R. G. Dromey (2005). Integrating Safety and Security Requirements into Design of an embedded System, presented at Asia-Pacific Software Engineering Conference (APSEC 2005), Taipei, Taiwan, pp. 629-636.
  5. S. Zafar and R. G. Dromey (2005). Managing Complexity in Modeling Embedded Systems, presented at Systems engineering/ Test and Evalaution Conference SETE2005, Brisbane, Australia.
 

Dr. Iftikhar Azim Niaz
  1. Muhammad Imran, Iftikhar  A. Niaz, Sajjad Haider, Naveed Hussain and M.A. Ansari, “Towards Optimal Fault Tolerant Scheduling in Computational Grid”, Proceedings of the IEEE Third International Conference on Emerging Technologies (ICET 2007), Islamabad, Pakistan, November 12-13, 2007,  pp. 154-159
  2. Sajjad Haider, Muhammad Imran, Iftikhar  A. Niaz, Saeed Ullah and M.A. Ansari, “Component Based Proactive Fault Tolerant Scheduling in Computational Grid”, Proceedings of the IEEE Third International Conference on Emerging Technologies (ICET 2007), Islamabad, Pakistan, November 12-13, 2007, pp. 119-124.
  3. Abdul Ghafoor, Arshad Ali, H. Farooq Ahmed and Iftikhar A. Niaz, “Interoperability: IEEE FIPA Compliant MAS with Web Services Resource Framework”, Proceedings of the Eighth International Conference on Information Integration and Web-based Applications and Services (iiWAS 2006), Yogyakarta, Indonesia, December 4-6, 2006, pp. 239-248.
  4. Iftikhar A. Niaz and Jiro Tanaka, “An Object-Oriented Approach To Generate Java Code From UML Statecharts”, International Journal of Computer & Information Sciences (IJCIS), Vol. 6, No. 2, 2005, pp. 83-98.
  5. Iftikhar  A. Niaz and Jiro Tanaka, ``Mapping UML Statecharts To Java Code'', Proceedings of the IASTED International Conference on Software Engineering (SE 2004), Innsbruck, Austria, February 17-19, 2004, pp. 111-116.
  6. Iftikhar A. Niaz and Jiro. Tanaka,``Code Generation From UML Statecharts'', Proceedings of the 7th IASTED International Conference on Software Engineering and Applications (SEA 2003), Marina Del Rey, USA, November 3-5, 2003, pp. 315-321. (Nominated for Best Conference Paper Award).
 

Mr. Sabir Qamar
  1. Qamar, M. S. Suhaimi, M. D. Farooq, M. (2006) A Security Policy Model for Healthcare Information Systems, International Conference on Information and Communication Technology for the Muslim World (ICT4M) 2006, November 21-23, 2006, Kuala Lumpur, Malaysia.
  2. Suhaimi, M. D. Qamar, M. S. Farooq, M (2003) Information Technology in Healthcare: A Model for Non-Traditional Data in e-Health, National Conference on Information and Communication Technology 2003, October 21-22, 2003, Kuala Lumpur, Malaysia.
  3. Suhaimi, M. D. Qamar, S. M. Farooq, M (2003) An Object-Oriented Database Model for Telemedicine, International Conference on Advancement in Science and Technology, August 5-7, 2003, Kuala Lumpur, Malaysia.
  4. Qamar, M. S. (1999) KIRKHS Teaching Feedback Survey Report 1999, International Islamic University Malaysia, Kuala Lumpur (unpublished report), Malaysia.
  5. Qamar, M. S. (1998) KIRKHS Teaching Feedback Survey Report 1999, International Islamic University Malaysia, Kuala Lumpur (unpublished report), Malaysia.
  6. Qamar, M. S. (1996) Background Paper on the Primary Education Sector in Punjab, Mult-Donor Support Unit, World Bank, Islamabad (unpublished report), Pakistan.
  7. Qamar, M. S. (1996) Background Paper on the Primary Education Sector in Sindh, Mult-Donor Support Unit, World Bank, Islamabad (unpublished report), Pakistan.
  8. Qamar, M. S. (1996) Background Paper on the Primary Education Sector in NWFP, Mult-Donor Support Unit, World Bank, Islamabad (unpublished report), Pakistan.
  9. Qamar, M. S. (1996) Background Paper on the Primary Education Sector in Balochistan, Mult-Donor Support Unit, World Bank, Islamabad (unpublished report), Pakistan.
  10. Qamar, M. S. (1992) A National Database of Cognitive and Personality Variables: Secondary School Students, Quaid-i-Azam University, Islamabad.
  11. Qamar, M. S. (1986) NIP Payroll Computerization, Quaid-i-Azam University Islamabad, Pakistan
  12. Qamar, M. S. (1984) NIP DATAFILE: An Interactive Computer Programme for Storage of Social Science Research Data, Quaid-i-Azam University Islamabad.
 

Dr. Mr. Muhammad Zubair
  1. M. Zubair, M. A. S. Choudhry A. N. Malik and I. M. Qureshi, “Multiuser detection for Asynchronous Multicarrier CDMA using Particle Swarm Optimization”, IEICE TRANSACTIONS on Communications Vol.E91-B, No.5, pp.1636-1639, May. 2008.
  2. M. Zubair, M. A. S. Choudhry A. N. Malik and I. M. Qureshi, “Particle Swarm with Soft Decision for Multiuser detection of Synchronous Multicarrier CDMA”, Vol.E91-B, No.5, pp.1640-1643, May. 2008.
  3. M. A. S. Choudhry, M Zubair, A. Naveed, and I. M. Qureshi, “Near Optimum Detector for DS-CDMA System using Particle Swarm Optimization,” IEICE TRANSACTIONS on Communications Vol.E90-B,No.11,pp.3278-3282 Nov. 2007.
  4. M. Zubair, M. A. S. Choudhry A. N. Malik and I. M. Qureshi, “Particle Swarm optimization assisted Multiuser detection along with Radial Basis Function”, IEICE TRANSACTIONS on Communications Vol.E90-B No.7 pp.1861-1863 July 2007.
  5. M. Zubair, M. A. S. Choudhry A. N. Malik and I. M. Qureshi, “Joint Channel and Data Estimation using Particle Swarm Optimization”, Accepted for publication in IEICE Transactions on Communications Japan.
 

Mr. Fazal-e-Hadi
  1. Shakir Ullah Shah, Fazl-e-Hadi, “New Factor of Authentication: Something You Process”, IEEE-ICFCC, Malaysia, 2009.
  2. Muhammad Faisal Nawaz, Fazl-e-Hadi, Shakir Shah, “RouterSim: A New Router Simulator for BGP and IS-IS Protocols”, IEEE-ICFCC, Malaysia, 2009.
  3. Muhammad Salam, Fazl-e-Hadi, Abid Ali Minhas, “Strengthening security complexity of Stream Ciphering algorithm by adding an additional layer of natural languages”, WECON, India, 2008.
  4. Fazl-e-Hadi, Shakir Ullah Shah, Amir Zaman, “Web-Based Assessment Systems in Educational Context: A Comparative Study”, EDU-COM, Thailand, 2008.
  5. Fazl-e-Hadi, Nadir Shah, Dr. Afaq Hussain Syed, Dr. Mehboob Yasin, “Adaptive Anycast: A new Anycast protocol for performance improvement in Delay Tolerant Networks”, IEEE-ICIT, China, 2007.
  6. F.Hadi, N.Shah, A.H. Syed, M.Yasin, “Effect of group size on anycasting with receiver base forwarding in Delay Tolerant Networks”, IEEE-ICEE, 2007.
  7. Fazl-e-Hadi, Shahid Hussain, M.Waqar Aziz, “MANET multicast protocols: A Comparative Study”, HEC-NCICT, 2007.
  8. Sheeraz Ahmed, Muhammad Bilal, Umer Farooq, Fazl-e-Hadi, “Performance Analysis of various routing strategies in Mobile Ad hoc
     Network using QualNet simulator”, IEEE-ICET, 2007.
 

Mr. Khalid Hussain
  1. Muhammad Alam and Khalid Hussain, “An Integrated Mobility Model for VANETs and its Impact”, ICIME IEEE 3-5 April 2009 Kula Lumpur Malaysia.
  2. Muhammad Alam and Khalid Hussain, “Integrated Mobility Model for VANETs Simulation”, ICEE IEEE 9-11 April 2009 UET Lahore
  3. Khalid Hussain, “An Announcement: Detecting and Isolating Malicious Node in Wireless Ad Hoc and Sensor Networks”, International Multi-Conference of Engineers and Computer Scientists (IMECS 2009) ISBN 978-988-17012-2-0 18-20 IEEE / Springer March 2009 Hong Kong.
  4. Saleem Iqbal and Khalid Hussain, “C Minimizing Vertical Handoff Latency for Wireless LAN and GPRS using Mobile IP”, Cyber technology-issues, challenges, and development Friday 6th July 2007 at Karachi.
  5. Khalid Hussain, “Conservation of Flow in Wireless Mesh Network”, NCICT-2007 University of Science and Technology, Bannu, NWFP, Pakistan.
  6. Khalid Hussain, Configuration Management of EN 30B Steel Parts Machining Processes”, Failure of Engineering Materials & Structures FEMS UET Taxila FEMS/46 22-23 October, 2007.
  7. Khalid Hussain, “Security issues in Cluster Based Routing Protocol for Mobile Ad Hoc Network”, National Workshop on “Network Simulation” 6th May, 2006 at Fatma Jinahh Women University Rawalipindi.
  8. Khalid Hussain, “Role of Configuration and Quality Management in Aerospace Industry”, 10th National Aeronautical Conference, April 20-21 College of Aeronautical Engineering Risalpur.
  9. Khalid Hussain, “Technical write-up on Computer Based Tutorial”, International Multimedia and Graphics Conference at UET Taxila.
  10. Khalid Hussain, “Multimedia Project of “Islam is Solution”, International Multimedia and Graphics Conference at UET Taxila.
  11. Khalid Hussain, “Multimedia Project of “3D test Simulator” ”, International Multimedia and Graphics Conference at UET Taxila.
  12. Khalid Hussain, “Conservation of Flow with Lossy Channel in Wireless Mesh Network”, BIZTEK Cyber technology-issues, challenges, and development Friday at Karachi, Pakistan.
  13. Khalid Hussain, “Identification of a Lossy Channel in Wireless Mesh Network using Conservation of flow”, Journal of Information & Communication Technology Vol1 No.2 ISSN 1816-613X.
  14. Bilal Ahmed and Khalid Hussain, “An Approach for Surveillance Using Wireless Sensor Networks (WSN)”, Journal of Information & Communication Technology Vol1 No.2 ISSN 1816-613X.
  15. Amir Ahmed and Khalid Hussain, “Enhanced Watershed Image Processing Segmentation”, J Journal of Information & Communication Technology Vol2 Issue 1 ISSN 1816-613X.
  16. Iffat Ahmed and Khalid Hussain, “Real Time Traffic Management Solution in RTP/RTCP Friendly Environment”, In Journal of Convergence Information Technology (ISSN: 1975-9320) Korea.
  17. Mahmood Ashraf and Khalid Hussain, “A Solution for Location Determination of Mobile Node in GSM Networks”, Journal of Theoretical and Applied Information Technology.
  18. Zahid Khan and Khalid Hussain, “Identification and Analysis of Performance Metrics for Real Time Operating System”, International  Conference  on  Signal  Processing  System  (ICSPS  2009) May 15 - 17, 2009, Singapore.
  19. Umair Naru and Khalid Hussain, “Performance Analysis of Wireless Local Area Networks”, International journal of Computer Theory and Engineering (IJCTE) Issue 6 ISSN: 1793-821X (Online Version), 1793-8201 (Print Version).
 

Mr. Umer Rashid
  1. Umer Rashid, Iftikhar Azim Niaz and Muhammad Afzal Bhatti. “M3L: Architecture for Multimedia Information Retrieval”. To be appeared in proceedings of ITNG 2009, 6th International Conference on Information Technology- New Generations, Las Vegas, Nevada, USA, IEEE Computer Society.
  2. Umer Rashid, Iftikhar Azim Niaz and Muhammad Afzal Bhatti.”Unified Multimodal Search Framework for Multimedia Information Retrieval”. Appeared in proceedings of SCSS 2008, 4th International Conference on Systems, Computing Sciences and Software Engineering, Bridgeport, USA. To be published by Springer.
  3. Umer Rashid, Iftikhar Azim Niaz and Muhammad Afzal Bhatti. “Fusion of Multimodal Document Intra-Modality Relevancies Using Linear Combination Model”. Appeared in proceedings of SCSS 2008, 4th International Conference on Systems, Computing Sciences and Software Engineering, Bridgeport, USA. To be published by Springer.
  4. Umer Rashid and Muhammad Afzal Bhatti. “Exploration & Management of Web Based Multimedia Information Resources”. Appeared in proceedings of SCSS 2007, 3rd International Conference on Systems, Computing Sciences and Software Engineering, Bridgeport, USA, pp 500-507. Published in "Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering” by Springer.
  5. Umer Rashid and Muhammad Afzal Bhatti. “Enhanced Term-Specific Smoothing using Document Word Clusters”. Appeared in proceedings of 5th International Conference on IT in Asia 2007, Malaysia.
 

Ms. Maryam Jamal
  1. Maryam Jamal and Nazir Ahmad Zafar. “Formal Model of Computer-Based Air Traffic Control System Using Z Notation”, Proceedings of 17th International Conference on Computer Theory and Applications, Alexandria, Egypt, 1st – 3rd September 2007.
  2. Maryam Jamal and Nazir Ahmad Zafar, “Integration of Graph Theory and Z Notation for Modeling of Air Traffic Control System”, Proceedings of 8th International Pure Mathematics Conference, Islamabad, Pakistan, 24th – 26th August 2007.
  3. Maryam Jamal and Nazir Ahmad Zafar, “Requirements Analysis of Air Traffic Control System Using Formal Methods”, Proceedings of IEEE International Conference on Information and Emerging Technologies, IEEE Catalogue No. 07EX1795, pp 216-222, Karachi, Pakistan, 6th – 7th July 2007.
  4. Maryam Jamal and Nazir Ahmad Zafa, “Modeling and Formal Specification of Air Traffic Control System Using Z Notationr”, 4th National Research Conference on Emerging Sciences, Islamabad, Pakistan, 12th January 2007.
 

Mr. Jibran Mustafa
  1. Asad Masood, Jibran Mustafa, Nabeel Ahmad, Sharifullah Khan, Khalid Latif, “Intelligent Search in Digital Documents”, IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI’ 08), WI-IAT '08, Vol. 01, pp. 558-561, Dec 9-12 2008 Sydney Australia.
  2. Jibran Mustafa, Sharifullah Khan, Khalid Latif, “Ontology Based Semantic Information Retrieval”, 4th International IEEE Conference Intelligent Systems, 2008 (IS '08), Vol. 3, pp. 14-19, September 6-8 2008 Varna Bulgaria.
  3. Jibran Mustafa, Sharifullah Khan, Khalid Latif, “Intelligent Information Retrieval”, 1st National Conference on Security, Computing and Communication 2008, May 23-25, 2008 Pakistan.

 
 

Ms. Farzana Yousaf
  1. Farzana Yousuf, Aamer Nadeem, Zahid Zaman, A Configurable Fault tolerant Architecture for Component-Based Systems, International Journal of  Software Engineering and Its Applications” (IJSEIA),Vol.3, No.2, 2009,SERSC.
  2. Farzana Yousuf, Ammer Nadeem, Zahid Zaman,Tai-Hoon Kim, Mib-Kyu Choi, “Design Diverse-Multiple Version Connector: A Fault Tolerant Component Based Architecture”, asea, pp.128-133,2008, Advance Software Engineering and its Application, 2008, IEEE Computer Society.
  3. Farzana Yousuf, Zahid Zaman, Naveed Ikram, Requirements Validation Techniques in GSD: A Survey. Multitopic ConferenceINMIC 2008. IEEE International, 553-557, 2008.
  4. Zahid Zaman, Farzana Yousuf, AamerNadeem, Data Flow Based Testing of Aspect Oriented Programs: A Survey, International Conference on Software Engineering Theory and Practice (SETP-09), Orlando, FL, USA.
 
Amir Manzur Wain
  1. Amir Manzur Wain. “Use of Quality Control Circles-A   Fad or Need”, In CADDM, ISSN No.1003-4951.Vol.16, No.1, 2006, Sum No.29, June 2006.
  2. Amir Manzur Wain. “Scheduling in Flexible Job Shops under Machine Breakdowns with Initial Setup Times-A Practical Application”, In WSEAS, ISSN No .1109-2777 Volume 5, Issue 9, September 2006.
  3. Amir Manzur Wain. “.Verification of Production Information Activity Control Architecture using PETRI NET tools, In Information Technology Journal, Volume # 6, Number 6, Pages: 924-928 Year, 2007.
© 2008. Riphah International University
Website Built & Powered by Plexus
Webmaster