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, T. A. (Ed.). (2001). EMSOFT: Embedded Software (Vol. 2211). Presented at the EMSOFT 2001: Embedded Software, Tahoe City, CA, USA: ACM. https://doi.org/10.1007/3-540-45449-7
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 4475
Henzinger, T. A., Preussig, J., & Wong Toi, H. (2001). Some lessons from the HYTECH experience. In Proceedings of the 40th IEEE Conference on Decision and Control (Vol. 3, pp. 2887–2892). Orlando, FL, USA: IEEE. https://doi.org/10.1109/.2001.980714
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 4477
Henzinger, T. A., Minea, M., & Prabhu, V. (2001). Assume-guarantee reasoning for hierarchical hybrid systems. In Proceedings of the 4th International Workshop on Hybrid Systems (Vol. 2034, pp. 275–290). Rome, Italy: Springer. https://doi.org/10.1007/3-540-45351-2_24
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 4478
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2001). Embedded control systems development with Giotto. In Proceedings of the 2nd ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems (pp. 64–72). New York, NY, United States: ACM. https://doi.org/10.1145/384197.384208
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 4479
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2001). Giotto: A time-triggered language for embedded programming. In Proceedings of the 1st International Workshop on Embedded Software (Vol. 2211, pp. 166–184). Tahoe City, CA, USA: ACM. https://doi.org/10.1007/3-540-45449-7_12
View | DOI
 

2000 | Published | Book Chapter | IST-REx-ID: 2494
Shigemoto, R., & Mizuno, N. (2000). Chapter III Metabotropic glutamate receptors - immunocytochemical and in situ hybridization analyses. In Glutamate (Vol. 18, pp. 63–98). Elsevier. https://doi.org/10.1016/S0924-8196(00)80044-5
View | DOI
 

2000 | Published | Journal Article | IST-REx-ID: 2598 | OA
Sillevis Smitt, P., Kinoshita, A., De Leeuw, B., Moll, W., Coesmans, M., Jaarsma, D., … Shigemoto, R. (2000). Paraneoplastic cerebellar ataxia due to autoantibodies against a glutamate receptor. New England Journal of Medicine. Massachussetts Medical Society. https://doi.org/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. (2000). Relationship between neurokinin-1 receptor and substance P in the striatum: Light and electron microscopic immunohistochemical study in the rat. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/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. (2000). 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. Elsevier. https://doi.org/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., Yanagihara, D., Nakao, K., Shigemoto, R., … Aiba, A. (2000). mGluR1 in cerebellar Purkinje cells essential for long-term depression, synapse elimination, and motor coordination. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.288.5472.1832
View | DOI | PubMed | Europe PMC
 

2000 | Published | Journal Article | IST-REx-ID: 2602 | OA
Perroy, J., Prezèau, L., De Waard, M., Shigemoto, R., Bockaërt, J., & Fagni, L. (2000). 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. Society for Neuroscience. https://doi.org/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., Shigemoto, R., Huganir, R., Worley, P., & Craig, A. (2000). Presynaptic clustering of mGluR7a requires the PICK1 PDZ domain binding site. Neuron. Elsevier. https://doi.org/10.1016/S0896-6273(00)00127-6
View | DOI | PubMed | Europe PMC
 

2000 | Published | Book Chapter | IST-REx-ID: 2710
Erdös, L. (2000). The kernel of Dirac operators on S3 and R3. In Differential Equations and Mathematical Physics (Vol. 16, pp. 111–119). American Mathematical Society. https://doi.org/10.1090/amsip/016
[Preprint] View | DOI | arXiv
 

2000 | Published | Journal Article | IST-REx-ID: 2731
Erdös, L., & Yau, H. (2000). Linear Boltzmann equation as the weak coupling limit of a random Schrödinger equation. Communications on Pure and Applied Mathematics. Wiley-Blackwell. https://doi.org/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. (2000). Fokker-Planck equations as scaling limits of reversible quantum systems. Journal of Statistical Physics. Springer. https://doi.org/10.1023/A:1018667323830
View | DOI
 

2000 | Published | Journal Article | IST-REx-ID: 2733
Erdös, L., Loss, M., & Vougalter, V. (2000). Diamagnetic behavior of sums Dirichlet eigenvalues. Annales de l’Institut Fourier. Association des Annales de l’Institut Fourier. https://doi.org/10.5802/aif.1777
View | DOI
 

2000 | Published | Journal Article | IST-REx-ID: 3149 | OA
Hwang, J., Siekhaus, D. E., Fuller, R., Taghert, P., & Lindberg, I. (2000). Interaction of Drosophila melanogaster prohormone convertase 2 and 7B2: Insect cell specific processing and secretion. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/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, I. W. (2000). An Atp-dependent, Ran-independent mechanism for nuclear import of the U1a and U2b′′ spliceosome proteins. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.148.2.293
View | DOI | PubMed | Europe PMC
 

2000 | Published | Journal Article | IST-REx-ID: 11127 | OA
Hetzer, M., Bilbao-Cortés, D., Walther, T. C., Gruss, O. J., & Mattaj, I. W. (2000). GTP hydrolysis by Ran is required for nuclear envelope assembly. Molecular Cell. Elsevier. https://doi.org/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, M. H., Rao, S., & Gabow, H. N. (2000). Computing vertex connectivity: New bounds from old techniques. Journal of Algorithms. Elsevier. https://doi.org/10.1006/jagm.1999.1055
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed