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, Mahmoud Rabie, Manfred Mark, Johann G Danzl, Russell Hart, Katharina Lauber, Guido Pupillo, and Hanns Nägerl. “Three-Body Correlation Functions and Recombination Rates for Bosons in Three Dimensions and One Dimension.” Physical Review Letters. American Physical Society, 2011. https://doi.org/10.1103/PhysRevLett.107.230404.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Published | Conference Paper | IST-REx-ID: 9648 | OA
Gonzalez-Diaz, Rocio, Adrian Ion, Maria Jose Jimenez, and Regina Poyatos. “Incremental-Decremental Algorithm for Computing AT-Models and Persistent Homology.” In Computer Analysis of Images and Patterns, 6854:286–93. Springer Nature, 2011. https://doi.org/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, Christoph Straehle, Ullrich Köthe, and Fred A. Hamprecht. “Ilastik: Interactive Learning and Segmentation Toolkit.” In 2011 IEEE International Symposium on Biomedical Imaging: From Nano to Micro. Institute of Electrical and Electronics Engineers, 2011. https://doi.org/10.1109/isbi.2011.5872394.
[Preprint] View | DOI | Download Preprint (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 3965
Wang, Bei, Herbert Edelsbrunner, and Dmitriy Morozov. “Computing Elevation Maxima by Searching the Gauss Sphere.” Journal of Experimental Algorithmics. ACM, 2011. https://doi.org/10.1145/1963190.1970375.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 531 | OA
Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Verification of STM on Relaxed Memory Models.” Formal Methods in System Design. Springer, 2011. https://doi.org/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. https://doi.org/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. https://doi.org/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. https://doi.org/10.15479/AT:IST-2011-0007.
[Published Version] View | Files available | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 2975
Camenisch, Jan, Stephan Krenn, and Victor Shoup. “A Framework for Practical Universally Composable Zero-Knowledge Protocols.” edited by Dong Lee and Xiaoyun Wang, 7073:449–67. Springer, 2011. https://doi.org/10.1007/978-3-642-25385-0.
View | DOI | Download (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 3086
Furutani, Masahiko, Norihito Sakamoto, Shuhei Yoshida, Takahito Kajiwara, Hélène Robert, Jiří Friml, and Masao Tasaka. “Polar Localized NPH3-like Proteins Regulate Polarity and Endocytosis of PIN-FORMED Auxin Efflux Carriers.” Development. Company of Biologists, 2011. https://doi.org/10.1242/dev.057745.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 3089
Zhang, Jing, Steffen Vanneste, Philip Brewer, Marta Michniewicz, Peter Grones, Jürgen Kleine Vehn, Christian Löfke, et al. “Inositol Trisphosphate-Induced Ca^2+ Signaling Modulates Auxin Transport and Pin Polarity.” Developmental Cell. Cell Press, 2011. https://doi.org/10.1016/j.devcel.2011.05.013.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 3090
Mravec, Jozef, Jan Petrášek, Na Li, Sjef Boeren, Rumyana Karlova, Saeko Kitakura, Markéta Pařezová, et al. “Cell Plate Restricted Association of DRP1A and PIN Proteins Is Required for Cell Polarity Establishment in Arabidopsis.” Current Biology. Cell Press, 2011. https://doi.org/10.1016/j.cub.2011.05.018.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 3101 | OA
Zwiewka, Marta, Elena Feraru, Barbara Möller, Inhwan Hwang, Mugurel Feraru, Jürgen Kleine Vehn, Dolf Weijers, and Jiří Friml. “The AP 3 Adaptor Complex Is Required for Vacuolar Function in Arabidopsis.” Cell Research. Nature Publishing Group, 2011. https://doi.org/10.1038/cr.2011.99.
View | DOI | Download (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 3138
Sullivan, David, Jozsef L Csicsvari, Kenji Mizuseki, Sean Montgomery, Kamran Diba, and György Buzsáki. “Relationships between Hippocampal Sharp Waves Ripples and Fast Gamma Oscillation Influence of Dentate and Entorhinal Cortical Activity.” Journal of Neuroscience. Society for Neuroscience, 2011. https://doi.org/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,” 6907:400–411. Springer, 2011. https://doi.org/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,” 6597:58–69. Springer, 2011. https://doi.org/10.1007/978-3-642-19571-6_5.
View | DOI
 

earlier version | 2011 | Published | Conference Paper | IST-REx-ID: 3238
Kiltz, Eike, Krzysztof Z Pietrzak, David Cash, Abhishek Jain, and Daniele Venturi. “Efficient Authentication from Hard Learning Problems,” 6632:7–26. Springer, 2011. https://doi.org/10.1007/978-3-642-20465-4_3.
View | Files available | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 3239
Faust, Sebastian, Krzysztof Z Pietrzak, and Daniele Venturi. “Tamper Proof Circuits How to Trade Leakage for Tamper Resilience,” 6755:391–402. Springer, 2011. https://doi.org/10.1007/978-3-642-22006-7_33.
View | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 3240
Barak, Boaz, Yevgeniy Dodis, Hugo Krawczyk, Olivier Pereira, Krzysztof Z Pietrzak, François Standaert, and Yu Yu. “Leftover Hash Lemma Revisited,” 6841:1–20. Springer, 2011. https://doi.org/ 10.1007/978-3-642-22792-9_1.
View | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 3264
Gupta, Ashutosh, Corneliu Popeea, and Andrey Rybalchenko. “Solving Recursion-Free Horn Clauses over LI+UIF.” edited by Hongseok Yang, 7078:188–203. Springer, 2011. https://doi.org/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: Chicago

Export / Embed