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.

7692 Publications


2009 | Published | Conference Paper | IST-REx-ID: 4453 | OA
Sliding-window abstraction for infinite Markov chains
T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 337–352.
View | Files available | DOI | Download (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 4542 | OA
Alternating weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 3–13.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4544 | OA
Termination criteria for solving concurrent safety and reachability games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, SIAM, 2009, pp. 197–206.
View | Files available | DOI | Download (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 4545 | OA
A survey of stochastic games with limsup and liminf objectives
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 1–15.
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4569 | OA
Better quality in synthesis through quantitative objectives
R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Published | Conference Paper | IST-REx-ID: 4580 | OA
Alpaga: A tool for solving parity games with imperfect information
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 58–61.
View | Files available | DOI | Download (ext.)
 

2008 | Published | Conference Paper | IST-REx-ID: 2702 | OA
Feynman graphs and renormalization in quantum diffusion
L. Erdös, M. Salmhofer, H. Yau, in:, World Scientific Publishing, 2008, pp. 167–182.
View | DOI | Download (ext.)
 

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

2008 | Published | Journal Article | IST-REx-ID: 3307 | OA
A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing
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
Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz
T. Hausel, F. Rodríguez Villegas, Inventiones Mathematicae 174 (2008) 555–624.
View | DOI | Download (ext.)
 

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

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

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

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

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

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

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

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

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

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

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed