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.

7668 Publications


2009 | Published | Conference Paper | IST-REx-ID: 4569 | OA
Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. 2009. Better quality in synthesis through quantitative objectives. CAV: Computer Aided Verification, LNCS, vol. 5643, 140–156.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Published | Conference Paper | IST-REx-ID: 4580 | OA
Berwanger D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. 2009. Alpaga: A tool for solving parity games with imperfect information. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 5505, 58–61.
View | Files available | DOI | Download (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 2702 | OA
Erdös L, Salmhofer M, Yau H. 2008. Feynman graphs and renormalization in quantum diffusion. Symposium in Honor of Wolfhart Zimmermann’s 80th Birthday, 167–182.
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 3037 | OA
Feraru E, Friml J. 2008. PIN polar targeting. Plant Physiology. 147(4), 1553–1559.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 3307 | OA
Green R, Malaspinas A, Krause J, Briggs A, Johnson P, Uhler C, Meyer M, Good J, Maricic T, Stenzel U, Prüfer K, Siebauer M, Burbano H, Ronan M, Rothberg J, Egholm M, Rudan P, Brajković D, Kućan Ž, Gušić I, Wikström M, Laakkonen L, Kelso J, Slatkin M, Pääbo S. 2008. A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing. Cell. 134, 416–426.
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 1460 | OA
Hausel T, Rodríguez Villegas F. 2008. Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz. Inventiones Mathematicae. 174(3), 555–624.
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 18032 | OA
Hybertsen MS, Venkataraman L, Klare JE, Whalley AC, Steigerwald ML, Nuckolls C. 2008. Amine-linked single-molecule circuits: Systematic trends across molecular families. Journal of Physics: Condensed Matter. 20(37), 374115.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2008 | Published | Journal Article | IST-REx-ID: 11113 | OA
Anderson DJ, Hetzer M. 2008. Shaping the endoplasmic reticulum into the nuclear envelope. Journal of Cell Science. 121(2), 137–142.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 11114 | OA
Schulte R, Talamas J, Doucet C, Hetzer M. 2008. Single bead affinity detection (SINBAD) for the analysis of protein-protein interactions. PLoS ONE. 3(4), e2061.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2008 | Published | Journal Article | IST-REx-ID: 1036 | OA
Gustavsson M, Haller E, Mark M, Danzl JG, Rojas Kopeinig G, Nägerl H. 2008. Control of interaction-induced dephasing of bloch oscillations. Physical Review Letters. 100(8).
View | DOI | Download None (ext.) | arXiv
 

2008 | Published | Journal Article | IST-REx-ID: 1037 | OA
Knoop S, Mark M, Ferlaino F, Danzl JG, Kraemer T, Nägerl H, Grimm R. 2008. Metastable feshbach molecules in high rotational states. Physical Review Letters. 100(8).
View | DOI | Download None (ext.) | arXiv
 

2008 | Published | Journal Article | IST-REx-ID: 1039 | OA
Danzl JG, Haller E, Gustavsson M, Mark M, Hart R, Bouloufa N, Dulieu O, Ritsch H, Nägerl H. 2008. Quantum gas of deeply bound ground state molecules. Science. 321(5892), 1062–1066.
View | DOI | Download None (ext.) | arXiv
 

2008 | Published | Journal Article | IST-REx-ID: 2120 | OA
Maas J, Van Neerven J. 2008. On the domain of non-symmetric Ornstein-Uhlenbeck operators in banach spaces. Infinite Dimensional Analysis, Quantum Probability and Related Topics. 11(4), 603–626.
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 2121 | OA
Van Neerven J, Maas J. 2008. A Clark-Ocone formula in UMD Banach spaces. Electronic Communications in Probability. 13, 151–164.
View | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 2146 | OA
Lemeshko M, Friedrich B. 2008. An analytic model of rotationally inelastic collisions of polar molecules in electric fields. Journal of Chemical Physics. 129(2).
View | DOI | Download (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 2331 | OA
Hainzl C, Seiringer R. 2008. Spectral properties of the BCS gap equation of superfluidity. QMath: Mathematical Results in Quantum Physics, 117–136.
View | DOI | Download (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 2332 | OA
Seiringer R. 2008. Vortices and Spontaneous Symmetry Breaking in Rotating Bose Gases. QMath: Mathematical Results in Quantum Physics, 241–254.
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 2374 | OA
Seiringer R. 2008. Free energy of a dilute Bose gas: Lower bound. Communications in Mathematical Physics. 279(3), 595–636.
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 2376 | OA
Hainzl C, Seiringer R. 2008. Critical temperature and energy gap for the BCS equation. Physical Review B - Condensed Matter and Materials Physics. 77(18).
View | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 2377 | OA
Hainzl C, Seiringer R. 2008. The BCS critical temperature for potentials with negative scattering length. Letters in Mathematical Physics. 84(2–3), 99–107.
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed