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 | OA
J. Porsche, Initiatives and projects related to RD. IST Austria, 2013.
[Published Version] View | Files available
 

2013 | Published | Technical Report | IST-REx-ID: 5402 | OA
T. A. Henzinger and A. Sezgin, How free is your linearizable concurrent data structure? IST Austria, 2013.
[Published Version] View | Files available | DOI
 

2013 | Published | Technical Report | IST-REx-ID: 5403 | OA
K. Chatterjee and R. Ibsen-Jensen, Qualitative analysis of concurrent mean-payoff games. IST Austria, 2013.
[Published Version] View | Files available | DOI
 

2013 | Published | Report | IST-REx-ID: 5407 | OA
J. Porsche, Technical requirements and features. IST Austria, 2013.
[Published Version] View | Files available
 

2013 | Published | Technical Report | IST-REx-ID: 5409 | OA
K. Chatterjee, R. Ibsen-Jensen, and R. Majumdar, Edit distance for timed automata. IST Austria, 2013.
[Published Version] View | Files available | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 590
D. Schmid, T. Huang, R. Dirks, O. Hosten, and P. Kwiat, “Polarization dependent focusing,” presented at the QIM: Quantum Information and Measurement, 2013.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 591
D. Schmid et al., “Adjustable and robust methods for polarization-dependent focusing,” Optics Express, vol. 21, no. 13. Optical Society of America, pp. 15538–15552, 2013.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 5920
C. J. Hillar and A. Martin del Campo Sanchez, “Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals,” Journal of Symbolic Computation, vol. 50. Elsevier, pp. 314–334, 2013.
View | Files available | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 595 | OA
C. Bernecky and P. Cramer, “Struggling to let go: A non-coding RNA directs its own extension and destruction,” EMBO Journal, vol. 32, no. 6. Wiley-Blackwell, pp. 771–772, 2013.
View | DOI | Download None (ext.)
 

2013 | Published | Journal Article | IST-REx-ID: 6128 | OA
E. Kodama-Namba, L. A. Fenk, A. J. Bretscher, E. Gross, K. E. Busch, and M. de Bono, “Cross-modulation of homeostatic responses to temperature, oxygen and carbon dioxide in C. elegans,” PLoS Genetics, vol. 9, no. 12. Public Library of Science (PLoS), 2013.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Published | Journal Article | IST-REx-ID: 6130 | OA
C. Chen, L. A. Fenk, and M. de Bono, “Efficient genome editing in Caenorhabditis elegans by CRISPR-targeted homologous recombination,” Nucleic Acids Research, vol. 41, no. 20. Oxford University Press, 2013.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Published | Book Chapter | IST-REx-ID: 6132
M. de Bono, W. R. Schafer, and A. Gottschalk, “Optogenetic actuation, inhibition, modulation and readout for neuronal networks generating behavior in the nematode Caenorhabditis elegans,” in Optogenetics, P. Hegemann and S. Sigrist, Eds. Walter de Gruyter, 2013, pp. 61–78.
View
 

2013 | Published | Journal Article | IST-REx-ID: 6133 | OA
A. Couto, S. Oda, V. O. Nikolaev, Z. Soltesz, and M. de Bono, “In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor,” Proceedings of the National Academy of Sciences, vol. 110, no. 35. Proceedings of the National Academy of Sciences, pp. E3301–E3310, 2013.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Published | Journal Article | IST-REx-ID: 6135
M. Rodriguez, L. B. Snoek, M. de Bono, and J. E. Kammenga, “Worms under stress: C. elegans stress response and its relevance to complex human disease and aging,” Trends in Genetics, vol. 29, no. 6. Elsevier, pp. 367–374, 2013.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 12633
S. Ragettli, G. Cortés, J. McPhee, and F. Pellicciotti, “An evaluation of approaches for modelling hydrological processes in high-elevation, glacierized Andean watersheds,” Hydrological Processes, vol. 28, no. 23. Wiley, pp. 5674–5695, 2013.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 12638 | OA
A. F. Lutz, W. W. Immerzeel, A. Gobiet, F. Pellicciotti, and M. F. P. Bierkens, “Comparison of climate change signals in CMIP3 and CMIP5 multi-model ensembles and implications for Central Asian glaciers,” Hydrology and Earth System Sciences, vol. 17, no. 9. Copernicus GmbH, pp. 3661–3677, 2013.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Published | Journal Article | IST-REx-ID: 12639 | OA
S. Ragettli, F. Pellicciotti, R. Bordoy, and W. W. Immerzeel, “Sources of uncertainty in modeling the glaciohydrological response of a Karakoram watershed to climate change,” Water Resources Research, vol. 49, no. 9. American Geophysical Union, pp. 6048–6066, 2013.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Published | Journal Article | IST-REx-ID: 12640
W. W. Immerzeel, F. Pellicciotti, and M. F. P. Bierkens, “Rising river flows throughout the twenty-first century in two Himalayan glacierized watersheds,” Nature Geoscience, vol. 6, no. 9. Springer Nature, pp. 742–745, 2013.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 12641 | OA
M. Heynen, F. Pellicciotti, and M. Carenzo, “Parameter sensitivity of a distributed enhanced temperature-index melt model,” Annals of Glaciology, vol. 54, no. 63. International Glaciological Society, pp. 311–321, 2013.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Published | Journal Article | IST-REx-ID: 12642 | OA
L. Petersen, F. Pellicciotti, I. Juszak, M. Carenzo, and B. Brock, “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, vol. 54, no. 63. International Glaciological Society, pp. 120–130, 2013.
[Published Version] View | DOI | Download Published Version (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed