ALLPATHS: de novo assembly of whole-genome shotgun microreads J Butler, I MacCallum, M Kleber, IA Shlyakhter, MK Belmonte, ES Lander, ... Genome research 18 (5), 810-820, 2008 | 1101 | 2008 |
Identifying recent adaptations in large-scale genomic data SR Grossman, KG Andersen, I Shlyakhter, S Tabrizi, S Winnicki, A Yen, ... Cell 152 (4), 703-713, 2013 | 420 | 2013 |
Reconstructing 3D tree models from instrumented photographs I Shlyakhter, M Rozenoer, J Dorsey, S Teller IEEE Computer Graphics and Applications 21 (3), 53-61, 2001 | 355 | 2001 |
ALLPATHS 2: small genomes assembled accurately and with high continuity from short paired reads I MacCallum, D Przybylski, S Gnerre, J Burton, I Shlyakhter, A Gnirke, ... Genome biology 10 (10), R103, 2009 | 234 | 2009 |
A micromodularity mechanism D Jackson, I Shlyakhter, M Sridharan ACM SIGSOFT Software Engineering Notes 26 (5), 62-73, 2001 | 220 | 2001 |
F-Soft: Software Verification Platform F Ivančić, Z Yang, MK Ganai, A Gupta, I Shlyakhter, P Ashar International Conference on Computer Aided Verification, 301-306, 2005 | 154 | 2005 |
Model Checking C Programs Using FSoft F Ivancic, I Shlyakhter, A Gupta, MK Ganai, V Kahlon, C Wang, Z Yang | 147* | |
Model checking C programs using F-Soft F Ivancic, I Shlyakhter, A Gupta, MK Ganai, V Kahlon, C Wang, Z Yang 2005 International Conference on Computer Design, 297-308, 2005 | 133 | 2005 |
Static analysis in disjunctive numerical domains S Sankaranarayanan, F Ivančić, I Shlyakhter, A Gupta International Static Analysis Symposium, 3-17, 2006 | 117 | 2006 |
Identification and functional validation of the novel antimalarial resistance locus PF10_0355 in Plasmodium falciparum D Van Tyne, DJ Park, SF Schaffner, DE Neafsey, E Angelino, JF Cortese, ... PLoS Genet 7 (4), e1001383, 2011 | 114 | 2011 |
Natural selection in a bangladeshi population from the cholera-endemic ganges river delta EK Karlsson, JB Harris, S Tabrizi, A Rahman, I Shlyakhter, N Patterson, ... Science translational medicine 5 (192), 192ra86-192ra86, 2013 | 106 | 2013 |
Debugging overconstrained declarative models using unsatisfiable cores I Shlyakhter, R Seater, D Jackson, M Sridharan, M Taghdiri 18th IEEE International Conference on Automated Software Engineering, 2003 …, 2003 | 85 | 2003 |
Generating effective symmetry-breaking predicates for search problems I Shlyakhter Electronic Notes in Discrete Mathematics 9, 19-35, 2001 | 81 | 2001 |
Generating effective symmetry-breaking predicates for search problems I Shlyakhter Discrete Applied Mathematics 155 (12), 1539-1548, 2007 | 68 | 2007 |
A case for efficient solution enumeration S Khurshid, D Marinov, I Shlyakhter, D Jackson International Conference on Theory and Applications of Satisfiability …, 2003 | 64 | 2003 |
Cosi2: an efficient simulator of exact and approximate coalescent with selection I Shlyakhter, PC Sabeti, SF Schaffner Bioinformatics 30 (23), 3427-3429, 2014 | 56 | 2014 |
Using statically computed invariants inside the predicate abstraction and refinement loop H Jain, F Ivančić, A Gupta, I Shlyakhter, C Wang International Conference on Computer Aided Verification, 137-151, 2006 | 56 | 2006 |
An empirical examination of factors influencing prediction of carcinogenic hazard across species GM Gray, P Li, I Shlyakhter, R Wilson Regulatory Toxicology and Pharmacology 22 (3), 283-291, 1995 | 32 | 1995 |
Declarative symbolic pure-logic model checking I Shlyakhter Massachusetts Institute of Technology, 2005 | 28 | 2005 |
Exploiting subformula sharing in automatic analysis of quantified formulas I Shlyakhter, M Sridharan, R Seater, D Jackson In Proc. 6th International Conference on Theory and Applications of …, 2003 | 19 | 2003 |