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.
1482 Publications
2010 |Published| Conference (Editor) | IST-REx-ID: 3859
Chatterjee, Krishnendu, and Thomas A. Henzinger, editors. Formal Modeling and Analysis of Timed Systems. Vol. 6246, Springer, 2010, doi:10.1007/978-3-642-15297-9.
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3067
Jelínková, Adriana, et al. “Probing Plant Membranes with FM Dyes: Tracking Dragging or Blocking?” Plant Journal, vol. 61, no. 5, Wiley-Blackwell, 2010, pp. 883–92, doi:10.1111/j.1365-313X.2009.04102.x.
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3066
Łangowski, Łukasz, et al. “Trafficking to the Outer Polar Domain Defines the Root Soil Interface.” Current Biology, vol. 20, no. 10, Cell Press, 2010, pp. 904–08, doi:10.1016/j.cub.2010.03.059.
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3069
Ding, Zhaojun, and Jiří Friml. “Auxin Regulates Distal Stem Cell Differentiation in Arabidopsis Roots.” PNAS, vol. 107, no. 26, National Academy of Sciences, 2010, pp. 12046–51, doi:10.1073/pnas.1000672107.
View
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3201
Vicente, Sara, et al. Cosegmentation Revisited: Models and Optimization. Vol. 6312, Springer, 2010, pp. 465–79, doi:10.1007/978-3-642-15552-9_34.
View
| DOI
| Download (ext.)
2010 |Published| Conference Paper | IST-REx-ID: 3237
Kiltz, Eike, and Krzysztof Z. Pietrzak. Leakage Resilient ElGamal Encryption. Vol. 6477, Springer, 2010, pp. 595–612, doi:10.1007/978-3-642-17373-8_34.
View
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3235
Dodis, Yevgeniy, and Krzysztof Z. Pietrzak. Leakage Resilient Pseudorandom Functions and Side Channel Attacks on Feistel Networks. Vol. 6223, Springer, 2010, pp. 21–40, doi:10.1007/978-3-642-14623-7_2.
View
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3676
Wanke, Jörn, et al. Topic Models for Semantic Video Compression. ACM, 2010, pp. 275–84, doi:10.1145/1743384.1743433.
View
| DOI
| Download (ext.)
2010 |Published| Journal Article | IST-REx-ID: 3774
Senn, Helen, et al. “Phenotypic Correlates of Hybridisation between Red and Sika Deer (Genus Cervus).” Journal of Animal Ecology, vol. 79, no. 2, Wiley-Blackwell, 2010, pp. 414–25, doi:10.1111/j.1365-2656.2009.01633.x.
View
| DOI
| PubMed | Europe PMC
2010 |Published| Journal Article | IST-REx-ID: 3789
Quesada-Hernández, Elena, et al. “Stereotypical Cell Division Orientation Controls Neural Rod Midline Formation in Zebrafish.” Current Biology, vol. 20, no. 21, Cell Press, 2010, pp. 1966–72, doi:10.1016/j.cub.2010.10.009.
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 4187
Kardash, Elena, et al. “A Role for Rho GTPases and Cell-Cell Adhesion in Single-Cell Motility in Vivo.” Nature Cell Biology, vol. 12, no. 1, Nature Publishing Group, 2010, pp. 47–53, doi:10.1038/ncb2003.
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 4221
Arboleda Estudillo, Yohanna, et al. “Movement Directionality in Collective Migration of Germ Layer Progenitors.” Current Biology, vol. 20, no. 2, Cell Press, 2010, pp. 161–69, doi:10.1016/j.cub.2009.11.036.
View
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 4389 | 
Doyen, Laurent, et al. Robustness of Sequential Circuits. IEEE, 2010, pp. 77–84, doi:10.1109/ACSD.2010.26.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 4396 |
Beyer, Dirk, et al. Shape Refinement through Explicit Heap Analysis. Edited by David Rosenblum and Gabriele Taenzer, vol. 6013, Springer, 2010, pp. 263–77, doi:10.1007/978-3-642-12029-9_19.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 4395
Burckhardt, Sebastian, et al. Verifying Local Transformations on Relaxed Memory Models. Edited by Rajiv Gupta, vol. 6011, Springer, 2010, pp. 104–23, doi:10.1007/978-3-642-11970-5_7.
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3867 |
Chatterjee, Krishnendu, et al. “Expressiveness and Closure Properties for Quantitative Languages.” Logical Methods in Computer Science, vol. 6, no. 3, International Federation of Computational Logic, 2010, pp. 1–23, doi:10.2168/LMCS-6(3:10)2010.
[Published Version]
View
| Files available
| DOI
2010 |Published| Technical Report | IST-REx-ID: 5388 |
Chatterjee, Krishnendu, et al. Quantitative Synthesis for Concurrent Programs. IST Austria, 2010, doi:10.15479/AT:IST-2010-0004.
[Published Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 7078 |
Salje, E. K. H., et al. “Tin Telluride: A Weakly Co-Elastic Metal.” Physical Review B, vol. 82, no. 18, 184112, APS, 2010, doi:10.1103/physrevb.82.184112.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 |Published| Conference Paper | IST-REx-ID: 758
Alistarh, Dan-Adrian, et al. Brief Announcement: New Bounds for Partially Synchronous Set Agreement. Vol. 6343 LNCS, Springer, 2010, pp. 404–05, doi:10.1007/978-3-642-15763-9_40.
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 9145
Canuto, V. M., et al. “Ocean Turbulence, III: New GISS Vertical Mixing Scheme.” Ocean Modelling, vol. 34, no. 3–4, Elsevier, 2010, pp. 70–91, doi:10.1016/j.ocemod.2010.04.006.
View
| DOI