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.

8924 Publications


2012 | Published | Conference Paper | IST-REx-ID: 496 | OA
Rabinovich, A., & Rubin, S. (2012). Interpretations in trees with countably many branches. Presented at the LICS: Symposium on Logic in Computer Science, Dubrovnik, Croatia: IEEE. https://doi.org/10.1109/LICS.2012.65
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Published | Conference Paper | IST-REx-ID: 497 | OA
Chatterjee, K., Chaubal, S., & Kamath, P. (2012). Faster algorithms for alternating refinement relations (Vol. 16, pp. 167–182). Presented at the EACSL: European Association for Computer Science Logic, Fontainebleau, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2012.167
[Published Version] View | Files available | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 498 | OA
Pickup, M., Field, D., Rowell, D., & Young, A. (2012). Predicting local adaptation in fragmented plant populations: Implications for restoration genetics. Evolutionary Applications. Wiley-Blackwell. https://doi.org/10.1111/j.1752-4571.2012.00284.x
[Published Version] View | Files available | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 506 | OA
Sixt, M. K. (2012). Cell migration: Fibroblasts find a new way to get ahead. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.201204039
[Published Version] View | Files available | DOI
 

2012 | Published | Technical Report | IST-REx-ID: 5377 | OA
Chatterjee, K., & Velner, Y. (2012). Mean-payoff pushdown games. IST Austria. https://doi.org/10.15479/AT:IST-2012-0002
[Published Version] View | Files available | DOI
 

2012 | Published | Technical Report | IST-REx-ID: 5378 | OA
Chatterjee, K., Chaubal, S., & Kamath, P. (2012). Faster algorithms for alternating refinement relations. IST Austria. https://doi.org/10.15479/AT:IST-2012-0001
[Published Version] View | Files available | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 12649 | OA
Finger, D., Pellicciotti, F., Konz, M., Rimkus, S., & Burlando, P. (2011). The value of glacier mass balance, satellite snow cover images, and hourly discharge for improving the performance of a physically based distributed hydrological model. Water Resources Research. American Geophysical Union. https://doi.org/10.1029/2010wr009824
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Published | Book Chapter | IST-REx-ID: 12650
Molnar, P., Burlando, P., & Pellicciotti, F. (2011). Streamflow Trends in Mountainous Regions. In V. Singh, P. Singh, & U. Haritashya (Eds.), Encyclopedia of Snow, Ice and Glaciers (1st ed., pp. 1084–1089). Dordrecht: Springer Nature. https://doi.org/10.1007/978-90-481-2642-2_543
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 12651 | OA
Petersen, L., & Pellicciotti, F. (2011). 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. Journal of Geophysical Research: Atmospheres. American Geophysical Union. https://doi.org/10.1029/2011jd015842
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 12652 | OA
Pellicciotti, F., Raschle, T., Huerlimann, T., Carenzo, M., & Burlando, P. (2011). Transmission of solar radiation through clouds on melting glaciers: A comparison of parameterizations and their impact on melt modelling. Journal of Glaciology. Cambridge University Press. https://doi.org/10.3189/002214311796406013
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 1299
Eichner, H., Jösch, M. A., Schnell, B., Reiff, D., & Borst, A. (2011). Internal structure of the fly elementary motion detector. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2011.03.028
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 8464
Schanda, P., Huber, M., Boisbouvier, J., Meier, B. H., & Ernst, M. (2011). Solid-state NMR measurements of asymmetric dipolar couplings provide insight into protein side-chain motion. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.201103944
View | Files available | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 8468
Lalli, D., Schanda, P., Chowdhury, A., Retel, J., Hiller, M., Higman, V. A., … Oschkinat, H. (2011). Three-dimensional deuterium-carbon correlation experiments for high-resolution solid-state MAS NMR spectroscopy of large proteins. Journal of Biomolecular NMR. Springer Nature. https://doi.org/10.1007/s10858-011-9578-1
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 8469
Schanda, P., Meier, B. H., & Ernst, M. (2011). Accurate measurement of one-bond H–X heteronuclear dipolar couplings in MAS solid-state NMR. Journal of Magnetic Resonance. Elsevier. https://doi.org/10.1016/j.jmr.2011.03.015
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 8470
Huber, M., Hiller, S., Schanda, P., Ernst, M., Böckmann, A., Verel, R., & Meier, B. H. (2011). A proton-detected 4D solid-state NMR experiment for protein structure determination. ChemPhysChem. Wiley. https://doi.org/10.1002/cphc.201100062
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 8471
Van Melckebeke, H., Schanda, P., Gath, J., Wasmer, C., Verel, R., Lange, A., … Böckmann, A. (2011). Probing water accessibility in HET-s(218–289) amyloid fibrils by solid-state NMR. Journal of Molecular Biology. Elsevier. https://doi.org/10.1016/j.jmb.2010.11.004
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 8505
Galante, J., & Kaloshin, V. (2011). Destruction of invariant curves in the restricted circular planar three-body problem by using comparison of action. Duke Mathematical Journal. Duke University Press. https://doi.org/10.1215/00127094-1415878
View | DOI
 

2011 | Published | Book Chapter | IST-REx-ID: 881
Kondrashov, F. (2011). Gene Dosage and Duplication. In Evolution after Gene Duplication (pp. 57–76). Wiley-Blackwell. https://doi.org/10.1002/9780470619902.ch4
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 890
Koblik, E., Red’Kin, Y., Meer, M., Derelle, R., Golenkina, S., Kondrashov, F., & Arkhipov, V. (2011). Acrocephalus orinus: A case of Mistaken identity. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0017716
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 90
Higginbotham, A. P., Guillen, A., Jones, N., Donnelly, T., & Bernoff, A. (2011). Evidence of the harmonic Faraday instability in ultrasonic atomization experiments with a deep, inviscid fluid. Journal of the Acoustical Society of America. Acoustical Society of America. https://doi.org/10.1121/1.3643816
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed