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.

6030 Publications


2004 | Conference Paper | IST-REx-ID: 3988
Choi, Vicky, Pankaj Agarwal, Herbert Edelsbrunner, and Johannes Rudolph. “Local Search Heuristic for Rigid Protein Docking,” 3240:218–29. Springer, 2004. https://doi.org/10.1007/978-3-540-30219-3_19.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3989
Edelsbrunner, Herbert, John Harer, Vijay Natarajan, and Valerio Pascucci. “Local and Global Comparison of Continuous Functions,” 275–80. IEEE, 2004. https://doi.org/10.1109/VISUAL.2004.68.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3990
Agarwal, Pankaj, Herbert Edelsbrunner, and Yusu Wang. “Computing the Writhing Number of a Polygonal Knot.” Discrete & Computational Geometry 32, no. 1 (2004): 37–53. https://doi.org/10.1007/s00454-004-2864-x.
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4230
Vladar, Harold, Roberto Cipriani, Benjamin Scharifker, and Jose 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, edited by A. Hanslmeier, S. Kempe, and J. Seckbach, 83–87. Springer, 2004.
View
 

2004 | Book Chapter | IST-REx-ID: 4239
Vladar, Harold, Roberto Cipriani, Benjamin Scharifker, and Jose 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, edited by J. Seckbach, J. Chela Flores, T. Owen, and F. Raulin, 7:83–87. Springer, 2004. https://doi.org/3807.
View | DOI
 

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

2004 | Conference Paper | IST-REx-ID: 4372
Maler, Oded, and Dejan Nickovic. “Monitoring Temporal Properties of Continuous Signals,” 152–66. Springer, 2004. https://doi.org/1572.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4445
Henzinger, Thomas A, and Christoph Kirsch. “A Typed Assembly Language for Real-Time Programs,” 104–13. ACM, 2004. https://doi.org/10.1145/1017753.1017774.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4458
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Kenneth Mcmillan. “Abstractions from Proofs,” 232–44. ACM, 2004. https://doi.org/10.1145/964001.964021.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4459
Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Race Checking by Context Inference,” 1–13. ACM, 2004. https://doi.org/10.1145/996841.996844.
View | DOI
 

Search

Filter Publications