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.

5852 Publications


2009 | Journal Article | IST-REx-ID: 2193 | OA
M. Lemeshko and B. Friedrich, “Probing weakly bound molecules with nonresonant light,” Physical Review Letters, vol. 103, no. 5. American Physical Society, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 228 | OA
T. D. Browning and R. Heath Brown, “Rational points on quartic hypersurfaces,” Journal fur die Reine und Angewandte Mathematik, no. 629. Walter de Gruyter, pp. 37–88, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 229 | OA
T. D. Browning, “Linear growth for Châtelet surfaces,” Mathematische Annalen, vol. 346, no. 1. Springer Nature, pp. 41–50, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2384 | OA
A. Giuliani and R. Seiringer, “The ground state energy of the weakly interacting Bose gas at high density,” Journal of Statistical Physics, vol. 135, no. 5–6. Springer, pp. 915–934, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2385 | OA
É. Lieb, R. Seiringer, and J. Yngvason, “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.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2386 | OA
R. Seiringer and D. 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.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2387 | OA
M. Lewin and R. Seiringer, “Strongly correlated phases in rapidly rotating Bose gases,” Journal of Statistical Physics, vol. 137, no. 5. Springer, pp. 1040–1062, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2388 | OA
J. Predd, R. Seiringer, É. Lieb, D. Osherson, H. Poor, and S. Kulkarni, “Probabilistic coherence and proper scoring rules,” IEEE Transactions on Information Theory, vol. 55, no. 10. IEEE, pp. 4786–4792, 2009.
View | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 2433 | OA
J. Matoušek, M. Tancer, and U. Wagner, “Hardness of embedding simplicial complexes in ℝd,” presented at the SODA: Symposium on Discrete Algorithms, 2009, pp. 855–864.
View | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2499 | OA
M. Rives et al., “Crosstalk between GABAB and mGlu1a receptors reveals new insight into GPCR signal integration,” EMBO Journal, vol. 28, no. 15. Wiley-Blackwell, pp. 2195–2208, 2009.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3061 | OA
P. Křeček et al., “The PIN-FORMED (PIN) protein family of auxin transporters,” Genome Biology, vol. 10, no. 12. BioMed Central, 2009.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3057 | OA
J. Petrášek and J. Friml, “Auxin transport routes in plant development,” Development, vol. 136, no. 16. Company of Biologists, pp. 2675–2688, 2009.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Conference Paper | IST-REx-ID: 3503 | OA
K. Chatterjee and T. A. Henzinger, “Probabilistic systems with limsup and liminf objectives,” presented at the ILC: Infinity in Logic and Computation, 2009, vol. 5489, pp. 32–45.
View | DOI | Download (ext.)
 

2009 | Preprint | IST-REx-ID: 3732 | OA
G. Tkačik, E. Schneidman, M. Berry, and W. Bialek, “Spin glass models for a network of real neurons,” ArXiv, vol. q-NC. ArXiv, 2009.
View | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3780 | OA
A. Davison, N. H. Barton, and B. Clarke, “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, pp. 1624–1635, 2009.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3843 | OA
F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “Fast adaptive uniformization of the chemical master equation,” presented at the HIBI: High-Performance Computational Systems Biology, Trento, Italy, 2009, vol. 4, no. 6, pp. 118–127.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3841 | OA
T. A. Henzinger, B. Jobstmann, and V. Wolf, “Formalisms for specifying Markovian population models,” presented at the RP: Reachability Problems, Palaiseau, France, 2009, vol. 5797, pp. 3–23.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3844 | OA
T. A. Henzinger, C. Kirsch, E. Marques, and A. Sokolova, “Distributed, modular HTL,” presented at the RTSS: Real-Time Systems Symposium, Washington, DC, United States, 2009, pp. 171–180.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3871 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Probabilistic weighted automata,” presented at the CONCUR: Concurrency Theory, Bologna, Italy, 2009, vol. 5710, pp. 244–258.
[Submitted Version] View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3870 | OA
K. Chatterjee, T. A. Henzinger, and F. Horn, “Finitary winning in omega-regular games,” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 1. ACM, 2009.
[Submitted Version] View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications