Sorin Istrail

Russell Schwartz, Sorin Istrail, Bjarni V. Halldórsson, 2003, Computational Systems Bioinformatics. CSB2003. Proceedings of the 2003 IEEE Bioinformatics Conference. CSB2003.

1001 Optimal PDB Structure Alignments: Integer Programming Methods for Finding the Maximum Contact Map Overlap

Robert D. Carr, Alberto Caprara, Giuseppe Lancia, 2004, J. Comput. Biol..

Tag Systems Generating Thue Irreducible Sequences

Sorin Istrail, 1978, Inf. Process. Lett..

Fast protein folding in the hydrophobic-hydrophilic model within three-eights of optimal

William E. Hart, Sorin Istrail, W. Hart, 1995, STOC '95.

Some Remarks on Non-Algebraic Adherences

Sorin Istrail, 1982, Theor. Comput. Sci..

Protein Structure Comparison: Algorithms and Applications

Giuseppe Lancia, Sorin Istrail, 2003, Mathematical Methods for Protein Structure Analysis and Design.

Computing grammars and contex-sensitive languages

Dan A. Simovici, Sorin Istrail, 1978, RAIRO Theor. Informatics Appl..

Finding Anchors for Genomic Sequence Comparison

Sorin Istrail, Xiaoyue Zhao, Liliana Florea, 2005, J. Comput. Biol..

Robust Proofs of NP-Hardness for Protein Folding: General Lattices and Energy Potentials

William E. Hart, Sorin Istrail, W. Hart, 1997, J. Comput. Biol..

Algorithmic strategies in combinatorial chemistry

Giuseppe Lancia, Sorin Istrail, Antonio Piccolboni, 2000, SODA '00.

A Fixed-Point Theorem for Recursive-Enumerable Languages and Some Considerations About Fixed-Point Semantics of Monadic Programs

Sorin Istrail, 1979, ICALP.

Bounded-Width Polynomial-Size Boolean Formulas Compute Exactly Those Functions in AC^0

Sorin Istrail, Dejan Zivkovic, 1994, Inf. Process. Lett..

Workshop: Robust algorithms for inferring haplotype phase and deletion polymorphism from high-throughput whole genome sequence data

Sorin Istrail, Derek Aguiar, 2012, 2012 IEEE 2nd International Conference on Computational Advances in Bio and medical Sciences (ICCABS).

Proceedings of the second annual international conference on Computational molecular biology

Sorin Istrail, Pavel A. Pevzner, Michael S. Waterman, 1998, RECOMB 1998.

Combinatorial and statistical prediction of gene expression from haplotype sequence

Sorin Istrail, Derek Aguiar, Pinar Demetci, 2020, Bioinform..

Foreword

Ron Shamir, Sorin Istrail, Pavel A. Pevzner, 1998, Discret. Appl. Math..

Algorithmic strategies for the single nucleotide polymorphism haplotype assembly problem

Russell Schwartz, Giuseppe Lancia, Sorin Istrail, 2002, Briefings Bioinform..

QColors: An algorithm for conservative viral quasispecies reconstruction from short and non-contiguous next generation sequencing reads

Sorin Istrail, Rami Kantor, Austin Huang, 2011, BIBM Workshops.

Fast Protein Folding in the Hydrophobic-Hydrophillic Model within Three-Eights of Optimal

William E. Hart, Sorin Istrail, 1996, J. Comput. Biol..

The Clark Phase-able Sample Size Problem: Long-Range Phasing and Loss of Heterozygosity in GWAS

Sorin Istrail, Bjarni V. Halldórsson, Derek Aguiar, 2010, RECOMB.

Eric Davidson's Regulatory Genome for Computer Science: Causality, Logic, and Proof Principles of the Genomic cis-Regulatory Code

Sorin Istrail, S. Istrail, 2019, J. Comput. Biol..

Visualization challenges for a new cyber-pharmaceutical computing paradigm

Russell Schwartz, Daniel H. Huson, Shibu Yooseph, 2001, Proceedings IEEE 2001 Symposium on Parallel and Large-Data Visualization and Graphics (Cat. No.01EX520).

Physical Mapping with Repeated Probes: The Hypergraph Superstring Problem

Sorin Istrail, Serafim Batzoglou, 1999, CPM.

Utilizing image-based features in biomedical document classification

Hagit Shatkay, Sorin Istrail, Chandra Kambhamettu, 2015, 2015 IEEE International Conference on Image Processing (ICIP).

Thermodynamic Hypothesis as Social Choice: An Impossibility Theorem for Protein Folding pdf

Sorin Istrail, Hammurabi Mendes, 2014, ArXiv.

The Imperfect Ancestral Recombination Graph Reconstruction Problem: Upper Bounds for Recombination and Homoplasy

Sorin Istrail, Fumei Lam, Ryan Tarpine, 2010, J. Comput. Biol..

The Minimum Informative Subset Problem

Sorin Istrail, 2003, BIOKDD.

Elementary Bounded Languages

Sorin Istrail, S. Istrail, 1978, Inf. Control..

Computer Science Through Urn Games: An Unified Framework for a Hierarchy of Solvable and Unsolvable Problems

Sorin Istrail, 2012 .

QColors: An algorithm for conservative viral quasispecies reconstruction from short and non-contiguous next generation sequencing reads

Sorin Istrail, Rami Kantor, Austin Huang, 2011, 2011 IEEE International Conference on Bioinformatics and Biomedicine Workshops (BIBMW).

101 optimal PDB structure alignments: a branch-and-cut algorithm for the maximum contact map overlap problem

Robert D. Carr, Giuseppe Lancia, Sorin Istrail, 2001, RECOMB.

Lattice and Off-Lattice Side Chain Models of Protein Folding: Linear Time Structure Prediction Better than 86% of Optimal

William E. Hart, Sorin Istrail, 1997, J. Comput. Biol..

Haplotype Phasing By Multi-Assembly of Shared Haplotypes: Phase-Dependent Interactions Between Rare Variants

Sorin Istrail, Bjarni V. Halldórsson, Derek Aguiar, 2011, Pacific Symposium on Biocomputing.

How Does the Regulatory Genome Work?

Sorin Istrail, Isabelle S. Peter, Isabelle S Peter, 2019, J. Comput. Biol..

Algorithmic aspects of protein structure similarity

Christos H. Papadimitriou, Sorin Istrail, Deborah Goldman, 1999, 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039).

Prediction of Self-Assembly of Energetic Tiles and Dominos: Experiments, Mathematics and Software

Alan J. Hurd, Sorin Istrail, Serafim Batzoglou, 2000 .

RECOMB 2000 : proceedings of the Fourth annual international conference on computational molecular biology : April 8-11, 2000, Tokyo, Japan

Satoru Miyano, Ron Shamir, Sorin Istrail, 2000 .

Invariant Patterns in Crystal Lattices: Implications for Protein Folding Algorithms

William E. Hart, Sorin Istrail, W. Hart, 1995, J. Univers. Comput. Sci..

A Computational Pipeline for High-Throughput T-Cell Epitope Prediction

Russell Schwartz, Sorin Istrail, Bjarni V. Halldórsson, 2003 .

Robustness of Inference of Haplotype Block Structure

Russell Schwartz, Andrew G. Clark, Sorin Istrail, 2003, J. Comput. Biol..

Combinatorial Algorithms for Protein Folding in Lattice Models: A Survey of Mathematical Results

Sorin Istrail, Fumei Lam, 2009, Commun. Inf. Syst..

OCR-based image features for biomedical image and article classification: identifying documents relevant to cis-regulatory elements

Hagit Shatkay, Sorin Istrail, Chandra Kambhamettu, 2012, AAAI Fall Symposium: Information Retrieval and Knowledge Discovery in Biomedical Text.

An Arithmetical Hierarchy in Propositional Dynamic Logic

Sorin Istrail, 1989, Inf. Comput..

Computational Methods for SNPs and Haplotype Inference

Andrew G. Clark, Sorin Istrail, Michael S. Waterman, 2002, Lecture Notes in Computer Science.

Proteinarium: Multi-Sample Protein-Protein Interaction Analysis and Visualization Tool

Sorin Istrail, Alper Uzun, Anthony Agudelo, 2019, bioRxiv.

