ISTA Research Explorer

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

Search / Filter

2012 | Published | Conference Paper | IST-REx-ID: 496 |

Rabinovich A, Rubin S. Interpretations in trees with countably many branches. In: IEEE; 2012. doi:10.1109/LICS.2012.65

[Preprint] View | DOI | Download Preprint (ext.)

2012 | Published | Conference Paper | IST-REx-ID: 497 |

Chatterjee K, Chaubal S, Kamath P. Faster algorithms for alternating refinement relations. In: Vol 16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2012:167-182. doi:10.4230/LIPIcs.CSL.2012.167

[Published Version] View | Files available | DOI

2012 | Published | Journal Article | IST-REx-ID: 498 |

Pickup M, Field D, Rowell D, Young A. Predicting local adaptation in fragmented plant populations: Implications for restoration genetics. Evolutionary Applications. 2012;5(8):913-924. doi:10.1111/j.1752-4571.2012.00284.x

[Published Version] View | Files available | DOI

2012 | Published | Journal Article | IST-REx-ID: 506 |

Sixt MK. Cell migration: Fibroblasts find a new way to get ahead. Journal of Cell Biology. 2012;197(3):347-349. doi:10.1083/jcb.201204039

[Published Version] View | Files available | DOI

2012 | Published | Technical Report | IST-REx-ID: 5377 |

Chatterjee K, Velner Y. Mean-Payoff Pushdown Games. IST Austria; 2012. doi:10.15479/AT:IST-2012-0002

[Published Version] View | Files available | DOI

2012 | Published | Technical Report | IST-REx-ID: 5378 |

Chatterjee K, Chaubal S, Kamath P. Faster Algorithms for Alternating Refinement Relations. IST Austria; 2012. doi:10.15479/AT:IST-2012-0001

[Published Version] View | Files available | DOI

2011 | Published | Journal Article | IST-REx-ID: 12649 |

Finger D, Pellicciotti F, Konz M, Rimkus S, Burlando P. 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. 2011;47(7). doi: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. Streamflow Trends in Mountainous Regions. In: Singh V, Singh P, Haritashya U, eds. Encyclopedia of Snow, Ice and Glaciers. 1st ed. Dordrecht: Springer Nature; 2011:1084-1089. doi:10.1007/978-90-481-2642-2_543

View | DOI

2011 | Published | Journal Article | IST-REx-ID: 12651 |

Petersen L, Pellicciotti F. 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. 2011;116(D23). doi:10.1029/2011jd015842

[Published Version] View | DOI | Download Published Version (ext.)

2011 | Published | Journal Article | IST-REx-ID: 12652 |

Pellicciotti F, Raschle T, Huerlimann T, Carenzo M, Burlando P. Transmission of solar radiation through clouds on melting glaciers: A comparison of parameterizations and their impact on melt modelling. Journal of Glaciology. 2011;57(202):367-381. doi:10.3189/002214311796406013

[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. Internal structure of the fly elementary motion detector. Neuron. 2011;70(6):1155-1164. doi:10.1016/j.neuron.2011.03.028

View | DOI

2011 | Published | Journal Article | IST-REx-ID: 8464

Schanda P, Huber M, Boisbouvier J, Meier BH, Ernst M. Solid-state NMR measurements of asymmetric dipolar couplings provide insight into protein side-chain motion. Angewandte Chemie International Edition. 2011;50(46):11005-11009. doi:10.1002/anie.201103944

View | Files available | DOI

2011 | Published | Journal Article | IST-REx-ID: 8468

Lalli D, Schanda P, Chowdhury A, et al. Three-dimensional deuterium-carbon correlation experiments for high-resolution solid-state MAS NMR spectroscopy of large proteins. Journal of Biomolecular NMR. 2011;51(4):477-485. doi:10.1007/s10858-011-9578-1

View | DOI

2011 | Published | Journal Article | IST-REx-ID: 8469

Schanda P, Meier BH, Ernst M. Accurate measurement of one-bond H–X heteronuclear dipolar couplings in MAS solid-state NMR. Journal of Magnetic Resonance. 2011;210(2):246-259. doi:10.1016/j.jmr.2011.03.015

View | DOI

2011 | Published | Journal Article | IST-REx-ID: 8470

Huber M, Hiller S, Schanda P, et al. A proton-detected 4D solid-state NMR experiment for protein structure determination. ChemPhysChem. 2011;12(5):915-918. doi:10.1002/cphc.201100062

View | DOI

2011 | Published | Journal Article | IST-REx-ID: 8471

Van Melckebeke H, Schanda P, Gath J, et al. Probing water accessibility in HET-s(218–289) amyloid fibrils by solid-state NMR. Journal of Molecular Biology. 2011;405(3):765-772. doi:10.1016/j.jmb.2010.11.004

View | DOI

2011 | Published | Journal Article | IST-REx-ID: 8505

Galante J, Kaloshin V. Destruction of invariant curves in the restricted circular planar three-body problem by using comparison of action. Duke Mathematical Journal. 2011;159(2):275-327. doi:10.1215/00127094-1415878

View | DOI

2011 | Published | Book Chapter | IST-REx-ID: 881

Kondrashov F. Gene Dosage and Duplication. In: Evolution after Gene Duplication. Wiley-Blackwell; 2011:57-76. doi:10.1002/9780470619902.ch4

View | DOI

2011 | Published | Journal Article | IST-REx-ID: 890

Koblik E, Red’Kin Y, Meer M, et al. Acrocephalus orinus: A case of Mistaken identity. PLoS One. 2011;6(4). doi:10.1371/journal.pone.0017716

View | DOI

2011 | Published | Journal Article | IST-REx-ID: 90

Higginbotham AP, Guillen A, Jones N, Donnelly T, Bernoff A. Evidence of the harmonic Faraday instability in ultrasonic atomization experiments with a deep, inviscid fluid. Journal of the Acoustical Society of America. 2011;130(5):2694-2699. doi:10.1121/1.3643816

View | DOI | PubMed | Europe PMC