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 | Conference Paper | IST-REx-ID: 3883
Chatterjee K, Henzinger TA, Piterman N. Generalized parity games. In: Vol 4423. Springer; 2007:153-167. doi:10.1007/978-3-540-71389-0_12
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 3885
Chatterjee K. Optimal strategy synthesis in stochastic Müller games. In: Vol 4423. Springer; 2007:138-152. doi:10.1007/978-3-540-71389-0_11
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 3886
Chatterjee K. Stochastic Müller games are PSPACE-complete. In: Vol 4855. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2007:436-448. doi:10.1007/978-3-540-77050-3_36
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 3887
Chatterjee K. Markov decision processes with multiple long-run average objectives. In: Vol 4855. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2007:473-484. doi:10.1007/978-3-540-77050-3_39
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 3973
Cohen Steiner D, Edelsbrunner H. Inequalities for the curvature of curves and surfaces. Foundations of Computational Mathematics. 2007;7(4):391-404. doi:10.1007/s10208-005-0200-3
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 3977
Attali D, Edelsbrunner H. Inclusion-exclusion formulas from independent complexes. Discrete & Computational Geometry. 2007;37(1):59-77. doi:10.1007/s00454-006-1274-7
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 3981
Attali D, Edelsbrunner H, Harer J, Mileyko Y. Alpha-beta witness complexes. In: Vol 4619. Springer; 2007:386-397. doi:10.1007/978-3-540-73951-7_34
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 4152
Rohde L, Heisenberg C-PJ. Zebrafish gastrulation: Cell movements, signals, and mechanisms. International Review of Cytology - A Survey of Cell Biology. 2007;261:159-192. doi:10.1016/S0074-7696(07)61004-3
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 18036
Millar D, Venkataraman L, Doerrer LH. Efficacy of Au−Au contacts for scanning tunneling microscopy molecular conductance measurements. The Journal of Physical Chemistry C. 2007;111(47):17635-17639. doi:10.1021/jp0756101
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 9487 | 
Penterman J, Zilberman D, Huh JH, Ballinger T, Henikoff S, Fischer RL. DNA demethylation in the Arabidopsis genome. Proceedings of the National Academy of Sciences. 2007;104(16):6752-6757. doi:10.1073/pnas.0701861104
[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. Using first-order theorem provers in the Jahob data structure verification system. In: 8th International Conference on Verification, Model Checking, and Abstract Interpretation. Vol 4349. Springer; 2007:74-88. doi:10.1007/978-3-540-69738-1_5
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4402
Alur R, Cerny P, Chaudhuri S. Model checking on trees with path equivalences. In: 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 4424. Springer; 2007:664-678. doi:10.1007/978-3-540-71209-1_51
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4398
Berdine J, Calcagno C, Cook B, et al. Shape analysis for composite data structures. In: 19th International Conference on Computer Aided Verification. Vol 4590. Springer; 2007:178-192. doi:10.1007/978-3-540-73368-3_22
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4368
Nickovic D, Maler O. AMT: A property-based monitoring tool for analog systems. In: 5th International Conference on Formal Modeling and Analysis of Timed Systems. Vol 4763. Springer; 2007:304-319. doi:10.1007/978-3-540-75454-1_22
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4370
Maler O, Nickovic D, Pnueli A. On synthesizing controllers from bounded-response properties. In: 19th International Conference on Computer Aided Verification. Vol 4590. Springer; 2007:95-107. doi:10.1007/978-3-540-73368-3_12
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 3884
Chatterjee K, Henzinger TA, Piterman N. Strategy logic. In: Vol 4703. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2007:59-73. doi:10.1007/978-3-540-74407-8_5
View
| Files available
| DOI
2006 | Published | Journal Article | IST-REx-ID: 11117
D’Angelo MA, Hetzer M. The role of the nuclear envelope in cellular organization. Cellular and Molecular Life Sciences. 2006;63(3):316-332. doi:10.1007/s00018-005-5361-3
View
| DOI
| PubMed | Europe PMC
2006 | Published | Conference Paper | IST-REx-ID: 11929
Henzinger M. 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. Association for Computing Machinery; 2006:284-291. doi:10.1145/1148170.1148222
View
| DOI
2006 | Published | Journal Article | IST-REx-ID: 17718 |
Kramer RH, Haiman Z, Oh SP. Feedback from clustered sources during reionization. The Astrophysical Journal. 2006;649(2):570-578. doi:10.1086/506906
[Published Version]
View
| DOI
| Download Published Version (ext.)
2006 | Published | Journal Article | IST-REx-ID: 17727 |
Richards GT, Haiman Z, Pindor B, 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. 2006;131(1):49-54. doi:10.1086/498063
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)