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.

6224 Publications


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. 33(1), 18–29.
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. 88(1–3), 83–102.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4015
Edelsbrunner H. 1998. Shape reconstruction with Delaunay complex. LATIN: Latin American Symposium on Theoretical Informatics , LNCS, vol. 1380, 119–132.
View | DOI
 

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

1998 | Journal Article | IST-REx-ID: 4017 | OA
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. 7(9), 1884–1897.
View | DOI | Download (ext.)
 

1998 | Conference Paper | IST-REx-ID: 4019
Cheng H, Edelsbrunner H, Fu P. 1998. Shape space from deformation. CGA: Conference on Computer Graphics and Applications , 104–113.
View | DOI
 

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

1998 | Journal Article | IST-REx-ID: 4280
Ritchie M, Barton NH. 1998. Hybrids and hybrid zones: Reply from M.G. Ritchie and N.H. Barton. Trends in Ecology and Evolution. 13(7), 282–283.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4281
Barton NH, Charlesworth B. 1998. Why sex and recombination? Science. 281(5385), 1986–1990.
View | DOI
 

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

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

1998 | Conference Paper | IST-REx-ID: 4408
Raskin J, Schobbens P, Henzinger TA. 1998. Axioms for real-time logics. CONCUR: Concurrency Theory, LNCS, vol. 1466, 219–236.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4410
Preußig J, Kowalewski S, Wong Toi H, Henzinger TA. 1998. An algorithm for the approximative analysis of rectangular automata. FTRTFT: Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, vol. 1486, 228–240.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4429
Henzinger TA, Rusu V. 1998. Reachability verification for hybrid automata. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 1386, 190–204.
View | DOI
 

1998 | Conference (Editor) | IST-REx-ID: 4430
Henzinger TA, Sastry S. 1998. HSCC: Hybrid Systems—Computation and Control, Springer,p.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4486
Henzinger TA, Qadeer S, Rajamani S, Tasiran S. 1998. An assume-guarantee rule for checking simulation. FMCAD: Formal Methods in Computer-Aided Design, LNCS, vol. 1522, 421–432.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4488
Henzinger TA, Qadeer S, Rajamani S. 1998. You assume, we guarantee: Methodology and case studies. CAV: Computer Aided Verification, LNCS, vol. 1427, 440–451.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4489
Henzinger TA, Kupferman O, Qadeer S. 1998. From pre-historic to post-modern symbolic model checking. CAV: Computer Aided Verification, LNCS, vol. 1427, 195–206.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4490
Henzinger TA, Raskin J, Schobbens P. 1998. The regular real-time languages. ICALP: Automata, Languages and Programming, LNCS, vol. 1443, 580–591.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4491
Henzinger TA, Ho P, Wong Toi H. 1998. Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control. 43(4), 540–554.
View | DOI
 

Search

Filter Publications