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.

96 Publications


2004 | Journal Article | IST-REx-ID: 3986
Bryant, R., Edelsbrunner, H., Koehl, P., & Levitt, M. (2004). The area derivative of a space-filling diagram. Discrete & Computational Geometry, 32(3), 293–308. https://doi.org/10.1007/s00454-004-1099-1
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3987
Natarajan, V., & Edelsbrunner, H. (2004). Simplification of three-dimensional density maps. IEEE Transactions on Visualization and Computer Graphics, 10(5), 587–597. https://doi.org/10.1109/TVCG.2004.32
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3988
Choi, V., Agarwal, P., Edelsbrunner, H., & Rudolph, J. (2004). Local search heuristic for rigid protein docking (Vol. 3240, pp. 218–229). Presented at the WABI: 4th International Workshop on Algorithms in Bioinformatics, Springer. https://doi.org/10.1007/978-3-540-30219-3_19
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3989
Edelsbrunner, H., Harer, J., Natarajan, V., & Pascucci, V. (2004). Local and global comparison of continuous functions (pp. 275–280). Presented at the VIS: IEEE Visualization, IEEE. https://doi.org/10.1109/VISUAL.2004.68
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3990
Agarwal, P., Edelsbrunner, H., & Wang, Y. (2004). Computing the writhing number of a polygonal knot. Discrete & Computational Geometry, 32(1), 37–53. https://doi.org/10.1007/s00454-004-2864-x
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4172
Montero, J., & Heisenberg, C. (2004). Gastrulation dynamics: cells move into focus. Trends in Cell Biology, 14(11), 620–627. https://doi.org/10.1016/j.tcb.2004.09.008
View | DOI
 

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

2004 | Thesis | IST-REx-ID: 4424
Jhala, R. (2004). Program verification by lazy abstraction (pp. 1–165). University of California, Berkeley.
View
 

2004 | Conference Paper | IST-REx-ID: 4445
Henzinger, T. A., & Kirsch, C. (2004). A typed assembly language for real-time programs (pp. 104–113). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1145/1017753.1017774
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4458
Henzinger, T. A., Jhala, R., Majumdar, R., & Mcmillan, K. (2004). Abstractions from proofs (pp. 232–244). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/10.1145/964001.964021
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4459
Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). Race checking by context inference (pp. 1–13). Presented at the PLDI: Programming Languages Design and Implementation, ACM. https://doi.org/10.1145/996841.996844
View | DOI
 

2004 | Book Chapter | IST-REx-ID: 4461
Henzinger, T. A., Jhala, R., Majumdar, R., & Sanvido, M. (2004). Extreme model checking. In Verification: Theory and Practice (Vol. 2772, pp. 332–358). Springer. https://doi.org/10.1007/978-3-540-39910-0_16
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4525
Ghosal, A., Henzinger, T. A., Kirsch, C., & Sanvido, M. (2004). Event-driven programming with logical execution times (Vol. 2993, pp. 167–170). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/978-3-540-24743-2_24
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4555
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2004). Trading memory for randomness (pp. 206–217). Presented at the QEST: Quantitative Evaluation of Systems, IEEE. https://doi.org/10.1109/QEST.2004.10051
View | DOI
 

2004 | Journal Article | IST-REx-ID: 4556
Chatterjee, K., Ma, D., Majumdar, R., Zhao, T., Henzinger, T. A., & Palsberg, J. (2004). Stack size analysis for interrupt-driven programs. Information and Computation, 194(2), 144–174. https://doi.org/10.1016/j.ic.2004.06.001
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 4558
Chatterjee, K., Jurdziński, M., & Henzinger, T. A. (2004). Quantitative stochastic parity games (pp. 121–130). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.
View
 

2004 | Journal Article | IST-REx-ID: 6155
Cheung, B. H. ., Arellano-Carbajal, F., Rybicki, I., & de Bono, M. (2004). Soluble guanylate cyclases act in neurons exposed to the body fluid to promote C. elegans aggregation behavior. Current Biology, 14(12), 1105–1111. https://doi.org/10.1016/j.cub.2004.06.027
View | DOI | PubMed | Europe PMC
 

2004 | Journal Article | IST-REx-ID: 4224
Kruse, K., Pantazis, P., Bollenbach, T., Julicher, F., & Gonzalez Gaitan, M. (2004). Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking and the diffusion model. Development, 131(19), 4843–4856. https://doi.org/10.1242/dev.01335
View | DOI
 

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

2004 | Thesis | IST-REx-ID: 4236
De Vladar, H. (2004). Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares. Centro de estudios avazados, IVIC. https://doi.org/3810
View | DOI
 

Filters and Search Terms

year=2004

Search

Filter Publications