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
A. Rabinovich and S. Rubin, “Interpretations in trees with countably many branches,” presented at the LICS: Symposium on Logic in Computer Science, Dubrovnik, Croatia, 2012.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Published | Conference Paper | IST-REx-ID: 497 | OA
K. Chatterjee, S. Chaubal, and P. Kamath, “Faster algorithms for alternating refinement relations,” presented at the EACSL: European Association for Computer Science Logic, Fontainebleau, France, 2012, vol. 16, pp. 167–182.
[Published Version] View | Files available | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 498 | OA
M. Pickup, D. Field, D. Rowell, and A. Young, “Predicting local adaptation in fragmented plant populations: Implications for restoration genetics,” Evolutionary Applications, vol. 5, no. 8. Wiley-Blackwell, pp. 913–924, 2012.
[Published Version] View | Files available | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 506 | OA
M. K. Sixt, “Cell migration: Fibroblasts find a new way to get ahead,” Journal of Cell Biology, vol. 197, no. 3. Rockefeller University Press, pp. 347–349, 2012.
[Published Version] View | Files available | DOI
 

2012 | Published | Technical Report | IST-REx-ID: 5377 | OA
K. Chatterjee and Y. Velner, Mean-payoff pushdown games. IST Austria, 2012.
[Published Version] View | Files available | DOI
 

2012 | Published | Technical Report | IST-REx-ID: 5378 | OA
K. Chatterjee, S. Chaubal, and P. Kamath, Faster algorithms for alternating refinement relations. IST Austria, 2012.
[Published Version] View | Files available | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 12649 | OA
D. Finger, F. Pellicciotti, M. Konz, S. Rimkus, and P. Burlando, “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, vol. 47, no. 7. American Geophysical Union, 2011.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Published | Book Chapter | IST-REx-ID: 12650
P. Molnar, P. Burlando, and F. Pellicciotti, “Streamflow Trends in Mountainous Regions,” in Encyclopedia of Snow, Ice and Glaciers, 1st ed., V. Singh, P. Singh, and U. Haritashya, Eds. Dordrecht: Springer Nature, 2011, pp. 1084–1089.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 12651 | OA
L. Petersen and F. Pellicciotti, “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, vol. 116, no. D23. American Geophysical Union, 2011.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 12652 | OA
F. Pellicciotti, T. Raschle, T. Huerlimann, M. Carenzo, and P. Burlando, “Transmission of solar radiation through clouds on melting glaciers: A comparison of parameterizations and their impact on melt modelling,” Journal of Glaciology, vol. 57, no. 202. Cambridge University Press, pp. 367–381, 2011.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 1299
H. Eichner, M. A. Jösch, B. Schnell, D. Reiff, and A. Borst, “Internal structure of the fly elementary motion detector,” Neuron, vol. 70, no. 6. Elsevier, pp. 1155–1164, 2011.
View | DOI
 

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

2011 | Published | Journal Article | IST-REx-ID: 8468
D. Lalli et al., “Three-dimensional deuterium-carbon correlation experiments for high-resolution solid-state MAS NMR spectroscopy of large proteins,” Journal of Biomolecular NMR, vol. 51, no. 4. Springer Nature, pp. 477–485, 2011.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 8469
P. Schanda, B. H. Meier, and M. Ernst, “Accurate measurement of one-bond H–X heteronuclear dipolar couplings in MAS solid-state NMR,” Journal of Magnetic Resonance, vol. 210, no. 2. Elsevier, pp. 246–259, 2011.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 8470
M. Huber et al., “A proton-detected 4D solid-state NMR experiment for protein structure determination,” ChemPhysChem, vol. 12, no. 5. Wiley, pp. 915–918, 2011.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 8471
H. Van Melckebeke et al., “Probing water accessibility in HET-s(218–289) amyloid fibrils by solid-state NMR,” Journal of Molecular Biology, vol. 405, no. 3. Elsevier, pp. 765–772, 2011.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 8505
J. Galante and V. Kaloshin, “Destruction of invariant curves in the restricted circular planar three-body problem by using comparison of action,” Duke Mathematical Journal, vol. 159, no. 2. Duke University Press, pp. 275–327, 2011.
View | DOI
 

2011 | Published | Book Chapter | IST-REx-ID: 881
F. Kondrashov, “Gene Dosage and Duplication,” in Evolution after Gene Duplication, Wiley-Blackwell, 2011, pp. 57–76.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 890
E. Koblik et al., “Acrocephalus orinus: A case of Mistaken identity,” PLoS One, vol. 6, no. 4. Public Library of Science, 2011.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 90
A. P. Higginbotham, A. Guillen, N. Jones, T. Donnelly, and A. Bernoff, “Evidence of the harmonic Faraday instability in ultrasonic atomization experiments with a deep, inviscid fluid,” Journal of the Acoustical Society of America, vol. 130, no. 5. Acoustical Society of America, pp. 2694–2699, 2011.
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed