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.
10572 Publications
2013 | Published | Report | IST-REx-ID: 5401 | 
Porsche J. Initiatives and Projects Related to RD. IST Austria; 2013.
[Published Version]
View
| Files available
2013 | Published | Technical Report | IST-REx-ID: 5402 |
Henzinger TA, Sezgin A. How Free Is Your Linearizable Concurrent Data Structure? IST Austria; 2013. doi:10.15479/AT:IST-2013-123-v1-1
[Published Version]
View
| Files available
| DOI
2013 | Published | Technical Report | IST-REx-ID: 5403 |
Chatterjee K, Ibsen-Jensen R. Qualitative Analysis of Concurrent Mean-Payoff Games. IST Austria; 2013. doi:10.15479/AT:IST-2013-126-v1-1
[Published Version]
View
| Files available
| DOI
2013 | Published | Report | IST-REx-ID: 5407 |
Porsche J. Technical Requirements and Features. IST Austria; 2013.
[Published Version]
View
| Files available
2013 | Published | Technical Report | IST-REx-ID: 5409 |
Chatterjee K, Ibsen-Jensen R, Majumdar R. Edit Distance for Timed Automata. IST Austria; 2013. doi:10.15479/AT:IST-2013-144-v1-1
[Published Version]
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 590
Schmid D, Huang T, Dirks R, Hosten O, Kwiat P. Polarization dependent focusing. In: OSA; 2013. doi:10.1364/QIM.2013.W6.23
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 591
Schmid D, Huang T, Hazrat S, et al. Adjustable and robust methods for polarization-dependent focusing. Optics Express. 2013;21(13):15538-15552. doi:10.1364/OE.21.015538
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 5920
Hillar CJ, Martin del Campo Sanchez A. Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals. Journal of Symbolic Computation. 2013;50:314-334. doi:10.1016/j.jsc.2012.06.006
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 595 |
Bernecky C, Cramer P. Struggling to let go: A non-coding RNA directs its own extension and destruction. EMBO Journal. 2013;32(6):771-772. doi:10.1038/emboj.2013.36
View
| DOI
| Download None (ext.)
2013 | Published | Journal Article | IST-REx-ID: 6128 |
Kodama-Namba E, Fenk LA, Bretscher AJ, Gross E, Busch KE, de Bono M. Cross-modulation of homeostatic responses to temperature, oxygen and carbon dioxide in C. elegans. PLoS Genetics. 2013;9(12). doi:10.1371/journal.pgen.1004011
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 6130 |
Chen C, Fenk LA, de Bono M. Efficient genome editing in Caenorhabditis elegans by CRISPR-targeted homologous recombination. Nucleic Acids Research. 2013;41(20). doi:10.1093/nar/gkt805
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Published | Book Chapter | IST-REx-ID: 6132
de Bono M, Schafer WR, Gottschalk A. Optogenetic actuation, inhibition, modulation and readout for neuronal networks generating behavior in the nematode Caenorhabditis elegans. In: Hegemann P, Sigrist S, eds. Optogenetics. Walter de Gruyter; 2013:61-78.
View
2013 | Published | Journal Article | IST-REx-ID: 6133 |
Couto A, Oda S, Nikolaev VO, Soltesz Z, de Bono M. In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor. Proceedings of the National Academy of Sciences. 2013;110(35):E3301-E3310. doi:10.1073/pnas.1217428110
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 6135
Rodriguez M, Snoek LB, de Bono M, Kammenga JE. Worms under stress: C. elegans stress response and its relevance to complex human disease and aging. Trends in Genetics. 2013;29(6):367-374. doi:10.1016/j.tig.2013.01.010
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 12633
Ragettli S, Cortés G, McPhee J, Pellicciotti F. An evaluation of approaches for modelling hydrological processes in high-elevation, glacierized Andean watersheds. Hydrological Processes. 2013;28(23):5674-5695. doi:10.1002/hyp.10055
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 12638 |
Lutz AF, Immerzeel WW, Gobiet A, Pellicciotti F, Bierkens MFP. Comparison of climate change signals in CMIP3 and CMIP5 multi-model ensembles and implications for Central Asian glaciers. Hydrology and Earth System Sciences. 2013;17(9):3661-3677. doi:10.5194/hess-17-3661-2013
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Published | Journal Article | IST-REx-ID: 12639 |
Ragettli S, Pellicciotti F, Bordoy R, Immerzeel WW. Sources of uncertainty in modeling the glaciohydrological response of a Karakoram watershed to climate change. Water Resources Research. 2013;49(9):6048-6066. doi:10.1002/wrcr.20450
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Published | Journal Article | IST-REx-ID: 12640
Immerzeel WW, Pellicciotti F, Bierkens MFP. Rising river flows throughout the twenty-first century in two Himalayan glacierized watersheds. Nature Geoscience. 2013;6(9):742-745. doi:10.1038/ngeo1896
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 12641 |
Heynen M, Pellicciotti F, Carenzo M. Parameter sensitivity of a distributed enhanced temperature-index melt model. Annals of Glaciology. 2013;54(63):311-321. doi:10.3189/2013aog63a537
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Published | Journal Article | IST-REx-ID: 12642 |
Petersen L, Pellicciotti F, Juszak I, Carenzo M, Brock B. Suitability of a constant air temperature lapse rate over an Alpine glacier: Testing the Greuell and Böhm model as an alternative. Annals of Glaciology. 2013;54(63):120-130. doi:10.3189/2013aog63a477
[Published Version]
View
| DOI
| Download Published Version (ext.)