Samin Ishtiaq

Identifiers

• name variant Samin Ishtiaq 0.60 · backfill

Papers (6)

1. T2: Temporal Property Verification cs.LO · 2015 · author #3
2. Reproducibility as a Technical Specification cs.CE · 2015 · author #3
3. Reproducibility in Research: Systems, Infrastructure, Culture cs.SE · 2015 · author #3
4. Dear CAV, We Need to Talk About Reproducibility cs.LO · 2015 · author #3
5. "Share and Enjoy": Publishing Useful and Usable Scientific Models cs.CE · 2014 · author #3
6. "Can I Implement Your Algorithm?": A Model for Reproducible Research Software cs.SE · 2014 · author #3

Mentions

• 1409.0367 #3 · backfill · confidence 0.70 Samin Ishtiaq
• 1407.5981 #3 · backfill · confidence 0.70 Samin Ishtiaq

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