On Complements of Some Bounded Context-Sensitive Languages

Sorin Istrail, 1979, Inf. Control..

Polynomial universal traversing sequences for cycles are constructible

Sorin Istrail, 1988, STOC '88.

Generalization of the Ginsburg-Rice Schützenberger Fixed-Point Theorem for Context-Sensitive and Recursive-Enumerable Languages

Sorin Istrail, S. Istrail, 1982, Theor. Comput. Sci..

Keynote talk the minimum informative subset problem

Sorin Istrail, 2003 .

Foreword

Ron Shamir, Sorin Istrail, Pavel A. Pevzner, 2000, Discret. Appl. Math..

Constructing generalized universal traversing sequences of polynomial size for graphs with small diameter

Sorin Istrail, 1990, Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science.

Preface: Special RECOMB'99 Issue

Sorin Istrail, 1999, J. Comput. Biol..

Finding anchors for genomic sequence comparison

Sorin Istrail, Xiaoyue Zhao, Liliana Florea, 2004, RECOMB.

Logic Functions of the Genomic Cis-regulatory Code

Sorin Istrail, Eric H. Davidson, E. Davidson, 2005, UC.

Haplotype assembly in polyploid genomes and identical by descent shared tracts

Sorin Istrail, Derek Aguiar, S. Istrail, 2013, Bioinform..

Combinatorial Problems Arising in SNP and Haplotype Analysis

Shibu Yooseph, Sorin Istrail, Vineet Bafna, 2003, DMTCS.

Lattice and off-lattice side chain models of protein folding (extended abstract): linear time structure prediction better than 86% of optimal

William E. Hart, Sorin Istrail, 1997, RECOMB '97.

Mathematical Methods for Protein Structure Analysis and Design

Sorin Istrail, Concettina Guerra, 2003, Lecture Notes in Computer Science.

The pagenumber of genus g graphs is O(g)

Lenwood S. Heath, Sorin Istrail, 1992, JACM.

Chomsky-Schützenberger Representations for Families of Languages and Grammatical Types

Sorin Istrail, S. Istrail, 1981, ICALP.

Alan Turing and John von Neumann - Their Brains and Their Computers

Sorin Istrail, Solomon Marcus, S. Istrail, 2012, Int. Conf. on Membrane Computing.

Approximations Algorithms on Matroids Based on Cycle-Bases and Applications

Sorin Istrail, 1996 .

A problem about contextual grammars with choice

Sorin Istrail, 1978 .

Proceedings of the Sixth Annual International Conference on Computational Biology, RECOMB 2002, Washington, DC, USA, April 18-21, 2002

David Sankoff, Sorin Istrail, Pavel A. Pevzner, 2002, RECOMB.

Membrane Computing

Sorin Istrail, Solomon Marcus, S. Istrail, 2012, Lecture Notes in Computer Science.

Proceedings of the Fourth Annual International Conference on Computational Molecular Biology, RECOMB 2000, Tokyo, Japan, April 8-11, 2000

Satoru Miyano, Ron Shamir, Sorin Istrail, 1997, Annual International Conference on Research in Computational Molecular Biology.

Visualization Challenges for a New Cyberpharmaceutical Computing

Russell Schwartz, Daniel H. Huson, Shibu Yooseph, 2001 .

A Survey of Computational Methods for Determining Haplotypes

Shibu Yooseph, Sorin Istrail, Vineet Bafna, 2002, Computational Methods for SNPs and Haplotype Inference.

Bisimulation can't be traced

Albert R. Meyer, Sorin Istrail, Bard Bloom, 1988, POPL '88.

Tractatus: An Exact and Subquadratic Algorithm for Inferring Identical-by-Descent Multi-shared Haplotype Tracts

Sorin Istrail, Derek Aguiar, Eric M. Morrow, 2014, RECOMB.

Alignment and Scoring Matrices Class 6

Sorin Istrail, Isaac Berkowitz, 2014 .

Statistical mechanics, three-dimensionality and NP-completeness: I. Universality of intracatability for the partition function of the Ising model across non-planar surfaces (extended abstract)

Sorin Istrail, S. Istrail, 2000, STOC '00.

Selected Papers from RECOMB'97 - Preface

Sorin Istrail, Pavel A. Pevzner, Michael S. Waterman, 1997, J. Comput. Biol..

A Non-Probabilistic Switching Lemma for the Sipser Function

Sorin Istrail, Dejan Zivkovic, 1993, STACS.

Polynomial and APX-hard cases of the individual haplotyping problem

Giuseppe Lancia, Sorin Istrail, Vineet Bafna, 2005, Theor. Comput. Sci..

The Chimeric Mapping Problem: Algorithmic Strategies and Performance Evaluation on Synthetic Genomic Data

David S. Greenberg, Sorin Istrail, S. Istrail, 1994, Comput. Chem..

The page number of genus g graphs is (g)

Lenwood S. Heath, Sorin Istrail, S. Istrail, 1987, STOC.

HapCompass: A Fast Cycle Basis Algorithm for Accurate Haplotype Assembly of Sequence Data

Sorin Istrail, Derek Aguiar, S. Istrail, 2012, J. Comput. Biol..

Conservative Extensions of Linkage Disequilibrium Measures from Pairwise to Multi-loci and Algorithms for Optimal Tagging SNP Selection

Sorin Istrail, Fumei Lam, Ryan Tarpine, 2011, RECOMB.

A quantitative reference transcriptome for Nematostella vectensis early embryonic development: a pipeline for de novo assembly in emerging model systems

Sorin Istrail, Derek Aguiar, S. Istrail, 2013, EvoDevo.

Statistical Mechanics, Three-Dimensionality and NP-Completeness: I. Universality of Intractability of the Partition Functions of the Ising Model Across Non-Planar Lattices

Sorin Istrail, S. Istrail, 2000, STOC 2000.

RECOMB 99 : proceedings of the Third annual international conference on computational molecular biology : April 11-14, 1999, Hotel de Lyon Metropole, Lyon, France

Sorin Istrail, Pavel Pevzner, Acm Sigact, 1999 .

Crystallographical universal approximability: A complexity theory of protein folding algorithms on c

William E. Hart, Sorin Istrail, W. Hart, 1995 .

The Haplotype Phasing Problem

Sorin Istrail, 2002 .

Islands of tractability for parsimony haplotyping

Roded Sharan, Sorin Istrail, Bjarni V. Halldorsson, 2005 .

On irreducible languages and nonrational numbers

Sorin Istrail, 1977 .

Comparative immunopeptidomics of humans and their pathogens.

Sorin Istrail, Oliver Kohlbacher, Liliana Florea, 2004, Proceedings of the National Academy of Sciences of the United States of America.

The regulatory genome and the computer.

Eric H Davidson, Sorin Istrail, E. Davidson, 2007, Developmental biology.

Islands of tractability for parsimony haplotyping.

Roded Sharan, Sorin Istrail, Bjarni V. Halldórsson, 2006, IEEE/ACM transactions on computational biology and bioinformatics.

Lattice and Off-Lattice Side Chain Models of Protein Folding: Linear Time Structure Prediction Better Than 86% of Optimal (Extended Abstract)

William E. Hart, Sorin Istrail, W. Hart, 1996, RECOMB 1997.

Logic functions of the genomic cis-regulatory code.

Sorin Istrail, Eric H. Davidson, E. Davidson, 2005 .

RECOMB 98 : proceedings of the Second Annual International Conference on Computational Molecular Biology : March 22-25, 1998, Holiday Inn Manhattan, New York, NY

Sorin Istrail, Pavel Pevzner, Michael Waterman, 1998 .

The Transcriptome of the Sea Urchin Embryo

Eric H Davidson, Sorin Istrail, Qiang Tu, 2006, Science.

Optimal Haplotype Block-free Selection of Tagging Snps for Genome-wide Association Studies

Russell Schwartz, Sorin Istrail, Vineet Bafna, 2022 .

Optimal Selection of SNP Markers for Disease Association Studies

Sorin Istrail, Francisco M. De La Vega, Bjarni V. Halldórsson, 2005, Human Heredity.

Genome-Wide Association Studies Optimal Haplotype Block-Free Selection of Tagging SNPs for Material Supplemental

Russell Schwartz, Andrew G. Clark, Sorin Istrail, 2004 .