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.
5795 Publications
2012 | Journal Article | IST-REx-ID: 12647 | 
Immerzeel, Walter Willem, et al. “Glaciers as a Proxy to Quantify the Spatial Distribution of Precipitation in the Hunza Basin.” Mountain Research and Development, vol. 32, no. 1, International Mountain Society, 2012, pp. 30–38, doi:10.1659/mrd-journal-d-11-00097.1.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 | Journal Article | IST-REx-ID: 12648 |
Reid, T. D., et al. “Including Debris Cover Effects in a Distributed Model of Glacier Ablation.” Journal of Geophysical Research: Atmospheres, vol. 117, no. D18, D18105, American Geophysical Union, 2012, doi:10.1029/2012jd017795.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 | Conference Paper | IST-REx-ID: 1384 |
Beyer, Dirk, et al. “Conditional Model Checking: A Technique to Pass Information between Verifiers.” Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, 57, ACM, 2012, doi:10.1145/2393596.2393664.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 1472 |
De Cataldo, Mark, et al. “Topology of Hitchin Systems and Hodge Theory of Character Varieties: The Case A 1.” Annals of Mathematics, vol. 175, no. 3, Princeton University Press, 2012, pp. 1329–407, doi:10.4007/annals.2012.175.3.7.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 1471 |
Hausel, Tamás, and Christian Pauly. “Prym Varieties of Spectral Covers.” Geometry and Topology, vol. 16, no. 3, University of Warwick, 2012, pp. 1609–38, doi:10.2140/gt.2012.16.1609.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 171 |
Browning, Timothy D., and Stephan Baier. “Inhomogeneous Cubic Congruences and Rational Points on Del Pezzo Surfaces.” Journal Fur Die Reine Und Angewandte Mathematik, vol. 2013, no. 680, Walter de Gruyter, 2012, pp. 1–65, doi:https://doi.org/10.1515/crelle.2012.039.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 1757 |
Zhang, Jianjun, et al. “Monolithic Growth of Ultrathin Ge Nanowires on Si(001) .” Physical Review Letters, vol. 109, no. 8, American Physical Society, 2012, doi:10.1103/PhysRevLett.109.085502.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 1758 |
Lee, Eduardo, et al. “Zero-Bias Anomaly in a Nanowire Quantum Dot Coupled to Superconductors.” Physical Review Letters, vol. 109, no. 18, American Physical Society, 2012, doi:10.1103/PhysRevLett.109.186802.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 1756 |
Mongillo, Massimo, et al. “Multifunctional Devices and Logic Gates with Undoped Silicon Nanowires.” Nano Letters, vol. 12, no. 6, American Chemical Society, 2012, pp. 3074–79, doi:10.1021/nl300930m.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 1783 |
Mlynek, Jonas, et al. “Demonstrating W-Type Entanglement of Dicke States in Resonant Cavity Quantum Electrodynamics.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 86, no. 5, American Physical Society, 2012, doi:10.1103/PhysRevA.86.053838.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 1782 |
Pechal, M., et al. “Geometric Phase and Nonadiabatic Effects in an Electronic Harmonic Oscillator.” Physical Review Letters, vol. 108, no. 17, American Physical Society, 2012, doi:10.1103/PhysRevLett.108.170401.
View
| DOI
| Download (ext.)
2012 | Conference Paper | IST-REx-ID: 2048 |
Faust, Sebastian, et al. “Practical Leakage-Resilient Symmetric Cryptography.” Conference Proceedings CHES 2012, vol. 7428, Springer, 2012, pp. 213–32, doi:10.1007/978-3-642-33027-8_13.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Conference Paper | IST-REx-ID: 2049 |
Heyse, Stefan, et al. “Lapin: An Efficient Authentication Protocol Based on Ring-LPN.” Conference Proceedings FSE 2012, vol. 7549, Springer, 2012, pp. 346–65, doi:10.1007/978-3-642-34047-5_20.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 2125 |
Hairer, Martin, and Jan Maas. “A Spatial Version of the Itô-Stratonovich Correction.” Annals of Probability, vol. 40, no. 4, Institute of Mathematical Statistics, 2012, pp. 1675–714, doi:10.1214/11-AOP662.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2127 |
Erbar, Matthias, and Jan Maas. “Ricci Curvature of Finite Markov Chains via Convexity of the Entropy.” Archive for Rational Mechanics and Analysis, vol. 206, no. 3, Springer, 2012, pp. 997–1038, doi:10.1007/s00205-012-0554-z.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2128 |
Maas, Jan, et al. “Whitney Coverings and the Tent Spaces T 1,q (γ) for the Gaussian Measure.” Arkiv För Matematik, vol. 50, no. 2, Springer, 2012, pp. 379–95, doi:10.1007/s11512-010-0143-z.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2203 |
Lemeshko, Mikhail, and Břetislav Friedrich. “Interaction between Polar Molecules Subject to a Far-off-Resonant Optical Field: Entangled Dipoles up- or down-Holding Each Other.” Molecular Physics, vol. 110, no. 15–16, Taylor & Francis, 2012, pp. 1873–81, doi:10.1080/00268976.2012.689868.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2201 |
Lemeshko, Mikhail, et al. “Nonadiabatic Preparation of Spin Crystals with Ultracold Polar Molecules.” Physical Review Letters, vol. 109, no. 3, American Physical Society, 2012, doi:10.1103/PhysRevLett.109.035301.
View
| Files available
| DOI
| Download None (ext.)
2012 | Journal Article | IST-REx-ID: 2202 |
Alyabyshev, Sergey, et al. “Sensitive Imaging of Electromagnetic Fields with Paramagnetic Polar Molecules.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 86, no. 1, American Physical Society, 2012, doi:10.1103/PhysRevA.86.013409.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2263 |
Liang, Huixuan, et al. “A Nestin-Cre Transgenic Mouse Is Insufficient for Recombination in Early Embryonic Neural Progenitors.” Biology Open, vol. 1, no. 12, The Company of Biologists, 2012, pp. 1200–03, doi:10.1242/bio.20122287.
[Published Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2267 |
Preiner, Reinhold, et al. Auto Splats: Dynamic Point Cloud Visualization on the GPU. Eurographics Association, 2012, pp. 139–48, doi:10.2312/EGPGV/EGPGV12/139-148.
[Submitted Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2268 |
Auzinger, Thomas, et al. Analytic Anti-Aliasing of Linear Functions on Polytopes. Vol. 31, no. 121, Wiley-Blackwell, 2012, pp. 335–44, doi:http://dx.doi.org/10.1111/j.1467-8659.2012.03012.x.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2318 |
Seiringer, Robert. “Absence of Bound States Implies Non-Negativity of the Scattering Length.” Journal of Spectral Theory, vol. 2, no. 3, European Mathematical Society, 2012, pp. 321–28, doi:10.4171/JST/31.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Conference Paper | IST-REx-ID: 2317 |
Frank, Rupert, et al. Microscopic Derivation of the Ginzburg-Landau Model. World Scientific Publishing, 2012, pp. 575–83, doi:10.1142/9789814449243_0060.
View
| DOI
| Download (ext.)
2012 | Conference Paper | IST-REx-ID: 2316 |
Frank, Rupert, et al. Ground State Properties of Multi-Polaron Systems. World Scientific Publishing, 2012, pp. 477–85, doi:10.1142/9789814449243_0045.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2395 |
Frank, Rupert, et al. “Microscopic Derivation of Ginzburg-Landau Theory.” Journal of the American Mathematical Society, vol. 25, no. 3, American Mathematical Society, 2012, pp. 667–713, doi:10.1090/S0894-0347-2012-00735-8.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2396 |
Landon, Benjamin, and Robert Seiringer. “The Scattering Length at Positive Temperature.” Letters in Mathematical Physics, vol. 100, no. 3, Springer, 2012, pp. 237–43, doi:10.1007/s11005-012-0566-5.
View
| DOI
| Download (ext.)
2012 | Book Review | IST-REx-ID: 2398 |
Jakšić, Vojkan, et al. “Quantum Hypothesis Testing and Non-Equilibrium Statistical Mechanics.” Reviews in Mathematical Physics, vol. 24, no. 6, World Scientific Publishing, 2012, doi:10.1142/S0129055X12300026.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2397 |
Hainzl, Christian, and Robert Seiringer. “Low Density Limit of BCS Theory and Bose-Einstein Condensation of Fermion Pairs.” Letters in Mathematical Physics, vol. 100, no. 2, Springer, 2012, pp. 119–38, doi:10.1007/s11005-011-0535-4.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2400 |
Frank, Rupert, et al. “Binding of Polarons and Atoms at Threshold.” Communications in Mathematical Physics, vol. 313, no. 2, Springer, 2012, pp. 405–24, doi:10.1007/s00220-012-1436-9.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2403 |
Seiringer, Robert, et al. “Disordered Bose-Einstein Condensates with Interaction in One Dimension.” Journal of Statistical Mechanics Theory and Experiment, vol. 2012, no. 11, IOP Publishing Ltd., 2012, doi:10.1088/1742-5468/2012/11/P11007.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2402 |
Frank, Rupert, and Robert Seiringer. “Lieb-Thirring Inequality for a Model of Particles with Point Interactions.” Journal of Mathematical Physics, vol. 53, no. 9, American Institute of Physics, 2012, doi:10.1063/1.3697416.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2401 |
Lieb, Élliott, and Robert Seiringer. “Further Implications of the Bessis-Moussa-Villani Conjecture.” Journal of Statistical Physics, vol. 149, no. 1, Springer, 2012, pp. 86–91, doi:10.1007/s10955-012-0585-8.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2411 |
Ebersberger, Ingo, et al. “A Consistent Phylogenetic Backbone for the Fungi.” Molecular Biology and Evolution, vol. 29, no. 5, Oxford University Press, 2012, pp. 1319–34, doi:10.1093/molbev/msr285.
[Published Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 242 |
Baier, Stephan, et al. “Averages of Shifted Convolutions of D3 (N).” Proceedings of the Edinburgh Mathematical Society, vol. 55, no. 3, Cambridge University Press, 2012, pp. 551–76, doi:10.1017/S001309151100037X.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 244 |
Browning, Timothy D., and Alan Haynes. “Incomplete Kloosterman Sums and Multiplicative Inverses in Short Intervals.” International Journal of Number Theory, vol. 9, no. 2, World Scientific Publishing, 2012, pp. 481–86, doi: https://doi.org/10.1142/S1793042112501448.
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2459 |
Zwiewka, Marta, and Jiří Friml. “Fluorescence Imaging-Based Forward Genetic Screens to Identify Trafficking Regulators in Plants.” Frontiers in Plant Science, vol. 3, no. May, 97, Frontiers Research Foundation, 2012, doi:10.3389/fpls.2012.00097.
[Published Version]
View
| Files available
| DOI
2012 | Preprint | IST-REx-ID: 2696 |
Erdös, László. “Universality for Random Matrices and Log-Gases.” ArXiv, ArXiv, 2012.
View
| Download (ext.)
2012 | Conference Paper | IST-REx-ID: 2700 |
Erdös, László. Lecture Notes on Quantum Brownian Motion. Vol. 95, Oxford University Press, 2012, pp. 3–98.
View
| Download (ext.)
2012 | Conference Paper | IST-REx-ID: 2715 |
Chatterjee, Krishnendu, et al. Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives. Vol. 18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 461–73, doi:10.4230/LIPIcs.FSTTCS.2012.461.
[Published Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2848 |
Chatterjee, Krishnendu, et al. “Evolutionary Game Dynamics in Populations with Different Learners.” Journal of Theoretical Biology, vol. 301, Elsevier, 2012, pp. 161–73, doi:10.1016/j.jtbi.2012.02.021.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 2849 |
Edelsbrunner, Herbert, and Nataliya Strelkova. “On the Configuration Space of Steiner Minimal Trees.” Russian Mathematical Surveys, vol. 67, no. 6, IOP Publishing Ltd., 2012, pp. 1167–68, doi:10.1070/RM2012v067n06ABEH004820.
[Submitted Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2875 |
Bielach, Agnieszka, et al. “Genetic Approach towards the Identification of Auxin - Cytokinin Crosstalk Components Involved in Root Development.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 367, no. 1595, Royal Society, The, 2012, pp. 1469–78, doi:10.1098/rstb.2011.0233.
View
| DOI
| Download (ext.)
2012 | Conference Paper | IST-REx-ID: 2891 |
Boker, Udi, and Thomas A. Henzinger. “Approximate Determinization of Quantitative Automata.” Leibniz International Proceedings in Informatics, vol. 18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 362–73, doi:10.4230/LIPIcs.FSTTCS.2012.362.
[Published Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2903 |
Edelsbrunner, Herbert, and Olga Symonova. The Adaptive Topology of a Digital Image. IEEE, 2012, pp. 41–48, doi:10.1109/ISVD.2012.11.
[Submitted Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2916 |
Cerny, Pavol, et al. “Interface Simulation Distances.” Electronic Proceedings in Theoretical Computer Science, vol. 96, EPTCS, 2012, pp. 29–42, doi:10.4204/EPTCS.96.3.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2012 | Conference Paper | IST-REx-ID: 2930 |
Huber, Anna, and Vladimir Kolmogorov. Towards Minimizing K-Submodular Functions. Vol. 7422, Springer, 2012, pp. 451–62, doi:10.1007/978-3-642-32147-4_40.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Preprint | IST-REx-ID: 2928 |
Kolmogorov, Vladimir, and Thomas Schoenemann. “Generalized Sequential Tree-Reweighted Message Passing.” ArXiv, ArXiv, 2012.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2012 | Report | IST-REx-ID: 2929 |
Kolmogorov, Vladimir. The Power of Linear Programming for Valued CSPs: A Constructive Characterization. Unknown, 2012.
View
| Download (ext.)
2012 | Conference Paper | IST-REx-ID: 2937 |
Almeida, José, et al. “Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols.” Proceedings of the 2012 ACM Conference on Computer and Communications Security, ACM, 2012, pp. 488–500, doi:10.1145/2382196.2382249.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)