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.
7131 Publications
2009 | Published | Journal Article | IST-REx-ID: 229 | 
Browning, Timothy D. “Linear Growth for Châtelet Surfaces.” Mathematische Annalen, vol. 346, no. 1, Springer Nature, 2009, pp. 41–50, doi:10.1007/s00208-009-0383-z.
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2384 |
Giuliani, Alessandro, and Robert Seiringer. “The Ground State Energy of the Weakly Interacting Bose Gas at High Density.” Journal of Statistical Physics, vol. 135, no. 5–6, Springer, 2009, pp. 915–34, doi:10.1007/s10955-009-9718-0.
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2385 |
Lieb, Élliott, et al. “Yrast Line of a Rapidly Rotating Bose Gas: Gross-Pitaevskii Regime.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 79, no. 6, American Physical Society, 2009, doi:10.1103/PhysRevA.79.063626.
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2386 |
Seiringer, Robert, and Daniel Ueltschi. “Rigorous Upper Bound on the Critical Temperature of Dilute Bose Gases.” Physical Review B - Condensed Matter and Materials Physics, vol. 80, no. 1, American Physical Society, 2009, doi:10.1103/PhysRevB.80.014502.
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2387 |
Lewin, Mathieu, and Robert Seiringer. “Strongly Correlated Phases in Rapidly Rotating Bose Gases.” Journal of Statistical Physics, vol. 137, no. 5, Springer, 2009, pp. 1040–62, doi:10.1007/s10955-009-9833-y.
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2388 |
Predd, Joel, et al. “Probabilistic Coherence and Proper Scoring Rules.” IEEE Transactions on Information Theory, vol. 55, no. 10, IEEE, 2009, pp. 4786–92, doi:10.1109/TIT.2009.2027573.
View
| DOI
| Download (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 2433 |
Matoušek, Jiří, et al. Hardness of Embedding Simplicial Complexes in ℝd. SIAM, 2009, pp. 855–64.
View
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2499 |
Rives, Marie, et al. “Crosstalk between GABAB and MGlu1a Receptors Reveals New Insight into GPCR Signal Integration.” EMBO Journal, vol. 28, no. 15, Wiley-Blackwell, 2009, pp. 2195–208, doi:10.1038/emboj.2009.177.
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 3051 |
Weijers, Dolf, and Jiří Friml. “SnapShot: Auxin Signaling and Transport.” Cell, vol. 136, no. 6, Cell Press, 2009, pp. 1172–1172, doi:10.1016/j.cell.2009.03.009.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 | Published | Journal Article | IST-REx-ID: 3052 |
Vanneste, Steffen, and Jiří Friml. “Auxin: A Trigger for Change in Plant Development.” Cell, vol. 136, no. 6, Cell Press, 2009, pp. 1005–16, doi:10.1016/j.cell.2009.03.001.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 | Published | Journal Article | IST-REx-ID: 3057 |
Petrášek, Jan, and Jiří Friml. “Auxin Transport Routes in Plant Development.” Development, vol. 136, no. 16, Company of Biologists, 2009, pp. 2675–88, doi:10.1242/dev.030353.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 | Published | Journal Article | IST-REx-ID: 3061 |
Křeček, Pavel, et al. “The PIN-FORMED (PIN) Protein Family of Auxin Transporters.” Genome Biology, vol. 10, no. 12, BioMed Central, 2009, doi:10.1186/gb-2009-10-12-249.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 | Published | Journal Article | IST-REx-ID: 4242 |
Barton, Nicholas H., and Maria De Cara. “The Evolution of Strong Reproductive Isolation.” Evolution; International Journal of Organic Evolution, vol. 63, no. 5, Wiley, 2009, pp. 1171–90, doi:10.1111/j.1558-5646.2009.00622.x.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4383 |
Guerraoui, Rachid, et al. Software Transactional Memory on Relaxed Memory Models. Vol. 5643, Springer, 2009, pp. 321–36, doi:10.1007/978-3-642-02658-4_26.
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4453 |
Henzinger, Thomas A., et al. Sliding-Window Abstraction for Infinite Markov Chains. Vol. 5643, Springer, 2009, pp. 337–52, doi:10.1007/978-3-642-02658-4_27.
View
| Files available
| DOI
| Download (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 4544 |
Chatterjee, Krishnendu, et al. Termination Criteria for Solving Concurrent Safety and Reachability Games. SIAM, 2009, pp. 197–206, doi:10.1137/1.9781611973068.23.
View
| Files available
| DOI
| Download (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 4580 |
Berwanger, Dietmar, et al. Alpaga: A Tool for Solving Parity Games with Imperfect Information. Vol. 5505, Springer, 2009, pp. 58–61, doi:10.1007/978-3-642-00768-2_7.
View
| Files available
| DOI
| Download (ext.)
2009 | Published | Technical Report | IST-REx-ID: 5394 |
Chatterjee, Krishnendu, et al. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria, 2009, doi:10.15479/AT:IST-2009-0002.
[Published Version]
View
| Files available
| DOI
2009 | Published | Journal Article | IST-REx-ID: 599 |
Knuesel, Matthew, et al. “The Human CDK8 Subcomplex Is a Molecular Switch That Controls Mediator Coactivator Function.” Genes and Development, vol. 23, no. 4, Cold Spring Harbor Laboratory Press, 2009, pp. 439–51, doi:10.1101/gad.1767009.
View
| DOI
| Download None (ext.)
2009 | Published | Journal Article | IST-REx-ID: 12654 |
Carenzo, Marco, et al. “Assessing the Transferability and Robustness of an Enhanced Temperature-Index Glacier-Melt Model.” Journal of Glaciology, vol. 55, no. 190, Cambridge University Press, 2009, pp. 258–74, doi:10.3189/002214309788608804.
[Published Version]
View
| DOI
| Download Published Version (ext.)