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.
7478 Publications
2009 | Published | Conference Paper | IST-REx-ID: 4453 | 
T. A. Henzinger, M. Mateescu, and V. Wolf, “Sliding-window abstraction for infinite Markov chains,” presented at the CAV: Computer Aided Verification, 2009, vol. 5643, pp. 337–352.
View
| Files available
| DOI
| Download (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 4544 |
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Termination criteria for solving concurrent safety and reachability games,” presented at the SODA: Symposium on Discrete Algorithms, 2009, pp. 197–206.
View
| Files available
| DOI
| Download (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 4580 |
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, and T. A. Henzinger, “Alpaga: A tool for solving parity games with imperfect information,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2009, vol. 5505, pp. 58–61.
View
| Files available
| DOI
| Download (ext.)
2009 | Published | Technical Report | IST-REx-ID: 5394 |
K. Chatterjee, T. A. Henzinger, and F. Horn, Improved lower bounds for request-response and finitary Streett games. IST Austria, 2009.
[Published Version]
View
| Files available
| DOI
2009 | Published | Journal Article | IST-REx-ID: 599 |
M. Knuesel, K. Meyer, C. Bernecky, and D. Taatjes, “The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function,” Genes and Development, vol. 23, no. 4. Cold Spring Harbor Laboratory Press, pp. 439–451, 2009.
View
| DOI
| Download None (ext.)
2009 | Published | Journal Article | IST-REx-ID: 12654 |
M. Carenzo, F. Pellicciotti, S. Rimkus, and P. Burlando, “Assessing the transferability and robustness of an enhanced temperature-index glacier-melt model,” Journal of Glaciology, vol. 55, no. 190. Cambridge University Press, pp. 258–274, 2009.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 12655 |
F. Pellicciotti, M. Carenzo, J. Helbing, S. Rimkus, and P. Burlando, “On the role of subsurface heat conduction in glacier energy-balance modelling,” Annals of Glaciology, vol. 50, no. 50. International Glaciological Society, pp. 16–24, 2009.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 8026 |
T. P. Vogels and L. F. Abbott, “Gating multiple signals through detailed balance of excitation and inhibition in spiking networks,” Nature Neuroscience, vol. 12, no. 4. Springer Nature, pp. 483–491, 2009.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 | Published | Journal Article | IST-REx-ID: 1825 |
T. Friedlander and N. Brenner, “Adaptive response by state-dependent inactivation,” PNAS, vol. 106, no. 52. National Academy of Sciences, pp. 22558–22563, 2009.
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2119 |
J. Maas and J. Van Neerven, “Boundedness of Riesz transforms for elliptic operators on abstract Wiener spaces,” Journal of Functional Analysis, vol. 257, no. 8. Academic Press, pp. 2410–2475, 2009.
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2137 |
M. Lemeshko and B. Frierich, “Rotational structure of weakly bound molecular ions,” Journal of Atomic and Molecular Sciences, vol. 1, no. 1. Global Science Press, pp. 41–47, 2009.
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2149 |
M. Lemeshko and B. Friedrich, “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, vol. 79, no. 1. American Physical Society, 2009.
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2150 |
M. Lemeshko and B. Friedrich, “The effect of a nonresonant radiative field on low-energy rotationally inelastic Na+ + N2 collisions,” International Journal of Mass Spectrometry, vol. 280, no. 1–3. Elsevier, pp. 19–25, 2009.
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2191 |
M. Lemeshko and B. Friedrich, “Rotational and rotationless states of weakly bound molecules,” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 79, no. 5. American Physical Society, 2009.
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2192 |
M. Lemeshko and B. Friedrich, “Model analysis of rotationally inelastic Ar + H2O scattering in an electric field,” Journal of Physical Chemistry A, vol. 113, no. 52. American Chemical Society, pp. 15055–15063, 2009.
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2193 |
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 | Published | Journal Article | IST-REx-ID: 3197 |
M. P. Kumar, V. Kolmogorov, and P. Torr, “An analysis of convex relaxations for MAP estimation of discrete MRFs,” Journal of Machine Learning Research, vol. 10. Microtome Publishing, pp. 71–106, 2009.
View
| Download (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 3503 |
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 | Published | Preprint | IST-REx-ID: 3732 |
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 | Published | Journal Article | IST-REx-ID: 3946 |
S. Cremer and M. 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, pp. 129–142, 2009.
View
| DOI
| Download None (ext.)