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.

7340 Publications


2011 | Technical Report | IST-REx-ID: 5385 | OA
Temporal specifications with accumulative values
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, Temporal Specifications with Accumulative Values, IST Austria, 2011.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5387 | OA
Energy and mean-payoff parity Markov decision processes
K. Chatterjee, L. Doyen, Energy and Mean-Payoff Parity Markov Decision Processes, IST Austria, 2011.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 580
Quantum physics: How to catch a wave
O. Hosten, Nature 474 (2011) 170–171.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 585
Methods towards achieving precise birefringent focusing
D. Schmid, S. Hazrat, R. Rangarajan, O. Hosten, S. Quint, P. Kwiat, in:, OSA, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 586
Raman lasing with a cold atom gain medium in a high-finesse optical cavity
G. Vrijsen, O. Hosten, J. Lee, S. Bernon, M. Kasevich, Physical Review Letters 107 (2011).
View | DOI
 

2011 | Journal Article | IST-REx-ID: 597
Molecular architecture of the human Mediator-RNA polymerase II-TFIIF assembly
C. Bernecky, P. Grob, C. Ebmeier, E. Nogales, D. Taatjes, PLoS Biology 9 (2011).
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7076
Determination of iron sites and the amount of amorphization in radiation-damaged titanite (CaSiTiO5)
E.K.H. Salje, D.J. Safarik, R.D. Taylor, M.P. Pasternak, K.A. Modic, L.A. Groat, J.C. Lashley, Journal of Physics: Condensed Matter 23 (2011).
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7077
The effect of Ag concentration on the structural, electrical and thermal transport behavior of Pb:Te:Ag:Se mixtures and improvement of thermoelectric performance via Cu doping
J. Capps, B. Ma, T. Drye, C. Nucklos, S. Lindsey, D. Rhodes, Q. Zhang, K.A. Modic, S. Cawthorne, F. Drymiotis, Journal of Alloys and Compounds 509 (2011) 1544–1549.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7313
Li–O2 and Li–S batteries with high energy storage
P.G. Bruce, S.A. Freunberger, L.J. Hardwick, J.-M. Tarascon, Nature Materials 11 (2011) 19–29.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 7314
The Lithium-Oxygen battery with ether-based electrolytes
S.A. Freunberger, Y. Chen, N.E. Drewett, L.J. Hardwick, F. Bardé, P.G. Bruce, Angewandte Chemie International Edition 50 (2011) 8609–8613.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7315
Oxygen reactions in a non-aqueous Li+ electrolyte
Z. Peng, S.A. Freunberger, L.J. Hardwick, Y. Chen, V. Giordani, F. Bardé, P. Novák, D. Graham, J.-M. Tarascon, P.G. Bruce, Angewandte Chemie International Edition 50 (2011) 6351–6355.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7316
Reactions in the rechargeable Lithium–O2 battery with alkyl carbonate electrolytes
S.A. Freunberger, Y. Chen, Z. Peng, J.M. Griffin, L.J. Hardwick, F. Bardé, P. Novák, P.G. Bruce, Journal of the American Chemical Society 133 (2011) 8040–8047.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7317
Activated Lithium-Metal-Oxides as catalytic electrodes for Li–O2 cells
L. Trahey, C.S. Johnson, J.T. Vaughey, S.-H. Kang, L.J. Hardwick, S.A. Freunberger, P.G. Bruce, M.M. Thackeray, Electrochemical and Solid-State Letters 14 (2011).
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 757
Generating fast indulgent algorithms
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2011, pp. 41–52.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 759
The complexity of renaming
D.-A. Alistarh, J. Aspnes, S. Gilbert, R. Guerraoui, in:, IEEE, 2011, pp. 718–727.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 760
Sub-logarithmic test-and-set against a weak adversary
D.-A. Alistarh, J. Aspnes, in:, Springer, 2011, pp. 97–109.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 761
Optimal-time adaptive strong renaming, with applications to counting
D.-A. Alistarh, J. Aspnes, K. Censor Hillel, S. Gilbert, M. Zadimoghaddam, in:, ACM, 2011, pp. 239–248.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7701
Secreted semaphorins from degenerating larval ORN axons direct adult projection neuron dendrite targeting
L.B.J. Sweeney, Y.-H. Chou, Z. Wu, W. Joo, T. Komiyama, C.J. Potter, A.L. Kolodkin, K.C. Garcia, L. Luo, Neuron 72 (2011) 734–747.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7702
A combinatorial semaphorin code instructs the initial steps of sensory circuit assembly in the Drosophila CNS
Z. Wu, L.B.J. Sweeney, J.C. Ayoob, K. Chak, B.J. Andreone, T. Ohyama, R. Kerr, L. Luo, M. Zlatic, A.L. Kolodkin, Neuron 70 (2011) 281–298.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7750 View | DOI
 

Search

Filter Publications