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
Henzinger M, Krinninger S, Nanongkai D. Dynamic approximate all-pairs shortest paths: Breaking the O(mn) barrier and derandomization. In: 54th Annual Symposium on Foundations of Computer Science. Institute of Electrical and Electronics Engineers; 2013:538-547. doi:10.1109/focs.2013.64
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Published | Conference Paper | IST-REx-ID: 19995 | OA
Chatterjee K, Ibsen-Jensen R. Strategy complexity of finite-horizon Markov decision processes and simple stochastic games. In: Mathematical and Engineering Methods in Computer Science. Vol 7721. Springer Nature; 2013:106-117. doi:10.1007/978-3-642-36046-6_11
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Published | Conference Paper | IST-REx-ID: 2000 | OA
Reiter J, Božić I, Chatterjee K, Nowak M. TTP: Tool for tumor progression. In: Proceedings of 25th Int. Conf. on Computer Aided Verification. Vol 8044. Lecture Notes in Computer Science. Springer; 2013:101-106. doi:10.1007/978-3-642-39799-8_6
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Published | Book Chapter | IST-REx-ID: 18351
Rosman G, Bronstein MM, Bronstein AM, Wolf A, Kimmel R. Group-Valued Regularization for Motion Segmentation of Articulated Shapes. In: Breuß M, Bruckstein A, Maragos P, eds. Innovations for Shape Analysis. MATHVISUAL. Berlin, Heidelberg: Springer Nature; 2013:263-281. doi:10.1007/978-3-642-34141-0_12
View | DOI
 

2013 | Published | Book Chapter | IST-REx-ID: 18352
Litman R, Bronstein AM, Bronstein MM. Stable Semi-local Features for Non-rigid Shapes. In: Breuß M, Bruckstein A, Maragos P, eds. Innovations for Shape Analysis. MATHVISUAL. Berlin, Heidelberg: Springer Nature; 2013:161-189. doi:10.1007/978-3-642-34141-0_8
View | DOI
 

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

2013 | Published | Conference Paper | IST-REx-ID: 1387 | OA
Boker U, Kuperberg D, Kupferman O, Skrzypczak M. Nondeterminism in the presence of a diverse or unknown future. 2013;7966(PART 2):89-100. doi:10.1007/978-3-642-39212-2_11
[Submitted Version] View | Files available | DOI
 

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

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

2012 | Published | Journal Article | IST-REx-ID: 8467
Huber M, With O, Schanda P, Verel R, Ernst M, Meier BH. A supplementary coil for 2H decoupling with commercial HCN MAS probes. Journal of Magnetic Resonance. 2012;214:76-80. doi:10.1016/j.jmr.2011.10.010
View | DOI
 

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

2012 | Published | Conference Paper | IST-REx-ID: 763
Alistarh D-A, Attiya H, Guerraoui R, Travers C. Early deciding synchronous renaming in O(log f) rounds or less. In: Vol 7355 LNCS. Springer; 2012:195-206. doi:10.1007/978-3-642-31104-8_17
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 808 | OA
Vinzenz M, Nemethova M, Schur FK, et al. Actin branching in the initiation and maintenance of lamellipodia. Journal of Cell Science. 2012;125(11):2775-2785. doi:10.1242/jcs.107623
View | Files available | DOI | WoS
 

2012 | Published | Journal Article | IST-REx-ID: 7074
Lukas KC, Joshi G, Modic KA, Ren ZF, Opeil CP. Thermoelectric properties of Ho-doped Bi0.88Sb0.12. Journal of Materials Science. 2012;47(15):5729-5734. doi:10.1007/s10853-012-6463-6
View | DOI
 

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

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

2012 | Published | Journal Article | IST-REx-ID: 387 | OA
Alpichshev Z, Biswas R, Balatsky A, et al. STM imaging of impurity resonances on Bi 2Se 3. Physical Review Letters. 2012;108(20). doi:10.1103/PhysRevLett.108.206402
View | DOI | Download None (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 493 | OA
Tangermann M, Müller K, Aertsen A, et al. Review of the BCI competition IV. Frontiers in Neuroscience. 2012;6. doi:10.3389/fnins.2012.00055
[Published Version] View | Files available | DOI | WoS
 

2012 | Published | Conference Paper | IST-REx-ID: 497 | OA
Chatterjee K, Chaubal S, Kamath P. Faster algorithms for alternating refinement relations. In: Vol 16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2012:167-182. doi:10.4230/LIPIcs.CSL.2012.167
[Published Version] View | Files available | DOI
 

earlier version | 2012 | Published | Technical Report | IST-REx-ID: 5377 | OA
Chatterjee K, Velner Y. Mean-Payoff Pushdown Games. IST Austria; 2012. doi:10.15479/AT:IST-2012-0002
[Published Version] View | Files available | DOI
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed