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.

6387 Publications


2011 | Published | Journal Article | IST-REx-ID: 2390 | OA
Stability and absence of binding for multi-polaron systems
R. Frank, É. Lieb, R. Seiringer, L. Thomas, Publications Mathematiques de l Institut Des Hautes Etudes Scientifiques 113 (2011) 39–67.
View | DOI | Download (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 2391 | OA
Energy cost to make a hole in the fermi sea
R. Frank, M. Lewin, É. Lieb, R. Seiringer, Physical Review Letters 106 (2011).
View | DOI | Download (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 2393 | OA
The excitation spectrum for weakly interacting Bosons
R. Seiringer, Communications in Mathematical Physics 306 (2011) 565–578.
View | DOI | Download (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 2454 | OA
Phosphorylation switch modulates the interdigitated pattern of PIN1 localization and cell expansion in Arabidopsis leaf epidermis
H. Li, D. Lin, P. Dhonukshe, S. Nagawa, D. Chen, J. Friml, B. Scheres, H. Guo, Z. Yang, Cell Research 21 (2011) 970–978.
View | DOI | Download (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.)
 

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

2011 | Published | Technical Report | IST-REx-ID: 5386 | OA
Enforcing topological constraints in random field image segmentation
C. Chen, D. Freedman, C. Lampert, Enforcing Topological Constraints in Random Field Image Segmentation, IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Published | Technical Report | IST-REx-ID: 5387 | OA
Energy and mean-payoff parity Markov decision processes
K. Chatterjee, 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: 1754 | OA
Joule-assisted silicidation for short-channel silicon nanowire devices
M. Mongillo, P. Spathis, G. Katsaros, P. Gentile, M. Sanquer, S. De Franceschi, ACS Nano 5 (2011) 7117–7123.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Published | Journal Article | IST-REx-ID: 1755 | OA
Observation of spin-selective tunneling in sige nanocrystals
G. Katsaros, V. Golovach, P. Spathis, N. Ares, M. Stoffel, F. Fournel, O. Schmidt, L. Glazman, S. De Franceschi, Physical Review Letters 107 (2011).
View | DOI | Download (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 17647 | OA
Imprint of accretion disk-induced migration on gravitational waves from extreme mass ratio inspirals
N. Yunes, B. Kocsis, A. Loeb, Z. Haiman, Physical Review Letters 107 (2011).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Export / Embed