ISTA Research Explorer

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.

371 Publications

2012 | Published | Journal Article | IST-REx-ID: 3836

Ghosal, A., Iercan, D., Kirsch, C., Henzinger, T. A., & Sangiovanni Vincentelli, A. (2012). Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code. Science of Computer Programming. Elsevier. https://doi.org/10.1016/j.scico.2010.06.004

View | DOI

2012 | Published | Journal Article | IST-REx-ID: 3846 |

Chatterjee, K., & Henzinger, T. A. (2012). A survey of stochastic ω regular games. Journal of Computer and System Sciences. Elsevier. https://doi.org/10.1016/j.jcss.2011.05.002

[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)

2012 | Published | Journal Article | IST-REx-ID: 387 |

Alpichshev, Z., Biswas, R., Balatsky, A., Analytis, J., Chu, J., Fisher, I., & Kapitulnik, A. (2012). STM imaging of impurity resonances on Bi 2Se 3. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.108.206402

View | DOI | Download None (ext.)

2012 | Published | Conference Paper | IST-REx-ID: 18344

Hooda, A., Bronstein, M. M., Bronstein, A. M., & Horaud, R. P. (2012). Shape palindromes: Analysis of intrinsic symmetries in 2D articulated shapes. In Scale Space and Variational Methods in Computer Vision (Vol. 6667, pp. 665–676). Ein-Gedi, Israel: Springer Nature. https://doi.org/10.1007/978-3-642-24785-9_56

View | DOI

2012 | Published | Conference Paper | IST-REx-ID: 18378

Kokkinos, I., Bronstein, M. M., Litman, R., & Bronstein, A. M. (2012). Intrinsic shape context descriptors for deformable shapes. In 2012 IEEE Conference on Computer Vision and Pattern Recognition. Providence, RI, United States: IEEE. https://doi.org/10.1109/cvpr.2012.6247671

View | DOI

2012 | Published | Conference Paper | IST-REx-ID: 18379

Rodola, E., Bronstein, A. M., Albarelli, A., Bergamasco, F., & Torsello, A. (2012). A game-theoretic approach to deformable shape matching. In 2012 IEEE Conference on Computer Vision and Pattern Recognition. Providence, RI, United States: IEEE. https://doi.org/10.1109/cvpr.2012.6247674

View | DOI

2012 | Published | Journal Article | IST-REx-ID: 3246

Barone, V., & Heisenberg, C.-P. J. (2012). Cell adhesion in embryo morphogenesis. Current Opinion in Cell Biology. Elsevier. https://doi.org/10.1016/j.ceb.2011.11.006

View | Files available | DOI

2012 | Published | Journal Article | IST-REx-ID: 2849 |

Edelsbrunner, H., & Strelkova, N. (2012). On the configuration space of Steiner minimal trees. Russian Mathematical Surveys. IOP Publishing. https://doi.org/10.1070/RM2012v067n06ABEH004820

[Submitted Version] View | Files available | DOI

2012 | Published | Conference Paper | IST-REx-ID: 18000

Aradhya, S. V., Frei, M., Hybertsen, M. S., & Venkataraman, L. (2012). Simultaneous measurement of force and conductance across single molecule junctions. In Proceedings of the 2012 Annual Conference on Experimental and Applied Mechanics (Vol. 6, pp. 75–84). Costa Mesa, CA, United States: Springer Nature. https://doi.org/10.1007/978-1-4614-4436-7_12

View | DOI

2012 | Published | Journal Article | IST-REx-ID: 18008

Makk, P., Tomaszewski, D., Martinek, J., Balogh, Z., Csonka, S., Wawrzyniak, M., … Halbritter, A. (2012). Correlation analysis of atomic and single-molecule junction conductance. ACS Nano. American Chemical Society. https://doi.org/10.1021/nn300440f