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
Trahey, L., et al. “Activated Lithium-Metal-Oxides as Catalytic Electrodes for Li–O2 Cells.” Electrochemical and Solid-State Letters, vol. 14, no. 5, A64, The Electrochemical Society, 2011, doi:10.1149/1.3555366.
View | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 757
Alistarh, Dan-Adrian, et al. Generating Fast Indulgent Algorithms. Vol. 6522 LNCS, Springer, 2011, pp. 41–52, doi:10.1007/978-3-642-17679-1_4.
View | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 759
Alistarh, Dan-Adrian, et al. The Complexity of Renaming. IEEE, 2011, pp. 718–27, doi:10.1109/FOCS.2011.66.
View | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 760
Alistarh, Dan-Adrian, and James Aspnes. Sub-Logarithmic Test-and-Set against a Weak Adversary. Vol. 6950 LNCS, Springer, 2011, pp. 97–109, doi:10.1007/978-3-642-24100-0_7.
View | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 761
Alistarh, Dan-Adrian, et al. Optimal-Time Adaptive Strong Renaming, with Applications to Counting. ACM, 2011, pp. 239–48, doi:10.1145/1993806.1993850.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 7701
Sweeney, Lora B., et al. “Secreted Semaphorins from Degenerating Larval ORN Axons Direct Adult Projection Neuron Dendrite Targeting.” Neuron, vol. 72, no. 5, Elsevier, 2011, pp. 734–47, doi:10.1016/j.neuron.2011.09.026.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 7702
Wu, Zhuhao, et al. “A Combinatorial Semaphorin Code Instructs the Initial Steps of Sensory Circuit Assembly in the Drosophila CNS.” Neuron, vol. 70, no. 2, Elsevier, 2011, pp. 281–98, doi:10.1016/j.neuron.2011.02.050.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 7750
Robinson, Matthew Richard. “Understanding Intrasexual Competition and Sexual Selection Requires an Evolutionary Ecology Framework.” Behavioral Ecology, vol. 22, no. 6, Oxford University Press, 2011, pp. 1143–44, doi:10.1093/beheco/arr110.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 469 | OA
Vyleta, Nicholas, and Stephen 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, 2011, pp. 4593–606, doi:10.1523/JNEUROSCI.6398-10.2011.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 490 | OA
Schlögl, Alois, et al. “BioSig: The Free and Open Source Software Library for Biomedical Signal Processing.” Computational Intelligence and Neuroscience, vol. 2011, 935364, Hindawi Publishing Corporation, 2011, doi:10.1155/2011/935364.
[Published Version] View | Files available | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 491
Eichner, Alexander, and Michael K. Sixt. “Setting the Clock for Recirculating Lymphocytes.” Science Signaling, vol. 4, no. 198, pe43, American Association for the Advancement of Science, 2011, doi:10.1126/scisignal.2002617.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 518 | OA
Schraivogel, Daniel, 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, 2011, pp. 4309–22, doi:10.1038/emboj.2011.301.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Published | Journal Article | IST-REx-ID: 531 | OA
Guerraoui, Rachid, et al. “Verification of STM on Relaxed Memory Models.” Formal Methods in System Design, vol. 39, no. 3, Springer, 2011, pp. 297–331, doi:10.1007/s10703-011-0131-3.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Published | Technical Report | IST-REx-ID: 5379 | OA
Chatterjee, Krishnendu, and Monika H. Henzinger. An O(N2) Time Algorithm for Alternating Büchi Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0009.
[Published Version] View | Files available | DOI
 

2011 | Published | Technical Report | IST-REx-ID: 5380 | OA
Chatterjee, Krishnendu. Bounded Rationality in Concurrent Parity Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0008.
[Published Version] View | Files available | DOI
 

2011 | Published | Technical Report | IST-REx-ID: 5381 | OA
Chatterjee, Krishnendu, and Laurent Doyen. Partial-Observation Stochastic Games: How to Win When Belief Fails. IST Austria, 2011, doi:10.15479/AT:IST-2011-0007.
[Published Version] View | Files available | DOI
 

2011 | Published | Technical Report | IST-REx-ID: 5382 | OA
Chatterjee, Krishnendu. Robustness of Structurally Equivalent Concurrent Parity Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0006.
[Published Version] View | Files available | DOI
 

2011 | Published | Technical Report | IST-REx-ID: 5383 | OA
Wies, Thomas, et al. On an Efficient Decision Procedure for Imperative Tree Data Structures. IST Austria, 2011, doi:10.15479/AT:IST-2011-0005.
[Published Version] View | Files available | DOI
 

2011 | Published | Technical Report | IST-REx-ID: 5384 | OA
Chatterjee, Krishnendu, and Mathieu Tracol. Decidable Problems for Probabilistic Automata on Infinite Words. IST Austria, 2011, doi:10.15479/AT:IST-2011-0004.
[Published Version] View | Files available | DOI
 

2011 | Published | Technical Report | IST-REx-ID: 5385 | OA
Boker, Udi, et al. Temporal Specifications with Accumulative Values. IST Austria, 2011, doi:10.15479/AT:IST-2011-0003.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed