Muhammad Saleem Vighio
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2010–2016
Best venue rank
National
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | HCI | Evaluating Usability of M-Learning Application in the Context of Higher Education Institute. | Aijaz Ahmed Arain, Zahid Hussain, Wajid H. Rizvi, Muhammad Saleem Vighio |
| 2011 | TACAS | Modelling and Verification of Web Services Business Activity Protocol. | Anders P. Ravn, Jir Srba, Muhammad Saleem Vighio |
| 2010 | ISoLA | A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL. | Anders P. Ravn, Jir Srba, Muhammad Saleem Vighio |