Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

9839 Publications


2007 | Published | Conference Paper | IST-REx-ID: 3884
Chatterjee K, Henzinger TA, Piterman N. 2007. Strategy logic. CONCUR: Concurrency Theory, LNCS, vol. 4703, 59–73.
View | Files available | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 3885
Chatterjee K. 2007. Optimal strategy synthesis in stochastic Müller games. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS , vol. 4423, 138–152.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 3886
Chatterjee K. 2007. Stochastic Müller games are PSPACE-complete. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LNCS, vol. 4855, 436–448.
View | DOI
 

2007 | Published | Conference Paper | IST-REx-ID: 3887
Chatterjee K. 2007. Markov decision processes with multiple long-run average objectives. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LNCS , vol. 4855, 473–484.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 3909
Cremer S, Armitage S, Schmid Hempel P. 2007. Social immunity. Current Biology. 17(16), R693–R702.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 3910
Hughes D, Cremer S. 2007. Plasticity in anti-parasite behaviours and its suggested role in invasion biology. Animal Behaviour. 74(5), 1593–1599.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 3911
Ugelvig LV, Cremer S. 2007. Social prophylaxis: group interaction promotes collective immunity in ant colonies. Current Biology. 17(22), 1967–1971.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 3937
Woolf E, Grigorova I, Sagiv A, Grabovsky V, Feigelson S, Shulman Z, Hartmann T, Sixt MK, Cyster J, Alon R. 2007. Lymph node chemokines promote sustained T lymphocyte motility without triggering stable integrin adhesiveness in the absence of shear forces. Nature Immunology. 8(10), 1076–1085.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 3938
Dorn T, Kuhn U, Bungartz G, Stiller S, Bauer M, Ellwart J, Peters T, Scharffetter Kochanek K, Semmrich M, Laschinger M, Holzmann B, Klinkert W, Straten P, Køllgaard T, Sixt MK, Brakebusch C. 2007. RhoH is important for positive thymocyte selection and T-cell receptor signaling. Blood. 109(6), 2346–2355.
View | DOI
 

2007 | Published | Journal Article | IST-REx-ID: 18367
Bronstein AM, Bronstein MM, Kimmel R. 2007. Weighted distance maps computation on parametric three-dimensional manifolds. Journal of Computational Physics. 225(1), 771–784.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 1033 | OA
Kraemer T, Mark M, Waldburger P, Danzl JG, Chin C, Engeser B, Lange A, Pilch K, Jaakkola A, Nägerl H, Grimm R. 2006. Evidence for Efimov quantum states in an ultracold gas of caesium atoms. Nature. 440(7082), 315–318.
View | DOI | Download None (ext.)
 

2006 | Published | Conference Paper | IST-REx-ID: 1034 | OA
Nägerl H, Kraemer T, Mark M, Waldburger P, Danzl JG, Engeser B, Lange A, Pilch K, Jaakkola A, Chin C, Grimm R. 2006. Experimental evidence for Efimov quantum states. ICAP: International Conference on Atomic Physics vol. 869, 269–277.
View | DOI | Download None (ext.)
 

2006 | Published | Journal Article | IST-REx-ID: 11117
D’Angelo MA, Hetzer M. 2006. The role of the nuclear envelope in cellular organization. Cellular and Molecular Life Sciences. 63(3), 316–332.
View | DOI | PubMed | Europe PMC
 

2006 | Published | Journal Article | IST-REx-ID: 11118
D’Angelo MA, Anderson DJ, Richard E, Hetzer M. 2006. Nuclear pores form de novo from both sides of the nuclear envelope. Science. 312(5772), 440–443.
View | DOI | PubMed | Europe PMC
 

2006 | Published | Conference Paper | IST-REx-ID: 11929
Henzinger MH. 2006. Finding near-duplicate web pages: A large-scale evaluation of algorithms. 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval. SIGIR: International Conference on Research and Development in Information Retrieval, 284–291.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 18408
Bronstein AM, Bronstein MM, Kimmel R. 2006. Expression-invariant representations of faces. IEEE Transactions on Image Processing. 16(1), 188–197.
View | DOI | PubMed | Europe PMC
 

2006 | Published | Journal Article | IST-REx-ID: 1961
Sazanov LA, Hinchliffe P. 2006. Structure of the hydrophilic domain of respiratory complex I from Thermus thermophilus. Science. 311(5766), 1430–1436.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 1966
Hinchliffe P, Carroll J, Sazanov LA. 2006. Identification of a novel subunit of respiratory complex I from Thermus thermophilus. Biochemistry. 45(14), 4413–4420.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 2066
Vicoso B, Charlesworth B. 2006. Evolution on the X chromosome: Unusual patterns and processes. Nature Reviews Genetics. 7(8), 645–653.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 2077
Bickel B, Wicke M, Gross M. 2006. Adaptive simulation of electrical discharges. VMV: Vision, Modeling, and Visualization.
View
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed