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


2011 | Published | Journal Article | IST-REx-ID: 1054 | OA
Haller E, Rabie M, Mark M, Danzl JG, Hart R, Lauber K, Pupillo G, Nägerl H. 2011. Three-body correlation functions and recombination rates for bosons in three dimensions and one dimension. Physical Review Letters. 107(23).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Published | Conference Paper | IST-REx-ID: 9648 | OA
Gonzalez-Diaz R, Ion A, Jimenez MJ, Poyatos R. 2011. Incremental-decremental algorithm for computing AT-models and persistent homology. Computer Analysis of Images and Patterns. CAIP: International Conference on Computer Analysis of Images and Patterns, LNCS, vol. 6854, 286–293.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Published | Conference Paper | IST-REx-ID: 9943 | OA
Sommer CM, Straehle C, Köthe U, Hamprecht FA. 2011. Ilastik: Interactive learning and segmentation toolkit. 2011 IEEE International Symposium on Biomedical Imaging: from Nano to Micro. ISBI: International Symposium on Biomedical Imaging.
[Preprint] View | DOI | Download Preprint (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 3965
Wang B, Edelsbrunner H, Morozov D. 2011. Computing elevation maxima by searching the Gauss sphere. Journal of Experimental Algorithmics. 16(2.2), 1–13.
View | DOI
 

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.) | WoS
 

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

earlier version | 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
 

earlier version | 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 | Conference Paper | IST-REx-ID: 2975
Camenisch J, Krenn S, Shoup V. 2011. A Framework for Practical Universally Composable Zero-Knowledge Protocols. ASIACRYPT: Theory and Application of Cryptology and Information Security, LNCS, vol. 7073, 449–467.
View | DOI | Download (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 3086
Furutani M, Sakamoto N, Yoshida S, Kajiwara T, Robert H, Friml J, Tasaka M. 2011. Polar localized NPH3-like proteins regulate polarity and endocytosis of PIN-FORMED auxin efflux carriers. Development. 138(10), 2069–2078.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 3089
Zhang J, Vanneste S, Brewer P, Michniewicz M, Grones P, Kleine Vehn J, Löfke C, Teichmann T, Bielach A, Cannoot B, Hoyerová K, Chen X, Xue H, Benková E, Zažímalová E, Friml J. 2011. Inositol trisphosphate-induced ca^2+ signaling modulates auxin transport and pin polarity. Developmental Cell. 20(6), 855–866.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 3090
Mravec J, Petrášek J, Li N, Boeren S, Karlova R, Kitakura S, Pařezová M, Naramoto S, Nodzyński T, Dhonukshe P, Bednarek S, Zažímalová E, De Vries S, Friml J. 2011. Cell plate restricted association of DRP1A and PIN proteins is required for cell polarity establishment in arabidopsis. Current Biology. 21(12), 1055–1060.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 3101 | OA
Zwiewka M, Feraru E, Möller B, Hwang I, Feraru M, Kleine Vehn J, Weijers D, Friml J. 2011. The AP 3 adaptor complex is required for vacuolar function in Arabidopsis. Cell Research. 21(12), 1711–1722.
View | DOI | Download (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 3138
Sullivan D, Csicsvari JL, Mizuseki K, Montgomery S, Diba K, Buzsáki G. 2011. Relationships between hippocampal sharp waves ripples and fast gamma oscillation Influence of dentate and entorhinal cortical activity. Journal of Neuroscience. 31(23), 8605–8616.
View | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 3204
Kolmogorov V. 2011. Submodularity on a tree: Unifying Submodularity on a tree: Unifying L-convex and bisubmodular functions convex and bisubmodular functions. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6907, 400–411.
View | DOI | Download (ext.)
 

2011 | Published | Conference Paper | IST-REx-ID: 3236
Jain A, Pietrzak KZ. 2011. Parallel repetition for leakage resilience amplification revisited. TCC: Theory of Cryptography Conference, LNCS, vol. 6597, 58–69.
View | DOI
 

earlier version | 2011 | Published | Conference Paper | IST-REx-ID: 3238
Kiltz E, Pietrzak KZ, Cash D, Jain A, Venturi D. 2011. Efficient authentication from hard learning problems. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 6632, 7–26.
View | Files available | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 3239
Faust S, Pietrzak KZ, Venturi D. 2011. Tamper proof circuits How to trade leakage for tamper resilience. ICALP: Automata, Languages and Programming, LNCS, vol. 6755, 391–402.
View | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 3240
Barak B, Dodis Y, Krawczyk H, Pereira O, Pietrzak KZ, Standaert F, Yu Y. 2011. Leftover hash lemma revisited. CRYPTO: International Cryptology Conference, LNCS, vol. 6841, 1–20.
View | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 3264
Gupta A, Popeea C, Rybalchenko A. 2011. Solving recursion-free Horn clauses over LI+UIF. APLAS: Asian Symposium on Programming Languages and Systems, LNCS, vol. 7078, 188–203.
View | DOI
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed