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. LICS: Symposium on Logic in Computer Science, LICS, , 6280474.
[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. EACSL: European Association for Computer Science Logic, LIPIcs, vol. 16, 167–182.
[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. 5(8), 913–924.
[Published Version] View | Files available | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 506 | OA
Sixt MK. 2012. Cell migration: Fibroblasts find a new way to get ahead. Journal of Cell Biology. 197(3), 347–349.
[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, 33p.
[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, 21p.
[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. 47(7), W07519.
[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: Encyclopedia of Snow, Ice and Glaciers. Encyclopedia of Earth Sciences Series, , 1084–1089.
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. 116(D23), D23109.
[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. 57(202), 367–381.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 1299
Eichner H, Jösch MA, Schnell B, Reiff D, Borst A. 2011. Internal structure of the fly elementary motion detector. Neuron. 70(6), 1155–1164.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 8464
Schanda P, Huber M, Boisbouvier J, Meier BH, Ernst M. 2011. Solid-state NMR measurements of asymmetric dipolar couplings provide insight into protein side-chain motion. Angewandte Chemie International Edition. 50(46), 11005–11009.
View | Files available | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 8468
Lalli D, Schanda P, Chowdhury A, Retel J, Hiller M, Higman VA, Handel L, Agarwal V, Reif B, van Rossum B, Akbey Ü, Oschkinat H. 2011. Three-dimensional deuterium-carbon correlation experiments for high-resolution solid-state MAS NMR spectroscopy of large proteins. Journal of Biomolecular NMR. 51(4), 477–485.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 8469
Schanda P, Meier BH, Ernst M. 2011. Accurate measurement of one-bond H–X heteronuclear dipolar couplings in MAS solid-state NMR. Journal of Magnetic Resonance. 210(2), 246–259.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 8470
Huber M, Hiller S, Schanda P, Ernst M, Böckmann A, Verel R, Meier BH. 2011. A proton-detected 4D solid-state NMR experiment for protein structure determination. ChemPhysChem. 12(5), 915–918.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 8471
Van Melckebeke H, Schanda P, Gath J, Wasmer C, Verel R, Lange A, Meier BH, Böckmann A. 2011. Probing water accessibility in HET-s(218–289) amyloid fibrils by solid-state NMR. Journal of Molecular Biology. 405(3), 765–772.
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. 159(2), 275–327.
View | DOI
 

2011 | Published | Book Chapter | IST-REx-ID: 881
Kondrashov F. 2011.Gene Dosage and Duplication. In: Evolution after Gene Duplication. , 57–76.
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. 6(4).
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 90
Higginbotham AP, 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. 130(5), 2694–2699.
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed