Yasir Imtiaz Khan

Learn More
High-level Petri nets make models more concise and readable as compared to low-level Petri nets. However, usual verification techniques such as state space analysis remain an open challenge for both because of state space explosion. The contribution of this paper is to propose an approach for property based reduction of the state space of Algebraic Petri(More)
  • Michael Callen, Harvard Kennedy, School Saad Gulzar, Ali Hasanain, Yasir Khan, Arman Rezaee +17 others
  • 2015
The views expressed in the HKS Faculty Research Working Paper Series are those of the author(s) and do not necessarily reflect those of the John F. Kennedy School of Government or of Harvard University. Faculty Research Working Papers have not undergone formal review and approval. Such papers are included in this series to elicit feedback and to encourage(More)
Pakistan has a large and dispersed primary public health system that gives citizens access to trained doctors and staff, and to subsidized medicines. However, both the use of these facilities and health outcomes remain low. Improvements in information and communications technology provide exciting opportunities to leverage technology to improve management.(More)
  • Arman Rezaee, Ali Hasanain, Yasir Khan, Eli Berman, Michael Callen, Julie Cullen +4 others
  • 2015
We develop and implement a novel, mobile phone-based information clearinghouse, and experimentally evaluate its ability to overcome information asymmetries and improve public service delivery to farmers in Punjab, Pakistan. Like many crowdsourcing websites, our clear-inghouse collects and disseminates ratings—here, on the success of government veterinarians(More)
The need of cyber security is increasing as cyber attacks are escalating day by day. Cyber attacks are now so many and sophisticated that many will unavoidably get through. Therefore, there is an immense need to employ resilient architectures to defend known or unknown threats. Engineer- ing resilient system/infrastructure is a challenging task, that(More)
Algebraic Petri nets is a well suited formalism to represent the behavior of concurrent and distributed systems by handling complex data. For the analysis of systems modelled in Algebraic Petri nets, model checking and testing are used commonly. Petri nets slicing is getting an attention recently to improve the analysis of systems modelled in Petri nets or(More)