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 | Conference Paper | IST-REx-ID: 2975
A Framework for Practical Universally Composable Zero-Knowledge Protocols
J. Camenisch, S. Krenn, V. Shoup, in:, D. Lee, X. Wang (Eds.), Springer, 2011, pp. 449–467.
View
| DOI
| Download (ext.)
J. Camenisch, S. Krenn, V. Shoup, in:, D. Lee, X. Wang (Eds.), Springer, 2011, pp. 449–467.
2011 | Published | Journal Article | IST-REx-ID: 3086
Polar localized NPH3-like proteins regulate polarity and endocytosis of PIN-FORMED auxin efflux carriers
M. Furutani, N. Sakamoto, S. Yoshida, T. Kajiwara, H. Robert, J. Friml, M. Tasaka, Development 138 (2011) 2069–2078.
View
| DOI
M. Furutani, N. Sakamoto, S. Yoshida, T. Kajiwara, H. Robert, J. Friml, M. Tasaka, Development 138 (2011) 2069–2078.
2011 | Published | Journal Article | IST-REx-ID: 3089
Inositol trisphosphate-induced ca^2+ signaling modulates auxin transport and pin polarity
J. Zhang, S. Vanneste, P. Brewer, M. Michniewicz, P. Grones, J. Kleine Vehn, C. Löfke, T. Teichmann, A. Bielach, B. Cannoot, K. Hoyerová, X. Chen, H. Xue, E. Benková, E. Zažímalová, J. Friml, Developmental Cell 20 (2011) 855–866.
View
| DOI
J. Zhang, S. Vanneste, P. Brewer, M. Michniewicz, P. Grones, J. Kleine Vehn, C. Löfke, T. Teichmann, A. Bielach, B. Cannoot, K. Hoyerová, X. Chen, H. Xue, E. Benková, E. Zažímalová, J. Friml, Developmental Cell 20 (2011) 855–866.
2011 | Published | Journal Article | IST-REx-ID: 3090
Cell plate restricted association of DRP1A and PIN proteins is required for cell polarity establishment in arabidopsis
J. Mravec, J. Petrášek, N. Li, S. Boeren, R. Karlova, S. Kitakura, M. Pařezová, S. Naramoto, T. Nodzyński, P. Dhonukshe, S. Bednarek, E. Zažímalová, S. De Vries, J. Friml, Current Biology 21 (2011) 1055–1060.
View
| DOI
J. Mravec, J. Petrášek, N. Li, S. Boeren, R. Karlova, S. Kitakura, M. Pařezová, S. Naramoto, T. Nodzyński, P. Dhonukshe, S. Bednarek, E. Zažímalová, S. De Vries, J. Friml, Current Biology 21 (2011) 1055–1060.
2011 | Published | Journal Article | IST-REx-ID: 3101 | 
The AP 3 adaptor complex is required for vacuolar function in Arabidopsis
M. Zwiewka, E. Feraru, B. Möller, I. Hwang, M. Feraru, J. Kleine Vehn, D. Weijers, J. Friml, Cell Research 21 (2011) 1711–1722.
View
| DOI
| Download (ext.)
M. Zwiewka, E. Feraru, B. Möller, I. Hwang, M. Feraru, J. Kleine Vehn, D. Weijers, J. Friml, Cell Research 21 (2011) 1711–1722.
2011 | Published | Journal Article | IST-REx-ID: 3138
Relationships between hippocampal sharp waves ripples and fast gamma oscillation Influence of dentate and entorhinal cortical activity
D. Sullivan, J.L. Csicsvari, K. Mizuseki, S. Montgomery, K. Diba, G. Buzsáki, Journal of Neuroscience 31 (2011) 8605–8616.
View
| DOI
D. Sullivan, J.L. Csicsvari, K. Mizuseki, S. Montgomery, K. Diba, G. Buzsáki, Journal of Neuroscience 31 (2011) 8605–8616.
2011 | Published | Conference Paper | IST-REx-ID: 3204
Submodularity on a tree: Unifying Submodularity on a tree: Unifying L-convex and bisubmodular functions convex and bisubmodular functions
V. Kolmogorov, in:, Springer, 2011, pp. 400–411.
View
| DOI
| Download (ext.)
V. Kolmogorov, in:, Springer, 2011, pp. 400–411.
2011 | Published | Conference Paper | IST-REx-ID: 3236
Parallel repetition for leakage resilience amplification revisited
A. Jain, K.Z. Pietrzak, in:, Springer, 2011, pp. 58–69.
View
| DOI
A. Jain, K.Z. Pietrzak, in:, Springer, 2011, pp. 58–69.
2011 | Published | Conference Paper | IST-REx-ID: 3238
Efficient authentication from hard learning problems
E. Kiltz, K.Z. Pietrzak, D. Cash, A. Jain, D. Venturi, in:, Springer, 2011, pp. 7–26.
View
| Files available
| DOI
E. Kiltz, K.Z. Pietrzak, D. Cash, A. Jain, D. Venturi, in:, Springer, 2011, pp. 7–26.
2011 | Published | Conference Paper | IST-REx-ID: 3239
Tamper proof circuits How to trade leakage for tamper resilience
S. Faust, K.Z. Pietrzak, D. Venturi, in:, Springer, 2011, pp. 391–402.
View
| DOI
S. Faust, K.Z. Pietrzak, D. Venturi, in:, Springer, 2011, pp. 391–402.
2011 | Published | Conference Paper | IST-REx-ID: 3240
Leftover hash lemma revisited
B. Barak, Y. Dodis, H. Krawczyk, O. Pereira, K.Z. Pietrzak, F. Standaert, Y. Yu, in:, Springer, 2011, pp. 1–20.
View
| DOI
B. Barak, Y. Dodis, H. Krawczyk, O. Pereira, K.Z. Pietrzak, F. Standaert, Y. Yu, in:, Springer, 2011, pp. 1–20.
2011 | Published | Book Chapter | IST-REx-ID: 3271
Efficient computation of persistent homology for cubical data
H. Wagner, C. Chen, E. Vuçini, in:, R. Peikert, H. Hauser, H. Carr, R. Fuchs (Eds.), Topological Methods in Data Analysis and Visualization II, Springer, 2011, pp. 91–106.
View
| DOI
H. Wagner, C. Chen, E. Vuçini, in:, R. Peikert, H. Hauser, H. Carr, R. Fuchs (Eds.), Topological Methods in Data Analysis and Visualization II, Springer, 2011, pp. 91–106.
2011 | Published | Conference Paper | IST-REx-ID: 3323
An efficient decision procedure for imperative tree data structures
T. Wies, M. Muñiz, V. Kuncak, in:, Springer, 2011, pp. 476–491.
View
| Files available
| DOI
T. Wies, M. Muñiz, V. Kuncak, in:, Springer, 2011, pp. 476–491.
2011 | Published | Conference Paper | IST-REx-ID: 3324 |
Decision procedures for automating termination proofs
R. Piskac, T. Wies, in:, R. Jhala, D. Schmidt (Eds.), Springer, 2011, pp. 371–386.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
R. Piskac, T. Wies, in:, R. Jhala, D. Schmidt (Eds.), Springer, 2011, pp. 371–386.
2011 | Published | Conference Paper | IST-REx-ID: 3327
Co-Büching them all
U. Boker, O. Kupferman, in:, M. Hofmann (Ed.), Springer, 2011, pp. 184–198.
View
| DOI
U. Boker, O. Kupferman, in:, M. Hofmann (Ed.), Springer, 2011, pp. 184–198.
2011 | Published | Journal Article | IST-REx-ID: 3332 |
A note on the complexity of real algebraic hypersurfaces
M. Kerber, M. Sagraloff, Graphs and Combinatorics 27 (2011) 419–430.
[Submitted Version]
View
| Files available
| DOI
M. Kerber, M. Sagraloff, Graphs and Combinatorics 27 (2011) 419–430.
2011 | Published | Journal Article | IST-REx-ID: 3334
Letter from the new editors-in-chief
H. Edelsbrunner, J. Pach, G. Ziegler, Discrete & Computational Geometry 45 (2011) 1–2.
View
| DOI
H. Edelsbrunner, J. Pach, G. Ziegler, Discrete & Computational Geometry 45 (2011) 1–2.
2011 | Published | Book Chapter | IST-REx-ID: 3335 |
Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web
R. Van De Weygaert, G. Vegter, H. Edelsbrunner, B. Jones, P. Pranav, C. Park, W. Hellwing, B. Eldering, N. Kruithof, P. Bos, J. Hidding, J. Feldbrugge, E. Ten Have, M. Van Engelen, M. Caroli, M. Teillaud, in:, M. Gavrilova, K. Tan, M. Mostafavi (Eds.), Transactions on Computational Science XIV, Springer, 2011, pp. 60–101.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Van De Weygaert, G. Vegter, H. Edelsbrunner, B. Jones, P. Pranav, C. Park, W. Hellwing, B. Eldering, N. Kruithof, P. Bos, J. Hidding, J. Feldbrugge, E. Ten Have, M. Van Engelen, M. Caroli, M. Teillaud, in:, M. Gavrilova, K. Tan, M. Mostafavi (Eds.), Transactions on Computational Science XIV, Springer, 2011, pp. 60–101.
2011 | Published | Conference Paper | IST-REx-ID: 3336
Enforcing topological constraints in random field image segmentation
C. Chen, D. Freedman, C. Lampert, in:, CVPR: Computer Vision and Pattern Recognition, IEEE, 2011, pp. 2089–2096.
View
| Files available
| DOI
C. Chen, D. Freedman, C. Lampert, in:, CVPR: Computer Vision and Pattern Recognition, IEEE, 2011, pp. 2089–2096.
2011 | Published | Preprint | IST-REx-ID: 3338 |
Bounded rationality in concurrent parity games
K. Chatterjee, ArXiv (2011) 1–51.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
K. Chatterjee, ArXiv (2011) 1–51.