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.

2068 Publications


2013 | Published | Conference Paper | IST-REx-ID: 11856 | OA
Dynamic approximate all-pairs shortest paths: Breaking the O(mn) barrier and derandomization
M. Henzinger, S. Krinninger, D. Nanongkai, in:, 54th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 2013, pp. 538–547.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Published | Conference Paper | IST-REx-ID: 19995 | OA
Strategy complexity of finite-horizon Markov decision processes and simple stochastic games
K. Chatterjee, R. Ibsen-Jensen, in:, Mathematical and Engineering Methods in Computer Science, Springer Nature, 2013, pp. 106–117.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Published | Conference Paper | IST-REx-ID: 2000 | OA
TTP: Tool for tumor progression
J. Reiter, I. Božić, K. Chatterjee, M. Nowak, in:, Proceedings of 25th Int. Conf. on Computer Aided Verification, Springer, 2013, pp. 101–106.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Published | Book Chapter | IST-REx-ID: 18351
Group-Valued Regularization for Motion Segmentation of Articulated Shapes
G. Rosman, M.M. Bronstein, A.M. Bronstein, A. Wolf, R. Kimmel, in:, M. Breuß, A. Bruckstein, P. Maragos (Eds.), Innovations for Shape Analysis, Springer Nature, Berlin, Heidelberg, 2013, pp. 263–281.
View | DOI
 

2013 | Published | Book Chapter | IST-REx-ID: 18352
Stable Semi-local Features for Non-rigid Shapes
R. Litman, A.M. Bronstein, M.M. Bronstein, in:, M. Breuß, A. Bruckstein, P. Maragos (Eds.), Innovations for Shape Analysis, Springer Nature, Berlin, Heidelberg, 2013, pp. 161–189.
View | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 1376 | OA
Distributed synthesis for LTL fragments
K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, in:, 13th International Conference on Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 18–25.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2013 | Published | Conference Paper | IST-REx-ID: 1387 | OA
Nondeterminism in the presence of a diverse or unknown future
U. Boker, D. Kuperberg, O. Kupferman, M. Skrzypczak, 7966 (2013) 89–100.
[Submitted Version] View | Files available | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 17684 | OA
Gas infall into atomic cooling haloes: On the formation of protogalactic discs and supermassive black holes at z > 10
J. Prieto, R. Jimenez, Z. Haiman, Monthly Notices of the Royal Astronomical Society 436 (2013) 2301–2325.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Published | Conference Paper | IST-REx-ID: 2260 | OA
Efficient signatures of knowledge and DAA in the standard model
D. Bernhard, G. Fuchsbauer, E. Ghadafi, 7954 (2013) 518–533.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | Cryptology ePrint
 

2012 | Published | Journal Article | IST-REx-ID: 8467
A supplementary coil for 2H decoupling with commercial HCN MAS probes
M. Huber, O. With, P. Schanda, R. Verel, M. Ernst, B.H. Meier, Journal of Magnetic Resonance 214 (2012) 76–80.
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 8504
A Cr unimodal map with an arbitrary fast growth of the number of periodic points
V. Kaloshin, O.S. KOZLOVSKI, Ergodic Theory and Dynamical Systems 32 (2012) 159–165.
View | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 763
Early deciding synchronous renaming in O(log f) rounds or less
D.-A. Alistarh, H. Attiya, R. Guerraoui, C. Travers, in:, Springer, 2012, pp. 195–206.
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 808 | OA
Actin branching in the initiation and maintenance of lamellipodia
M. Vinzenz, M. Nemethova, F.K. Schur, J. Mueller, A. Narita, E. Urban, C. Winkler, C. Schmeiser, S. Koestler, K. Rottner, G. Resch, Y. Maéda, J. Small, Journal of Cell Science 125 (2012) 2775–2785.
View | Files available | DOI | WoS
 

2012 | Published | Journal Article | IST-REx-ID: 7074
Thermoelectric properties of Ho-doped Bi0.88Sb0.12
K.C. Lukas, G. Joshi, K.A. Modic, Z.F. Ren, C.P. Opeil, Journal of Materials Science 47 (2012) 5729–5734.
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 966 | OA
Paired chiral spin liquid with a Fermi surface in S=1 model on the triangular lattice
S. Bieri, M. Serbyn, T. Senthil, P. Lee, Physical Review B - Condensed Matter and Materials Physics 86 (2012).
View | DOI | Download (ext.)
 

2012 | Research Data Reference | IST-REx-ID: 9757 | OA
Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison
S. Tragust, B. Mitteregger, V. Barone, M. Konrad, L.V. Ugelvig, S. Cremer, (2012).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 387 | OA
STM imaging of impurity resonances on Bi 2Se 3
Z. Alpichshev, R. Biswas, A. Balatsky, J. Analytis, J. Chu, I. Fisher, A. Kapitulnik, Physical Review Letters 108 (2012).
View | DOI | Download None (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 493 | OA
Review of the BCI competition IV
M. Tangermann, K. Müller, A. Aertsen, N. Birbaumer, C. Braun, C. Brunner, R. Leeb, C. Mehring, K. Miller, G. Müller Putz, G. Nolte, G. Pfurtscheller, H. Preissl, G. Schalk, A. Schlögl, C. Vidaurre, S. Waldert, B. Blankertz, Frontiers in Neuroscience 6 (2012).
[Published Version] View | Files available | DOI | WoS
 

2012 | Published | Conference Paper | IST-REx-ID: 497 | OA
Faster algorithms for alternating refinement relations
K. Chatterjee, S. Chaubal, P. Kamath, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 167–182.
[Published Version] View | Files available | DOI
 

earlier version | 2012 | Published | Technical Report | IST-REx-ID: 5377 | OA
Mean-payoff pushdown games
K. Chatterjee, Y. Velner, Mean-Payoff Pushdown Games, IST Austria, 2012.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Export / Embed