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
E. Haller et al., “Three-body correlation functions and recombination rates for bosons in three dimensions and one dimension,” Physical Review Letters, vol. 107, no. 23. American Physical Society, 2011.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

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

2011 | Published | Conference Paper | IST-REx-ID: 9943 | OA
C. M. Sommer, C. Straehle, U. Köthe, and F. A. Hamprecht, “Ilastik: Interactive learning and segmentation toolkit,” in 2011 IEEE International Symposium on Biomedical Imaging: from Nano to Micro, Chicago, Illinois, USA, 2011.
[Preprint] View | DOI | Download Preprint (ext.)
 

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

2011 | Published | Journal Article | IST-REx-ID: 531 | OA
R. Guerraoui, T. A. Henzinger, and V. Singh, “Verification of STM on relaxed memory models,” Formal Methods in System Design, vol. 39, no. 3. Springer, pp. 297–331, 2011.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

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

earlier version | 2011 | Published | Technical Report | IST-REx-ID: 5380 | OA
K. Chatterjee, Bounded rationality in concurrent parity games. IST Austria, 2011.
[Published Version] View | Files available | DOI
 

earlier version | 2011 | Published | Technical Report | IST-REx-ID: 5381 | OA
K. Chatterjee and L. Doyen, Partial-observation stochastic games: How to win when belief fails. IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 2975
J. Camenisch, S. Krenn, and V. Shoup, “A Framework for Practical Universally Composable Zero-Knowledge Protocols,” presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, 2011, vol. 7073, pp. 449–467.
View | DOI | Download (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 3086
M. Furutani et al., “Polar localized NPH3-like proteins regulate polarity and endocytosis of PIN-FORMED auxin efflux carriers,” Development, vol. 138, no. 10. Company of Biologists, pp. 2069–2078, 2011.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 3089
J. Zhang et al., “Inositol trisphosphate-induced ca^2+ signaling modulates auxin transport and pin polarity,” Developmental Cell, vol. 20, no. 6. Cell Press, pp. 855–866, 2011.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 3090
J. Mravec et al., “Cell plate restricted association of DRP1A and PIN proteins is required for cell polarity establishment in arabidopsis,” Current Biology, vol. 21, no. 12. Cell Press, pp. 1055–1060, 2011.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 3101 | OA
M. Zwiewka et al., “The AP 3 adaptor complex is required for vacuolar function in Arabidopsis,” Cell Research, vol. 21, no. 12. Nature Publishing Group, pp. 1711–1722, 2011.
View | DOI | Download (ext.)
 

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

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

2011 | Published | Conference Paper | IST-REx-ID: 3236
A. Jain and K. Z. Pietrzak, “Parallel repetition for leakage resilience amplification revisited,” presented at the TCC: Theory of Cryptography Conference, 2011, vol. 6597, pp. 58–69.
View | DOI
 

earlier version | 2011 | Published | Conference Paper | IST-REx-ID: 3238
E. Kiltz, K. Z. Pietrzak, D. Cash, A. Jain, and D. Venturi, “Efficient authentication from hard learning problems,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Tallinn, Estonia, 2011, vol. 6632, pp. 7–26.
View | Files available | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 3239
S. Faust, K. Z. Pietrzak, and D. Venturi, “Tamper proof circuits How to trade leakage for tamper resilience,” presented at the ICALP: Automata, Languages and Programming, 2011, vol. 6755, no. Part 1, pp. 391–402.
View | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 3240
B. Barak et al., “Leftover hash lemma revisited,” presented at the CRYPTO: International Cryptology Conference, 2011, vol. 6841, pp. 1–20.
View | DOI
 

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

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed