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.

6483 Publications


2011 | Published | Journal Article | IST-REx-ID: 3399 | OA
S. Cremer, A. Schrempf, and J. Heinze, “Competition and opportunity shape the reproductive tactics of males in the ant Cardiocondyla obscurior,” PLoS One, vol. 6, no. 3. Public Library of Science, 2011.
[Published Version] View | Files available | DOI | WoS
 

2011 | Published | Journal Article | IST-REx-ID: 3405 | OA
H. L. Janovjak, G. Sandoz, and E. Isacoff, “Modern ionotropic glutamate receptor with a K+ selectivity signature sequence,” Nature Communications, vol. 2, no. 232. Nature Publishing Group, pp. 1–6, 2011.
[Submitted Version] View | Files available | DOI | WoS
 

2011 | Published | Conference Paper | IST-REx-ID: 10907
N. M. Artner, A. Ion, and W. G. Kropatsch, “Spatio-temporal extraction of articulated models in a graph pyramid,” in Graph-Based Representations in Pattern Recognition, Münster, Germany, 2011, vol. 6658, pp. 215–224.
View | DOI
 

2011 | Research Data Reference | IST-REx-ID: 9762 | OA
F. Palero, P. Abello, E. Macpherson, M. Beaumont, and M. Pascual, “Data from: Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster (Palinurus elephas).” IST Austria, 2011.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2011 | Published | 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.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

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

2011 | Published | 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 | WoS
 

2011 | Published | 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.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2011 | Published | 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.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

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

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

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

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

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

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

earlier version | 2011 | Published | Technical Report | IST-REx-ID: 5385 | OA
U. Boker, K. Chatterjee, T. A. Henzinger, and O. Kupferman, Temporal specifications with accumulative values. IST Austria, 2011.
[Published Version] View | Files available | DOI
 

earlier version | 2011 | Published | Technical Report | IST-REx-ID: 5386 | OA
C. Chen, D. Freedman, and C. Lampert, Enforcing topological constraints in random field image segmentation. IST Austria, 2011.
[Published Version] View | Files available | DOI
 

earlier version | 2011 | Published | Technical Report | IST-REx-ID: 5387 | OA
K. Chatterjee and L. Doyen, Energy and mean-payoff parity Markov decision processes. IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 3429
N. Plachta, M. T. Bollenbach, S. Pease, S. Fraser, and P. Pantazis, “Oct4 kinetics predict cell lineage patterning in the early mammalian embryo,” Nature Cell Biology, vol. 13, no. 2. Nature Publishing Group, pp. 117–123, 2011.
View | DOI | WoS
 

2011 | Published | Journal Article | IST-REx-ID: 3771
A. Pavan, F. Martins, F. Santos, A. Ditchfield, and R. A. Fernandes Redondo, “Patterns of diversification in two species of short-tailed bats (Carollia Gray, 1838): the effects of historical fragmentation of Brazilian rainforests.,” Biological Journal of the Linnean Society, vol. 102, no. 3. Wiley-Blackwell, pp. 527–539, 2011.
View | DOI | WoS
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed