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.

5611 Publications


2009 | Published | Journal Article | IST-REx-ID: 1040 | OA
Haller, E., Gustavsson, M., Mark, M., Danzl, J. G., Hart, R., Pupillo, G., & Nägerl, H. (2009). Realization of an excited, strongly correlated quantum gas Phase. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1175850
View | DOI | Download None (ext.) | arXiv
 

2009 | Published | Journal Article | IST-REx-ID: 1041 | OA
Danzl, J. G., Mark, M., Haller, E., Gustavsson, M., Hart, R., Liem, A., … Nägerl, H. (2009). Deeply bound ultracold molecules in an optical lattice. New Journal of Physics. IOP Publishing Ltd. https://doi.org/10.1088/1367-2630/11/5/055036
View | DOI | Download None (ext.) | arXiv
 

2009 | Published | Journal Article | IST-REx-ID: 1043 | OA
Danzl, J. G., Mark, M., Haller, E., Gustavsson, M., Bouloufa, N., Dulieu, O., … Nägerl, H. (2009). Precision molecular spectroscopy for ground state transfer of molecular quantum gases. Faraday Discussions. Royal Society of Chemistry. https://doi.org/10.1039/b820542f
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Published | Conference Paper | IST-REx-ID: 11912 | OA
Baykan, Eda, Henzinger, M. H., Keller, S. F., de Castelberg, S., & Kinzler, M. (2009). A comparison of techniques for sampling web pages. In 26th International Symposium on Theoretical Aspects of Computer Science (Vol. 3, pp. 13–30). Freiburg, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.STACS.2009.1809
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2009 | Published | Journal Article | IST-REx-ID: 12654 | OA
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.)
 

2009 | Published | Journal Article | IST-REx-ID: 12655 | OA
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. International Glaciological Society. https://doi.org/10.3189/172756409787769555
[Published Version] View | DOI | Download Published Version (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 3503 | OA
Chatterjee, K., & Henzinger, T. A. (2009). Probabilistic systems with limsup and liminf objectives (Vol. 5489, pp. 32–45). Presented at the ILC: Infinity in Logic and Computation, Springer. https://doi.org/10.1007/978-3-642-03092-5_4
View | DOI | Download (ext.)
 

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

2009 | Published | Journal Article | IST-REx-ID: 3775 | OA
Barton, N. H., & Coe, J. (2009). On the application of statistical physics to evolutionary biology. Journal of Theoretical Biology. Elsevier. https://doi.org/10.1016/j.jtbi.2009.03.019
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 3780 | OA
Davison, A., Barton, N. H., & Clarke, B. (2009). 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. Wiley. https://doi.org/10.1111/j.1420-9101.2009.01770.x
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3837 | OA
Tripakis, S., Lickly, B., Henzinger, T. A., & Lee, E. (2009). On relational interfaces. In EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software (pp. 67–76). Grenoble, France: ACM. https://doi.org/10.1145/1629335.1629346
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3841 | OA
Henzinger, T. A., Jobstmann, B., & Wolf, V. (2009). Formalisms for specifying Markovian population models (Vol. 5797, pp. 3–23). Presented at the RP: Reachability Problems, Palaiseau, France: Springer. https://doi.org/10.1007/978-3-642-04420-5_2
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3843 | OA
Didier, F., Henzinger, T. A., Mateescu, M., & Wolf, V. (2009). Fast adaptive uniformization of the chemical master equation (Vol. 4, pp. 118–127). Presented at the HIBI: High-Performance Computational Systems Biology, Trento, Italy: IEEE. https://doi.org/10.1109/HiBi.2009.23
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3844 | OA
Henzinger, T. A., Kirsch, C., Marques, E., & Sokolova, A. (2009). Distributed, modular HTL (pp. 171–180). Presented at the RTSS: Real-Time Systems Symposium, Washington, DC, United States: IEEE. https://doi.org/10.1109/RTSS.2009.9
[Submitted Version] View | Files available | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3870 | OA
Chatterjee, K., Henzinger, T. A., & Horn, F. (2009). Finitary winning in omega-regular games. ACM Transactions on Computational Logic (TOCL). ACM. https://doi.org/10.1145/1614431.1614432
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 3871 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Probabilistic weighted automata (Vol. 5710, pp. 244–258). Presented at the CONCUR: Concurrency Theory, Bologna, Italy: Springer. https://doi.org/10.1007/978-3-642-04081-8_17
[Submitted Version] View | Files available | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 3946 | OA
Cremer, S., & Sixt, M. K. (2009). Analogies in the evolution of individual and social immunity. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The. https://doi.org/10.1098/rstb.2008.0166
View | DOI | Download None (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 3968 | OA
Edelsbrunner, H., & Harer, J. (2009). The persistent Morse complex segmentation of a 3-manifold (Vol. 5903, pp. 36–50). Presented at the 3DPH: Modelling the Physiological Human, Zermatt, Switzerland: Springer. https://doi.org/10.1007/978-3-642-10470-1_4
[Submitted Version] View | Files available | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 4136 | OA
Polechova, J., Barton, N. H., & Marion, G. (2009). Species’ range: Adaptation in space and time. American Naturalist. University of Chicago Press. https://doi.org/10.1086/605958
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Published | Journal Article | IST-REx-ID: 4242 | OA
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
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed