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.

8919 Publications


2011 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | Journal Article | IST-REx-ID: 7701
Secreted semaphorins from degenerating larval ORN axons direct adult projection neuron dendrite targeting
L.B. 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 | Published | 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. 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 | Published | Journal Article | IST-REx-ID: 7750
Understanding intrasexual competition and sexual selection requires an evolutionary ecology framework
M.R. Robinson, Behavioral Ecology 22 (2011) 1143–1144.
View | DOI
 

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

2011 | Published | Journal Article | IST-REx-ID: 490 | OA
BioSig: The free and open source software library for biomedical signal processing
A. Schlögl, C. Vidaurre, T. Sander, Computational Intelligence and Neuroscience 2011 (2011).
[Published Version] View | Files available | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 491
Setting the clock for recirculating lymphocytes
A. Eichner, M.K. Sixt, Science Signaling 4 (2011).
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 518 | OA
CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells
D. Schraivogel, L. Weinmann, D. Beier, G. Tabatabai, A. Eichner, J. Zhu, M. Anton, M.K. Sixt, M. Weller, C. Beier, G. Meister, EMBO Journal 30 (2011) 4309–4322.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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

2011 | Published | Technical Report | IST-REx-ID: 5379 | OA
An O(n2) time algorithm for alternating Büchi games
K. Chatterjee, M.H. Henzinger, An O(N2) Time Algorithm for Alternating Büchi Games, IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Published | Technical Report | IST-REx-ID: 5380 | OA
Bounded rationality in concurrent parity games
K. Chatterjee, Bounded Rationality in Concurrent Parity Games, IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Published | Technical Report | IST-REx-ID: 5381 | OA
Partial-observation stochastic games: How to win when belief fails
K. Chatterjee, L. Doyen, Partial-Observation Stochastic Games: How to Win When Belief Fails, IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Published | Technical Report | IST-REx-ID: 5382 | OA
Robustness of structurally equivalent concurrent parity games
K. Chatterjee, Robustness of Structurally Equivalent Concurrent Parity Games, IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Published | Technical Report | IST-REx-ID: 5383 | OA
On an efficient decision procedure for imperative tree data structures
T. Wies, M. Muñiz, V. Kuncak, On an Efficient Decision Procedure for Imperative Tree Data Structures, IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Published | Technical Report | IST-REx-ID: 5384 | OA
Decidable problems for probabilistic automata on infinite words
K. Chatterjee, M. Tracol, Decidable Problems for Probabilistic Automata on Infinite Words, IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Published | 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.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed