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.

6016 Publications


2004 | Journal Article | IST-REx-ID: 3987
V. Natarajan and H. Edelsbrunner, “Simplification of three-dimensional density maps,” IEEE Transactions on Visualization and Computer Graphics, vol. 10, no. 5, pp. 587–597, 2004.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3988
V. Choi, P. Agarwal, H. Edelsbrunner, and J. Rudolph, “Local search heuristic for rigid protein docking,” presented at the WABI: 4th International Workshop on Algorithms in Bioinformatics, 2004, vol. 3240, pp. 218–229.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3989
H. Edelsbrunner, J. Harer, V. Natarajan, and V. Pascucci, “Local and global comparison of continuous functions,” presented at the VIS: IEEE Visualization, 2004, pp. 275–280.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3990
P. Agarwal, H. Edelsbrunner, and Y. Wang, “Computing the writhing number of a polygonal knot,” Discrete & Computational Geometry, vol. 32, no. 1, pp. 37–53, 2004.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4230
H. Vladar, R. Cipriani, B. Scharifker, and J. Bubis, “A mechanism for the prebiotic emergence of proteins,” in Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, A. Hanslmeier, S. Kempe, and J. Seckbach, Eds. Springer, 2004, pp. 83–87.
View
 

2004 | Book Chapter | IST-REx-ID: 4239
H. Vladar, R. Cipriani, B. Scharifker, and J. Bubis, “A Mechanism for the Prebiotic Emergence of Proteins,” in Life in the Universe From the Miller Experiment to the Search for Life on Other Worlds, vol. 7, J. Seckbach, J. Chela Flores, T. Owen, and F. Raulin, Eds. Springer, 2004, pp. 83–87.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4253
N. H. Barton, A. Etheridge, and A. Sturm, “Coalescence in a Random Background,” Annals of Applied Probability, vol. 14, no. 2, pp. 754–785, 2004.
View | Download (ext.)
 

2004 | Conference Paper | IST-REx-ID: 4372
O. Maler and D. Nickovic, “Monitoring Temporal Properties of Continuous Signals,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2004, pp. 152–166.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4445
T. A. Henzinger and C. Kirsch, “A typed assembly language for real-time programs,” presented at the EMSOFT: Embedded Software , 2004, pp. 104–113.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4458
T. A. Henzinger, R. Jhala, R. Majumdar, and K. Mcmillan, “Abstractions from proofs,” presented at the POPL: Principles of Programming Languages, 2004, pp. 232–244.
View | DOI
 

Search

Filter Publications