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
Generalized parity games
K. Chatterjee, T.A. Henzinger, N. Piterman, in:, Springer, 2007, pp. 153–167.
View
| DOI
K. Chatterjee, T.A. Henzinger, N. Piterman, in:, Springer, 2007, pp. 153–167.
2007 | Published | Conference Paper | IST-REx-ID: 3885
Optimal strategy synthesis in stochastic Müller games
K. Chatterjee, in:, Springer, 2007, pp. 138–152.
View
| DOI
K. Chatterjee, in:, Springer, 2007, pp. 138–152.
2007 | Published | Conference Paper | IST-REx-ID: 3886
Stochastic Müller games are PSPACE-complete
K. Chatterjee, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 436–448.
View
| DOI
K. Chatterjee, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 436–448.
2007 | Published | Conference Paper | IST-REx-ID: 3887
Markov decision processes with multiple long-run average objectives
K. Chatterjee, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 473–484.
View
| DOI
K. Chatterjee, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 473–484.
2007 | Published | Journal Article | IST-REx-ID: 3973
Inequalities for the curvature of curves and surfaces
D. Cohen Steiner, H. Edelsbrunner, Foundations of Computational Mathematics 7 (2007) 391–404.
View
| DOI
D. Cohen Steiner, H. Edelsbrunner, Foundations of Computational Mathematics 7 (2007) 391–404.
2007 | Published | Journal Article | IST-REx-ID: 3977
Inclusion-exclusion formulas from independent complexes
D. Attali, H. Edelsbrunner, Discrete & Computational Geometry 37 (2007) 59–77.
View
| DOI
D. Attali, H. Edelsbrunner, Discrete & Computational Geometry 37 (2007) 59–77.
2007 | Published | Conference Paper | IST-REx-ID: 3981
Alpha-beta witness complexes
D. Attali, H. Edelsbrunner, J. Harer, Y. Mileyko, in:, Springer, 2007, pp. 386–397.
View
| DOI
D. Attali, H. Edelsbrunner, J. Harer, Y. Mileyko, in:, Springer, 2007, pp. 386–397.
2007 | Published | Journal Article | IST-REx-ID: 4152
Zebrafish gastrulation: Cell movements, signals, and mechanisms
L. Rohde, C.-P.J. Heisenberg, International Review of Cytology - A Survey of Cell Biology 261 (2007) 159–192.
View
| DOI
L. Rohde, C.-P.J. Heisenberg, International Review of Cytology - A Survey of Cell Biology 261 (2007) 159–192.
2007 | Published | Journal Article | IST-REx-ID: 18036
Efficacy of Au−Au contacts for scanning tunneling microscopy molecular conductance measurements
D. Millar, L. Venkataraman, L.H. Doerrer, The Journal of Physical Chemistry C 111 (2007) 17635–17639.
View
| DOI
D. Millar, L. Venkataraman, L.H. Doerrer, The Journal of Physical Chemistry C 111 (2007) 17635–17639.
2007 | Published | Journal Article | IST-REx-ID: 9487 | 
DNA demethylation in the Arabidopsis genome
J. Penterman, D. Zilberman, J.H. Huh, T. Ballinger, S. Henikoff, R.L. Fischer, Proceedings of the National Academy of Sciences 104 (2007) 6752–6757.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Penterman, D. Zilberman, J.H. Huh, T. Ballinger, S. Henikoff, R.L. Fischer, Proceedings of the National Academy of Sciences 104 (2007) 6752–6757.
2007 | Published | Conference Paper | IST-REx-ID: 4394
Using first-order theorem provers in the Jahob data structure verification system
C. Bouillaguet, V. Kuncak, T. Wies, K. Zee, M. Rinard, in:, 8th International Conference on Verification, Model Checking, and Abstract Interpretation, Springer, 2007, pp. 74–88.
View
| DOI
C. Bouillaguet, V. Kuncak, T. Wies, K. Zee, M. Rinard, in:, 8th International Conference on Verification, Model Checking, and Abstract Interpretation, Springer, 2007, pp. 74–88.
2007 | Published | Conference Paper | IST-REx-ID: 4402
Model checking on trees with path equivalences
R. Alur, P. Cerny, S. Chaudhuri, in:, 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2007, pp. 664–678.
View
| DOI
R. Alur, P. Cerny, S. Chaudhuri, in:, 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2007, pp. 664–678.
2007 | Published | Conference Paper | IST-REx-ID: 4398
Shape analysis for composite data structures
J. Berdine, C. Calcagno, B. Cook, D. Distefano, P. O’Hearn, T. Wies, H. Yang, in:, 19th International Conference on Computer Aided Verification, Springer, 2007, pp. 178–192.
View
| DOI
J. Berdine, C. Calcagno, B. Cook, D. Distefano, P. O’Hearn, T. Wies, H. Yang, in:, 19th International Conference on Computer Aided Verification, Springer, 2007, pp. 178–192.
2007 | Published | Conference Paper | IST-REx-ID: 4368
AMT: A property-based monitoring tool for analog systems
D. Nickovic, O. Maler, in:, 5th International Conference on Formal Modeling and Analysis of Timed Systems, Springer, 2007, pp. 304–319.
View
| DOI
D. Nickovic, O. Maler, in:, 5th International Conference on Formal Modeling and Analysis of Timed Systems, Springer, 2007, pp. 304–319.
2007 | Published | Conference Paper | IST-REx-ID: 4370
On synthesizing controllers from bounded-response properties
O. Maler, D. Nickovic, A. Pnueli, in:, 19th International Conference on Computer Aided Verification, Springer, 2007, pp. 95–107.
View
| DOI
O. Maler, D. Nickovic, A. Pnueli, in:, 19th International Conference on Computer Aided Verification, Springer, 2007, pp. 95–107.
2007 | Published | Conference Paper | IST-REx-ID: 3884
Strategy logic
K. Chatterjee, T.A. Henzinger, N. Piterman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 59–73.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, N. Piterman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 59–73.
2006 | Published | Journal Article | IST-REx-ID: 11117
The role of the nuclear envelope in cellular organization
M.A. D’Angelo, M. Hetzer, Cellular and Molecular Life Sciences 63 (2006) 316–332.
View
| DOI
| PubMed | Europe PMC
M.A. D’Angelo, M. Hetzer, Cellular and Molecular Life Sciences 63 (2006) 316–332.
2006 | Published | Conference Paper | IST-REx-ID: 11929
Finding near-duplicate web pages: A large-scale evaluation of algorithms
M. Henzinger, in:, 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Association for Computing Machinery, 2006, pp. 284–291.
View
| DOI
M. Henzinger, in:, 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Association for Computing Machinery, 2006, pp. 284–291.
2006 | Published | Journal Article | IST-REx-ID: 17718 |
Feedback from clustered sources during reionization
R.H. Kramer, Z. Haiman, S.P. Oh, The Astrophysical Journal 649 (2006) 570–578.
[Published Version]
View
| DOI
| Download Published Version (ext.)
R.H. Kramer, Z. Haiman, S.P. Oh, The Astrophysical Journal 649 (2006) 570–578.
2006 | Published | Journal Article | IST-REx-ID: 17727 |
A snapshot survey for gravitational lenses among z ≥ 4.0 quasars. II. Constraints on the 4.0 < z < 5.4 quasar population
G.T. Richards, Z. Haiman, B. Pindor, M.A. Strauss, X. Fan, D. Eisenstein, D.P. Schneider, N.A. Bahcall, J. Brinkmann, M. Fukugita, The Astronomical Journal 131 (2006) 49–54.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
G.T. Richards, Z. Haiman, B. Pindor, M.A. Strauss, X. Fan, D. Eisenstein, D.P. Schneider, N.A. Bahcall, J. Brinkmann, M. Fukugita, The Astronomical Journal 131 (2006) 49–54.