Please note that IST 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.

3519 Publications


2011 | Journal Article | IST-REx-ID: 2122 | OA
Conical square functions and non-tangential maximal functions with respect to the Gaussian measure
J. Maas, J. Van Neerven, P. Portal, Publicacions Matemàtiques 55 (2011) 313–341.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 2123 | OA
A Trotter product formula for gradient flows in metric spaces
P. Clément, J. Maas, Journal of Evolution Equations 11 (2011) 405–427.
View | DOI | Download (ext.)
 

2011 | 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 | 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 | 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 | 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 | 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 | 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.
View | DOI | Download Submitted Version (ext.)
 

2011 | 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).
View | Files available | DOI
 

2011 | 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.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | 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.
View | DOI | Download Published Version (ext.)
 

2011 | 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.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5380 | OA
Bounded rationality in concurrent parity games
K. Chatterjee, Bounded Rationality in Concurrent Parity Games, IST Austria, 2011.
View | Files available | DOI
 

2011 | 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.
View | Files available | DOI
 

2011 | 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.
View | Files available | DOI
 

2011 | 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.
View | Files available | DOI
 

2011 | 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.
View | Files available | DOI
 

2011 | 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.
View | Files available | DOI
 

2011 | 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.
View | Files available | DOI
 

2011 | 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.
View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications