Please note that IST 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.

292 Publications


2011 | Journal Article | IST-REx-ID: 7316
S. A. Freunberger et al., “Reactions in the rechargeable Lithium–O2 battery with alkyl carbonate electrolytes,” Journal of the American Chemical Society, vol. 133, no. 20. ACS, pp. 8040–8047, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7317
L. Trahey et al., “Activated Lithium-Metal-Oxides as catalytic electrodes for Li–O2 cells,” Electrochemical and Solid-State Letters, vol. 14, no. 5. The Electrochemical Society, 2011.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 757
D.-A. Alistarh, S. Gilbert, R. Guerraoui, and C. Travers, “Generating fast indulgent algorithms,” presented at the ICDCN: International Conference on Distributed Computing and Networking, 2011, vol. 6522 LNCS, pp. 41–52.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 759
D.-A. Alistarh, J. Aspnes, S. Gilbert, and R. Guerraoui, “The complexity of renaming,” presented at the FOCS: Foundations of Computer Science, 2011, pp. 718–727.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 760
D.-A. Alistarh and J. Aspnes, “Sub-logarithmic test-and-set against a weak adversary,” presented at the DISC: Distributed Computing, 2011, vol. 6950 LNCS, pp. 97–109.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 761
D.-A. Alistarh, J. Aspnes, K. Censor Hillel, S. Gilbert, and M. Zadimoghaddam, “Optimal-time adaptive strong renaming, with applications to counting,” presented at the PODC: Principles of Distributed Computing, 2011, pp. 239–248.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7701
L. B. J. Sweeney et al., “Secreted semaphorins from degenerating larval ORN axons direct adult projection neuron dendrite targeting,” Neuron, vol. 72, no. 5. Elsevier, pp. 734–747, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7702
Z. Wu et al., “A combinatorial semaphorin code instructs the initial steps of sensory circuit assembly in the Drosophila CNS,” Neuron, vol. 70, no. 2. Elsevier, pp. 281–298, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 7750
M. R. Robinson, “Understanding intrasexual competition and sexual selection requires an evolutionary ecology framework,” Behavioral Ecology, vol. 22, no. 6. Oxford University Press, pp. 1143–1144, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 469 | OA
N. Vyleta and S. Smith, “Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor,” European Journal of Neuroscience, vol. 31, no. 12. Wiley-Blackwell, pp. 4593–4606, 2011.
View | DOI | Download Submitted Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 490 | OA
A. Schlögl, C. Vidaurre, and T. Sander, “BioSig: The free and open source software library for biomedical signal processing,” Computational Intelligence and Neuroscience, vol. 2011. Hindawi Publishing Corporation, 2011.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 491
A. Eichner and M. K. Sixt, “Setting the clock for recirculating lymphocytes,” Science Signaling, vol. 4, no. 198. American Association for the Advancement of Science, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 518 | OA
D. Schraivogel et al., “CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells,” EMBO Journal, vol. 30, no. 20. Wiley-Blackwell, pp. 4309–4322, 2011.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 531 | OA
R. Guerraoui, T. A. Henzinger, and V. Singh, “Verification of STM on relaxed memory models,” Formal Methods in System Design, vol. 39, no. 3. Springer, pp. 297–331, 2011.
View | DOI | Download Published Version (ext.)
 

2011 | Technical Report | IST-REx-ID: 5379 | OA
K. Chatterjee and M. Henzinger, An O(n2) time algorithm for alternating Büchi games. IST Austria, 2011.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5380 | OA
K. Chatterjee, Bounded rationality in concurrent parity games. IST Austria, 2011.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5381 | OA
K. Chatterjee and L. Doyen, Partial-observation stochastic games: How to win when belief fails. IST Austria, 2011.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5382 | OA
K. Chatterjee, Robustness of structurally equivalent concurrent parity games. IST Austria, 2011.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5383 | OA
T. Wies, M. Muñiz, and V. Kuncak, On an efficient decision procedure for imperative tree data structures. IST Austria, 2011.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5384 | OA
K. Chatterjee and M. Tracol, Decidable problems for probabilistic automata on infinite words. IST Austria, 2011.
View | Files available | DOI
 

Filters and Search Terms

year=2011

Search

Filter Publications