Sorin Istrail Constructing Generalized Universal Traversing Sequences of Polynomial Size for Graphs with Small Diameter (Extended Abstract) [Citation Graph (0, 0)][DBLP] FOCS, 1990, pp:439-448 [Conf]
Sorin Istrail A Fixed-Point Theorem for Recursive-Enumerable Languages and Some Considerations About Fixed-Point Semantics of Monadic Programs. [Citation Graph (0, 0)][DBLP] ICALP, 1979, pp:289-303 [Conf]
Sorin Istrail Chomsky-Schützenberger Representations for Families of Languages and Grammatical Types. [Citation Graph (0, 0)][DBLP] ICALP, 1981, pp:333-347 [Conf]
Giuseppe Lancia, Sorin Istrail Protein Structure Comparison: Algorithms and Applications. [Citation Graph (0, 0)][DBLP] Mathematical Methods for Protein Structure Analysis and Design, 2003, pp:1-33 [Conf]
William E. Hart, Sorin Istrail Lattice and off-lattice side chain models of protein folding (extended abstract): linear time structure prediction better than 86% of optimal. [Citation Graph (0, 0)][DBLP] RECOMB, 1997, pp:137-146 [Conf]
William E. Hart, Sorin Istrail Fast protein folding in the hydrophobic-hydrophilic model within three-eights of optimal (Extended Abstract). [Citation Graph (0, 0)][DBLP] STOC, 1995, pp:157-168 [Conf]
Sorin Istrail 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). [Citation Graph (0, 0)][DBLP] STOC, 2000, pp:87-96 [Conf]
Sorin Istrail Polynomial Universal Traversing Sequences for Cycles Are Constructible (Extended Abstract) [Citation Graph (0, 0)][DBLP] STOC, 1988, pp:491-503 [Conf]
Sorin Istrail On Complements of Some Bounded Context-Sensitive Languages [Citation Graph (0, 0)][DBLP] Information and Control, 1979, v:42, n:3, pp:283-289 [Journal]
Sorin Istrail An Arithmetical Hierarchy in Propositional Dynamic Logic [Citation Graph (0, 0)][DBLP] Inf. Comput., 1989, v:81, n:3, pp:280-289 [Journal]
Sorin Istrail Tag Systems Generating Thue Irreducible Sequences. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1978, v:7, n:3, pp:129-131 [Journal]
David S. Greenberg, Sorin Istrail Physical Mapping by STS Hybridization: Algorithmic Strategies and the Challenge of Software Evaluation. [Citation Graph (0, 0)][DBLP] Journal of Computational Biology, 1995, v:2, n:2, pp:219-273 [Journal]
William E. Hart, Sorin Istrail Fast Protein Folding in the Hydrophobic-Hydrophillic Model within Three-Eights of Optimal. [Citation Graph (0, 0)][DBLP] Journal of Computational Biology, 1996, v:3, n:1, pp:53-96 [Journal]
William E. Hart, Sorin Istrail Lattice and Off-Lattice Side Chain Models of Protein Folding: Linear Time Structure Prediction Better than 86% of Optimal. [Citation Graph (0, 0)][DBLP] Journal of Computational Biology, 1997, v:4, n:3, pp:241-260 [Journal]
William E. Hart, Sorin Istrail Robust Proofs of NP-Hardness for Protein Folding: General Lattices and Energy Potentials. [Citation Graph (0, 0)][DBLP] Journal of Computational Biology, 1997, v:4, n:1, pp:1-22 [Journal]