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.
1790 Publications
2009 |Published| Conference Paper | IST-REx-ID: 4545 | 
K. Chatterjee, L. Doyen, and T. A. Henzinger, “A survey of stochastic games with limsup and liminf objectives,” presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece, 2009, vol. 5556, pp. 1–15.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4569 |
R. Bloem, K. Chatterjee, T. A. Henzinger, and B. Jobstmann, “Better quality in synthesis through quantitative objectives,” presented at the CAV: Computer Aided Verification, Grenoble, France, 2009, vol. 5643, pp. 140–156.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 |Published| Conference Paper | IST-REx-ID: 4580 |
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, and T. A. Henzinger, “Alpaga: A tool for solving parity games with imperfect information,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2009, vol. 5505, pp. 58–61.
View
| Files available
| DOI
| Download (ext.)
2009 |Published| Conference Paper | IST-REx-ID: 11752
X. Yang et al., “Influence of magnetic fields on structural martensitic transitions,” in Journal of Physics: Conference Series, Karlsruhe, Germany, 2009, vol. 200, no. 3.
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 752
D.-A. Alistarh, S. Gilbert, R. Guerraoui, and C. Travers, “Of choices, failures and asynchrony: the many faces of set agreement,” presented at the ISAAC: International Symposium on Algorithms and Computation, 2009, vol. 5878 LNCS, pp. 943–953.
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 88 |
A. P. Higginbotham et al., “Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments,” Review of Scientific Instruments, vol. 80, no. 6. American Institute of Physics, 2009.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 |Published| Journal Article | IST-REx-ID: 8479
M. Gal, T. Kern, P. Schanda, L. Frydman, and B. Brutscher, “An improved ultrafast 2D NMR experiment: Towards atom-resolved real-time studies of protein kinetics at multi-Hz rates,” Journal of Biomolecular NMR, vol. 43. Springer Nature, pp. 1–10, 2009.
View
| DOI
2008 |Published| Journal Article | IST-REx-ID: 11111
D. J. Anderson and M. Hetzer, “Reshaping of the endoplasmic reticulum limits the rate for nuclear envelope formation,” Journal of Cell Biology, vol. 182, no. 5. Rockefeller University Press, pp. 911–924, 2008.
View
| DOI
| PubMed | Europe PMC
2008 |Published| Journal Article | IST-REx-ID: 1765 |
M. Göppl et al., “Coplanar waveguide resonators for circuit quantum electrodynamics,” Journal of Applied Physics, vol. 104, no. 11. American Institute of Physics, 2008.
View
| DOI
| Download (ext.)
2008 |Published| Conference Paper | IST-REx-ID: 2331 |
C. Hainzl and R. Seiringer, “ Spectral properties of the BCS gap equation of superfluidity,” presented at the QMath: Mathematical Results in Quantum Physics, 2008, pp. 117–136.
View
| DOI
| Download (ext.)
2008 |Published| Journal Article | IST-REx-ID: 2374 |
R. Seiringer, “Free energy of a dilute Bose gas: Lower bound,” Communications in Mathematical Physics, vol. 279, no. 3. Springer, pp. 595–636, 2008.
View
| DOI
| Download (ext.)
2008 |Published| Journal Article | IST-REx-ID: 2678
X. Li et al., “Connexin45-containing neuronal gap junctions in rodent retina also contain connexin36 in both apposing hemiplaques, forming bihomotypic gap junctions, with scaffolding contributed by zonula occludens-1,” Journal of Neuroscience, vol. 28, no. 39. Society for Neuroscience, pp. 9769–9789, 2008.
View
| DOI