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 | OA
J. Liang, H. Edelsbrunner, and C. Woodward, “Anatomy of protein pockets and cavities: Measurement of binding site geometry and implications for ligand design,” Protein Science, vol. 7, no. 9. Wiley-Blackwell, pp. 1884–1897, 1998.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1998 | Journal Article | IST-REx-ID: 4012
J. Liang, H. Edelsbrunner, P. Fu, P. Sudhakar, and S. Subramaniam, “Analytical shape computation of macromolecules: II. Inaccessible cavities in proteins,” Proteins: Structure, Function and Bioinformatics, vol. 33, no. 1. Wiley-Blackwell, pp. 18–29, 1998.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4013 | OA
H. Edelsbrunner, M. Facello, and J. Liang, “On the definition and the construction of pockets in macromolecules,” Discrete Applied Mathematics, vol. 88, no. 1–3. Elsevier, pp. 83–102, 1998.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1998 | Conference Paper | IST-REx-ID: 4015
H. Edelsbrunner, “Shape reconstruction with Delaunay complex,” in Proceedingsof the 3rd Latin American Symposium on Theoretical Informatics, Campinas, Brazil, 1998, vol. 1380, pp. 119–132.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4019
H. Cheng, H. Edelsbrunner, and P. Fu, “Shape space from deformation,” in Proceedings of the 6th Pacific Conference on Computer Graphics and Applications, Singapore, 1998, pp. 104–113.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4016
H. Edelsbrunner, M. Facello, P. Fu, J. Qian, and D. Nekhayev, “Wrapping 3D scanning data,” presented at the Three-Dimensional Image Capture and Applications, 1998, vol. 3313, pp. 148–158.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4281
N. H. Barton and B. Charlesworth, “Why sex and recombination?,” Science, vol. 281, no. 5385. American Association for the Advancement of Science, pp. 1986–1990, 1998.
View | DOI | PubMed | Europe PMC
 

1998 | Journal Article | IST-REx-ID: 4280
M. Ritchie and N. H. Barton, “Hybrids and hybrid zones: Reply from M.G. Ritchie and N.H. Barton,” Trends in Ecology and Evolution, vol. 13, no. 7. Cell Press, pp. 282–283, 1998.
View | DOI | PubMed | Europe PMC
 

1998 | Book Review | IST-REx-ID: 4283
N. H. Barton, “The geometry of adaptation,” Nature, vol. 395, no. 6704. Nature Publishing Group, pp. 751–752, 1998.
View | DOI
 

1998 | Book Review | IST-REx-ID: 4282
N. H. Barton, “Genetics and analysis of quantitative traits,” Genetical Research, vol. 72, no. 1. Cambridge University Press, pp. 73–73, 1998.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4410
J. Preußig, S. Kowalewski, H. Wong Toi, and T. A. Henzinger, “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, Lyngby, Denmark, 1998, vol. 1486, pp. 228–240.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4408
J. Raskin, P. Schobbens, and T. A. Henzinger, “Axioms for real-time logics,” in Proceedings of the 9th Interantional Conference on Concurrency Theory, Nice, France, 1998, vol. 1466, pp. 219–236.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4429
T. A. Henzinger and V. Rusu, “Reachability verification for hybrid automata,” in Proceedings of the 1st International Workshop on Hybrid Systems: Computation and Control, Berkely, CA, United States of America, 1998, vol. 1386, pp. 190–204.
View | DOI
 

1998 | Conference (Editor) | IST-REx-ID: 4430
T. A. Henzinger, Ed., HSCC: Hybrid Systems—Computation and Control, vol. 1386. Springer, 1998.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4486
T. A. Henzinger, S. Qadeer, S. Rajamani, and S. Tasiran, “An assume-guarantee rule for checking simulation,” in Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design, Palo Alto, CA, United States of America, 1998, vol. 1522, pp. 421–432.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4490
T. A. Henzinger, J. Raskin, and P. Schobbens, “The regular real-time languages,” in Proceedings of the 25th International Colloqium on Automata, Languages and Programming, Aalborg, Denmark, 1998, vol. 1443, pp. 580–591.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4489
T. A. Henzinger, O. Kupferman, and S. Qadeer, “From pre-historic to post-modern symbolic model checking,” in Proceedings of the 10th International Conference on Computer Aided Verification, Vancouver, Canada, 1998, vol. 1427, pp. 195–206.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4488
T. A. Henzinger, S. Qadeer, and S. Rajamani, “You assume, we guarantee: Methodology and case studies,” in Proceedings of the 10th International Conference on Computer Aided Verification, Vancouver, Canada, 1998, vol. 1427, pp. 440–451.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4491
T. A. Henzinger, P. Ho, and H. Wong Toi, “Algorithmic analysis of nonlinear hybrid systems,” IEEE Transactions on Automatic Control, vol. 43, no. 4. IEEE, pp. 540–554, 1998.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4492 | OA
T. A. Henzinger, P. Kopke, A. Puri, and P. Varaiya, “What’s decidable about hybrid automata?,” Journal of Computer and System Sciences, vol. 57, no. 1. Elsevier, pp. 94–124, 1998.
[Published Version] View | DOI | Download Published Version (ext.)
 

Search

Filter Publications