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
H. Cheng and H. Edelsbrunner, “Area and perimeter derivatives of a union of disks,” in Computer Science in Perspective: Essays Dedicated to Thomas Ottmann, vol. 2598, Springer, 2003, pp. 88–97.
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 3999
H. Edelsbrunner and A. Üngör, “Relaxed scheduling in dynamic skin triangulation,” in Proceedings of the Japanese Conference on Discrete and Computational Geometry , Tokyo, Japan, 2003, vol. 2866, pp. 135–151.
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 4169
J. Montero, B. Kilian, J. Chan, P. Bayliss, and C.-P. J. Heisenberg, “Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells,” Current Biology, vol. 13, no. 15. Cell Press, pp. 1279–1289, 2003.
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 1451 | OA
T. Hausel and B. Sturmfels, “Toric hyperkähler varieties,” Documenta Mathematica, vol. 7, no. 1. Deutsche Mathematiker Vereinigung, pp. 495–534, 2002.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2002 | Published | Journal Article | IST-REx-ID: 11124 | OA
D. Bilbao-Cortés, M. Hetzer, G. Längst, P. B. Becker, and I. W. Mattaj, “Ran binds to chromatin by two distinct mechanisms,” Current Biology, vol. 12, no. 13. Elsevier BV, pp. 1151–1156, 2002.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 17779 | OA
S. P. Oh and Z. Haiman, “Second‐generation objects in the universe: Radiative cooling and collapse of halos with virial temperatures above 10^4 K,” The Astrophysical Journal, vol. 569, no. 2. American Astronomical Society, pp. 558–572, 2002.
[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 | OA
L. Hui, Z. Haiman, M. Zaldarriaga, and T. Alexander, “Connections between the cosmic baryon fraction, the extragalactic ionizing background, and Lyman break galaxies,” The Astrophysical Journal, vol. 564, no. 2. American Astronomical Society, pp. 525–533, 2002.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2002 | Published | Journal Article | IST-REx-ID: 2420
U. Wagner, “On the number of corner cuts,” Advances in Applied Mathematics, vol. 29, no. 2. ACM, pp. 152–161, 2002.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 2421
C. Ambühl and U. Wagner, “On the Clique problem in intersection graphs of ellipses,” in Proceedings of the 13th International Symposium on Algorithms and Computation, Vancouver, Canada, 2002, vol. 2518, pp. 489–500.
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 2618
M. Nunzi, R. Shigemoto, and E. Mugnaini, “Differential expression of calretinin and metabotropic glutamate receptor mGluR1α defines subsets of unipolar brush cells in mouse cerebellum,” Journal of Comparative Neurology, vol. 451, no. 2. Wiley-Blackwell, pp. 189–199, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Published | Book Chapter | IST-REx-ID: 2694
L. Erdös, “Scaling limits of Schrödinger quantum mechanics,” in Dynamics of Dissipation, Springer, 2002, pp. 487–506.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 2927
V. Kolmogorov and R. Zabih, “Multi-camera scene reconstruction via graph cuts,” in Proceedings of the 7th European Conference on Computer Vision, Copenhagen, Denmark, 2002, pp. 65–81.
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 2988
M. Grebe et al., “Cell polarity signaling in Arabidopsis involves a BFA sensitive auxin influx pathway,” Current Biology, vol. 12, no. 4. Cell Press, pp. 329–334, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 4259 | OA
M. Orive and N. H. Barton, “Associations between cytoplasmic and nuclear loci in hybridizing populations,” Genetics, vol. 162, no. 3. Genetics Society of America, pp. 1469–1485, 2002.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Published | Conference Paper | IST-REx-ID: 4421
C. Kirsch, M. Sanvido, T. A. Henzinger, and W. Pree, “A Giotto-based helicopter control system,” in Proceedings of the 2nd International Conference on Embedded Software, Grenoble, France, 2002, vol. 2491, pp. 46–60.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4422
M. Jurdziński, O. Kupferman, and T. A. Henzinger, “Trading probability for fairness,” in Proceedings of the 16th International Workshop on Computer Science Logic, Edinburgh, Scotland, 2002, vol. 2471, pp. 292–305.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4470
T. A. Henzinger, C. Kirsch, R. Majumdar, and S. Matic, “Time-safety checking for embedded programs,” in Proceedings of the 2nd International Conference on Embedded Software, Grenoble, France, 2002, vol. 2491, pp. 76–92.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4471
T. A. Henzinger, S. Krishnan, O. Kupferman, and F. Mang, “Synthesis of uninitialized systems,” in Proceedings of the 29th International Colloquium on Automata, Languages and Programming, Malaga, Spain, 2002, vol. 2380, pp. 644–656.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4472
T. A. Henzinger, G. Necula, R. Jhala, G. Sutre, R. Majumdar, and W. Weimer, “Temporal safety proofs for systems code,” in Proceedings of the 14th International Conference on Computer Aided Verification, Copenhagen, Denmark, 2002, vol. 2404, pp. 526–538.
View | DOI
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed