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, T. D. (2009). Linear growth for Châtelet surfaces. Mathematische Annalen. Springer Nature. https://doi.org/10.1007/s00208-009-0383-z
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2384 |
Giuliani, A., & Seiringer, R. (2009). The ground state energy of the weakly interacting Bose gas at high density. Journal of Statistical Physics. Springer. https://doi.org/10.1007/s10955-009-9718-0
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2385 |
Lieb, É., Seiringer, R., & Yngvason, J. (2009). Yrast line of a rapidly rotating Bose gas: Gross-Pitaevskii regime. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.79.063626
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2386 |
Seiringer, R., & Ueltschi, D. (2009). Rigorous upper bound on the critical temperature of dilute Bose gases. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.80.014502
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2387 |
Lewin, M., & Seiringer, R. (2009). Strongly correlated phases in rapidly rotating Bose gases. Journal of Statistical Physics. Springer. https://doi.org/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. (2009). Probabilistic coherence and proper scoring rules. IEEE Transactions on Information Theory. IEEE. https://doi.org/10.1109/TIT.2009.2027573
View
| DOI
| Download (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 2433 |
Matoušek, J., Tancer, M., & Wagner, U. (2009). Hardness of embedding simplicial complexes in ℝd (pp. 855–864). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.
View
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2499 |
Rives, M., Vol, C., Fukazawa, Y., Tinel, N., Trinquet, E., Ayoub, M., … Prezèau, L. (2009). Crosstalk between GABAB and mGlu1a receptors reveals new insight into GPCR signal integration. EMBO Journal. Wiley-Blackwell. https://doi.org/10.1038/emboj.2009.177
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 3051 |
Weijers, D., & Friml, J. (2009). SnapShot: Auxin signaling and transport. Cell. Cell Press. https://doi.org/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. (2009). Auxin: A trigger for change in plant development. Cell. Cell Press. https://doi.org/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. (2009). Auxin transport routes in plant development. Development. Company of Biologists. https://doi.org/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., Naramoto, S., Tejos, R., Friml, J., & Zažímalová, E. (2009). The PIN-FORMED (PIN) protein family of auxin transporters. Genome Biology. BioMed Central. https://doi.org/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, N. H., & De Cara, M. (2009). The evolution of strong reproductive isolation. Evolution; International Journal of Organic Evolution. Wiley. https://doi.org/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, T. A., & Singh, V. (2009). Software transactional memory on relaxed memory models (Vol. 5643, pp. 321–336). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-642-02658-4_26
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4453 |
Henzinger, T. A., Mateescu, M., & Wolf, V. (2009). Sliding-window abstraction for infinite Markov chains (Vol. 5643, pp. 337–352). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/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, T. A. (2009). Termination criteria for solving concurrent safety and reachability games (pp. 197–206). Presented at the SODA: Symposium on Discrete Algorithms, SIAM. https://doi.org/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, T. A. (2009). Alpaga: A tool for solving parity games with imperfect information (Vol. 5505, pp. 58–61). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/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, T. A., & Horn, F. (2009). Improved lower bounds for request-response and finitary Streett games. IST Austria. https://doi.org/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. (2009). The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function. Genes and Development. Cold Spring Harbor Laboratory Press. https://doi.org/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. (2009). Assessing the transferability and robustness of an enhanced temperature-index glacier-melt model. Journal of Glaciology. Cambridge University Press. https://doi.org/10.3189/002214309788608804
[Published Version]
View
| DOI
| Download Published Version (ext.)