Please note that ISTA 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.
1966 Publications
2003 | Published | Book Chapter | IST-REx-ID: 3991
Cheng, H., & Edelsbrunner, H. (2003). Area and perimeter derivatives of a union of disks. In Computer Science in Perspective: Essays Dedicated to Thomas Ottmann (Vol. 2598, pp. 88–97). Springer. https://doi.org/10.1007/3-540-36477-3_7
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 3999
Edelsbrunner, H., & Üngör, A. (2003). Relaxed scheduling in dynamic skin triangulation. In Proceedings of the Japanese Conference on Discrete and Computational Geometry (Vol. 2866, pp. 135–151). Tokyo, Japan: Springer. https://doi.org/10.1007/978-3-540-44400-8_14
View
| DOI
2003 | Published | Journal Article | IST-REx-ID: 4169
Montero, J., Kilian, B., Chan, J., Bayliss, P., & Heisenberg, C.-P. J. (2003). Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(03)00505-0
View
| DOI
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 1451 | 
Hausel, T., & Sturmfels, B. (2002). Toric hyperkähler varieties. Documenta Mathematica. Deutsche Mathematiker Vereinigung. https://doi.org/10.4171/DM/130
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2002 | Published | Journal Article | IST-REx-ID: 11124 |
Bilbao-Cortés, D., Hetzer, M., Längst, G., Becker, P. B., & Mattaj, I. W. (2002). Ran binds to chromatin by two distinct mechanisms. Current Biology. Elsevier BV. https://doi.org/10.1016/s0960-9822(02)00927-2
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 17779 |
Oh, S. P., & Haiman, Z. (2002). Second‐generation objects in the universe: Radiative cooling and collapse of halos with virial temperatures above 10^4 K. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.1086/339393
[Published Version]
View
| DOI
| Download Published Version (ext.)
2002 | Published | Journal Article | IST-REx-ID: 17799
Stoughton C et al. 2002. Sloan digital sky survey: Early data release. The Astronomical Journal. 123(1), 485–548.
View
| Files available
| DOI
2002 | Published | Journal Article | IST-REx-ID: 17803 |
Hui, L., Haiman, Z., Zaldarriaga, M., & Alexander, T. (2002). Connections between the cosmic baryon fraction, the extragalactic ionizing background, and Lyman break galaxies. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.1086/324401
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2002 | Published | Journal Article | IST-REx-ID: 2420
Wagner, U. (2002). On the number of corner cuts. Advances in Applied Mathematics. ACM. https://doi.org/10.1016/S0196-8858(02)00014-3
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 2421
Ambühl, C., & Wagner, U. (2002). On the Clique problem in intersection graphs of ellipses. In Proceedings of the 13th International Symposium on Algorithms and Computation (Vol. 2518, pp. 489–500). Vancouver, Canada: Springer. https://doi.org/10.1007/3-540-36136-7_43
View
| DOI
2002 | Published | Journal Article | IST-REx-ID: 2618
Nunzi, M., Shigemoto, R., & Mugnaini, E. (2002). Differential expression of calretinin and metabotropic glutamate receptor mGluR1α defines subsets of unipolar brush cells in mouse cerebellum. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/cne.10344
View
| DOI
| PubMed | Europe PMC
2002 | Published | Book Chapter | IST-REx-ID: 2694
Erdös, L. (2002). Scaling limits of Schrödinger quantum mechanics. In Dynamics of Dissipation (pp. 487–506). Springer. https://doi.org/10.1007/3-540-46122-1_19
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 2927
Kolmogorov, V., & Zabih, R. (2002). Multi-camera scene reconstruction via graph cuts. In Proceedings of the 7th European Conference on Computer Vision (pp. 65–81). Copenhagen, Denmark: Springer. https://doi.org/10.1007/3-540-47977-5_5
View
| DOI
2002 | Published | Journal Article | IST-REx-ID: 2988
Grebe, M., Friml, J., Swarup, R., Ljung, K., Sandberg, G., Terlou, M., … Scheres, B. (2002). Cell polarity signaling in Arabidopsis involves a BFA sensitive auxin influx pathway. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(02)00654-1
View
| DOI
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 4259 |
Orive, M., & Barton, N. H. (2002). Associations between cytoplasmic and nuclear loci in hybridizing populations. Genetics. Genetics Society of America. https://doi.org/10.1093/genetics/162.3.1469
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Published | Conference Paper | IST-REx-ID: 4421
Kirsch, C., Sanvido, M., Henzinger, T. A., & Pree, W. (2002). A Giotto-based helicopter control system. In Proceedings of the 2nd International Conference on Embedded Software (Vol. 2491, pp. 46–60). Grenoble, France: ACM. https://doi.org/10.1007/3-540-45828-X_5
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 4422
Jurdziński, M., Kupferman, O., & Henzinger, T. A. (2002). Trading probability for fairness. In Proceedings of the 16th International Workshop on Computer Science Logic (Vol. 2471, pp. 292–305). Edinburgh, Scotland: Springer. https://doi.org/10.1007/3-540-45793-3_20
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 4470
Henzinger, T. A., Kirsch, C., Majumdar, R., & Matic, S. (2002). Time-safety checking for embedded programs. In Proceedings of the 2nd International Conference on Embedded Software (Vol. 2491, pp. 76–92). Grenoble, France: ACM. https://doi.org/10.1007/3-540-45828-X_7
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 4471
Henzinger, T. A., Krishnan, S., Kupferman, O., & Mang, F. (2002). Synthesis of uninitialized systems. In Proceedings of the 29th International Colloquium on Automata, Languages and Programming (Vol. 2380, pp. 644–656). Malaga, Spain: Springer. https://doi.org/10.1007/3-540-45465-9_55
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 4472
Henzinger, T. A., Necula, G., Jhala, R., Sutre, G., Majumdar, R., & Weimer, W. (2002). Temporal safety proofs for systems code. In Proceedings of the 14th International Conference on Computer Aided Verification (Vol. 2404, pp. 526–538). Copenhagen, Denmark: Springer. https://doi.org/10.1007/3-540-45657-0_45
View
| DOI