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
2007 | Published | Journal Article | IST-REx-ID: 18036
D. Millar, L. Venkataraman, and L. H. Doerrer, “Efficacy of Au−Au contacts for scanning tunneling microscopy molecular conductance measurements,” The Journal of Physical Chemistry C, vol. 111, no. 47. American Chemical Society, pp. 17635–17639, 2007.
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 9487 | 
J. Penterman, D. Zilberman, J. H. Huh, T. Ballinger, S. Henikoff, and R. L. Fischer, “DNA demethylation in the Arabidopsis genome,” Proceedings of the National Academy of Sciences, vol. 104, no. 16. National Academy of Sciences, pp. 6752–6757, 2007.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2007 | Published | Conference Paper | IST-REx-ID: 4394
C. Bouillaguet, V. Kuncak, T. Wies, K. Zee, and M. Rinard, “Using first-order theorem provers in the Jahob data structure verification system,” in 8th International Conference on Verification, Model Checking, and Abstract Interpretation, Nice, France, 2007, vol. 4349, pp. 74–88.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4402
R. Alur, P. Cerny, and S. Chaudhuri, “Model checking on trees with path equivalences,” in 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Braga, Portugal, 2007, vol. 4424, pp. 664–678.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 3884
K. Chatterjee, T. A. Henzinger, and N. Piterman, “Strategy logic,” presented at the CONCUR: Concurrency Theory, 2007, vol. 4703, pp. 59–73.
View
| Files available
| DOI
2006 | Published | Journal Article | IST-REx-ID: 11117
M. A. D’Angelo and M. Hetzer, “The role of the nuclear envelope in cellular organization,” Cellular and Molecular Life Sciences, vol. 63, no. 3. Springer Nature, pp. 316–332, 2006.
View
| DOI
| PubMed | Europe PMC
2006 | Published | Conference Paper | IST-REx-ID: 11929
M. Henzinger, “Finding near-duplicate web pages: A large-scale evaluation of algorithms,” in 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Seattle, WA, United States, 2006, pp. 284–291.
View
| DOI
2006 | Published | Journal Article | IST-REx-ID: 17718 |
R. H. Kramer, Z. Haiman, and S. P. Oh, “Feedback from clustered sources during reionization,” The Astrophysical Journal, vol. 649, no. 2. American Astronomical Society, pp. 570–578, 2006.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2006 | Published | Journal Article | IST-REx-ID: 17727 |
G. T. Richards et al., “A snapshot survey for gravitational lenses among z ≥ 4.0 quasars. II. Constraints on the 4.0 < z < 5.4 quasar population,” The Astronomical Journal, vol. 131, no. 1. American Astronomical Society, pp. 49–54, 2006.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)