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.
9191 Publications
1998 | Journal Article | IST-REx-ID: 4017 | 
Liang, J., Edelsbrunner, H., & Woodward, C. (1998). Anatomy of protein pockets and cavities: Measurement of binding site geometry and implications for ligand design. Protein Science. Wiley-Blackwell. https://doi.org/10.1002/pro.5560070905
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1998 | Journal Article | IST-REx-ID: 4012
Liang, J., Edelsbrunner, H., Fu, P., Sudhakar, P., & Subramaniam, S. (1998). Analytical shape computation of macromolecules: II. Inaccessible cavities in proteins. Proteins: Structure, Function and Bioinformatics. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1097-0134(19981001)33:1<18::AID-PROT2>3.0.CO;2-H
View
| DOI
1998 | Journal Article | IST-REx-ID: 4013 |
Edelsbrunner, H., Facello, M., & Liang, J. (1998). On the definition and the construction of pockets in macromolecules. Discrete Applied Mathematics. Elsevier. https://doi.org/10.1016/S0166-218X(98)00067-5
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1998 | Conference Paper | IST-REx-ID: 4015
Edelsbrunner, H. (1998). Shape reconstruction with Delaunay complex. In Proceedingsof the 3rd Latin American Symposium on Theoretical Informatics (Vol. 1380, pp. 119–132). Campinas, Brazil: Springer. https://doi.org/10.1007/BFb0054315
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4019
Cheng, H., Edelsbrunner, H., & Fu, P. (1998). Shape space from deformation. In Proceedings of the 6th Pacific Conference on Computer Graphics and Applications (pp. 104–113). Singapore: IEEE. https://doi.org/10.1109/PCCGA.1998.732056
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4016
Edelsbrunner, H., Facello, M., Fu, P., Qian, J., & Nekhayev, D. (1998). Wrapping 3D scanning data (Vol. 3313, pp. 148–158). Presented at the Three-Dimensional Image Capture and Applications, SPIE. https://doi.org/10.1117/12.302448
View
| DOI
1998 | Journal Article | IST-REx-ID: 4281
Barton, N. H., & Charlesworth, B. (1998). Why sex and recombination? Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.281.5385.1986
View
| DOI
| PubMed | Europe PMC
1998 | Journal Article | IST-REx-ID: 4280
Ritchie, M., & Barton, N. H. (1998). Hybrids and hybrid zones: Reply from M.G. Ritchie and N.H. Barton. Trends in Ecology and Evolution. Cell Press. https://doi.org/10.1016/S0169-5347(98)01396-2
View
| DOI
| PubMed | Europe PMC
1998 | Book Review | IST-REx-ID: 4283
Barton, N. H. (1998). The geometry of adaptation. Nature. Nature Publishing Group. https://doi.org/10.1038/27338
View
| DOI
1998 | Book Review | IST-REx-ID: 4282
Barton, N. H. (1998). Genetics and analysis of quantitative traits. Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672398219732
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4410
Preußig, J., Kowalewski, S., Wong Toi, H., & Henzinger, T. A. (1998). An algorithm for the approximative analysis of rectangular automata. In Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (Vol. 1486, pp. 228–240). Lyngby, Denmark: Springer. https://doi.org/10.1007/BFb0055350
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4408
Raskin, J., Schobbens, P., & Henzinger, T. A. (1998). Axioms for real-time logics. In Proceedings of the 9th Interantional Conference on Concurrency Theory (Vol. 1466, pp. 219–236). Nice, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/BFb0055625
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4429
Henzinger, T. A., & Rusu, V. (1998). Reachability verification for hybrid automata. In Proceedings of the 1st International Workshop on Hybrid Systems: Computation and Control (Vol. 1386, pp. 190–204). Berkely, CA, United States of America: Springer. https://doi.org/10.1007/3-540-64358-3_40
View
| DOI
1998 | Conference (Editor) | IST-REx-ID: 4430
Henzinger, T. A. (Ed.). (1998). HSCC: Hybrid Systems—Computation and Control (Vol. 1386). Presented at the HSCC: Hybrid Systems: Computation and Control, Berkeley, CA, United States of America: Springer. https://doi.org/10.1007/3-540-64358-3
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4486
Henzinger, T. A., Qadeer, S., Rajamani, S., & Tasiran, S. (1998). An assume-guarantee rule for checking simulation. In Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design (Vol. 1522, pp. 421–432). Palo Alto, CA, United States of America: Springer. https://doi.org/10.1007/3-540-49519-3_27
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4490
Henzinger, T. A., Raskin, J., & Schobbens, P. (1998). The regular real-time languages. In Proceedings of the 25th International Colloqium on Automata, Languages and Programming (Vol. 1443, pp. 580–591). Aalborg, Denmark: Springer. https://doi.org/10.1007/BFb0055086
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4489
Henzinger, T. A., Kupferman, O., & Qadeer, S. (1998). From pre-historic to post-modern symbolic model checking. In Proceedings of the 10th International Conference on Computer Aided Verification (Vol. 1427, pp. 195–206). Vancouver, Canada: Springer. https://doi.org/10.1007/BFb0028745
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4488
Henzinger, T. A., Qadeer, S., & Rajamani, S. (1998). You assume, we guarantee: Methodology and case studies. In Proceedings of the 10th International Conference on Computer Aided Verification (Vol. 1427, pp. 440–451). Vancouver, Canada: Springer. https://doi.org/10.1007/BFb0028765
View
| DOI
1998 | Journal Article | IST-REx-ID: 4491
Henzinger, T. A., Ho, P., & Wong Toi, H. (1998). Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control. IEEE. https://doi.org/10.1109/9.664156
View
| DOI
1998 | Journal Article | IST-REx-ID: 4492 |
Henzinger, T. A., Kopke, P., Puri, A., & Varaiya, P. (1998). What’s decidable about hybrid automata? Journal of Computer and System Sciences. Elsevier. https://doi.org/10.1006/jcss.1998.1581
[Published Version]
View
| DOI
| Download Published Version (ext.)