Asad Ahmed
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2007–2024
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SEFM | Secure Smart Contracts with Isabelle/Solidity. | Diego Marmsoler, Asad Ahmed, Achim D. Brucker |
| 2014 | FIT | Analysis of Weather Forecasting Model in PRISM. | Asad Ahmed, Adnan Rashid, Sohail Iqbal |
| 2011 | AAAI | Learning in Repeated Games with Minimal Information: The Effects of Learning Bias. | Jacob W. Crandall, Asad Ahmed, Michael A. Goodrich |
| 2007 | ICWE | WebVAT: Web Page Visualization and Analysis Tool. | Yevgen Borodin, Jalal Mahmud, Asad Ahmed, I. V. Ramakrishnan |