Please note that IST 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.

6122 Publications


1998 | Conference Paper | IST-REx-ID: 4603
Alur R, Henzinger TA, Kupferman O, Vardi M. Alternating refinement relations. In: Vol 1466. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1998:163-178. doi:10.1007/BFb0055611
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4604
Alur R, Henzinger TA, Mang F, Qadeer S, Rajamani S, Tasiran S. Mocha: Modularity in model checking. In: Vol 1427. Springer; 1998:521-525. doi:10.1007/BFb0028774
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4606
Alur R, Henzinger TA, Rajamani S. Symbolic exploration of transition hierarchies. In: Vol 1384. Springer; 1998:330-344. doi: 10.1007/BFb0054181
View | DOI
 

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: 3628
West S, Peters A, Barton NH. Testing for epistasis between deleterious mutations. Genetics. 1998;149(1):435-444.
View
 

1998 | Journal Article | IST-REx-ID: 3629
Maccallum C, Nürnberger B, Barton NH, Szymura J. Habitat preference in the Bombina hybrid zone in Croatia. Evolution. 1998;52(1):227-239.
View | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 3926
Cremer S, Greenfield M. Partitioning the components of sexual selection: attractiveness and agonistic behaviour in male wax moths, Achroia grisella (Lepidoptera, Pyralidae). Ethology. 1998;104(1):1-9. doi:10.1111/j.1439-0310.1998.tb00025.x
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4011
Liang J, Edelsbrunner H, Fu P, Sudhakar P, Subramaniam S. Analytical shape computation of macromolecules: I. molecular area and volume through alpha shape. Proteins: Structure, Function and Bioinformatics. 1998;33(1):1-17. doi:10.1002/(SICI)1097-0134(19981001)33:1<1::AID-PROT1>3.0.CO;2-O
View | DOI
 

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
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4015
Edelsbrunner H. Shape reconstruction with Delaunay complex. In: Vol 1380. Springer; 1998:119-132. doi:10.1007/BFb0054315
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: 4017 | OA
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
View | DOI | Download (ext.)
 

1998 | Conference Paper | IST-REx-ID: 4019
Cheng H, Edelsbrunner H, Fu P. Shape space from deformation. In: IEEE; 1998:104-113. doi:10.1109/PCCGA.1998.732056
View | DOI
 

1998 | Book Chapter | IST-REx-ID: 4020
Edelsbrunner H. Geometry for modeling biomolecules. In: Robotics: The Algorithmic Perspective. AK Peters; 1998:265-277.
View
 

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
 

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
 

1998 | Book Review | IST-REx-ID: 4282
Barton NH. Genetics and analysis of quantitative traits. Genetical Research. 1998;72(1):73-73.
View
 

1998 | Book Review | IST-REx-ID: 4283
Barton NH. The geometry of adaptation. Nature. 1998;395(6704):751-752.
View
 

1998 | Conference Paper | IST-REx-ID: 4408
Raskin J, Schobbens P, Henzinger TA. Axioms for real-time logics. In: Vol 1466. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1998:219-236. doi:10.1007/BFb0055625
View | DOI
 

Search

Filter Publications