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.
5859 Publications
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: 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: 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| Conference Paper | IST-REx-ID: 3503 |
Chatterjee, Krishnendu, and Thomas A. Henzinger. Probabilistic Systems with Limsup and Liminf Objectives. Vol. 5489, Springer, 2009, pp. 32–45, doi:10.1007/978-3-642-03092-5_4.
View
| DOI
| Download (ext.)
2009 |Published| Preprint | IST-REx-ID: 3732 |
Tkačik, Gašper, et al. “Spin Glass Models for a Network of Real Neurons.” ArXiv, vol. q-NC, ArXiv, 2009.
View
| Download (ext.)
2009 |Published| Journal Article | IST-REx-ID: 3780 |
Davison, Angus, et al. “The Effect of Chirality Phenotype and Genotype on the Fecundity and Viability of Partula Suturalis and Lymnaea Stagnalis: Implications for the Evolution of Sinistral Snails.” Journal of Evolutionary Biology, vol. 22, no. 8, Wiley, 2009, pp. 1624–35, doi:10.1111/j.1420-9101.2009.01770.x.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 3843 |
Didier, Frédéric, et al. Fast Adaptive Uniformization of the Chemical Master Equation. Vol. 4, no. 6, IEEE, 2009, pp. 118–27, doi:10.1109/HiBi.2009.23.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 3841 |
Henzinger, Thomas A., et al. Formalisms for Specifying Markovian Population Models. Vol. 5797, Springer, 2009, pp. 3–23, doi:10.1007/978-3-642-04420-5_2.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 3844 |
Henzinger, Thomas A., et al. Distributed, Modular HTL. IEEE, 2009, pp. 171–80, doi:10.1109/RTSS.2009.9.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 3871 |
Chatterjee, Krishnendu, et al. Probabilistic Weighted Automata. Vol. 5710, Springer, 2009, pp. 244–58, doi:10.1007/978-3-642-04081-8_17.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Journal Article | IST-REx-ID: 3870 |
Chatterjee, Krishnendu, et al. “Finitary Winning in Omega-Regular Games.” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 1, 1, ACM, 2009, doi:10.1145/1614431.1614432.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Journal Article | IST-REx-ID: 3946 |
Cremer, Sylvia, and Michael K. Sixt. “Analogies in the Evolution of Individual and Social Immunity.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 364, no. 1513, Royal Society, The, 2009, pp. 129–42, doi:10.1098/rstb.2008.0166.
View
| DOI
| Download None (ext.)
2009 |Published| Journal Article | IST-REx-ID: 4136 |
Polechova, Jitka, et al. “Species’ Range: Adaptation in Space and Time.” American Naturalist, vol. 174, no. 5, University of Chicago Press, 2009, pp. E186–204, doi:10.1086/605958.
[Published Version]
View
| Files available
| 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