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.
1850 Publications
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: 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: 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: 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: 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| 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
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: 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| 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: 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| Journal Article | IST-REx-ID: 2603
Boudin H, Doan A, Xia J, et al. Presynaptic clustering of mGluR7a requires the PICK1 PDZ domain binding site. Neuron. 2000;28(2):485-497. doi:10.1016/S0896-6273(00)00127-6
View
| DOI
| PubMed | Europe PMC
2000 |Published| Journal Article | IST-REx-ID: 2731
Erdös L, Yau H. Linear Boltzmann equation as the weak coupling limit of a random Schrödinger equation. Communications on Pure and Applied Mathematics. 2000;53(6):667-735. doi:10.1002/(SICI)1097-0312(200006)53:6<667::AID-CPA1>3.0.CO;2-5
[Preprint]
View
| DOI
| 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| 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: 1455 | 
Hausel T, Makai E, Szücs A. Inscribing cubes and covering by rhombic dodecahedra via equivariant topology. Mathematika. 2000;47(1-2):371-397. doi:10.1112/S0025579300015965
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2000 |Published| Journal Article | IST-REx-ID: 13437
Macogonkosza M, Przyborowski J, Klajn R, Kwast A. Simple synthesis of 2-substituted Tetrahydrofuran-3-carbonitriles. Synlett. 2000;2000(12):1773-1774. doi:10.1055/s-2000-8670
View
| DOI
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
1999 |Published| Conference Paper | IST-REx-ID: 2711
Erdös L. Linear Boltzmann equation as the weak coupling limit of the random Schrödinger equation. In: Proceedings of the 7th QMath Conference. Vol 108. World Scientific Publishing; 1999:233-242. doi:10.1007/978-3-0348-8745-8_20
View
| DOI
1999 |Published| Journal Article | IST-REx-ID: 2864
Witters E, Vanhoutte K, Dewitte W, et al. Analysis of cyclic nucleotides and cytokinins in minute plant samples using phase system switching capillary electrospray liquid chromatography tandem mass spectrometry. Phytochemical Analysis. 1999;10(3):143-151. doi:10.1002/(SICI)1099-1565(199905/06)10:3<143::AID-PCA441>3.0.CO;2-G
View
| DOI
1999 |Published| Book (Editor) | IST-REx-ID: 3137
Jonas PM, Monyer H, eds. Ionotropic Glutamate Receptors in the CNS. Vol 141. 1st ed. Berlin ; Heidelberg: Springer; 1999. doi:10.1007/978-3-662-08022-1
View
| DOI
| Download None (ext.)