Waqas ur Rehman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2004–2018
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | GLOBECOM | Joint User Association and BS Switching Scheme for Green Heterogeneous Cellular Network. | Waqas ur Rehman, Arshad Hussain, M. Majid Butt |
| 2017 | ISSRE | Experience Report: Verifying MPI Java Programs Using Software Model Checking. | Muhammad Sohaib Ayub, Waqas ur Rehman, Junaid Haroon Siddiqui |
| 2016 | PPoPP | Verification of MPI Java programs using software model checking. | Waqas ur Rehman, Muhammad Sohaib Ayub, Junaid Haroon Siddiqui |
| 2005 | ICWS | JClarens: A Java Framework for Developing and Deploying Web Services for Grid Computing. | Julian J. Bunn, Frank van Lingen, Harvey B. Newman, Conrad Steenberg, Michael Thomas, Arshad Ali, Ashiq Anjum, Tahir Azim, Faisal Khan, Waqas ur Rehman, Richard McClatchey, Jang-uk In |
| 2004 | ICWS | JClarens: A Java Based Interactive Physics Analysis Environment for Data Intensive Applications. | Arshad Ali, Ashiq Anjum, Tahir Azim, Michael Thomas, Conrad Steenberg, Harvey B. Newman, Julian J. Bunn, Rizwan Haider, Waqas ur Rehman |