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
Maas J. 2011. Gradient flows of the entropy for finite Markov chains. Journal of Functional Analysis. 261(8), 2250–2292.
View | DOI | Download (ext.)
 

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

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

2011 | Published | Journal Article | IST-REx-ID: 2199 | OA
Lemeshko M, Mustafa M, Kais S, Friedrich B. 2011. Supersymmetric factorization yields exact solutions to the molecular Stark-effect problem for "stretched" states. Physical Review A - Atomic, Molecular, and Optical Physics. 83(4).
View | DOI | Download (ext.)
 

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

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

2011 | Published | Conference Paper | IST-REx-ID: 2321 | OA
Frank R, Laptev A, Seiringer R. 2011. A sharp bound on eigenvalues of Schrödinger operators on the halfline with complex-valued potentials. OTAMP: Operator Theory, Analysis and Mathematical Physics, Operator Theory: Advances and Applications, vol. 214, 39–44.
View | DOI | Download (ext.)
 

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

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

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

2011 | Published | Journal Article | IST-REx-ID: 6749 | OA
Mondelli M, Ciomaga A. 2011. Finite difference schemes for MCM and AMSS. Image Processing On Line. 1, 127–177.
[Published Version] View | Files available | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 469 | OA
Vyleta N, Smith S. 2011. Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor. European Journal of Neuroscience. 31(12), 4593–4606.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 490 | OA
Schlögl A, Vidaurre C, Sander T. 2011. BioSig: The free and open source software library for biomedical signal processing. Computational Intelligence and Neuroscience. 2011, 935364.
[Published Version] View | Files available | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 518 | OA
Schraivogel D, Weinmann L, Beier D, Tabatabai G, Eichner A, Zhu J, Anton M, Sixt MK, Weller M, Beier C, Meister G. 2011. CAMTA1 is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells. EMBO Journal. 30(20), 4309–4322.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Published | Journal Article | IST-REx-ID: 531 | OA
Guerraoui R, Henzinger TA, Singh V. 2011. Verification of STM on relaxed memory models. Formal Methods in System Design. 39(3), 297–331.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Published | Technical Report | IST-REx-ID: 5379 | OA
Chatterjee K, Henzinger MH. 2011. An O(n2) time algorithm for alternating Büchi games, IST Austria, 20p.
[Published Version] View | Files available | DOI
 

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

2011 | Published | Technical Report | IST-REx-ID: 5381 | OA
Chatterjee K, Doyen L. 2011. Partial-observation stochastic games: How to win when belief fails, IST Austria, 43p.
[Published Version] View | Files available | DOI
 

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

2011 | Published | Technical Report | IST-REx-ID: 5383 | OA
Wies T, Muñiz M, Kuncak V. 2011. On an efficient decision procedure for imperative tree data structures, IST Austria, 25p.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed