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.
10932 Publications
2013 | Published | Technical Report | IST-REx-ID: 5402 |
How free is your linearizable concurrent data structure?
T.A. Henzinger, A. Sezgin, How Free Is Your Linearizable Concurrent Data Structure?, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
T.A. Henzinger, A. Sezgin, How Free Is Your Linearizable Concurrent Data Structure?, IST Austria, 2013.
2013 | Published | Report | IST-REx-ID: 5407 |
Technical requirements and features
J. Porsche, Technical Requirements and Features, IST Austria, 2013.
[Published Version]
View
| Files available
J. Porsche, Technical Requirements and Features, IST Austria, 2013.
2013 | Published | Technical Report | IST-REx-ID: 5409 |
Edit distance for timed automata
K. Chatterjee, R. Ibsen-Jensen, R. Majumdar, Edit Distance for Timed Automata, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, R. Majumdar, Edit Distance for Timed Automata, IST Austria, 2013.
2013 | Published | Conference Paper | IST-REx-ID: 590
Polarization dependent focusing
D. Schmid, T. Huang, R. Dirks, O. Hosten, P. Kwiat, in:, OSA, 2013.
View
| DOI
D. Schmid, T. Huang, R. Dirks, O. Hosten, P. Kwiat, in:, OSA, 2013.
2013 | Published | Journal Article | IST-REx-ID: 591
Adjustable and robust methods for polarization-dependent focusing
D. Schmid, T. Huang, S. Hazrat, R. Dirks, O. Hosten, S. Quint, D. Thian, P. Kwiat, Optics Express 21 (2013) 15538–15552.
View
| DOI
D. Schmid, T. Huang, S. Hazrat, R. Dirks, O. Hosten, S. Quint, D. Thian, P. Kwiat, Optics Express 21 (2013) 15538–15552.
2013 | Published | Journal Article | IST-REx-ID: 595 |
Struggling to let go: A non-coding RNA directs its own extension and destruction
C. Bernecky, P. Cramer, EMBO Journal 32 (2013) 771–772.
View
| DOI
| Download None (ext.)
C. Bernecky, P. Cramer, EMBO Journal 32 (2013) 771–772.
2013 | Published | Journal Article | IST-REx-ID: 6128 |
Cross-modulation of homeostatic responses to temperature, oxygen and carbon dioxide in C. elegans
E. Kodama-Namba, L.A. Fenk, A.J. Bretscher, E. Gross, K.E. Busch, M. de Bono, PLoS Genetics 9 (2013).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
E. Kodama-Namba, L.A. Fenk, A.J. Bretscher, E. Gross, K.E. Busch, M. de Bono, PLoS Genetics 9 (2013).
2013 | Published | Journal Article | IST-REx-ID: 6130 |
Efficient genome editing in Caenorhabditis elegans by CRISPR-targeted homologous recombination
C. Chen, L.A. Fenk, M. de Bono, Nucleic Acids Research 41 (2013).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
C. Chen, L.A. Fenk, M. de Bono, Nucleic Acids Research 41 (2013).
2013 | Published | Book Chapter | IST-REx-ID: 6132
Optogenetic actuation, inhibition, modulation and readout for neuronal networks generating behavior in the nematode Caenorhabditis elegans
M. de Bono, W.R. Schafer, A. Gottschalk, in:, P. Hegemann, S. Sigrist (Eds.), Optogenetics, Walter de Gruyter, 2013, pp. 61–78.
View
M. de Bono, W.R. Schafer, A. Gottschalk, in:, P. Hegemann, S. Sigrist (Eds.), Optogenetics, Walter de Gruyter, 2013, pp. 61–78.
2013 | Published | Journal Article | IST-REx-ID: 6133 |
In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor
A. Couto, S. Oda, V.O. Nikolaev, Z. Soltesz, M. de Bono, Proceedings of the National Academy of Sciences 110 (2013) E3301–E3310.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A. Couto, S. Oda, V.O. Nikolaev, Z. Soltesz, M. de Bono, Proceedings of the National Academy of Sciences 110 (2013) E3301–E3310.
2013 | Published | Journal Article | IST-REx-ID: 6135
Worms under stress: C. elegans stress response and its relevance to complex human disease and aging
M. Rodriguez, L.B. Snoek, M. de Bono, J.E. Kammenga, Trends in Genetics 29 (2013) 367–374.
View
| DOI
M. Rodriguez, L.B. Snoek, M. de Bono, J.E. Kammenga, Trends in Genetics 29 (2013) 367–374.
2013 | Published | Journal Article | IST-REx-ID: 12633
An evaluation of approaches for modelling hydrological processes in high-elevation, glacierized Andean watersheds
S. Ragettli, G. Cortés, J. McPhee, F. Pellicciotti, Hydrological Processes 28 (2013) 5674–5695.
View
| DOI
S. Ragettli, G. Cortés, J. McPhee, F. Pellicciotti, Hydrological Processes 28 (2013) 5674–5695.
2013 | Published | Journal Article | IST-REx-ID: 12638 |
Comparison of climate change signals in CMIP3 and CMIP5 multi-model ensembles and implications for Central Asian glaciers
A.F. Lutz, W.W. Immerzeel, A. Gobiet, F. Pellicciotti, M.F.P. Bierkens, Hydrology and Earth System Sciences 17 (2013) 3661–3677.
[Published Version]
View
| DOI
| Download Published Version (ext.)
A.F. Lutz, W.W. Immerzeel, A. Gobiet, F. Pellicciotti, M.F.P. Bierkens, Hydrology and Earth System Sciences 17 (2013) 3661–3677.
2013 | Published | Journal Article | IST-REx-ID: 12639 |
Sources of uncertainty in modeling the glaciohydrological response of a Karakoram watershed to climate change
S. Ragettli, F. Pellicciotti, R. Bordoy, W.W. Immerzeel, Water Resources Research 49 (2013) 6048–6066.
[Published Version]
View
| DOI
| Download Published Version (ext.)
S. Ragettli, F. Pellicciotti, R. Bordoy, W.W. Immerzeel, Water Resources Research 49 (2013) 6048–6066.
2013 | Published | Journal Article | IST-REx-ID: 12640
Rising river flows throughout the twenty-first century in two Himalayan glacierized watersheds
W.W. Immerzeel, F. Pellicciotti, M.F.P. Bierkens, Nature Geoscience 6 (2013) 742–745.
View
| DOI
W.W. Immerzeel, F. Pellicciotti, M.F.P. Bierkens, Nature Geoscience 6 (2013) 742–745.
2013 | Published | Journal Article | IST-REx-ID: 12641 |
Parameter sensitivity of a distributed enhanced temperature-index melt model
M. Heynen, F. Pellicciotti, M. Carenzo, Annals of Glaciology 54 (2013) 311–321.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Heynen, F. Pellicciotti, M. Carenzo, Annals of Glaciology 54 (2013) 311–321.
2013 | Published | Journal Article | IST-REx-ID: 12642 |
Suitability of a constant air temperature lapse rate over an Alpine glacier: Testing the Greuell and Böhm model as an alternative
L. Petersen, F. Pellicciotti, I. Juszak, M. Carenzo, B. Brock, Annals of Glaciology 54 (2013) 120–130.
[Published Version]
View
| DOI
| Download Published Version (ext.)
L. Petersen, F. Pellicciotti, I. Juszak, M. Carenzo, B. Brock, Annals of Glaciology 54 (2013) 120–130.
2013 | Published | Journal Article | IST-REx-ID: 12643 |
A comparison of parameterizations of incoming longwave radiation over melting glaciers: Model robustness and seasonal variability
I. Juszak, F. Pellicciotti, Journal of Geophysical Research: Atmospheres 118 (2013) 3066–3084.
[Published Version]
View
| DOI
| Download Published Version (ext.)
I. Juszak, F. Pellicciotti, Journal of Geophysical Research: Atmospheres 118 (2013) 3066–3084.
2013 | Published | Journal Article | IST-REx-ID: 1304
Optogenetic control of fly optomotor responses
V. Haikala, M.A. Jösch, A. Borst, A. Mauss, Journal of Neuroscience 33 (2013) 13927–13934.
View
| DOI
V. Haikala, M.A. Jösch, A. Borst, A. Mauss, Journal of Neuroscience 33 (2013) 13927–13934.
2013 | Published | Journal Article | IST-REx-ID: 1305
Functional specialization of parallel motion detection circuits in the fly
M.A. Jösch, F. Weber, H. Eichner, A. Borst, Journal of Neuroscience 33 (2013) 902–905.
View
| DOI
M.A. Jösch, F. Weber, H. Eichner, A. Borst, Journal of Neuroscience 33 (2013) 902–905.