publications:
- title: "Analysis of Weather Forecasting Model in PRISM"
  author:
  - name: "Asad Ahmed"
    link: "https://researchr.org/alias/asad-ahmed"
  - name: "Adnan Rashid"
    link: "http://save.seecs.nust.edu.pk/adnanrashid/"
  - name: "Sohail Iqbal"
    link: "https://researchr.org/alias/sohail-iqbal"
  year: "2014"
  doi: "http://dx.doi.org/10.1109/FIT.2014.73"
  links:
    doi: "http://dx.doi.org/10.1109/FIT.2014.73"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fit/AhmedRI14"
  researchr: "https://researchr.org/publication/AhmedRI14"
  cites: 0
  citedby: 0
  pages: "355-360"
  booktitle: "12th International Conference on Frontiers of Information Technology, FIT 2014, Islamabad, Pakistan, December 17-19, 2014"
  publisher: "IEEE"
  isbn: "978-1-4799-7505-1"
  kind: "inproceedings"
  key: "AhmedRI14"
- title: "On the Formalization of Fourier Transform in Higher-order Logic"
  author:
  - name: "Adnan Rashid"
    link: "http://save.seecs.nust.edu.pk/adnanrashid/"
  - name: "Osman Hasan"
    link: "https://researchr.org/alias/osman-hasan"
  year: "2016"
  doi: "http://dx.doi.org/10.1007/978-3-319-43144-4_31"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-43144-4_31"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/itp/RashidH16"
  researchr: "https://researchr.org/publication/RashidH16"
  cites: 0
  citedby: 0
  pages: "483-490"
  booktitle: "Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings"
  editor:
  - name: "Jasmin Christian Blanchette"
    link: "https://researchr.org/alias/jasmin-christian-blanchette"
  - name: "Stephan Merz"
    link: "https://researchr.org/alias/stephan-merz"
  volume: "9807"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-43143-7"
  kind: "inproceedings"
  key: "RashidH16"