DepartmentPaper Title
  
Page size:
select
 8415 items in 561 pages
Electrical and Computer Engineering
Wah Campus
Abdullah Shoukat, Muhammad Ali Mughal, Saifullah Younus Gondal''Optimal Parameter Estimation of Transmission Line Using Chaotic Initialized Time-Varying PSO Algorithm'',2021.
Meteorology
Islamabad Campus
Gomal Amin, Muhammad Imran Shahzad, Majid Nazeer, Ibrahim Zia, Sundas Jaweria, Irfan Mehmood''Assessing the spatial distribution and impacts of recent oil spill along the Western Coast of Karachi, Pakistan'',2021.
Meteorology
Islamabad Campus
Muhammad Nawaz, Muhammad Farooq iqbal, Irfan Mahmood''Validation of CHIRPS satellite-based precipitation dataset over Pakistan'',2021.
Meteorology
Islamabad Campus
Saima Naz, Muhammad Farooq iqbal, Irfan Mahmood, Mona Allam''Marine oil spill detection using Synthetic Aperture Radar over Indian Ocean'',2021.
Electrical and Computer Engineering
Wah Campus
Wilayat Khan, , ''Lossless Fast Serving Radio Network Controller relocation'',2010.
Electrical and Computer Engineering
Wah Campus
Bugliesi, Michele, Stefano Calzavara, Riccardo Focardi, and Wilayat Khan''Automatic and robust client-side protection for cookie-based sessions'',2014.
Electrical and Computer Engineering
Wah Campus
Bugliesi, Michele, Stefano Calzavara, Riccardo Focardi, Wilayat Khan, and Mauro Tempesta''Provably sound browser-based enforcement of web session integrity'',2014.
Electrical and Computer Engineering
Wah Campus
Khan Wilayat, Stefano Calzavara, Michele Bugliesi, Willem De Groef, and Frank Piessens''Client Side Web Session Integrity as a Non-interference Property'',2014.
Electrical and Computer Engineering
Wah Campus
Wilayat Khan, Basim Azam, Noman Shahid''Formal Verification of Digital Circuits Using Simulator With Mathematical Foundation'',2018.
Electrical and Computer Engineering
Wah Campus
Khan Wilayat, David Sanan, Alwen Tiu''VeriFormal: An Executable Formal Model of a Hardware Description Language'',2017.
Electrical and Computer Engineering
Wah Campus
Khan,Wilayat, Farrukh Aslam Khan, Abdelouahid Derhab and Adi Alhudhaif''CoCEC: An Automatic Combinational Circuit Equivalence Checker Based on Interactive Theorem Prover'',2021.
Electrical and Computer Engineering
Wah Campus
Khan, Wilayat, Aakash Ahmad, Aamir Qamar, Muhammad Kamran''Spoof- Catch: A Client-Side Protection Tool Against Phishing Attacks'',2021.
Electrical and Computer Engineering
Wah Campus
Ahmad, Aakash, Adel Alkhalil, Ahmed B. Altamimi, Khalid Sultan, and Wilayat Khan''Modernizing Legacy Software as Context—Sensitive and Portable Mobile-Enabled Application'',2021.
Electrical and Computer Engineering
Wah Campus
Khan, Wilayat, Muhammad Kamran, Syed Rameez Naqvi, Farrukh Aslam Khan''Formal Verification of Hardware Components in Critical Systems'',2020.
Electrical and Computer Engineering
Wah Campus
Khan Wilayat, David Sanan, Zhe Hou, and Liu Yang''On embedding a hardware description language in Isabelle/HOL'',2019.
Contact Us
Tel: +92-51-9247000-9247002 and 9049802
UAN: +92-51-111-001-007
Reach Us at
Park Road, Tarlai Kalan,
Islamabad 45550, Pakistan


Powered by: ITCentre