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.

5611 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: 2199 | OA
Supersymmetric factorization yields exact solutions to the molecular Stark-effect problem for "stretched" states
M. Lemeshko, M. Mustafa, S. Kais, B. Friedrich, Physical Review A - Atomic, Molecular, and Optical Physics 83 (2011).
View | DOI | Download (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 2200 | OA
Supersymmetry identifies molecular Stark states whose eigenproperties can be obtained analytically
M. Lemeshko, M. Mustafa, S. Kais, B. Friedrich, New Journal of Physics 13 (2011).
View | DOI | Download (ext.)
 

2011 | Published | Conference Paper | IST-REx-ID: 2320 | OA
Binding, stability, and non-binding of multi-polaron systems
R. Frank, É. Lieb, R. Seiringer, L. Thomas, in:, World Scientific Publishing, 2011, pp. 21–32.
View | DOI | Download (ext.)
 

2011 | Published | Conference Paper | IST-REx-ID: 2321 | OA
A sharp bound on eigenvalues of Schrödinger operators on the halfline with complex-valued potentials
R. Frank, A. Laptev, R. Seiringer, in:, Springer, 2011, pp. 39–44.
View | DOI | Download (ext.)
 

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: 6749 | OA
Finite difference schemes for MCM and AMSS
M. Mondelli, A. Ciomaga, Image Processing On Line 1 (2011) 127–177.
[Published Version] View | Files available | 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.)
 

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
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed