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.

337 Publications


2011 | Published | Journal Article | IST-REx-ID: 2126 | OA
Gradient flows of the entropy for finite Markov chains
J. Maas, Journal of Functional Analysis 261 (2011) 2250–2292.
View | DOI | Download (ext.)
 

2011 | Published | Preprint | IST-REx-ID: 2138 | OA
Controlling a diatomic shape resonance with non-resonant light
R. Ağanoğlu, M. Lemeshko, B. Friedrich, R. González Férez, C. Koch, Unknown (2011).
View | Download (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 2198 | OA
Shaping interactions between polar molecules with far-off-resonant light
M. Lemeshko, Physical Review A - Atomic, Molecular, and Optical Physics 83 (2011).
View | DOI | Download (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 14305 | OA
Mapping backbone and side-chain interactions in the transition state of a coupled protein folding and binding reaction
A. Bachmann, D. Wildemann, F.M. Praetorius, G. Fischer, T. Kiefhaber, PNAS 108 (2011) 3952–3957.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2011 | Published | Journal Article | IST-REx-ID: 1467 | OA
Arithmetic harmonic analysis on character and quiver varieties
T. Hausel, E. Letellier, F. Rodríguez Villegas, Duke Mathematical Journal 160 (2011) 323–400.
View | DOI | Download (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 1863
The number of equilibria in the diallelic Levene model with multiple demes
S. Novak, Theoretical Population Biology 79 (2011) 97–101.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 1973
Structure of the membrane domain of respiratory complex i
R. Efremov, L.A. Sazanov, Nature 476 (2011) 414–421.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 1974
Respiratory complex I: 'steam engine' of the cell?
R. Efremov, L.A. Sazanov, Current Opinion in Structural Biology 21 (2011) 532–540.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 1975
Evolution of respiratory complex I "Supernumerary" subunits are present in the α-proteobacterial enzyme
C. Yip, M. Harbour, K. Jayawardena, I. Fearnley, L.A. Sazanov, Journal of Biological Chemistry 286 (2011) 5023–5033.
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.) | 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
 

earlier version | 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
 

earlier version | 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
 

earlier version | 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
 

earlier version | 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
 

earlier version | 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
 

earlier version | 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
 

Filters and Search Terms

year=2011

Search

Filter Publications

Display / Sort

Export / Embed