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.
58 Publications
1998 | Journal Article | IST-REx-ID: 3628 | 
West S, Peters A, Barton NH. Testing for epistasis between deleterious mutations. Genetics. 1998;149(1):435-444. doi:10.1093/genetics/149.1.435
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1998 | Journal Article | IST-REx-ID: 3627
Barton NH. The effect of hitch-hiking on neutral genealogies. Genetical Research. 1998;72(2):123-133. doi:10.1017/S0016672398003462
View
| DOI
1998 | Journal Article | IST-REx-ID: 4017 |
Liang J, Edelsbrunner H, Woodward C. Anatomy of protein pockets and cavities: Measurement of binding site geometry and implications for ligand design. Protein Science. 1998;7(9):1884-1897. doi: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. Analytical shape computation of macromolecules: II. Inaccessible cavities in proteins. Proteins: Structure, Function and Bioinformatics. 1998;33(1):18-29. doi: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. On the definition and the construction of pockets in macromolecules. Discrete Applied Mathematics. 1998;88(1-3):83-102. doi: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. Shape reconstruction with Delaunay complex. In: Proceedingsof the 3rd Latin American Symposium on Theoretical Informatics. Vol 1380. Springer; 1998:119-132. doi:10.1007/BFb0054315
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4019
Cheng H, Edelsbrunner H, Fu P. Shape space from deformation. In: Proceedings of the 6th Pacific Conference on Computer Graphics and Applications. IEEE; 1998:104-113. doi:10.1109/PCCGA.1998.732056
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4016
Edelsbrunner H, Facello M, Fu P, Qian J, Nekhayev D. Wrapping 3D scanning data. In: Vol 3313. SPIE; 1998:148-158. doi:10.1117/12.302448
View
| DOI
1998 | Journal Article | IST-REx-ID: 4281
Barton NH, Charlesworth B. Why sex and recombination? Science. 1998;281(5385):1986-1990. doi:10.1126/science.281.5385.1986
View
| DOI
| PubMed | Europe PMC
1998 | Journal Article | IST-REx-ID: 4280
Ritchie M, Barton NH. Hybrids and hybrid zones: Reply from M.G. Ritchie and N.H. Barton. Trends in Ecology and Evolution. 1998;13(7):282-283. doi:10.1016/S0169-5347(98)01396-2
View
| DOI
| PubMed | Europe PMC
1998 | Book Review | IST-REx-ID: 4283
Barton NH. The geometry of adaptation. Nature. 1998;395(6704):751-752. doi:10.1038/27338
View
| DOI
1998 | Book Review | IST-REx-ID: 4282
Barton NH. Genetics and analysis of quantitative traits. Genetical Research. 1998;72(1):73-73. doi:10.1017/S0016672398219732
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4410
Preußig J, Kowalewski S, Wong Toi H, Henzinger TA. 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. Springer; 1998:228-240. doi:10.1007/BFb0055350
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4408
Raskin J, Schobbens P, Henzinger TA. Axioms for real-time logics. In: Proceedings of the 9th Interantional Conference on Concurrency Theory. Vol 1466. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1998:219-236. doi:10.1007/BFb0055625
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4429
Henzinger TA, Rusu V. Reachability verification for hybrid automata. In: Proceedings of the 1st International Workshop on Hybrid Systems: Computation and Control. Vol 1386. Springer; 1998:190-204. doi:10.1007/3-540-64358-3_40
View
| DOI
1998 | Conference (Editor) | IST-REx-ID: 4430
Henzinger TA, ed. HSCC: Hybrid Systems—Computation and Control. Vol 1386. Springer; 1998. doi:10.1007/3-540-64358-3
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4486
Henzinger TA, Qadeer S, Rajamani S, Tasiran S. An assume-guarantee rule for checking simulation. In: Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design. Vol 1522. Springer; 1998:421-432. doi:10.1007/3-540-49519-3_27
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4490
Henzinger TA, Raskin J, Schobbens P. The regular real-time languages. In: Proceedings of the 25th International Colloqium on Automata, Languages and Programming. Vol 1443. Springer; 1998:580-591. doi:10.1007/BFb0055086
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4489
Henzinger TA, Kupferman O, Qadeer S. From pre-historic to post-modern symbolic model checking. In: Proceedings of the 10th International Conference on Computer Aided Verification. Vol 1427. Springer; 1998:195-206. doi:10.1007/BFb0028745
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4488
Henzinger TA, Qadeer S, Rajamani S. You assume, we guarantee: Methodology and case studies. In: Proceedings of the 10th International Conference on Computer Aided Verification. Vol 1427. Springer; 1998:440-451. doi:10.1007/BFb0028765
View
| DOI