Samin Ishtiaq
Identifiers
- name variant Samin Ishtiaq 0.60 · backfill
Papers (6)
- T2: Temporal Property Verification cs.LO · 2015 · author #3
- Reproducibility as a Technical Specification cs.CE · 2015 · author #3
- Reproducibility in Research: Systems, Infrastructure, Culture cs.SE · 2015 · author #3
- Dear CAV, We Need to Talk About Reproducibility cs.LO · 2015 · author #3
- "Share and Enjoy": Publishing Useful and Usable Scientific Models cs.CE · 2014 · author #3
- "Can I Implement Your Algorithm?": A Model for Reproducible Research Software cs.SE · 2014 · author #3
Mentions
Frequent Coauthors
- Benjamin A. Hall 5 shared papers
- Tom Crick 5 shared papers
- Byron Cook 1 shared papers
- Heidy Khlaaf 1 shared papers
- Kenji Takeda 1 shared papers
- Marc Brockschmidt 1 shared papers
- Nir Piterman 1 shared papers