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. 2009. Linear growth for Châtelet surfaces. Mathematische Annalen. 346(1), 41–50.
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. 135(5–6), 915–934.
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. 79(6).
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. 80(1).
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. 137(5), 1040–1062.
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. 55(10), 4786–4792.
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. SODA: Symposium on Discrete Algorithms, 855–864.
View
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2499 |
Rives M, Vol C, Fukazawa Y, Tinel N, Trinquet E, Ayoub M, Shigemoto R, Pin J, Prezèau L. 2009. Crosstalk between GABAB and mGlu1a receptors reveals new insight into GPCR signal integration. EMBO Journal. 28(15), 2195–2208.
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 3051 |
Weijers D, Friml J. 2009. SnapShot: Auxin signaling and transport. Cell. 136(6), 1172–1172.
[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. 136(6), 1005–1016.
[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. 136(16), 2675–2688.
[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. 10(12).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 | Published | Journal Article | IST-REx-ID: 4242 |
Barton NH, De Cara M. 2009. The evolution of strong reproductive isolation. Evolution; International Journal of Organic Evolution. 63(5), 1171–1190.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4383 |
Guerraoui R, Henzinger TA, Singh V. 2009. Software transactional memory on relaxed memory models. CAV: Computer Aided Verification, LNCS, vol. 5643, 321–336.
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4453 |
Henzinger TA, Mateescu M, Wolf V. 2009. Sliding-window abstraction for infinite Markov chains. CAV: Computer Aided Verification, LNCS, vol. 5643, 337–352.
View
| Files available
| DOI
| Download (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 4544 |
Chatterjee K, De Alfaro L, Henzinger TA. 2009. Termination criteria for solving concurrent safety and reachability games. SODA: Symposium on Discrete Algorithms, 197–206.
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. 2009. Alpaga: A tool for solving parity games with imperfect information. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 5505, 58–61.
View
| Files available
| DOI
| Download (ext.)
2009 | Published | Technical Report | IST-REx-ID: 5394 |
Chatterjee K, Henzinger TA, Horn F. 2009. Improved lower bounds for request-response and finitary Streett games, IST Austria, 11p.
[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. 23(4), 439–451.
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. 55(190), 258–274.
[Published Version]
View
| DOI
| Download Published Version (ext.)