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. LNCS, vol. 2598, 88–97.
View | DOI
 

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

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

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

2002 | Published | Journal Article | IST-REx-ID: 11124 | OA
Bilbao-Cortés D, Hetzer M, Längst G, Becker PB, Mattaj IW. 2002. Ran binds to chromatin by two distinct mechanisms. Current Biology. 12(13), 1151–1156.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 17779 | OA
Oh SP, 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. 569(2), 558–572.
[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
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. 564(2), 525–533.
[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. 29(2), 152–161.
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. Proceedings of the 13th International Symposium on Algorithms and Computation. ISAAC: International Symposium on Algorithms and Computation, LNCS, vol. 2518, 489–500.
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. 451(2), 189–199.
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. LNP, , 487–506.
View | DOI
 

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

2002 | Published | Journal Article | IST-REx-ID: 2988
Grebe M, Friml J, Swarup R, Ljung K, Sandberg G, Terlou M, Palme K, Bennett M, Scheres B. 2002. Cell polarity signaling in Arabidopsis involves a BFA sensitive auxin influx pathway. Current Biology. 12(4), 329–334.
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 4259 | OA
Orive M, Barton NH. 2002. Associations between cytoplasmic and nuclear loci in hybridizing populations. Genetics. 162(3), 1469–1485.
[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. 2002. A Giotto-based helicopter control system. Proceedings of the 2nd International Conference on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2491, 46–60.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4422
Jurdziński M, Kupferman O, Henzinger TA. 2002. Trading probability for fairness. Proceedings of the 16th International Workshop on Computer Science Logic. CSL: Computer Science Logic, LNCS, vol. 2471, 292–305.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4470
Henzinger TA, Kirsch C, Majumdar R, Matic S. 2002. Time-safety checking for embedded programs. Proceedings of the 2nd International Conference on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2491, 76–92.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4471
Henzinger TA, Krishnan S, Kupferman O, Mang F. 2002. Synthesis of uninitialized systems. Proceedings of the 29th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 2380, 644–656.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4472
Henzinger TA, Necula G, Jhala R, Sutre G, Majumdar R, Weimer W. 2002. Temporal safety proofs for systems code. Proceedings of the 14th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 2404, 526–538.
View | DOI
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed