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.
7447 Publications
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 | 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.)
2009 | Published | Journal Article | IST-REx-ID: 12655 |
Pellicciotti F, Carenzo M, Helbing J, Rimkus S, Burlando P. 2009. On the role of subsurface heat conduction in glacier energy-balance modelling. Annals of Glaciology. 50(50), 16–24.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 8026 |
Vogels TP, Abbott LF. 2009. Gating multiple signals through detailed balance of excitation and inhibition in spiking networks. Nature Neuroscience. 12(4), 483–491.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 | Published | Journal Article | IST-REx-ID: 1825 |
Friedlander T, Brenner N. 2009. Adaptive response by state-dependent inactivation. PNAS. 106(52), 22558–22563.
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2119 |
Maas J, Van Neerven J. 2009. Boundedness of Riesz transforms for elliptic operators on abstract Wiener spaces. Journal of Functional Analysis. 257(8), 2410–2475.
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2137 |
Lemeshko M, Frierich B. 2009. Rotational structure of weakly bound molecular ions. Journal of Atomic and Molecular Sciences. 1(1), 41–47.
View
| DOI
| Download (ext.)