| 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 | 984 | 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 | 346 | 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 | 309 | 2001 |
| A micromodularity mechanism D Jackson, I Shlyakhter, M Sridharan ACM SIGSOFT Software Engineering Notes 26 (5), 62-73, 2001 | 210 | 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 | 207 | 2009 |
| 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 | 141 | 2005 |
| Model Checking C Programs Using FSoft F Ivancic, I Shlyakhter, A Gupta, MK Ganai, V Kahlon, C Wang, Z Yang | 134* | |
| 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 | 122 | 2005 |
| 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 | 98 | 2011 |
| Static analysis in disjunctive numerical domains S Sankaranarayanan, F Ivančić, I Shlyakhter, A Gupta International Static Analysis Symposium, 3-17, 2006 | 98 | 2006 |
| 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 | 81 | 2003 |
| Generating effective symmetry-breaking predicates for search problems I Shlyakhter Electronic Notes in Discrete Mathematics 9, 19-35, 2001 | 70 | 2001 |
| 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 | 67 | 2013 |
| Generating effective symmetry-breaking predicates for search problems I Shlyakhter Discrete Applied Mathematics 155 (12), 1539-1548, 2007 | 59 | 2007 |
| 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 | 55 | 2006 |
| A case for efficient solution enumeration S Khurshid, D Marinov, I Shlyakhter, D Jackson International Conference on Theory and Applications of Satisfiability …, 2003 | 52 | 2003 |
| 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 |
| Cosi2: an efficient simulator of exact and approximate coalescent with selection I Shlyakhter, PC Sabeti, SF Schaffner Bioinformatics 30 (23), 3427-3429, 2014 | 31 | 2014 |
| Declarative symbolic pure-logic model checking I Shlyakhter Massachusetts Institute of Technology, 2005 | 27 | 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 | 20 | 2003 |
Franjo IvančićGoogle, Inc.Verified email at google.com
