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. Area and perimeter derivatives of a union of disks. In: Computer Science in Perspective: Essays Dedicated to Thomas Ottmann. Vol 2598. Springer; 2003:88-97. doi:10.1007/3-540-36477-3_7
View
| DOI
2003 | Published | Conference Paper | IST-REx-ID: 3999
Edelsbrunner H, Üngör A. Relaxed scheduling in dynamic skin triangulation. In: Proceedings of the Japanese Conference on Discrete and Computational Geometry . Vol 2866. Springer; 2003:135-151. doi: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-PJ. Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells. Current Biology. 2003;13(15):1279-1289. doi:10.1016/S0960-9822(03)00505-0
View
| DOI
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 1451 | 
Hausel T, Sturmfels B. Toric hyperkähler varieties. Documenta Mathematica. 2002;7(1):495-534. doi: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 PB, Mattaj IW. Ran binds to chromatin by two distinct mechanisms. Current Biology. 2002;12(13):1151-1156. doi: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 SP, Haiman Z. Second‐generation objects in the universe: Radiative cooling and collapse of halos with virial temperatures above 10^4 K. The Astrophysical Journal. 2002;569(2):558-572. doi: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. Connections between the cosmic baryon fraction, the extragalactic ionizing background, and Lyman break galaxies. The Astrophysical Journal. 2002;564(2):525-533. doi:10.1086/324401
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2002 | Published | Journal Article | IST-REx-ID: 2420
Wagner U. On the number of corner cuts. Advances in Applied Mathematics. 2002;29(2):152-161. doi:10.1016/S0196-8858(02)00014-3
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 2421
Ambühl C, Wagner U. On the Clique problem in intersection graphs of ellipses. In: Proceedings of the 13th International Symposium on Algorithms and Computation. Vol 2518. Springer; 2002:489-500. doi:10.1007/3-540-36136-7_43
View
| DOI
2002 | Published | Journal Article | IST-REx-ID: 2618
Nunzi M, Shigemoto R, Mugnaini E. Differential expression of calretinin and metabotropic glutamate receptor mGluR1α defines subsets of unipolar brush cells in mouse cerebellum. Journal of Comparative Neurology. 2002;451(2):189-199. doi:10.1002/cne.10344
View
| DOI
| PubMed | Europe PMC
2002 | Published | Book Chapter | IST-REx-ID: 2694
Erdös L. Scaling limits of Schrödinger quantum mechanics. In: Dynamics of Dissipation. Lecture Notes in Physics. Springer; 2002:487-506. doi:10.1007/3-540-46122-1_19
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 2927
Kolmogorov V, Zabih R. Multi-camera scene reconstruction via graph cuts. In: Proceedings of the 7th European Conference on Computer Vision. Springer; 2002:65-81. doi:10.1007/3-540-47977-5_5
View
| DOI
2002 | Published | Journal Article | IST-REx-ID: 2988
Grebe M, Friml J, Swarup R, et al. Cell polarity signaling in Arabidopsis involves a BFA sensitive auxin influx pathway. Current Biology. 2002;12(4):329-334. doi:10.1016/S0960-9822(02)00654-1
View
| DOI
| PubMed | Europe PMC
2002 | Published | Journal Article | IST-REx-ID: 4259 |
Orive M, Barton NH. Associations between cytoplasmic and nuclear loci in hybridizing populations. Genetics. 2002;162(3):1469-1485. doi: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 TA, Pree W. A Giotto-based helicopter control system. In: Proceedings of the 2nd International Conference on Embedded Software. Vol 2491. ACM; 2002:46-60. doi:10.1007/3-540-45828-X_5
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 4422
Jurdziński M, Kupferman O, Henzinger TA. Trading probability for fairness. In: Proceedings of the 16th International Workshop on Computer Science Logic. Vol 2471. Springer; 2002:292-305. doi:10.1007/3-540-45793-3_20
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 4470
Henzinger TA, Kirsch C, Majumdar R, Matic S. Time-safety checking for embedded programs. In: Proceedings of the 2nd International Conference on Embedded Software. Vol 2491. ACM; 2002:76-92. doi:10.1007/3-540-45828-X_7
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 4471
Henzinger TA, Krishnan S, Kupferman O, Mang F. Synthesis of uninitialized systems. In: Proceedings of the 29th International Colloquium on Automata, Languages and Programming. Vol 2380. Springer; 2002:644-656. doi:10.1007/3-540-45465-9_55
View
| DOI
2002 | Published | Conference Paper | IST-REx-ID: 4472
Henzinger TA, Necula G, Jhala R, Sutre G, Majumdar R, Weimer W. Temporal safety proofs for systems code. In: Proceedings of the 14th International Conference on Computer Aided Verification. Vol 2404. Springer; 2002:526-538. doi:10.1007/3-540-45657-0_45
View
| DOI