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.
318 Publications
2011 | Published | Technical Report | IST-REx-ID: 5381 | 
Partial-observation stochastic games: How to win when belief fails
K. Chatterjee, L. Doyen, Partial-Observation Stochastic Games: How to Win When Belief Fails, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, Partial-Observation Stochastic Games: How to Win When Belief Fails, IST Austria, 2011.
2011 | Published | Technical Report | IST-REx-ID: 5382 |
Robustness of structurally equivalent concurrent parity games
K. Chatterjee, Robustness of Structurally Equivalent Concurrent Parity Games, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, Robustness of Structurally Equivalent Concurrent Parity Games, IST Austria, 2011.
2011 | Published | Technical Report | IST-REx-ID: 5383 |
On an efficient decision procedure for imperative tree data structures
T. Wies, M. Muñiz, V. Kuncak, On an Efficient Decision Procedure for Imperative Tree Data Structures, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
T. Wies, M. Muñiz, V. Kuncak, On an Efficient Decision Procedure for Imperative Tree Data Structures, IST Austria, 2011.
2011 | Published | Technical Report | IST-REx-ID: 5384 |
Decidable problems for probabilistic automata on infinite words
K. Chatterjee, M. Tracol, Decidable Problems for Probabilistic Automata on Infinite Words, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, M. Tracol, Decidable Problems for Probabilistic Automata on Infinite Words, IST Austria, 2011.
2011 | Published | Technical Report | IST-REx-ID: 5385 |
Temporal specifications with accumulative values
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, Temporal Specifications with Accumulative Values, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, Temporal Specifications with Accumulative Values, IST Austria, 2011.
2011 | Published | Technical Report | IST-REx-ID: 5386 |
Enforcing topological constraints in random field image segmentation
C. Chen, D. Freedman, C. Lampert, Enforcing Topological Constraints in Random Field Image Segmentation, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
C. Chen, D. Freedman, C. Lampert, Enforcing Topological Constraints in Random Field Image Segmentation, IST Austria, 2011.
2011 | Published | Technical Report | IST-REx-ID: 5387 |
Energy and mean-payoff parity Markov decision processes
K. Chatterjee, L. Doyen, Energy and Mean-Payoff Parity Markov Decision Processes, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, Energy and Mean-Payoff Parity Markov Decision Processes, IST Austria, 2011.
2011 | Published | Journal Article | IST-REx-ID: 580
Quantum physics: How to catch a wave
O. Hosten, Nature 474 (2011) 170–171.
View
| DOI
O. Hosten, Nature 474 (2011) 170–171.
2011 | Published | Conference Paper | IST-REx-ID: 585
Methods towards achieving precise birefringent focusing
D. Schmid, S. Hazrat, R. Rangarajan, O. Hosten, S. Quint, P. Kwiat, in:, OSA, 2011.
View
| DOI
D. Schmid, S. Hazrat, R. Rangarajan, O. Hosten, S. Quint, P. Kwiat, in:, OSA, 2011.
2011 | Published | Journal Article | IST-REx-ID: 586
Raman lasing with a cold atom gain medium in a high-finesse optical cavity
G. Vrijsen, O. Hosten, J. Lee, S. Bernon, M. Kasevich, Physical Review Letters 107 (2011).
View
| DOI
G. Vrijsen, O. Hosten, J. Lee, S. Bernon, M. Kasevich, Physical Review Letters 107 (2011).
2011 | Published | Journal Article | IST-REx-ID: 597
Molecular architecture of the human Mediator-RNA polymerase II-TFIIF assembly
C. Bernecky, P. Grob, C. Ebmeier, E. Nogales, D. Taatjes, PLoS Biology 9 (2011).
View
| DOI
C. Bernecky, P. Grob, C. Ebmeier, E. Nogales, D. Taatjes, PLoS Biology 9 (2011).
2011 | Published | Journal Article | IST-REx-ID: 6137 |
Neuronal and molecular substrates for optimal foraging in Caenorhabditis elegans
K. Milward, K.E. Busch, R.J. Murphy, M. de Bono, B. Olofsson, Proceedings of the National Academy of Sciences 108 (2011) 20672–20677.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
K. Milward, K.E. Busch, R.J. Murphy, M. de Bono, B. Olofsson, Proceedings of the National Academy of Sciences 108 (2011) 20672–20677.
2011 | Published | Journal Article | IST-REx-ID: 6138 |
Temperature, oxygen, and salt-sensing neurons in C. elegans are carbon dioxide sensors that control avoidance behavior
A.J. Bretscher, E. Kodama-Namba, K.E. Busch, R.J. Murphy, Z. Soltesz, P. Laurent, M. de Bono, Neuron 69 (2011) 1099–1113.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A.J. Bretscher, E. Kodama-Namba, K.E. Busch, R.J. Murphy, Z. Soltesz, P. Laurent, M. de Bono, Neuron 69 (2011) 1099–1113.
2011 | Published | Journal Article | IST-REx-ID: 6140 |
Macoilin, a conserved nervous system–specific ER membrane protein that regulates neuronal excitability
F. Arellano-Carbajal, L. Briseño-Roa, A. Couto, B.H.H. Cheung, M. Labouesse, M. de Bono, PLoS Genetics 7 (2011).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
F. Arellano-Carbajal, L. Briseño-Roa, A. Couto, B.H.H. Cheung, M. Labouesse, M. de Bono, PLoS Genetics 7 (2011).
2011 | Published | Journal Article | IST-REx-ID: 12649 |
The value of glacier mass balance, satellite snow cover images, and hourly discharge for improving the performance of a physically based distributed hydrological model
D. Finger, F. Pellicciotti, M. Konz, S. Rimkus, P. Burlando, Water Resources Research 47 (2011).
[Published Version]
View
| DOI
| Download Published Version (ext.)
D. Finger, F. Pellicciotti, M. Konz, S. Rimkus, P. Burlando, Water Resources Research 47 (2011).
2011 | Published | Book Chapter | IST-REx-ID: 12650
Streamflow Trends in Mountainous Regions
P. Molnar, P. Burlando, F. Pellicciotti, in:, V. Singh, P. Singh, U. Haritashya (Eds.), Encyclopedia of Snow, Ice and Glaciers, 1st ed., Springer Nature, Dordrecht, 2011, pp. 1084–1089.
View
| DOI
P. Molnar, P. Burlando, F. Pellicciotti, in:, V. Singh, P. Singh, U. Haritashya (Eds.), Encyclopedia of Snow, Ice and Glaciers, 1st ed., Springer Nature, Dordrecht, 2011, pp. 1084–1089.
2011 | Published | Journal Article | IST-REx-ID: 12651 |
Spatial and temporal variability of air temperature on a melting glacier: Atmospheric controls, extrapolation methods and their effect on melt modeling, Juncal Norte Glacier, Chile
L. Petersen, F. Pellicciotti, Journal of Geophysical Research: Atmospheres 116 (2011).
[Published Version]
View
| DOI
| Download Published Version (ext.)
L. Petersen, F. Pellicciotti, Journal of Geophysical Research: Atmospheres 116 (2011).
2011 | Published | Journal Article | IST-REx-ID: 12652 |
Transmission of solar radiation through clouds on melting glaciers: A comparison of parameterizations and their impact on melt modelling
F. Pellicciotti, T. Raschle, T. Huerlimann, M. Carenzo, P. Burlando, Journal of Glaciology 57 (2011) 367–381.
[Published Version]
View
| DOI
| Download Published Version (ext.)
F. Pellicciotti, T. Raschle, T. Huerlimann, M. Carenzo, P. Burlando, Journal of Glaciology 57 (2011) 367–381.
2011 | Published | Journal Article | IST-REx-ID: 1299
Internal structure of the fly elementary motion detector
H. Eichner, M.A. Jösch, B. Schnell, D. Reiff, A. Borst, Neuron 70 (2011) 1155–1164.
View
| DOI
H. Eichner, M.A. Jösch, B. Schnell, D. Reiff, A. Borst, Neuron 70 (2011) 1155–1164.
2011 | Published | Journal Article | IST-REx-ID: 1467 |
Arithmetic harmonic analysis on character and quiver varieties
T. Hausel, E. Letellier, F. Rodríguez Villegas, Duke Mathematical Journal 160 (2011) 323–400.
View
| DOI
| Download (ext.)
T. Hausel, E. Letellier, F. Rodríguez Villegas, Duke Mathematical Journal 160 (2011) 323–400.