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.

1940 Publications


2011 | Published | Book Chapter | IST-REx-ID: 2098
From sparse mocap to highly detailed facial animation
B. Bickel, M. Lang, in:, GPU Computing Gems Emerald Edition, Science Direct, 2011, pp. 413–426.
View | DOI
 

2011 | Published | Book Chapter | IST-REx-ID: 2116 | OA
Gradient estimates and domain identification for analytic Ornstein-Uhlenbeck operators
J. Maas, J. Van Neerven, in:, Parabolic Problems, Birkhäuser, 2011, pp. 463–477.
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: 2436
Hardness of embedding simplicial complexes in Rd
J. Matoušek, M. Tancer, U. Wagner, Journal of the European Mathematical Society 13 (2011) 259–295.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 2766
Quantum diffusion and delocalization for band matrices with general distribution
L. Erdös, A. Knowles, Annales Henri Poincare 12 (2011) 1227–1319.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 3965
Computing elevation maxima by searching the Gauss sphere
B. Wang, H. Edelsbrunner, D. Morozov, Journal of Experimental Algorithmics 16 (2011) 1–13.
View | 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 | Journal Article | IST-REx-ID: 17690 | OA
Photodissociation of H2 in protogalaxies: Modelling self-shielding in three-dimensional simulations
J. Wolcott-Green, Z. Haiman, G.L. Bryan, Monthly Notices of the Royal Astronomical Society 418 (2011) 838–852.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 9483 | OA
Regulation of imprinted gene expression in Arabidopsis endosperm
T.-F. Hsieh, J. Shin, R. Uzawa, P. Silva, S. Cohen, M.J. Bauer, M. Hashimoto, R.C. Kirkbride, J.J. Harada, D. Zilberman, R.L. Fischer, Proceedings of the National Academy of Sciences 108 (2011) 1755–1762.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2011 | Published | Conference Paper | IST-REx-ID: 9648 | OA
Incremental-decremental algorithm for computing AT-models and persistent homology
R. Gonzalez-Diaz, A. Ion, M.J. Jimenez, R. Poyatos, in:, Computer Analysis of Images and Patterns, Springer Nature, 2011, pp. 286–293.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Published | Conference Paper | IST-REx-ID: 757
Generating fast indulgent algorithms
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2011, pp. 41–52.
View | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 760
Sub-logarithmic test-and-set against a weak adversary
D.-A. Alistarh, J. Aspnes, in:, Springer, 2011, pp. 97–109.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 8025 | OA
State-dependent function of neocortical chandelier cells
A.R. Woodruff, L.M. McGarry, T.P. Vogels, M. Inan, S.A. Anderson, R. Yuste, Journal of Neuroscience 31 (2011) 17872–17886.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2011 | Published | Conference Paper | IST-REx-ID: 10907
Spatio-temporal extraction of articulated models in a graph pyramid
N.M. Artner, A. Ion, W.G. Kropatsch, in:, X. Jiang, M. Ferrer, A. Torsello (Eds.), Graph-Based Representations in Pattern Recognition, Springer, Berlin, Heidelberg, 2011, pp. 215–224.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 11673
A comprehensive study of features and algorithms for URL-based topic classification
E. Baykan, M.H. Henzinger, L. Marian, I. Weber, ACM Transactions on the Web 5 (2011).
View | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 11796
Multi-parameter mechanism design under budget and matroid constraints
M.H. Henzinger, A. Vidali, in:, 19th Annual European Symposium on Algorithms, Springer Nature, 2011, pp. 192–202.
View | DOI
 

Filters and Search Terms

isbn%3D978-3-642-40707-9

Search

Filter Publications

Display / Sort

Export / Embed