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.
1966 Publications
2011 | Published | Conference Paper | IST-REx-ID: 2321 |
Frank, R., Laptev, A., & Seiringer, R. (2011). A sharp bound on eigenvalues of Schrödinger operators on the halfline with complex-valued potentials (Vol. 214, pp. 39–44). Presented at the OTAMP: Operator Theory, Analysis and Mathematical Physics, Springer. https://doi.org/10.1007/978-3-7643-9994-8_3
View
| DOI
| Download (ext.)
2011 | Published | Journal Article | IST-REx-ID: 2436
Matoušek, J., Tancer, M., & Wagner, U. (2011). Hardness of embedding simplicial complexes in Rd. Journal of the European Mathematical Society. European Mathematical Society. https://doi.org/10.4171/JEMS/252
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 2766
Erdös, L., & Knowles, A. (2011). Quantum diffusion and delocalization for band matrices with general distribution. Annales Henri Poincare. Birkhäuser. https://doi.org/10.1007/s00023-011-0104-5
View
| 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. In D. Lee & X. Wang (Eds.) (Vol. 7073, pp. 449–467). Presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Springer. https://doi.org/10.1007/978-3-642-25385-0
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. Company of Biologists. https://doi.org/10.1242/dev.057745
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3089
Zhang, J., Vanneste, S., Brewer, P., Michniewicz, M., Grones, P., Kleine Vehn, J., … Friml, J. (2011). Inositol trisphosphate-induced ca^2+ signaling modulates auxin transport and pin polarity. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2011.05.013
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3090
Mravec, J., Petrášek, J., Li, N., Boeren, S., Karlova, R., Kitakura, S., … Friml, J. (2011). Cell plate restricted association of DRP1A and PIN proteins is required for cell polarity establishment in arabidopsis. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2011.05.018
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 3101 |
Zwiewka, M., Feraru, E., Möller, B., Hwang, I., Feraru, M., Kleine Vehn, J., … Friml, J. (2011). The AP 3 adaptor complex is required for vacuolar function in Arabidopsis. Cell Research. Nature Publishing Group. https://doi.org/10.1038/cr.2011.99
View
| DOI
| Download (ext.)
2011 | Published | Journal Article | IST-REx-ID: 3138
Sullivan, D., Csicsvari, J. L., 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. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.0294-11.2011
View
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 757
Alistarh, D.-A., Gilbert, S., Guerraoui, R., & Travers, C. (2011). Generating fast indulgent algorithms (Vol. 6522 LNCS, pp. 41–52). Presented at the ICDCN: International Conference on Distributed Computing and Networking, Springer. https://doi.org/10.1007/978-3-642-17679-1_4
View
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 760
Alistarh, D.-A., & Aspnes, J. (2011). Sub-logarithmic test-and-set against a weak adversary (Vol. 6950 LNCS, pp. 97–109). Presented at the DISC: Distributed Computing, Springer. https://doi.org/10.1007/978-3-642-24100-0_7
View
| DOI
2011 | Published | Journal Article | IST-REx-ID: 8025 |
Woodruff, A. R., McGarry, L. M., Vogels, T. P., Inan, M., Anderson, S. A., & Yuste, R. (2011). State-dependent function of neocortical chandelier cells. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/jneurosci.3894-11.2011
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 | Published | Book Chapter | IST-REx-ID: 2116 |
Maas, J., & Van Neerven, J. (2011). Gradient estimates and domain identification for analytic Ornstein-Uhlenbeck operators. In Parabolic Problems (Vol. 80, pp. 463–477). Birkhäuser. https://doi.org/10.1007/978-3-0348-0075-4_24
View
| DOI
| Download (ext.)
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 (Vol. 6907, pp. 400–411). Presented at the MFCS: Mathematical Foundations of Computer Science, Springer. https://doi.org/10.1007/978-3-642-22993-0_37
View
| DOI
| Download (ext.)
2011 | Published | Conference Paper | IST-REx-ID: 3236
Jain, A., & Pietrzak, K. Z. (2011). Parallel repetition for leakage resilience amplification revisited (Vol. 6597, pp. 58–69). Presented at the TCC: Theory of Cryptography Conference, Springer. https://doi.org/10.1007/978-3-642-19571-6_5
View
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3239
Faust, S., Pietrzak, K. Z., & Venturi, D. (2011). Tamper proof circuits How to trade leakage for tamper resilience (Vol. 6755, pp. 391–402). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/978-3-642-22006-7_33
View
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3240
Barak, B., Dodis, Y., Krawczyk, H., Pereira, O., Pietrzak, K. Z., Standaert, F., & Yu, Y. (2011). Leftover hash lemma revisited (Vol. 6841, pp. 1–20). Presented at the CRYPTO: International Cryptology Conference, Springer. https://doi.org/ 10.1007/978-3-642-22792-9_1
View
| DOI
2011 | Published | Book Chapter | IST-REx-ID: 3271
Wagner, H., Chen, C., & Vuçini, E. (2011). Efficient computation of persistent homology for cubical data. In R. Peikert, H. Hauser, H. Carr, & R. Fuchs (Eds.), Topological Methods in Data Analysis and Visualization II (pp. 91–106). Springer. https://doi.org/10.1007/978-3-642-23175-9_7
View
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3323
Wies, T., Muñiz, M., & Kuncak, V. (2011). An efficient decision procedure for imperative tree data structures (Vol. 6803, pp. 476–491). Presented at the CADE 23: Automated Deduction , Wrocław, Poland: Springer. https://doi.org/10.1007/978-3-642-22438-6_36
View
| Files available
| DOI
2011 | Published | Conference Paper | IST-REx-ID: 3324 |
Piskac, R., & Wies, T. (2011). Decision procedures for automating termination proofs. In R. Jhala & D. Schmidt (Eds.) (Vol. 6538, pp. 371–386). Presented at the VMCAI: Verification Model Checking and Abstract Interpretation, Texas, USA: Springer. https://doi.org/10.1007/978-3-642-18275-4_26
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)