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.
1621 Publications
2007 | 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 | Journal Article | IST-REx-ID: 4247
Gardner, A., West, S., & Barton, N. H. (2007). The relation between multilocus population genetics and social evolution theory. American Naturalist. University of Chicago Press. https://doi.org/10.1086/510602
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4399
Beyer, D., Henzinger, T. A., & Singh, V. (2007). Algorithms for interface synthesis (Vol. 4590, pp. 4–19). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-540-73368-3_4
View
| DOI
2007 | Book Chapter | IST-REx-ID: 4417
Manevich, R., Field, J., Henzinger, T. A., Ramalingam, G., & Sagiv, M. (2007). Abstract counterexample-based refinement for powerset domains. In Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday (Vol. 4444, pp. 273–292). Springer. https://doi.org/10.1007/978-3-540-71322-7_13
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4514
Henzinger, T. A. (2007). Games, time, and probability: Graph models for system design and analysis (Vol. 4362, pp. 103–110). Presented at the SOFSEM: Current Trends in Theory and Practice of Computer Science, Springer. https://doi.org/10.1007/978-3-540-69507-3_7
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4511
Henzinger, T. A. (2007). Quantitative generalizations of languages (Vol. 4588, pp. 20–22). Presented at the DLT: Developments in Language Theory, Springer. https://doi.org/10.1007/978-3-540-73208-2_2
View
| DOI
2007 | Conference (Editor) | IST-REx-ID: 4530
Duparc, J., & Henzinger, T. A. (2007). CSL: Computer Science Logic . CSL: Computer Science Logic (Vol. 4646). Springer. https://doi.org/10.1007/978-3-540-74915-8
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4537
Chatterjee, K., & Henzinger, T. A. (2007). Assume-guarantee synthesis (Vol. 4424, pp. 261–275). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/978-3-540-71209-1_21
View
| DOI
2007 | Journal Article | IST-REx-ID: 4547
Chatterjee, K., Doyen, L., Henzinger, T. A., & Raskin, J. (2007). Algorithms for omega-regular games with imperfect information. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-3(3:4)2007
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4570
Brihaye, T., Henzinger, T. A., Prabhu, V., & Raskin, J. (2007). Minimum-time reachability in timed games (Vol. 4596, pp. 825–837). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/978-3-540-73420-8_71
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4573
Beyer, D., Henzinger, T. A., & Théoduloz, G. (2007). Configurable software verification: Concretizing the convergence of model checking and program analysis (Vol. 4590, pp. 504–518). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-540-73368-3_51
View
| DOI
2007 | Conference Paper | IST-REx-ID: 4572
Beyer, D., Henzinger, T. A., Majumdar, R., & Rybalchenko, A. (2007). Invariant synthesis for combined theories (Vol. 4349, pp. 378–394). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Springer. https://doi.org/10.1007/978-3-540-69738-1_27
View
| DOI
2007 | Journal Article | IST-REx-ID: 4626
De Alfaro, L., Henzinger, T. A., & Kupferman, O. (2007). Concurrent reachability games. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2007.07.008
View
| DOI
2007 | 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
2006 | Conference Paper | IST-REx-ID: 1034 |
Nägerl, H., Kraemer, T., Mark, M., Waldburger, P., Danzl, J. G., Engeser, B., … Grimm, R. (2006). Experimental evidence for Efimov quantum states (Vol. 869, pp. 269–277). Presented at the ICAP: International Conference on Atomic Physics, AIP. https://doi.org/10.1063/1.2400657
View
| DOI
| Download None (ext.)
2006 | 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 | Conference Paper | IST-REx-ID: 11929
Henzinger, M. H. (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 | Journal Article | IST-REx-ID: 2134
Ehresmann, A., Werner, L., Klumpp, S., Demekhin, P., Lemeshko, M., Sukhorukov, V., … Schmoranzer, H. (2006). Predissociation of the N+2(C 2Σ+u) state observed via C 2Σ+u → X 2Σ+g fluorescence after resonant 1s−1π* excitation of N2 molecule. Journal of Physics B: Atomic, Molecular and Optical Physics. IOP Publishing Ltd. https://doi.org/10.1088/0953-4075/39/6/L03
View
| DOI
2006 | Journal Article | IST-REx-ID: 215
Browning, T. D., & Heath Brown, R. (2006). The density of rational points on non-singular hypersurfaces, I. Bulletin of the London Mathematical Society. Wiley-Blackwell. https://doi.org/10.1112/S0024609305018412
View
| DOI
2006 | Journal Article | IST-REx-ID: 218
De La Bretèche, R., & Browning, T. D. (2006). Sums of arithmetic functions over values of binary forms. Acta Arithmetica. Instytut Matematyczny. https://doi.org/10.4064/aa125-3-6
View
| DOI