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.

6623 Publications


2009 | Published | Conference Paper | IST-REx-ID: 4580 | OA
Alpaga: A tool for solving parity games with imperfect information
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 58–61.
View | Files available | DOI | Download (ext.)
 

2009 | Published | Technical Report | IST-REx-ID: 5392 | OA
Probabilistic automata on infinite words: Decidability and undecidability results
K. Chatterjee, Probabilistic Automata on Infinite Words: Decidability and Undecidability Results, IST Austria, 2009.
[Published Version] View | Files available | DOI
 

2009 | Published | Technical Report | IST-REx-ID: 5393 | OA
Gist: A solver for probabilistic games
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, Gist: A Solver for Probabilistic Games, IST Austria, 2009.
[Published Version] View | Files available | DOI
 

2009 | Published | Technical Report | IST-REx-ID: 5394 | OA
Improved lower bounds for request-response and finitary Streett games
K. Chatterjee, T.A. Henzinger, F. Horn, Improved Lower Bounds for Request-Response and Finitary Streett Games, IST Austria, 2009.
[Published Version] View | Files available | DOI
 

2009 | Published | Technical Report | IST-REx-ID: 5395 | OA
Qualitative analysis of partially-observable Markov decision processes
K. Chatterjee, L. Doyen, T.A. Henzinger, Qualitative Analysis of Partially-Observable Markov Decision Processes, IST Austria, 2009.
[Published Version] View | Files available | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 599 | OA
The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function
M. Knuesel, K. Meyer, C. Bernecky, D. Taatjes, Genes and Development 23 (2009) 439–451.
View | DOI | Download None (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 12654 | OA
Assessing the transferability and robustness of an enhanced temperature-index glacier-melt model
M. Carenzo, F. Pellicciotti, S. Rimkus, P. Burlando, Journal of Glaciology 55 (2009) 258–274.
[Published Version] View | DOI | Download Published Version (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 12655 | OA
On the role of subsurface heat conduction in glacier energy-balance modelling
F. Pellicciotti, M. Carenzo, J. Helbing, S. Rimkus, P. Burlando, Annals of Glaciology 50 (2009) 16–24.
[Published Version] View | DOI | Download Published Version (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 8026 | OA
Gating multiple signals through detailed balance of excitation and inhibition in spiking networks
T.P. Vogels, L.F. Abbott, Nature Neuroscience 12 (2009) 483–491.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2009 | Published | Journal Article | IST-REx-ID: 1825 | OA
Adaptive response by state-dependent inactivation
T. Friedlander, N. Brenner, PNAS 106 (2009) 22558–22563.
View | DOI | Download (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 2119 | OA
Boundedness of Riesz transforms for elliptic operators on abstract Wiener spaces
J. Maas, J. Van Neerven, Journal of Functional Analysis 257 (2009) 2410–2475.
View | DOI | Download (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 2137 | OA
Rotational structure of weakly bound molecular ions
M. Lemeshko, B. Frierich, Journal of Atomic and Molecular Sciences 1 (2009) 41–47.
View | DOI | Download (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 2149 | OA
Collisions of paramagnetic molecules in magnetic fields: An analytic model based on Fraunhofer diffraction of matter waves
M. Lemeshko, B. Friedrich, Physical Review A - Atomic, Molecular, and Optical Physics 79 (2009).
View | DOI | Download (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 2150 | OA
The effect of a nonresonant radiative field on low-energy rotationally inelastic Na+ + N2 collisions
M. Lemeshko, B. Friedrich, International Journal of Mass Spectrometry 280 (2009) 19–25.
View | DOI | Download (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 2191 | OA
Rotational and rotationless states of weakly bound molecules
M. Lemeshko, B. Friedrich, Physical Review A - Atomic, Molecular, and Optical Physics 79 (2009).
View | DOI | Download (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 2192 | OA
Model analysis of rotationally inelastic Ar + H2O scattering in an electric field
M. Lemeshko, B. Friedrich, Journal of Physical Chemistry A 113 (2009) 15055–15063.
View | DOI | Download (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 2193 | OA
Probing weakly bound molecules with nonresonant light
M. Lemeshko, B. Friedrich, Physical Review Letters 103 (2009).
View | DOI | Download (ext.)
 

2009 | Published | Journal Article | IST-REx-ID: 3197 | OA
An analysis of convex relaxations for MAP estimation of discrete MRFs
M.P. Kumar, V. Kolmogorov, P. Torr, Journal of Machine Learning Research 10 (2009) 71–106.
View | Download (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 3503 | OA
Probabilistic systems with limsup and liminf objectives
K. Chatterjee, T.A. Henzinger, in:, Springer, 2009, pp. 32–45.
View | DOI | Download (ext.)
 

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

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Export / Embed