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, Elmar, 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, doi:10.1103/PhysRevLett.107.230404.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Published | Conference Paper | IST-REx-ID: 9648 | OA
Gonzalez-Diaz, Rocio, et al. “Incremental-Decremental Algorithm for Computing AT-Models and Persistent Homology.” Computer Analysis of Images and Patterns, vol. 6854, Springer Nature, 2011, pp. 286–93, doi:10.1007/978-3-642-23672-3_35.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Published | Conference Paper | IST-REx-ID: 9943 | OA
Sommer, Christoph M., et al. “Ilastik: Interactive Learning and Segmentation Toolkit.” 2011 IEEE International Symposium on Biomedical Imaging: From Nano to Micro, Institute of Electrical and Electronics Engineers, 2011, doi:10.1109/isbi.2011.5872394.
[Preprint] View | DOI | Download Preprint (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 3965
Wang, Bei, et al. “Computing Elevation Maxima by Searching the Gauss Sphere.” Journal of Experimental Algorithmics, vol. 16, no. 2.2, ACM, 2011, pp. 1–13, doi:10.1145/1963190.1970375.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 531 | OA
Guerraoui, Rachid, et al. “Verification of STM on Relaxed Memory Models.” Formal Methods in System Design, vol. 39, no. 3, Springer, 2011, pp. 297–331, doi:10.1007/s10703-011-0131-3.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

earlier version | 2011 | Published | Technical Report | IST-REx-ID: 5379 | OA
Chatterjee, Krishnendu, and Monika Henzinger. An O(N2) Time Algorithm for Alternating Büchi Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0009.
[Published Version] View | Files available | DOI
 

earlier version | 2011 | Published | Technical Report | IST-REx-ID: 5380 | OA
Chatterjee, Krishnendu. Bounded Rationality in Concurrent Parity Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0008.
[Published Version] View | Files available | DOI
 

earlier version | 2011 | Published | Technical Report | IST-REx-ID: 5381 | OA
Chatterjee, Krishnendu, and Laurent Doyen. Partial-Observation Stochastic Games: How to Win When Belief Fails. IST Austria, 2011, doi:10.15479/AT:IST-2011-0007.
[Published Version] View | Files available | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 2975
Camenisch, Jan, et al. A Framework for Practical Universally Composable Zero-Knowledge Protocols. Edited by Dong Lee and Xiaoyun Wang, vol. 7073, Springer, 2011, pp. 449–67, doi:10.1007/978-3-642-25385-0.
View | DOI | Download (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 3086
Furutani, Masahiko, 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, 2011, pp. 2069–78, doi:10.1242/dev.057745.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 3089
Zhang, Jing, et al. “Inositol Trisphosphate-Induced Ca^2+ Signaling Modulates Auxin Transport and Pin Polarity.” Developmental Cell, vol. 20, no. 6, Cell Press, 2011, pp. 855–66, doi:10.1016/j.devcel.2011.05.013.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 3090
Mravec, Jozef, 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, 2011, pp. 1055–60, doi:10.1016/j.cub.2011.05.018.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 3101 | OA
Zwiewka, Marta, et al. “The AP 3 Adaptor Complex Is Required for Vacuolar Function in Arabidopsis.” Cell Research, vol. 21, no. 12, Nature Publishing Group, 2011, pp. 1711–22, doi:10.1038/cr.2011.99.
View | DOI | Download (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 3138
Sullivan, David, et al. “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, 2011, pp. 8605–16, doi:10.1523/JNEUROSCI.0294-11.2011.
View | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 3204
Kolmogorov, Vladimir. Submodularity on a Tree: Unifying Submodularity on a Tree: Unifying L-Convex and Bisubmodular Functions Convex and Bisubmodular Functions. Vol. 6907, Springer, 2011, pp. 400–11, doi:10.1007/978-3-642-22993-0_37.
View | DOI | Download (ext.)
 

2011 | Published | Conference Paper | IST-REx-ID: 3236
Jain, Abhishek, and Krzysztof Z. Pietrzak. Parallel Repetition for Leakage Resilience Amplification Revisited. Vol. 6597, Springer, 2011, pp. 58–69, doi:10.1007/978-3-642-19571-6_5.
View | DOI
 

earlier version | 2011 | Published | Conference Paper | IST-REx-ID: 3238
Kiltz, Eike, et al. Efficient Authentication from Hard Learning Problems. Vol. 6632, Springer, 2011, pp. 7–26, doi:10.1007/978-3-642-20465-4_3.
View | Files available | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 3239
Faust, Sebastian, et al. Tamper Proof Circuits How to Trade Leakage for Tamper Resilience. Vol. 6755, no. Part 1, Springer, 2011, pp. 391–402, doi:10.1007/978-3-642-22006-7_33.
View | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 3240
Barak, Boaz, et al. Leftover Hash Lemma Revisited. Vol. 6841, Springer, 2011, pp. 1–20, doi: 10.1007/978-3-642-22792-9_1.
View | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 3264
Gupta, Ashutosh, et al. Solving Recursion-Free Horn Clauses over LI+UIF. Edited by Hongseok Yang, vol. 7078, Springer, 2011, pp. 188–203, doi:10.1007/978-3-642-25318-8_16.
View | DOI
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed