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.

11357 Publications


2011 | Published | Journal Article | IST-REx-ID: 919
Glass-like dynamics of collective cell migration
T. Angelini, E.B. Hannezo, X. Trepatc, M. Marquez, J. Fredberg, D. Weitz, Proceedings of the National Academy of Sciences of the United States of America 108 (2011) 4714–4719.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 923 | OA
Notch lineages and activity in intestinal stem cells determined by a new set of knock in mice
S. Fré, E.B. Hannezo, S. Šale, M. Huyghe, D. Lafkas, H. Kissel, A. Louvi, J. Greve, D. Louvard, S. Artavanis Tsakonas, PLoS One 6 (2011).
[Published Version] View | Files available | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 9483 | OA
Regulation of imprinted gene expression in Arabidopsis endosperm
T.-F. Hsieh, J. Shin, R. Uzawa, P. Silva, S. Cohen, M.J. Bauer, M. Hashimoto, R.C. Kirkbride, J.J. Harada, D. Zilberman, R.L. Fischer, Proceedings of the National Academy of Sciences 108 (2011) 1755–1762.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2011 | Published | Other Publication | IST-REx-ID: 9522 | OA
Balancing parental contributions in plant embryonic gene activation
D. Zilberman, Balancing Parental Contributions in Plant Embryonic Gene Activation, Elsevier, 2011.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2011 | Published | Conference Paper | IST-REx-ID: 9648 | OA
Incremental-decremental algorithm for computing AT-models and persistent homology
R. Gonzalez-Diaz, A. Ion, M.J. Jimenez, R. Poyatos, in:, Computer Analysis of Images and Patterns, Springer Nature, 2011, pp. 286–293.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 967 | OA
Exotic S=1 spin-liquid state with fermionic excitations on the triangular lattice
M. Serbyn, T. Senthil, P. Lee, Physical Review B - Condensed Matter and Materials Physics 84 (2011).
View | DOI | Download (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 968
Serbyn et al. Reply:
M. Serbyn, M. Skvortsov, A. Varlamov, V. Galitski, Physical Review Letters 106 (2011).
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 969 | OA
Isotope effect on the superfluid density in conventional and high-temperature superconductors
M. Serbyn, P. Lee, Physical Review B - Condensed Matter and Materials Physics 83 (2011).
View | DOI | Download (ext.)
 

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

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.) | WoS
 

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

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

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.) | WoS | 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.) | WoS
 

2011 | Published | Technical Report | IST-REx-ID: 5379 | OA
An O(n2) time algorithm for alternating Büchi games
K. Chatterjee, M. 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
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed