Tag Systems Generating Thue Irreducible Sequences. - Sorin Istrail (Inf. Process. Lett., 1978)

Computing grammars and contex-sensitive languages. - Sorin Istrail; Dan A. Simovici (RAIRO Theor. Informatics Appl., 1978)

Elementary Bounded Languages - Sorin Istrail (Inf. Control., 1978)

A Fixed-Point Theorem for Recursive-Enumerable Languages and Some Considerations About Fixed-Point Semantics of Monadic Programs. - Sorin Istrail (ICALP, 1979)

On Complements of Some Bounded Context-Sensitive Languages - Sorin Istrail (Inf. Control., 1979)

Chomsky-Schützenberger Representations for Families of Languages and Grammatical Types. - Sorin Istrail (ICALP, 1981)

Generalization of the Ginsburg-Rice Schützenberger Fixed-Point Theorem for Context-Sensitive and Recursive-Enumerable Languages. - Sorin Istrail (Theor. Comput. Sci., 1982)

Some Remarks on Non-Algebraic Adherences. - Sorin Istrail (Theor. Comput. Sci., 1982)

Nivat-Processing Systems: Decision Problems Related to Protection and Synchronization. - Sorin Istrail; Cristian Masalagiu (CAAP, 1983)

Nivats's Processing Systems: Decision Problems Related to Protection and Synchronization. - Sorin Istrail; Cristian Masalagiu (Theor. Comput. Sci., 1983)

Polynomial Universal Traversing Sequences for Cycles Are Constructible (Extended Abstract) - Sorin Istrail (STOC, 1988)

An Arithmetical Hierarchy in Propositional Dynamic Logic - Sorin Istrail (Inf. Comput., 1989)

Constructing Generalized Universal Traversing Sequences of Polynomial Size for Graphs with Small Diameter (Extended Abstract) - Sorin Istrail (FOCS, 1990)

The Pagenumber of Genus g Graphs is O(g). - Lenwood S. Heath; Sorin Istrail (J. ACM, 1992)

A Non-Probabilistic Switching Lemma for the Sipser Function. - Sorin Istrail; Dejan Zivkovic (STACS, 1993)

The Chimeric Mapping Problem: Algorithmic Strategies and Performance Evaluation on Synthetic Genomic Data. - David S. Greenberg; Sorin Istrail (Comput. Chem., 1994)

Bounded-Width Polynomial-Size Boolean Formulas Compute Exactly Those Functions in AC^0. - Sorin Istrail; Dejan Zivkovic (Inf. Process. Lett., 1994)

Fast protein folding in the hydrophobic-hydrophilic model within three-eights of optimal (Extended Abstract). - William E. Hart; Sorin Istrail (STOC, 1995)

Bisimulation Can't be Traced. - Bard Bloom; Sorin Istrail; Albert R. Meyer (J. ACM, 1995)

Physical Mapping by STS Hybridization: Algorithmic Strategies and the Challenge of Software Evaluation. - David S. Greenberg; Sorin Istrail (J. Comput. Biol., 1995)

Invariant Patterns in Crystal Lattices: Implications for Protein Folding Algorithms (Extended Abstract). - William E. Hart; Sorin Istrail (CPM, 1996)

Fast Protein Folding in the Hydrophobic-Hydrophillic Model within Three-Eights of Optimal. - William E. Hart; Sorin Istrail (J. Comput. Biol., 1996)

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 (RECOMB, 1997)

Lattice and Off-Lattice Side Chain Models of Protein Folding: Linear Time Structure Prediction Better than 86% of Optimal. - William E. Hart; Sorin Istrail (J. Comput. Biol., 1997)

Robust Proofs of NP-Hardness for Protein Folding: General Lattices and Energy Potentials. - William E. Hart; Sorin Istrail (J. Comput. Biol., 1997)

Selected Papers from RECOMB'97 - Preface. - Michael S. Waterman; Sorin Istrail; Pavel A. Pevzner (J. Comput. Biol., 1997)

Physical Mapping with Repeated Probes: The Hypergraph Superstring Problem. - Serafim Batzoglou; Sorin Istrail (CPM, 1999)

Algorithmic Aspects of Protein Structure Similarity. - Deborah Goldman; Sorin Istrail; Christos H. Papadimitriou (FOCS, 1999)

Preface: Special RECOMB'99 Issue. - Sorin Istrail (J. Comput. Biol., 1999)

Lattice Simulations of Aggregation Funnels for Protein Folding. - Sorin Istrail; Russell Schwartz; Jonathan A. King (J. Comput. Biol., 1999)

Algorithmic strategies in combinatorial chemistry. - Deborah Goldman; Sorin Istrail; Giuseppe Lancia; Antonio Piccolboni; Brian Walenz (SODA, 2000)

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 (STOC, 2000)

Foreword. - Sorin Istrail; Pavel A. Pevzner; Ron Shamir (Discret. Appl. Math., 2000)

Invariant Patterns in Crystal Lattices: Implications for Protein Folding Algorithms. - William E. Hart; Sorin Istrail (J. Univers. Comput. Sci., 2000)

SNPs Problems, Complexity, and Algorithms. - Giuseppe Lancia; Vineet Bafna; Sorin Istrail; Ross Lippert; Russell Schwartz (ESA, 2001)

Visualization challenges for a new cyberpharmaceutical computing paradigm. - Russell J. Turner; Kabir Chaturvedi; Nathan Edwards; Daniel P. Fasulo; Aaron L. Halpern; Daniel H. Huson; Oliver Kohlbacher; Jason R. Miller; Knut Reinert; Karin A. Remington; Russell Schwartz; Brian Walenz; et al. (IEEE Symposium on Parallel and Large-Data Visualization and Graphics, 2001)

101 optimal PDB structure alignments: a branch-and-cut algorithm for the maximum contact map overlap problem. - Giuseppe Lancia; Robert D. Carr; Brian Walenz; Sorin Istrail (RECOMB, 2001)

A Survey of Computational Methods for Determining Haplotypes. - Bjarni V. Halldórsson; Vineet Bafna; Nathan Edwards; Ross Lippert; Shibu Yooseph; Sorin Istrail (Computational Methods for SNPs and Haplotype Inference, 2002)

Inferring Piecewise Ancestral History from Haploid Sequences. - Russell Schwartz; Andrew G. Clark; Sorin Istrail (Computational Methods for SNPs and Haplotype Inference, 2002)

Practical Algorithms and Fixed-Parameter Tractability for the Single Individual SNP Haplotyping Problem. - Romeo Rizzi; Vineet Bafna; Sorin Istrail; Giuseppe Lancia (WABI, 2002)

Methods for Inferring Block-Wise Ancestral History from Haploid Sequences. - Russell Schwartz; Andrew G. Clark; Sorin Istrail (WABI, 2002)

Algorithmic strategies for the single nucleotide polymorphism haplotype assembly problem. - Ross Lippert; Russell Schwartz; Giuseppe Lancia; Sorin Istrail (Briefings Bioinform., 2002)

Epitope Prediction Algorithms for Peptide based Vaccine Design. - Liliana Florea; Bjarni V. Halldórsson; Oliver Kohlbacher; Russell Schwartz; Stephen Hoffman; Sorin Istrail (CSB, 2003)

Combinatorial Problems Arising in SNP and Haplotype Analysis. - Bjarni V. Halldórsson; Vineet Bafna; Nathan Edwards; Ross Lippert; Shibu Yooseph; Sorin Istrail (DMTCS, 2003)

The Minimum Informative Subset Problem. - Sorin Istrail (BIOKDD, 2003)

Protein Structure Comparison: Algorithms and Applications. - Giuseppe Lancia; Sorin Istrail (Mathematical Methods for Protein Structure Analysis and Design, 2003)

Haplotypes and informative SNP selection algorithms: don't block out information. - Vineet Bafna; Bjarni V. Halldórsson; Russell Schwartz; Andrew G. Clark; Sorin Istrail (RECOMB, 2003)

Robustness of Inference of Haplotype Block Structure. - Russell Schwartz; Bjarni V. Halldórsson; Vineet Bafna; Andrew G. Clark; Sorin Istrail (J. Comput. Biol., 2003)

1001 Optimal PDB Structure Alignments: Integer Programming Methods for Finding the Maximum Contact Map Overlap. - Alberto Caprara; Robert D. Carr; Sorin Istrail; Giuseppe Lancia; Brian Walenz (J. Comput. Biol., 2004)

Logic Functions of the Genomic Cis-regulatory Code. - Eric H. Davidson; Sorin Istrail (UC, 2005)

Finding Anchors for Genomic Sequence Comparison. - Ross A. Lippert; Xiaoyue Zhao; Liliana Florea; Clark M. Mobarry; Sorin Istrail (J. Comput. Biol., 2005)

Polynomial and APX-hard cases of the individual haplotyping problem. - Vineet Bafna; Sorin Istrail; Giuseppe Lancia; Romeo Rizzi (Theor. Comput. Sci., 2005)

Islands of Tractability for Parsimony Haplotyping. - Roded Sharan; Bjarni V. Halldórsson; Sorin Istrail (IEEE ACM Trans. Comput. Biol. Bioinform., 2006)

Preface. - Sorin Istrail; Pavel A. Pevzner; Ron Shamir (Discret. Appl. Math., 2007)

On the Concept of Cis-regulatory Information: From Sequence Motifs to Logic Functions. - Ryan Tarpine; Sorin Istrail (Algorithmic Bioprocesses, 2009)

Combinatorial Algorithms for Protein Folding in Lattice Models: A Survey of Mathematical Results. - Sorin Istrail; Fumei Lam (Commun. Inf. Syst., 2009)

The Clark Phase-able Sample Size Problem: Long-Range Phasing and Loss of Heterozygosity in GWAS. - Bjarni V. Halldórsson; Derek Aguiar; Ryan Tarpine; Sorin Istrail (RECOMB, 2010)

The Imperfect Ancestral Recombination Graph Reconstruction Problem: Upper Bounds for Recombination and Homoplasy. - Fumei Lam; Ryan Tarpine; Sorin Istrail (J. Comput. Biol., 2010)

Haplotype Phasing By Multi-Assembly of Shared Haplotypes: Phase-Dependent Interactions Between Rare Variants. - Bjarni V. Halldórsson; Derek Aguiar; Sorin Istrail (Pacific Symposium on Biocomputing, 2011)

Conservative Extensions of Linkage Disequilibrium Measures from Pairwise to Multi-loci and Algorithms for Optimal Tagging SNP Selection. - Ryan Tarpine; Fumei Lam; Sorin Istrail (RECOMB, 2011)

The Clark Phaseable Sample Size Problem: Long-Range Phasing and Loss of Heterozygosity in GWAS. - Bjarni V. Halldórsson; Derek Aguiar; Ryan Tarpine; Sorin Istrail (J. Comput. Biol., 2011)

OCR-Based Image Features for Biomedical Image and Article Classification: Identifying Documents Relevant to Genomic Cis-Regulatory Elements. - Hagit Shatkay; Ramya Narayanaswamy; Santosh S. Nagaral; Na Harrington; M. V. Rohith; Gowri Somanath; Ryan Tarpine; Kyle Schutter; Tim Johnstone; Dorothea Blostein; Sorin Istrail; Chandra Kambhamettu (AAAI Fall Symposium: Information Retrieval and Knowledge Discovery in Biomedical Text, 2012)

OCR-based image features for biomedical image and article classification: identifying documents relevant to cis-regulatory elements. - Hagit Shatkay; Ramya Narayanaswamy; Santosh S. Nagaral; Na Harrington; M. V. Rohith; Gowri Somanath; Ryan Tarpine; Kyle Schutter; Tim Johnstone; Dorothea Blostein; Sorin Istrail; Chandra Kambhamettu (BCB, 2012)

Workshop: Robust algorithms for inferring haplotype phase and deletion polymorphism from high-throughput whole genome sequence data. - Derek Aguiar; Sorin Istrail (ICCABS, 2012)

Alan Turing and John von Neumann - Their Brains and Their Computers. - Sorin Istrail; Solomon Marcus (Int. Conf. on Membrane Computing, 2012)

dbPTB: a database for preterm birth. - Alper Uzun; Alyse Laliberte; Jeremy Parker; Caroline Andrew; Emily Winterrowd; Surendra Sharma; Sorin Istrail; James Padbury (Database J. Biol. Databases Curation, 2012)

DELISHUS: an efficient and exact algorithm for genome-wide detection of deletion polymorphism in autism. - Derek Aguiar; Bjarni V. Halldórsson; Eric M. Morrow; Sorin Istrail (Bioinform., 2012)

QColors: An algorithm for conservative viral quasispecies reconstruction from short and non-contiguous next generation sequencing reads. - Austin Huang; Rami Kantor; Allison DeLong; Leeann Schreier; Sorin Istrail (Silico Biol., 2012)

HapCompass: A Fast Cycle Basis Algorithm for Accurate Haplotype Assembly of Sequence Data. - Derek Aguiar; Sorin Istrail (J. Comput. Biol., 2012)

Haplotype assembly in polyploid genomes and identical by descent shared tracts. - Derek Aguiar; Sorin Istrail (Bioinform., 2013)

Tumor Haplotype Assembly Algorithms for Cancer Genomics. - Derek Aguiar; Wendy S. W. Wong; Sorin Istrail (Pacific Symposium on Biocomputing, 2014)

Tractatus: An Exact and Subquadratic Algorithm for Inferring Identical-by-Descent Multi-shared Haplotype Tracts. - Derek Aguiar; Eric M. Morrow; Sorin Istrail (RECOMB, 2014)

Thermodynamic Hypothesis as Social Choice: An Impossibility Theorem for Protein Folding. - Hammurabi Mendes; Sorin Istrail (CoRR, 2014)

Utilizing image-based features in biomedical document classification. - Kaidi Ma; Hogyeong Jeong; M. V. Rohith; Gowri Somanath; Ryan Tarpine; Kyle Schutter; Dorothea Blostein; Sorin Istrail; Chandra Kambhamettu; Hagit Shatkay (ICIP, 2015)

Eric Davidson's Regulatory Genome for Computer Science: Causality, Logic, and Proof Principles of the Genomic cis-Regulatory Code. - Sorin Istrail (J. Comput. Biol., 2019)

How Does the Regulatory Genome Work? - Sorin Istrail; Isabelle S. Peter (J. Comput. Biol., 2019)

Combinatorial and statistical prediction of gene expression from haplotype sequence. - Berk A. Alpay; Pinar Demetci; Sorin Istrail; Derek Aguiar (Bioinform., 2020)

Preface Special Issue: RECOMB 2018. - Sorin Istrail (J. Comput. Biol., 2020)

Special Issue: Professor Michael Waterman's 80th Birthday, Part 1. - Sorin Istrail; Pavel A. Pevzner; Fengzhu Sun; Martin Vingron (J. Comput. Biol., 2022)

Michael Waterman's Contributions to Computational Biology and Bioinformatics. - Pavel A. Pevzner; Martin Vingron; Christian M. Reidys; Fengzhu Sun; Sorin Istrail (J. Comput. Biol., 2022)