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.
1953 Publications
2009 |Published| Journal Article | IST-REx-ID: 230
Manin's conjecture for a cubic surface with D 5 singularity
T.D. Browning, U. Derenthal, International Mathematics Research Notices 2009 (2009) 2620–2647.
View
| DOI
T.D. Browning, U. Derenthal, International Mathematics Research Notices 2009 (2009) 2620–2647.
2009 |Published| Journal Article | IST-REx-ID: 2386 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Rigorous upper bound on the critical temperature of dilute Bose gases
R. Seiringer, D. Ueltschi, Physical Review B - Condensed Matter and Materials Physics 80 (2009).
View
| DOI
| Download (ext.)
R. Seiringer, D. Ueltschi, Physical Review B - Condensed Matter and Materials Physics 80 (2009).
2009 |Published| Conference Paper | IST-REx-ID: 2433 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hardness of embedding simplicial complexes in ℝd
J. Matoušek, M. Tancer, U. Wagner, in:, SIAM, 2009, pp. 855–864.
View
| Download (ext.)
J. Matoušek, M. Tancer, U. Wagner, in:, SIAM, 2009, pp. 855–864.
2009 |Published| Journal Article | IST-REx-ID: 2703
Semicircle law on short scales and delocalization of eigenvectors for Wigner random matrices
L. Erdös, B. Schlein, H. Yau, Annals of Probability 37 (2009) 815–852.
View
| DOI
| Download (ext.)
L. Erdös, B. Schlein, H. Yau, Annals of Probability 37 (2009) 815–852.
2009 |Published| Journal Article | IST-REx-ID: 2760
Rigorous derivation of the gross-pitaevskii equation with a large interaction potential
L. Erdös, B. Schlein, H. Yau, Journal of the American Mathematical Society 22 (2009) 1099–1156.
View
| DOI
L. Erdös, B. Schlein, H. Yau, Journal of the American Mathematical Society 22 (2009) 1099–1156.
2009 |Published| Conference Paper | IST-REx-ID: 2797
Quantitative measurement of the life time of turbulence in pipe flow
D. Kuik, C. Poelma, B. Hof, J. Westerweel, in:, Springer, 2009, pp. 145–148.
View
| DOI
D. Kuik, C. Poelma, B. Hof, J. Westerweel, in:, Springer, 2009, pp. 145–148.
2009 |Published| Journal Article | IST-REx-ID: 2868
Hormone interactions at the root apical meristem
E. Benková, J. Hejátko, Plant Molecular Biology 69 (2009) 383–396.
View
| DOI
E. Benková, J. Hejátko, Plant Molecular Biology 69 (2009) 383–396.
2009 |Published| Conference Paper | IST-REx-ID: 3230
A new randomness extraction paradigm for hybrid encryption
E. Kiltz, K.Z. Pietrzak, M. Stam, M. Yung, in:, Springer, 2009, pp. 590–609.
View
| DOI
E. Kiltz, K.Z. Pietrzak, M. Stam, M. Yung, in:, Springer, 2009, pp. 590–609.
2009 |Published| Conference Paper | IST-REx-ID: 3231
On the security of padding based encryption schemes Why We cannot prove OAEP secure in the standard model
E. Kiltz, K.Z. Pietrzak, in:, Springer, 2009, pp. 389–406.
View
| DOI
E. Kiltz, K.Z. Pietrzak, in:, Springer, 2009, pp. 389–406.
2009 |Published| Conference Paper | IST-REx-ID: 3232
A leakage resilient mode of operation
K.Z. Pietrzak, in:, Springer, 2009, pp. 462–482.
View
| DOI
K.Z. Pietrzak, in:, Springer, 2009, pp. 462–482.
2009 |Published| Conference Paper | IST-REx-ID: 3503 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Probabilistic systems with limsup and liminf objectives
K. Chatterjee, T.A. Henzinger, in:, Springer, 2009, pp. 32–45.
View
| DOI
| Download (ext.)
K. Chatterjee, T.A. Henzinger, in:, Springer, 2009, pp. 32–45.
2009 |Published| Conference Paper | IST-REx-ID: 3715
Active structured learning for high-speed object detection
C. Lampert, J. Peters, in:, Springer, 2009, pp. 221–231.
View
| DOI
C. Lampert, J. Peters, in:, Springer, 2009, pp. 221–231.
2009 |Published| Journal Article | IST-REx-ID: 3780 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The effect of chirality phenotype and genotype on the fecundity and viability of Partula suturalis and Lymnaea stagnalis: Implications for the evolution of sinistral snails
A. Davison, N.H. Barton, B. Clarke, Journal of Evolutionary Biology 22 (2009) 1624–1635.
[Submitted Version]
View
| Files available
| DOI
A. Davison, N.H. Barton, B. Clarke, Journal of Evolutionary Biology 22 (2009) 1624–1635.
2009 |Published| Journal Article | IST-REx-ID: 3828
Functional proteomics identify cornichon proteins as auxiliary subunits of AMPA receptors
J. Schwenk, N. Harmel, G. Zolles, W. Bildl, Á. Kulik, B. Heimrich, O. Chisaka, P.M. Jonas, U. Schulte, B. Fakler, N. Klocker, Science 323 (2009) 1313–9.
View
| DOI
J. Schwenk, N. Harmel, G. Zolles, W. Bildl, Á. Kulik, B. Heimrich, O. Chisaka, P.M. Jonas, U. Schulte, B. Fakler, N. Klocker, Science 323 (2009) 1313–9.
2009 |Published| Conference Paper | IST-REx-ID: 3841 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Formalisms for specifying Markovian population models
T.A. Henzinger, B. Jobstmann, V. Wolf, in:, Springer, 2009, pp. 3–23.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, B. Jobstmann, V. Wolf, in:, Springer, 2009, pp. 3–23.
2009 |Published| Conference Paper | IST-REx-ID: 3871 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Probabilistic weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 244–258.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 244–258.
2009 |Published| Journal Article | IST-REx-ID: 3870 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Finitary winning in omega-regular games
K. Chatterjee, T.A. Henzinger, F. Horn, ACM Transactions on Computational Logic (TOCL) 11 (2009).
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, F. Horn, ACM Transactions on Computational Logic (TOCL) 11 (2009).
2009 |Published| Journal Article | IST-REx-ID: 3947
Cdc42-dependent leading edge coordination is essential for interstitial dendritic cell migration (Plenary Paper)
T. Lämmermann, J. Renkawitz, X. Wu, K. Hirsch, C. Brakebusch, M.K. Sixt, Blood 113 (2009) 5703–5710.
View
| DOI
T. Lämmermann, J. Renkawitz, X. Wu, K. Hirsch, C. Brakebusch, M.K. Sixt, Blood 113 (2009) 5703–5710.
2009 |Published| Journal Article | IST-REx-ID: 4192
Regulation of planar cell polarity signalling by the prenylation pathway
M. Kai, N. Buchan, C.-P.J. Heisenberg, M. Tada, Mechanisms of Development 126 (2009) S132–S132.
View
| DOI
M. Kai, N. Buchan, C.-P.J. Heisenberg, M. Tada, Mechanisms of Development 126 (2009) S132–S132.
2009 |Published| Journal Article | IST-REx-ID: 4223
Discovery of a Small Molecule that Blocks Wall Teichoic Acid Biosynthesis in Staphylococcus aureus
J. Swoboda, T. Meredith, J. Campbell, S. Brown, T. Suzuki, M.T. Bollenbach, A. Malhowski, R. Kishony, M. Gilmore, S. Walker, ACS Chemical Biology 4 (2009) 875–883.
View
| DOI
| Download None (ext.)
J. Swoboda, T. Meredith, J. Campbell, S. Brown, T. Suzuki, M.T. Bollenbach, A. Malhowski, R. Kishony, M. Gilmore, S. Walker, ACS Chemical Biology 4 (2009) 875–883.