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.

10945 Publications


2012 | Published | Journal Article | IST-REx-ID: 2202 | OA
Alyabyshev S, Lemeshko M, Krems R. 2012. Sensitive imaging of electromagnetic fields with paramagnetic polar molecules. Physical Review A - Atomic, Molecular, and Optical Physics. 86(1).
View | DOI | Download (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 2203 | OA
Lemeshko M, Friedrich B. 2012. Interaction between polar molecules subject to a far-off-resonant optical field: Entangled dipoles up- or down-holding each other. Molecular Physics. 110(15–16), 1873–1881.
View | DOI | Download (ext.)
 

2012 | Published | Conference Paper | IST-REx-ID: 6746
Mondelli M, Zhou Q, Ma X, Lottici V. 2012. A cooperative approach for amplify-and-forward differential transmitted reference IR-UWB relay systems. 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). ICASSP: International Conference on Acoustics, Speech and Signal Processing, 2905–2908.
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 7074
Lukas KC, Joshi G, Modic KA, Ren ZF, Opeil CP. 2012. Thermoelectric properties of Ho-doped Bi0.88Sb0.12. Journal of Materials Science. 47(15), 5729–5734.
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 7308
Ottakam Thotiyl MM, Freunberger SA, Peng Z, Bruce PG. 2012. The carbon electrode in nonaqueous Li–O2 cells. Journal of the American Chemical Society. 135(1), 494–500.
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 7309
Choi N-S, Chen Z, Freunberger SA, Ji X, Sun Y-K, Amine K, Yushin G, Nazar LF, Cho J, Bruce PG. 2012. Challenges facing Lithium batteries and electrical double-layer capacitors. Angewandte Chemie International Edition. 51(40), 9994–10024.
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 7310
Peng Z, Freunberger SA, Chen Y, Bruce PG. 2012. A reversible and higher-rate Li-O2 battery. Science. 337(6094), 563–566.
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 7311
Chen Y, Freunberger SA, Peng Z, Bardé F, Bruce PG. 2012. Li–O2 battery with a dimethylformamide electrolyte. Journal of the American Chemical Society. 134(18), 7952–7957.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 3155 | OA
Delahaye B, Fahrenberg U, Henzinger TA, Legay A, Nickovic D. 2012. Synchronous interface theories and time triggered scheduling. FORTE: Formal Techniques for Networked and Distributed Systems & FMOODS: Formal Methods for Open Object-Based Distributed Systems , LNCS, vol. 7273, 203–218.
[Submitted Version] View | Files available | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 3162 | OA
Asarin E, Donzé A, Maler O, Nickovic D. 2012. Parametric identification of temporal properties. RV: Runtime Verification, LNCS, vol. 7186, 147–160.
[Submitted Version] View | Files available | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 3241
Pietrzak KZ, Wikström D. 2012. Parallel repetition of computationally sound protocols revisited. Journal of Cryptology. 25(1), 116–135.
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 3243 | OA
Danowski P. 2012. Zwischen Technologie und Information. Büchereiperspektiven. 2012(1), 11.
[Published Version] View | Download Published Version (ext.)
 

2012 | Published | Conference Paper | IST-REx-ID: 3250
Pietrzak KZ. 2012. Cryptography from learning parity with noise. SOFSEM: Current Trends in Theory and Practice of Computer Science, LNCS, vol. 7147, 99–114.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 3253
Bouajjani A, Dragoi C, Enea C, Sighireanu M. 2012. Abstract domains for automated reasoning about list manipulating programs with infinite data. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 7148, 1–22.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 3265
Ion A, Carreira J, Sminchisescu C. 2012. Image segmentation by figure-ground composition into maximal cliques. ICCV: International Conference on Computer Vision, 6126486.
View | DOI
 

2012 | Published | Book Chapter | IST-REx-ID: 3277
de Vladar H, Chela Flores J. 2012.Can the evolution of multicellularity be anticipated in the exploration of the solar system? In: Life on Earth and other planetary bodies. Cellular Origin, Life in Extreme Habitats and Astrobiology, vol. 24, 387–405.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 3281
Pietrzak KZ, Rosen A, Segev G. 2012. Lossy functions do not amplify well. TCC: Theory of Cryptography Conference, LNCS, vol. 7194, 458–475.
View | DOI | Download None (ext.)
 

2012 | Published | Conference Paper | IST-REx-ID: 3284 | OA
Kolmogorov V, Živný S. 2012. The complexity of conservative valued CSPs. SODA: Symposium on Discrete Algorithms, 750–759.
View | Download (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 330
Shavel A, Cadavid D, Ibáñez M, Carrete A, Cabot A. 2012. Continuous production of Cu inf 2 inf ZnSnS inf 4 inf nanocrystals in a flow reactor. Journal of the American Chemical Society. 134(3), 1438–1441.
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 338
Ibáñez M, Zamani R, Li W, Shavel A, Arbiol J, Morante J, Cabot A. 2012. Extending the nanocrystal synthesis control to quaternary compositions. Crystal Growth and Design . 12(3), 1085–1090.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed