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.
10717 Publications
2009 | Published | Conference Paper | IST-REx-ID: 4544 | 
Termination criteria for solving concurrent safety and reachability games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, SIAM, 2009, pp. 197–206.
View
| Files available
| DOI
| Download (ext.)
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, SIAM, 2009, pp. 197–206.
2009 | Published | Conference Paper | IST-REx-ID: 4580 |
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.)
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 58–61.
2009 | Published | Technical Report | IST-REx-ID: 5394 |
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
K. Chatterjee, T.A. Henzinger, F. Horn, Improved Lower Bounds for Request-Response and Finitary Streett Games, IST Austria, 2009.
2009 | Published | Journal Article | IST-REx-ID: 599 |
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.)
M. Knuesel, K. Meyer, C. Bernecky, D. Taatjes, Genes and Development 23 (2009) 439–451.
2009 | Published | Journal Article | IST-REx-ID: 6144
Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans
A. Persson, E. Gross, P. Laurent, K.E. Busch, H. Bretes, M. de Bono, Nature 458 (2009) 1030–1033.
View
| DOI
| PubMed | Europe PMC
A. Persson, E. Gross, P. Laurent, K.E. Busch, H. Bretes, M. de Bono, Nature 458 (2009) 1030–1033.
2009 | Published | Journal Article | IST-REx-ID: 6145
Coordinated regulation of foraging and metabolism in C. elegans by RFamide neuropeptide signaling
M. Cohen, V. Reale, B. Olofsson, A. Knights, P. Evans, M. de Bono, Cell Metabolism 9 (2009) 375–385.
View
| DOI
| PubMed | Europe PMC
M. Cohen, V. Reale, B. Olofsson, A. Knights, P. Evans, M. de Bono, Cell Metabolism 9 (2009) 375–385.
2009 | Published | Journal Article | IST-REx-ID: 12654 |
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.)
M. Carenzo, F. Pellicciotti, S. Rimkus, P. Burlando, Journal of Glaciology 55 (2009) 258–274.
2009 | Published | Journal Article | IST-REx-ID: 12655 |
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.)
F. Pellicciotti, M. Carenzo, J. Helbing, S. Rimkus, P. Burlando, Annals of Glaciology 50 (2009) 16–24.
2009 | Published | Journal Article | IST-REx-ID: 1302
Synaptic organization of lobula plate tangential cells in Drosophila: Dα7 cholinergic receptors
S. Raghu, M.A. Jösch, S. Sigrist, A. Borst, D. Reiff, Journal of Neurogenetics 23 (2009) 200–209.
View
| DOI
S. Raghu, M.A. Jösch, S. Sigrist, A. Borst, D. Reiff, Journal of Neurogenetics 23 (2009) 200–209.
2009 | Published | Conference Paper | IST-REx-ID: 752
Of choices, failures and asynchrony: the many faces of set agreement
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2009, pp. 943–953.
View
| DOI
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2009, pp. 943–953.
2009 | Published | Journal Article | IST-REx-ID: 7751
The impact of environmental heterogeneity on genetic architecture in a wild population of soay sheep
M.R. Robinson, A.J. Wilson, J.G. Pilkington, T.H. Clutton-Brock, J.M. Pemberton, L.E.B. Kruuk, Genetics 181 (2009) 1639–1648.
View
| DOI
M.R. Robinson, A.J. Wilson, J.G. Pilkington, T.H. Clutton-Brock, J.M. Pemberton, L.E.B. Kruuk, Genetics 181 (2009) 1639–1648.
2009 | Published | Journal Article | IST-REx-ID: 8026 |
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
T.P. Vogels, L.F. Abbott, Nature Neuroscience 12 (2009) 483–491.
2009 | Published | Journal Article | IST-REx-ID: 8474
Direct detection of 3hJN' hydrogen-bond scalar couplings in proteins by solid-state NMR spectroscopy
P. Schanda, M. Huber, R. Verel, M. Ernst, B. Meier, Angewandte Chemie International Edition 48 (2009) 9322–9325.
View
| DOI
P. Schanda, M. Huber, R. Verel, M. Ernst, B. Meier, Angewandte Chemie International Edition 48 (2009) 9322–9325.
2009 | Published | Journal Article | IST-REx-ID: 8475
Fast-pulsing longitudinal relaxation optimized techniques: Enriching the toolbox of fast biomolecular NMR spectroscopy
P. Schanda, Progress in Nuclear Magnetic Resonance Spectroscopy 55 (2009) 238–265.
View
| DOI
P. Schanda, Progress in Nuclear Magnetic Resonance Spectroscopy 55 (2009) 238–265.
2009 | Published | Journal Article | IST-REx-ID: 8476
Longitudinal-relaxation-enhanced NMR experiments for the study of nucleic acids in solution
J. Farjon, J. Boisbouvier, P. Schanda, A. Pardi, J.-P. Simorre, B. Brutscher, Journal of the American Chemical Society 131 (2009) 8571–8577.
View
| DOI
J. Farjon, J. Boisbouvier, P. Schanda, A. Pardi, J.-P. Simorre, B. Brutscher, Journal of the American Chemical Society 131 (2009) 8571–8577.
2009 | Published | Journal Article | IST-REx-ID: 8477
Fast two-dimensional NMR spectroscopy of high molecular weight protein assemblies
C. Amero, P. Schanda, M.A. Durá, I. Ayala, D. Marion, B. Franzetti, B. Brutscher, J. Boisbouvier, Journal of the American Chemical Society 131 (2009) 3448–3449.
View
| DOI
C. Amero, P. Schanda, M.A. Durá, I. Ayala, D. Marion, B. Franzetti, B. Brutscher, J. Boisbouvier, Journal of the American Chemical Society 131 (2009) 3448–3449.
2009 | Published | Journal Article | IST-REx-ID: 1825 |
Adaptive response by state-dependent inactivation
T. Friedlander, N. Brenner, PNAS 106 (2009) 22558–22563.
View
| DOI
| Download (ext.)
T. Friedlander, N. Brenner, PNAS 106 (2009) 22558–22563.
2009 | Published | Journal Article | IST-REx-ID: 18356
Partial similarity of objects, or how to compare a centaur to a horse
A.M. Bronstein, M.M. Bronstein, A.M. Bruckstein, R. Kimmel, International Journal of Computer Vision 84 (2009) 163–183.
View
| DOI
A.M. Bronstein, M.M. Bronstein, A.M. Bruckstein, R. Kimmel, International Journal of Computer Vision 84 (2009) 163–183.
2009 | Published | Journal Article | IST-REx-ID: 18357
Topology-invariant similarity of nonrigid shapes
A.M. Bronstein, M.M. Bronstein, R. Kimmel, International Journal of Computer Vision 81 (2009) 281–301.
View
| DOI
A.M. Bronstein, M.M. Bronstein, R. Kimmel, International Journal of Computer Vision 81 (2009) 281–301.
2009 | Published | Conference Paper | IST-REx-ID: 18391
3D-color video camera
O. Rubinstein, Y. Honen, A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 12th International Conference on Computer Vision Workshops, IEEE, 2009.
View
| DOI
O. Rubinstein, Y. Honen, A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 12th International Conference on Computer Vision Workshops, IEEE, 2009.