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.
7146 Publications
2009 | Published | Conference Paper | IST-REx-ID: 4544 | 
Chatterjee K, De Alfaro L, Henzinger TA. Termination criteria for solving concurrent safety and reachability games. In: SIAM; 2009:197-206. doi:10.1137/1.9781611973068.23
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. Alpaga: A tool for solving parity games with imperfect information. In: Vol 5505. Springer; 2009:58-61. doi:10.1007/978-3-642-00768-2_7
View
| Files available
| DOI
| Download (ext.)
2009 | Published | Technical Report | IST-REx-ID: 5394 |
Chatterjee K, Henzinger TA, Horn F. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria; 2009. doi:10.15479/AT:IST-2009-0002
[Published Version]
View
| Files available
| DOI
2009 | Published | Journal Article | IST-REx-ID: 599 |
Knuesel M, Meyer K, Bernecky C, Taatjes D. The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function. Genes and Development. 2009;23(4):439-451. doi:10.1101/gad.1767009
View
| DOI
| Download None (ext.)
2009 | Published | Journal Article | IST-REx-ID: 12654 |
Carenzo M, Pellicciotti F, Rimkus S, Burlando P. Assessing the transferability and robustness of an enhanced temperature-index glacier-melt model. Journal of Glaciology. 2009;55(190):258-274. doi:10.3189/002214309788608804
[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. On the role of subsurface heat conduction in glacier energy-balance modelling. Annals of Glaciology. 2009;50(50):16-24. doi:10.3189/172756409787769555
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 8026 |
Vogels TP, Abbott LF. Gating multiple signals through detailed balance of excitation and inhibition in spiking networks. Nature Neuroscience. 2009;12(4):483-491. doi:10.1038/nn.2276
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 | Published | Journal Article | IST-REx-ID: 1825 |
Friedlander T, Brenner N. Adaptive response by state-dependent inactivation. PNAS. 2009;106(52):22558-22563. doi:10.1073/pnas.0902146106
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2119 |
Maas J, Van Neerven J. Boundedness of Riesz transforms for elliptic operators on abstract Wiener spaces. Journal of Functional Analysis. 2009;257(8):2410-2475. doi:10.1016/j.jfa.2009.07.001
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2137 |
Lemeshko M, Frierich B. Rotational structure of weakly bound molecular ions. Journal of Atomic and Molecular Sciences. 2009;1(1):41-47. doi:10.4208/jams.101009.110209a
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2149 |
Lemeshko M, Friedrich B. Collisions of paramagnetic molecules in magnetic fields: An analytic model based on Fraunhofer diffraction of matter waves. Physical Review A - Atomic, Molecular, and Optical Physics. 2009;79(1). doi:10.1103/PhysRevA.79.012718
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2150 |
Lemeshko M, Friedrich B. The effect of a nonresonant radiative field on low-energy rotationally inelastic Na+ + N2 collisions. International Journal of Mass Spectrometry. 2009;280(1-3):19-25. doi:10.1016/j.ijms.2008.06.010
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2191 |
Lemeshko M, Friedrich B. Rotational and rotationless states of weakly bound molecules. Physical Review A - Atomic, Molecular, and Optical Physics. 2009;79(5). doi:10.1103/PhysRevA.79.050501
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2192 |
Lemeshko M, Friedrich B. Model analysis of rotationally inelastic Ar + H2O scattering in an electric field. Journal of Physical Chemistry A. 2009;113(52):15055-15063. doi:10.1021/jp9051598
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2193 |
Lemeshko M, Friedrich B. Probing weakly bound molecules with nonresonant light. Physical Review Letters. 2009;103(5). doi:10.1103/PhysRevLett.103.053003
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 3197 |
Kumar MP, Kolmogorov V, Torr P. An analysis of convex relaxations for MAP estimation of discrete MRFs. Journal of Machine Learning Research. 2009;10:71-106.
View
| Download (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 3503 |
Chatterjee K, Henzinger TA. Probabilistic systems with limsup and liminf objectives. In: Vol 5489. Springer; 2009:32-45. doi:10.1007/978-3-642-03092-5_4
View
| DOI
| Download (ext.)
2009 | Published | Preprint | IST-REx-ID: 3732 |
Tkačik G, Schneidman E, Berry M, Bialek W. Spin glass models for a network of real neurons. ArXiv. 2009;q-NC.
View
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 3775 |
Barton NH, Coe J. On the application of statistical physics to evolutionary biology. Journal of Theoretical Biology. 2009;259(2):317-324. doi:10.1016/j.jtbi.2009.03.019
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 3780 |
Davison A, Barton NH, Clarke B. 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. 2009;22(8):1624-1635. doi:10.1111/j.1420-9101.2009.01770.x
[Submitted Version]
View
| Files available
| DOI