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.
1752 Publications
2010 | Published | Journal Article | IST-REx-ID: 9146 | 
O’Gorman PA, Muller CJ. 2010. How closely do changes in surface and column water vapor follow Clausius–Clapeyron scaling in climate change simulations? Environmental Research Letters. 5(2), 025207.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 755
Alistarh D-A, Gilbert S, Guerraoui R, Zadimoghaddam M. 2010. How efficient can gossip be? (On the cost of resilient information exchange). ICALP: International Colloquium on Automota, Languages and Programming, LNCS, vol. 6199 LNCS, 115–126.
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 10908 |
Blanc R, Henzinger TA, Hottelier T, Kovács L. 2010. ABC: Algebraic Bound Computation for loops. Logic for Programming, Artificial Intelligence, and Reasoning. LPAR: Conference on Logic for Programming, Artificial Intelligence and ReasoningLNCS vol. 6355, 103–118.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 11754
Lang SB, Lashley JC, Modic KA, Fisher RA, Zhu WM, Ye ZG. 2010. Specific heat of a ferroelectric PZT ceramic at the morphotropic phase boundary. 15th IEEE Mediterranean Electrotechnical Conference. MELECON: Mediterranean Electrotechnical Conference, 5476345.
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 11797 |
Feldman J, Henzinger MH, Korula N, Mirrokni VS, Stein C. 2010. Online stochastic packing applied to display ad allocation. 18th Annual European Symposium on Algorithms. ESA: European Symposium on Algorithms, LNCS, vol. 6346, 182–194.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Published | Journal Article | IST-REx-ID: 1465 |
Hausel T. 2010. Kac’s conjecture from Nakajima quiver varieties. Inventiones Mathematicae. 181(1), 21–37.
View
| DOI
| Download (ext.)
2010 | Published | Journal Article | IST-REx-ID: 7078 |
Salje EKH, Safarik DJ, Modic KA, Gubernatis JE, Cooley JC, Taylor RD, Mihaila B, Saxena A, Lookman T, Smith JL, Fisher RA, Pasternak M, Opeil CP, Siegrist T, Littlewood PB, Lashley JC. 2010. Tin telluride: A weakly co-elastic metal. Physical Review B. 82(18), 184112.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Published | Conference Paper | IST-REx-ID: 2978 |
Bangerter E, Camenisch J, Krenn S. 2010. Efficiency Limitations for Σ-Protocols for Group Homomorphisms. TCC: Theory of Cryptography Conference, LNCS, vol. 5978, 553–571.
View
| DOI
| Download (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 2979 |
Almeida J, Bangerter E, Barbosa M, Krenn S, Sadeghi A, Schneider T. 2010. A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols. ESORICS: European Symposium on Research in Computer Security, LNCS, vol. 6345, 151–167.
View
| DOI
| Download (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 2980 |
Bangerter E, Briner T, Henecka W, Krenn S, Sadeghi A, Schneider T. 2010. Automatic Generation of Sigma-Protocols. EuroPKI: Public Key Infrastructures, Services and Applications, LNCS, vol. 6391, 67–82.
View
| DOI
| Download (ext.)
2010 | Published | Journal Article | IST-REx-ID: 3068
Růžička K, Strader L, Bailly A, Yang H, Blakeslee J, Łangowski Ł, Nejedlá E, Fujita H, Itoh H, Syōno K, Hejátko J, Gray W, Martinoia E, Geisler M, Bartel B, Murphy A, Friml J. 2010. Arabidopsis PIS1 encodes the ABCG37 transporter of auxinic compounds including the auxin precursor indole 3 butyric acid. PNAS. 107(23), 10749–10753.
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3201
Vicente S, Kolmogorov V, Rother C. 2010. Cosegmentation revisited: Models and optimization. ECCV: European Conference on Computer Vision, LNCS, vol. 6312, 465–479.
View
| DOI
| Download (ext.)