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.
8923 Publications
2001 |
Published |
Conference (Editor) |
IST-REx-ID: 4449
Henzinger TA, ed. EMSOFT: Embedded Software. Vol 2211. ACM; 2001. doi:10.1007/3-540-45449-7
View
| DOI
2001 |
Published |
Conference Paper |
IST-REx-ID: 4475
Henzinger TA, Preussig J, Wong Toi H. Some lessons from the HYTECH experience. In: Proceedings of the 40th IEEE Conference on Decision and Control. Vol 3. IEEE; 2001:2887-2892. doi:10.1109/.2001.980714
View
| DOI
2001 |
Published |
Conference Paper |
IST-REx-ID: 4477
Henzinger TA, Minea M, Prabhu V. Assume-guarantee reasoning for hierarchical hybrid systems. In: Proceedings of the 4th International Workshop on Hybrid Systems. Vol 2034. Springer; 2001:275-290. doi:10.1007/3-540-45351-2_24
View
| DOI
2001 |
Published |
Conference Paper |
IST-REx-ID: 4478
Henzinger TA, Horowitz B, Kirsch C. Embedded control systems development with Giotto. In: Proceedings of the 2nd ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems. ACM; 2001:64-72. doi:10.1145/384197.384208
View
| DOI
2001 |
Published |
Conference Paper |
IST-REx-ID: 4479
Henzinger TA, Horowitz B, Kirsch C. Giotto: A time-triggered language for embedded programming. In: Proceedings of the 1st International Workshop on Embedded Software. Vol 2211. ACM; 2001:166-184. doi:10.1007/3-540-45449-7_12
View
| DOI
2000 |
Published |
Book Chapter |
IST-REx-ID: 2494
Shigemoto R, Mizuno N. Chapter III Metabotropic glutamate receptors - immunocytochemical and in situ hybridization analyses. In: Glutamate. Vol 18. Elsevier; 2000:63-98. doi:10.1016/S0924-8196(00)80044-5
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 2598 |
Sillevis Smitt P, Kinoshita A, De Leeuw B, et al. Paraneoplastic cerebellar ataxia due to autoantibodies against a glutamate receptor. New England Journal of Medicine. 2000;342(1):21-27. doi:10.1056/NEJM200001063420104
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 2599
Li J, Wang D, Kaneko T, Shigemoto R, Nomura S, Mizuno N. Relationship between neurokinin-1 receptor and substance P in the striatum: Light and electron microscopic immunohistochemical study in the rat. Journal of Comparative Neurology. 2000;418(2):156-163. doi:10.1002/(SICI)1096-9861(20000306)418:2<156::AID-CNE3>3.0.CO;2-Z
View
| DOI
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 2600
Li J, Wang D, Kaneko T, Shigemoto R, Nomura S, Mizuno N. The relationship between neurokinin-1 receptor and substance P in the medullary dorsal horn: A light and electron microscopic immunohistochemical study in the rat. Neuroscience Research. 2000;36(4):327-334. doi:10.1016/S0168-0102(00)00095-X
View
| DOI
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 2601
Ichise T, Kano M, Hashimoto K, et al. mGluR1 in cerebellar Purkinje cells essential for long-term depression, synapse elimination, and motor coordination. Science. 2000;288(5472):1832-1835. doi:10.1126/science.288.5472.1832
View
| DOI
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 2602 |
Perroy J, Prezèau L, De Waard M, Shigemoto R, Bockaërt J, Fagni L. Selective blockade of P/Q-type calcium channels by the metabotropic glutamate receptor type 7 involves a phospholipase C pathway in neurons. Journal of Neuroscience. 2000;20(21):7896-7904. doi:10.1523/JNEUROSCI.20-21-07896.2000
[Published Version]
View
| DOI
| Download Published Version (ext.)
| 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 |
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: 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 |
Journal Article |
IST-REx-ID: 2732
Castella F, Erdös L, Frommlet F, Markowich P. Fokker-Planck equations as scaling limits of reversible quantum systems. Journal of Statistical Physics. 2000;100(3-4):543-601. doi:10.1023/A:1018667323830
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 2733
Erdös L, Loss M, Vougalter V. Diamagnetic behavior of sums Dirichlet eigenvalues. Annales de l’Institut Fourier. 2000;50(3):891-907. doi:10.5802/aif.1777
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 3149 |
Hwang J, Siekhaus DE, Fuller R, Taghert P, Lindberg I. Interaction of Drosophila melanogaster prohormone convertase 2 and 7B2: Insect cell specific processing and secretion. Journal of Biological Chemistry. 2000;275(23):17886-17893. doi:10.1074/jbc.M000032200
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 11126
Hetzer M, Mattaj IW. An Atp-dependent, Ran-independent mechanism for nuclear import of the U1a and U2b′′ spliceosome proteins. Journal of Cell Biology. 2000;148(2):293-304. doi:10.1083/jcb.148.2.293
View
| DOI
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 11127 |
Hetzer M, Bilbao-Cortés D, Walther TC, Gruss OJ, Mattaj IW. GTP hydrolysis by Ran is required for nuclear envelope assembly. Molecular Cell. 2000;5(6):1013-1024. doi:10.1016/s1097-2765(00)80266-x
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 11683
Henzinger MH, Rao S, Gabow HN. Computing vertex connectivity: New bounds from old techniques. Journal of Algorithms. 2000;34(2):222-250. doi:10.1006/jagm.1999.1055
View
| DOI