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, T. A., & Piterman, N. (2007). Generalized parity games (Vol. 4423, pp. 153–167). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Springer. https://doi.org/10.1007/978-3-540-71389-0_12
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 3885
Chatterjee, K. (2007). Optimal strategy synthesis in stochastic Müller games (Vol. 4423, pp. 138–152). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Springer. https://doi.org/10.1007/978-3-540-71389-0_11
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 3886
Chatterjee, K. (2007). Stochastic Müller games are PSPACE-complete (Vol. 4855, pp. 436–448). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-540-77050-3_36
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 3887
Chatterjee, K. (2007). Markov decision processes with multiple long-run average objectives (Vol. 4855, pp. 473–484). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-540-77050-3_39
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 3973
Cohen Steiner, D., & Edelsbrunner, H. (2007). Inequalities for the curvature of curves and surfaces. Foundations of Computational Mathematics. Springer. https://doi.org/10.1007/s10208-005-0200-3
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 3977
Attali, D., & Edelsbrunner, H. (2007). Inclusion-exclusion formulas from independent complexes. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-006-1274-7
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 3981
Attali, D., Edelsbrunner, H., Harer, J., & Mileyko, Y. (2007). Alpha-beta witness complexes (Vol. 4619, pp. 386–397). Presented at the WADS: International Workshop on Algrithms and Data Structures, Springer. https://doi.org/10.1007/978-3-540-73951-7_34
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 4152
Rohde, L., & Heisenberg, C.-P. J. (2007). Zebrafish gastrulation: Cell movements, signals, and mechanisms. International Review of Cytology - A Survey of Cell Biology. Academic Press. https://doi.org/10.1016/S0074-7696(07)61004-3
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 18036
Millar, D., Venkataraman, L., & Doerrer, L. H. (2007). Efficacy of Au−Au contacts for scanning tunneling microscopy molecular conductance measurements. The Journal of Physical Chemistry C. American Chemical Society. https://doi.org/10.1021/jp0756101
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 9487 | 
Penterman, J., Zilberman, D., Huh, J. H., Ballinger, T., Henikoff, S., & Fischer, R. L. (2007). DNA demethylation in the Arabidopsis genome. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/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. (2007). 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, pp. 74–88). Nice, France: Springer. https://doi.org/10.1007/978-3-540-69738-1_5
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4402
Alur, R., Cerny, P., & Chaudhuri, S. (2007). Model checking on trees with path equivalences. In 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 4424, pp. 664–678). Braga, Portugal: Springer. https://doi.org/10.1007/978-3-540-71209-1_51
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. In 19th International Conference on Computer Aided Verification (Vol. 4590, pp. 178–192). Berlin, Germany: Springer. https://doi.org/10.1007/978-3-540-73368-3_22
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4368
Nickovic, D., & Maler, O. (2007). AMT: A property-based monitoring tool for analog systems. In 5th International Conference on Formal Modeling and Analysis of Timed Systems (Vol. 4763, pp. 304–319). Salzburg, Austria: Springer. https://doi.org/10.1007/978-3-540-75454-1_22
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4370
Maler, O., Nickovic, D., & Pnueli, A. (2007). On synthesizing controllers from bounded-response properties. In 19th International Conference on Computer Aided Verification (Vol. 4590, pp. 95–107). Berlin, Germany: Springer. https://doi.org/10.1007/978-3-540-73368-3_12
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 3884
Chatterjee, K., Henzinger, T. A., & Piterman, N. (2007). Strategy logic (Vol. 4703, pp. 59–73). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-540-74407-8_5
View
| Files available
| DOI
2006 | Published | Journal Article | IST-REx-ID: 11117
D’Angelo, M. A., & Hetzer, M. (2006). The role of the nuclear envelope in cellular organization. Cellular and Molecular Life Sciences. Springer Nature. https://doi.org/10.1007/s00018-005-5361-3
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. In 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval (pp. 284–291). Seattle, WA, United States: Association for Computing Machinery. https://doi.org/10.1145/1148170.1148222
View
| DOI
2006 | Published | Journal Article | IST-REx-ID: 17718 |
Kramer, R. H., Haiman, Z., & Oh, S. P. (2006). Feedback from clustered sources during reionization. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.1086/506906
[Published Version]
View
| DOI
| Download Published Version (ext.)
2006 | Published | Journal Article | IST-REx-ID: 17727 |
Richards, G. T., Haiman, Z., Pindor, B., Strauss, M. A., Fan, X., Eisenstein, D., … 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. American Astronomical Society. https://doi.org/10.1086/498063
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)