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: 9487 | 
Penterman J, Zilberman D, Huh JH, Ballinger T, Henikoff S, Fischer RL. 2007. DNA demethylation in the Arabidopsis genome. Proceedings of the National Academy of Sciences. 104(16), 6752–6757.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2007 | Published | Conference Paper | IST-REx-ID: 4394
Bouillaguet C, Kuncak V, Wies T, Zee K, Rinard M. 2007. Using first-order theorem provers in the Jahob data structure verification system. 8th International Conference on Verification, Model Checking, and Abstract Interpretation. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 4349, 74–88.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4402
Alur R, Cerny P, Chaudhuri S. 2007. Model checking on trees with path equivalences. 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 4424, 664–678.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4398
Berdine J, Calcagno C, Cook B, Distefano D, O’Hearn P, Wies T, Yang H. 2007. Shape analysis for composite data structures. 19th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 4590, 178–192.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4368
Nickovic D, Maler O. 2007. AMT: A property-based monitoring tool for analog systems. 5th International Conference on Formal Modeling and Analysis of Timed Systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 4763, 304–319.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 3884
Chatterjee K, Henzinger TA, Piterman N. 2007. Strategy logic. CONCUR: Concurrency Theory, LNCS, vol. 4703, 59–73.
View
| Files available
| DOI
2006 | Published | Journal Article | IST-REx-ID: 11117
D’Angelo MA, Hetzer M. 2006. The role of the nuclear envelope in cellular organization. Cellular and Molecular Life Sciences. 63(3), 316–332.
View
| DOI
| PubMed | Europe PMC
2006 | Published | Conference Paper | IST-REx-ID: 11929
Henzinger M. 2006. Finding near-duplicate web pages: A large-scale evaluation of algorithms. 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval. SIGIR: International Conference on Research and Development in Information Retrieval, 284–291.
View
| DOI
2006 | Published | Journal Article | IST-REx-ID: 17718 |
Kramer RH, Haiman Z, Oh SP. 2006. Feedback from clustered sources during reionization. The Astrophysical Journal. 649(2), 570–578.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2006 | Published | Journal Article | IST-REx-ID: 17727 |
Richards GT, Haiman Z, Pindor B, Strauss MA, Fan X, Eisenstein D, Schneider DP, Bahcall NA, Brinkmann J, Fukugita M. 2006. 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. 131(1), 49–54.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)