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
2000 | Published | Journal Article | IST-REx-ID: 17833 | 
Haiman Z, Menou K. On the cosmological evolution of the luminosity function and the accretion rate of quasars. The Astrophysical Journal. 2000;531(1):42-51. doi:10.1086/308468
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2000 | Published | Book Chapter | IST-REx-ID: 2710
Erdös L. The kernel of Dirac operators on S3 and R3. In: Differential Equations and Mathematical Physics. Vol 16. American Mathematical Society; 2000:111-119. doi:10.1090/amsip/016
[Preprint]
View
| DOI
| arXiv
2000 | Published | Conference Paper | IST-REx-ID: 4433
Henzinger TA, Rajamani S. Fair bisimulation. In: Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 1785. Springer; 2000:299-314. doi:10.1007/3-540-46419-0_21
View
| DOI
2000 | Published | Conference Paper | IST-REx-ID: 4434
Henzinger TA, Raskin J. Robust undecidability of timed and hybrid systems. In: Proceedings of the 3rd International Workshop on Hybrid Systems. Vol 1790. Springer; 2000:145-159. doi:10.1007/3-540-46430-1_15
View
| DOI
2000 | Published | Conference Paper | IST-REx-ID: 4435
Henzinger TA, Majumdar R. Symbolic model checking for rectangular hybrid systems. In: Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 1785. Springer; 2000:142-156. doi:10.1007/3-540-46419-0_11
View
| DOI
2000 | Published | Conference Paper | IST-REx-ID: 4439
Henzinger TA, Majumdar R. A classification of symbolic transition systems. In: Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science. Vol 1770. Springer; 2000:13-34. doi:10.1007/3-540-46541-3_2
View
| DOI
2000 | Published | Conference Paper | IST-REx-ID: 4481
Henzinger TA, Horowitz B, Majumdar R, Wong Toi H. Beyond HyTech: Hybrid systems analysis using interval numerical methods. In: Proceedings of the 3rd International Workshop on Hybrid Systems. Vol 1790. Springer; 2000:130-144. doi:10.1007/3-540-46430-1_14
View
| DOI
2000 | Published | Conference Paper | IST-REx-ID: 4482
Henzinger TA, Majumdar R, Mang F, Raskin J. Abstract interpretation of game properties. In: Proceedings of the 7th International Symposium on Static Analysis. Vol 1824. Springer; 2000:220-239. doi:10.1007/978-3-540-45099-3_12
View
| DOI
2000 | Published | Conference Paper | IST-REx-ID: 4512
Henzinger TA. Masaccio: A formal model for embedded components. In: Proceedings of the 1st International Conference on Theoretical Computer Science . Vol 1872. Springer; 2000:549-563. doi:10.1007/3-540-44929-9_38
View
| DOI
2000 | Published | Book Chapter | IST-REx-ID: 4513
Henzinger TA. The theory of hybrid automata. In: Inan M, Kurshan R, eds. Verification of Digital and Hybrid Systems. Vol 170. Springer; 2000:265-292. doi:10.1007/978-3-642-59615-5
View
| DOI
2000 | Published | Conference Paper | IST-REx-ID: 4637
De Alfaro L, Henzinger TA, Mang F. The control of synchronous systems. In: Proceedings of the 11th International Conference on Concurrency Theory. Vol 1877. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2000:458-473. doi:10.1007/3-540-44618-4_33
View
| DOI
2000 | Published | Journal Article | IST-REx-ID: 12925
Fürst J, Jakab M, König M, et al. Structure and Function of the Ion Channel ICln. Cellular Physiology and Biochemistry. 2000;10(5-6):329-334. doi:10.1159/000016374
View
| DOI
| PubMed | Europe PMC
2000 | Published | Journal Article | IST-REx-ID: 3492
Geiger J, Jonas PM. Dynamic control of presynaptic Ca(2+) inflow by fast-inactivating K+ channels in hippocampal mossy fiber boutons. Neuron. 2000;28(3):927-939. doi:10.1016/S0896-6273(00)00164-1
View
| DOI
| PubMed | Europe PMC
2000 | Published | Conference Paper | IST-REx-ID: 3555
Edelsbrunner H, Li X, Miller G, et al. Smoothing and cleaning up slivers. In: Proceedings of the 32nd Annual ACM Symposium on Theory of Computing. ACM; 2000:273-277. doi:10.1145/335305.335338
View
| DOI
2000 | Published | Journal Article | IST-REx-ID: 4004
Edelsbrunner H, Grayson D. Edgewise subdivision of a simplex. Discrete & Computational Geometry. 2000;24(4):707-719. doi:10.1007/s004540010063
View
| DOI
2000 | Published | Journal Article | IST-REx-ID: 4010
Cheng S, Dey T, Edelsbrunner H, Facello M, Teng S. Sliver exudation. Journal of the ACM. 2000;47(5):883-904. doi:10.1145/355483.355487
View
| DOI
2000 | Published | Journal Article | IST-REx-ID: 4197
Heisenberg C-PJ, Tada M, Rauch G, et al. Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation. Nature. 2000;405(6782):76-81. doi:10.1038/35011068
View
| DOI
| PubMed | Europe PMC
1999 | Published | Journal Article | IST-REx-ID: 17835 |
Haiman Z, Spaans M. Models for dusty Lyα emitters at high redshift. The Astrophysical Journal. 1999;518(1):138-144. doi:10.1086/307276
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
1999 | Published | Journal Article | IST-REx-ID: 17836 |
Haiman Z. Formation of the first stars and quasars. Advances in Space Research. 1999;23(5-6):915-924. doi:10.1016/s0273-1177(99)00216-1
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
1999 | Published | Journal Article | IST-REx-ID: 2597
Bushell T, Lee C, Shigemoto R, Miller R. Modulation of synaptic transmission and differential localisation of mGlus in cultured hippocampal autapses. Neuropharmacology. 1999;38(10):1553-1567. doi:10.1016/S0028-3908(99)00103-3
View
| DOI
| PubMed | Europe PMC