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, Krishnendu, et al. Generalized Parity Games. Vol. 4423, Springer, 2007, pp. 153–67, doi:10.1007/978-3-540-71389-0_12.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 3885
Chatterjee, Krishnendu. Optimal Strategy Synthesis in Stochastic Müller Games. Vol. 4423, Springer, 2007, pp. 138–52, doi:10.1007/978-3-540-71389-0_11.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 3886
Chatterjee, Krishnendu. Stochastic Müller Games Are PSPACE-Complete. Vol. 4855, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 436–48, doi:10.1007/978-3-540-77050-3_36.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 3887
Chatterjee, Krishnendu. Markov Decision Processes with Multiple Long-Run Average Objectives. Vol. 4855, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 473–84, doi:10.1007/978-3-540-77050-3_39.
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 3973
Cohen Steiner, David, and Herbert Edelsbrunner. “Inequalities for the Curvature of Curves and Surfaces.” Foundations of Computational Mathematics, vol. 7, no. 4, Springer, 2007, pp. 391–404, doi:10.1007/s10208-005-0200-3.
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 3977
Attali, Dominique, and Herbert Edelsbrunner. “Inclusion-Exclusion Formulas from Independent Complexes.” Discrete & Computational Geometry, vol. 37, no. 1, Springer, 2007, pp. 59–77, doi:10.1007/s00454-006-1274-7.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 3981
Attali, Dominique, et al. Alpha-Beta Witness Complexes. Vol. 4619, Springer, 2007, pp. 386–97, doi:10.1007/978-3-540-73951-7_34.
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 4152
Rohde, Laurel, and Carl-Philipp J. Heisenberg. “Zebrafish Gastrulation: Cell Movements, Signals, and Mechanisms.” International Review of Cytology - A Survey of Cell Biology, vol. 261, Academic Press, 2007, pp. 159–92, doi:10.1016/S0074-7696(07)61004-3.
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 18036
Millar, David, et al. “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, 2007, pp. 17635–39, doi:10.1021/jp0756101.
View
| DOI
2007 | Published | Journal Article | IST-REx-ID: 9487 | 
Penterman, Jon, et al. “DNA Demethylation in the Arabidopsis Genome.” Proceedings of the National Academy of Sciences, vol. 104, no. 16, National Academy of Sciences, 2007, pp. 6752–57, 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, Charles, et al. “Using First-Order Theorem Provers in the Jahob Data Structure Verification System.” 8th International Conference on Verification, Model Checking, and Abstract Interpretation, vol. 4349, Springer, 2007, pp. 74–88, doi:10.1007/978-3-540-69738-1_5.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4402
Alur, Rajeev, et al. “Model Checking on Trees with Path Equivalences.” 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 4424, Springer, 2007, pp. 664–78, doi:10.1007/978-3-540-71209-1_51.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4398
Berdine, Josh, et al. “Shape Analysis for Composite Data Structures.” 19th International Conference on Computer Aided Verification, vol. 4590, Springer, 2007, pp. 178–92, doi:10.1007/978-3-540-73368-3_22.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4368
Nickovic, Dejan, and Oded Maler. “AMT: A Property-Based Monitoring Tool for Analog Systems.” 5th International Conference on Formal Modeling and Analysis of Timed Systems, vol. 4763, Springer, 2007, pp. 304–19, doi:10.1007/978-3-540-75454-1_22.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 4370
Maler, Oded, et al. “On Synthesizing Controllers from Bounded-Response Properties.” 19th International Conference on Computer Aided Verification, vol. 4590, Springer, 2007, pp. 95–107, doi:10.1007/978-3-540-73368-3_12.
View
| DOI
2007 | Published | Conference Paper | IST-REx-ID: 3884
Chatterjee, Krishnendu, et al. Strategy Logic. Vol. 4703, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 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, M. A., and Martin Hetzer. “The Role of the Nuclear Envelope in Cellular Organization.” Cellular and Molecular Life Sciences, vol. 63, no. 3, Springer Nature, 2006, pp. 316–32, doi:10.1007/s00018-005-5361-3.
View
| DOI
| PubMed | Europe PMC
2006 | Published | Conference Paper | IST-REx-ID: 11929
Henzinger, Monika. “Finding Near-Duplicate Web Pages: A Large-Scale Evaluation of Algorithms.” 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, Association for Computing Machinery, 2006, pp. 284–91, doi:10.1145/1148170.1148222.
View
| DOI
2006 | Published | Journal Article | IST-REx-ID: 17718 |
Kramer, Roban Hultman, et al. “Feedback from Clustered Sources during Reionization.” The Astrophysical Journal, vol. 649, no. 2, American Astronomical Society, 2006, pp. 570–78, doi:10.1086/506906.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2006 | Published | Journal Article | IST-REx-ID: 17727 |
Richards, Gordon T., 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, 2006, pp. 49–54, doi:10.1086/498063.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)