Sorin Istrail

Available identifiers

zbMath Open istrail.sorinDBLP59/460WikidataQ102194368 ScholiaQ102194368MaRDI QIDQ786542

List of research outcomes

Publication	Date of Publication	Type
Statistical mechanics, three-dimensionality and NP-completeness	2014-09-26	Paper
Alan Turing and John von Neumann - Their Brains and Their Computers	2013-04-16	Paper
Combinatorial algorithms for protein folding in lattice models: a survey of mathematical results	2010-04-23	Paper
Computational Methods for SNPs and Haplotype Inference	2007-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q3024798	2005-07-04	Paper
Polynomial and APX-hard cases of the individual haplotyping problem	2005-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q3158109	2005-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q4452087	2004-02-11	Paper
https://portal.mardi4nfdi.de/entity/Q4408101	2003-07-02	Paper
https://portal.mardi4nfdi.de/entity/Q4408102	2003-07-02	Paper
https://portal.mardi4nfdi.de/entity/Q4796705	2003-03-20	Paper
https://portal.mardi4nfdi.de/entity/Q4234061	2002-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q4952629	2001-07-04	Paper
Bisimulation can't be traced	1998-02-02	Paper
Bounded-width polynomial-size Boolean formulas compute exactly those functions in AC\(^ 0\)	1995-03-01	Paper
The pagenumber of genus g graphs is O( g )	1994-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q4281559	1994-03-10	Paper
An arithmetical hierarchy in propositional dynamic logic	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4207598	1988-01-01	Paper
Nivat's processing systems: decision problems related to protection and synchronization	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3221430	1983-01-01	Paper
Some remarks on non-algebraic adherences	1982-01-01	Paper
Generalization of the Ginsburg-Rice Schuetzenberger fixed-point theorem for context-sensitive and recursive-enumerable languages	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4743748	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3959447	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3893342	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4198032	1979-01-01	Paper
On complements of some bounded context-sensitive languages	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3859277	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4162676	1978-01-01	Paper
Elementary bounded languages	1978-01-01	Paper
Tag systems generating Thue irreductible sequences	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4144811	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4164843	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4151737	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4178508	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4141427	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4148953	1977-01-01	Paper

Research outcomes over time

This page was built for person: Sorin Istrail