Follow
Ilya Shlyakhter
Ilya Shlyakhter
Computational Biologist, Broad Institute
Verified email at broadinstitute.org - Homepage
Title
Cited by
Cited by
Year
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
10862008
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
4142013
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
3552001
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
2292009
A micromodularity mechanism
D Jackson, I Shlyakhter, M Sridharan
ACM SIGSOFT Software Engineering Notes 26 (5), 62-73, 2001
2182001
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
1562005
Model Checking C Programs Using FSoft
F Ivancic, I Shlyakhter, A Gupta, MK Ganai, V Kahlon, C Wang, Z Yang
146*
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
1322005
Static analysis in disjunctive numerical domains
S Sankaranarayanan, F Ivančić, I Shlyakhter, A Gupta
International Static Analysis Symposium, 3-17, 2006
1142006
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
1112011
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
1042013
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
842003
Generating effective symmetry-breaking predicates for search problems
I Shlyakhter
Electronic Notes in Discrete Mathematics 9, 19-35, 2001
812001
Generating effective symmetry-breaking predicates for search problems
I Shlyakhter
Discrete Applied Mathematics 155 (12), 1539-1548, 2007
672007
A case for efficient solution enumeration
S Khurshid, D Marinov, I Shlyakhter, D Jackson
International Conference on Theory and Applications of Satisfiability …, 2003
632003
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
562006
Cosi2: an efficient simulator of exact and approximate coalescent with selection
I Shlyakhter, PC Sabeti, SF Schaffner
Bioinformatics 30 (23), 3427-3429, 2014
542014
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
311995
Declarative symbolic pure-logic model checking
I Shlyakhter
Massachusetts Institute of Technology, 2005
282005
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
202003
The system can't perform the operation now. Try again later.
Articles 1–20