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 TD. Linear growth for Châtelet surfaces. Mathematische Annalen. 2009;346(1):41-50. doi:10.1007/s00208-009-0383-z
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2384 |
Giuliani A, Seiringer R. The ground state energy of the weakly interacting Bose gas at high density. Journal of Statistical Physics. 2009;135(5-6):915-934. doi:10.1007/s10955-009-9718-0
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2385 |
Lieb É, Seiringer R, Yngvason J. Yrast line of a rapidly rotating Bose gas: Gross-Pitaevskii regime. Physical Review A - Atomic, Molecular, and Optical Physics. 2009;79(6). doi:10.1103/PhysRevA.79.063626
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2386 |
Seiringer R, Ueltschi D. Rigorous upper bound on the critical temperature of dilute Bose gases. Physical Review B - Condensed Matter and Materials Physics. 2009;80(1). doi:10.1103/PhysRevB.80.014502
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2387 |
Lewin M, Seiringer R. Strongly correlated phases in rapidly rotating Bose gases. Journal of Statistical Physics. 2009;137(5):1040-1062. doi:10.1007/s10955-009-9833-y
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2388 |
Predd J, Seiringer R, Lieb É, Osherson D, Poor H, Kulkarni S. Probabilistic coherence and proper scoring rules. IEEE Transactions on Information Theory. 2009;55(10):4786-4792. doi:10.1109/TIT.2009.2027573
View
| DOI
| Download (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 2433 |
Matoušek J, Tancer M, Wagner U. Hardness of embedding simplicial complexes in ℝd. In: SIAM; 2009:855-864.
View
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2499 |
Rives M, Vol C, Fukazawa Y, et al. Crosstalk between GABAB and mGlu1a receptors reveals new insight into GPCR signal integration. EMBO Journal. 2009;28(15):2195-2208. doi:10.1038/emboj.2009.177
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 3051 |
Weijers D, Friml J. SnapShot: Auxin signaling and transport. Cell. 2009;136(6):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 S, Friml J. Auxin: A trigger for change in plant development. Cell. 2009;136(6):1005-1016. 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 J, Friml J. Auxin transport routes in plant development. Development. 2009;136(16):2675-2688. 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 P, Skůpa P, Libus J, et al. The PIN-FORMED (PIN) protein family of auxin transporters. Genome Biology. 2009;10(12). 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 NH, De Cara M. The evolution of strong reproductive isolation. Evolution; International Journal of Organic Evolution. 2009;63(5):1171-1190. doi:10.1111/j.1558-5646.2009.00622.x
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4383 |
Guerraoui R, Henzinger TA, Singh V. Software transactional memory on relaxed memory models. In: Vol 5643. Springer; 2009:321-336. doi:10.1007/978-3-642-02658-4_26
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4453 |
Henzinger TA, Mateescu M, Wolf V. Sliding-window abstraction for infinite Markov chains. In: Vol 5643. Springer; 2009:337-352. doi:10.1007/978-3-642-02658-4_27
View
| Files available
| DOI
| Download (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 4544 |
Chatterjee K, De Alfaro L, Henzinger TA. Termination criteria for solving concurrent safety and reachability games. In: SIAM; 2009:197-206. doi:10.1137/1.9781611973068.23
View
| Files available
| DOI
| Download (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 4580 |
Berwanger D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. Alpaga: A tool for solving parity games with imperfect information. In: Vol 5505. Springer; 2009: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 K, Henzinger TA, Horn F. 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 M, Meyer K, Bernecky C, Taatjes D. The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function. Genes and Development. 2009;23(4):439-451. doi:10.1101/gad.1767009
View
| DOI
| Download None (ext.)
2009 | Published | Journal Article | IST-REx-ID: 12654 |
Carenzo M, Pellicciotti F, Rimkus S, Burlando P. Assessing the transferability and robustness of an enhanced temperature-index glacier-melt model. Journal of Glaciology. 2009;55(190):258-274. doi:10.3189/002214309788608804
[Published Version]
View
| DOI
| Download Published Version (ext.)