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.
7479 Publications
2009 | Published | Conference Paper | IST-REx-ID: 4383 | 
Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Software Transactional Memory on Relaxed Memory Models,” 5643:321–36. Springer, 2009. https://doi.org/10.1007/978-3-642-02658-4_26.
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 4453 |
Henzinger, Thomas A, Maria Mateescu, and Verena Wolf. “Sliding-Window Abstraction for Infinite Markov Chains,” 5643:337–52. Springer, 2009. https://doi.org/10.1007/978-3-642-02658-4_27.
View
| Files available
| DOI
| Download (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 4544 |
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Termination Criteria for Solving Concurrent Safety and Reachability Games,” 197–206. SIAM, 2009. https://doi.org/10.1137/1.9781611973068.23.
View
| Files available
| DOI
| Download (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 4580 |
Berwanger, Dietmar, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, and Thomas A Henzinger. “Alpaga: A Tool for Solving Parity Games with Imperfect Information,” 5505:58–61. Springer, 2009. https://doi.org/10.1007/978-3-642-00768-2_7.
View
| Files available
| DOI
| Download (ext.)
2009 | Published | Technical Report | IST-REx-ID: 5394 |
Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria, 2009. https://doi.org/10.15479/AT:IST-2009-0002.
[Published Version]
View
| Files available
| DOI
2009 | Published | Journal Article | IST-REx-ID: 599 |
Knuesel, Matthew, Krista Meyer, Carrie Bernecky, and Dylan Taatjes. “The Human CDK8 Subcomplex Is a Molecular Switch That Controls Mediator Coactivator Function.” Genes and Development. Cold Spring Harbor Laboratory Press, 2009. https://doi.org/10.1101/gad.1767009.
View
| DOI
| Download None (ext.)
2009 | Published | Journal Article | IST-REx-ID: 12654 |
Carenzo, Marco, Francesca Pellicciotti, Stefan Rimkus, and Paolo Burlando. “Assessing the Transferability and Robustness of an Enhanced Temperature-Index Glacier-Melt Model.” Journal of Glaciology. Cambridge University Press, 2009. https://doi.org/10.3189/002214309788608804.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 12655 |
Pellicciotti, Francesca, Marco Carenzo, Jakob Helbing, Stefan Rimkus, and Paolo Burlando. “On the Role of Subsurface Heat Conduction in Glacier Energy-Balance Modelling.” Annals of Glaciology. International Glaciological Society, 2009. https://doi.org/10.3189/172756409787769555.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 8026 |
Vogels, Tim P, and L F Abbott. “Gating Multiple Signals through Detailed Balance of Excitation and Inhibition in Spiking Networks.” Nature Neuroscience. Springer Nature, 2009. https://doi.org/10.1038/nn.2276.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 | Published | Journal Article | IST-REx-ID: 1825 |
Friedlander, Tamar, and Naama Brenner. “Adaptive Response by State-Dependent Inactivation.” PNAS. National Academy of Sciences, 2009. https://doi.org/10.1073/pnas.0902146106 .
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2119 |
Maas, Jan, and Jan Van Neerven. “Boundedness of Riesz Transforms for Elliptic Operators on Abstract Wiener Spaces.” Journal of Functional Analysis. Academic Press, 2009. https://doi.org/10.1016/j.jfa.2009.07.001.
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2137 |
Lemeshko, Mikhail, and Bretislav Frierich. “Rotational Structure of Weakly Bound Molecular Ions.” Journal of Atomic and Molecular Sciences. Global Science Press, 2009. https://doi.org/10.4208/jams.101009.110209a.
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2149 |
Lemeshko, Mikhail, and Břetislav 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. American Physical Society, 2009. https://doi.org/10.1103/PhysRevA.79.012718.
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2150 |
Lemeshko, Mikhail, and Břetislav Friedrich. “The Effect of a Nonresonant Radiative Field on Low-Energy Rotationally Inelastic Na+ + N2 Collisions.” International Journal of Mass Spectrometry. Elsevier, 2009. https://doi.org/10.1016/j.ijms.2008.06.010 .
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2191 |
Lemeshko, Mikhail, and Břetislav Friedrich. “Rotational and Rotationless States of Weakly Bound Molecules.” Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2009. https://doi.org/10.1103/PhysRevA.79.050501.
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2192 |
Lemeshko, Mikhail, and Břetislav Friedrich. “Model Analysis of Rotationally Inelastic Ar + H2O Scattering in an Electric Field.” Journal of Physical Chemistry A. American Chemical Society, 2009. https://doi.org/10.1021/jp9051598.
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2193 |
Lemeshko, Mikhail, and Břetislav Friedrich. “Probing Weakly Bound Molecules with Nonresonant Light.” Physical Review Letters. American Physical Society, 2009. https://doi.org/10.1103/PhysRevLett.103.053003.
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 3197 |
Kumar, M Pawan, Vladimir Kolmogorov, and Philip Torr. “An Analysis of Convex Relaxations for MAP Estimation of Discrete MRFs.” Journal of Machine Learning Research. Microtome Publishing, 2009.
View
| Download (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 3503 |
Chatterjee, Krishnendu, and Thomas A Henzinger. “Probabilistic Systems with Limsup and Liminf Objectives,” 5489:32–45. Springer, 2009. https://doi.org/10.1007/978-3-642-03092-5_4.
View
| DOI
| Download (ext.)
2009 | Published | Preprint | IST-REx-ID: 3732 |
Tkačik, Gašper, Elad Schneidman, Michael Berry, and William Bialek. “Spin Glass Models for a Network of Real Neurons.” ArXiv. ArXiv, 2009.
View
| Download (ext.)