Sorin Istrail

Available identifiers

zbMath Open istrail.sorinWikidataQ102194368 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
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/Q4198032	1979-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/Q4162676	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4164843	1978-01-01	Paper
Elementary bounded languages	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4141427	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4148953	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4151737	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4178508	1977-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sorin Istrail