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. 2001. EMSOFT: Embedded Software, ACM,p.
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 4475
Henzinger TA, Preussig J, Wong Toi H. 2001. Some lessons from the HYTECH experience. Proceedings of the 40th IEEE Conference on Decision and Control. CDC: Decision and Control vol. 3, 2887–2892.
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 4477
Henzinger TA, Minea M, Prabhu V. 2001. Assume-guarantee reasoning for hierarchical hybrid systems. Proceedings of the 4th International Workshop on Hybrid Systems. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 2034, 275–290.
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 4478
Henzinger TA, Horowitz B, Kirsch C. 2001. Embedded control systems development with Giotto. Proceedings of the 2nd ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems. LCTES: Languages, Compilers, and Tools for Embedded Systems, 64–72.
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 4479
Henzinger TA, Horowitz B, Kirsch C. 2001. Giotto: A time-triggered language for embedded programming. Proceedings of the 1st International Workshop on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2211, 166–184.
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. Handbook of Chemical Neuroanatomy, vol. 18, 63–98.
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, Henzen Logmans S, Vecht C, De Zeeuw C, Sekiyama N, Nakanishi S, Shigemoto R. 2000. Paraneoplastic cerebellar ataxia due to autoantibodies against a glutamate receptor. New England Journal of Medicine. 342(1), 21–27.
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. 418(2), 156–163.
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. 36(4), 327–334.
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, Katsuki M, Aiba A. 2000. mGluR1 in cerebellar Purkinje cells essential for long-term depression, synapse elimination, and motor coordination. Science. 288(5472), 1832–1835.
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. 20(21), 7896–7904.
[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. 28(2), 485–497.
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. AMS/IP Studies in Advanced Mathematics, vol. 16, 111–119.
[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. 53(6), 667–735.
[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. 100(3–4), 543–601.
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. 50(3), 891–907.
View | DOI
 

2000 | Published | Journal Article | IST-REx-ID: 3149 | OA
Hwang J, Siekhaus DE, 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. 275(23), 17886–17893.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2000 | Published | Journal Article | IST-REx-ID: 11126
Hetzer M, Mattaj IW. 2000. An Atp-dependent, Ran-independent mechanism for nuclear import of the U1a and U2b′′ spliceosome proteins. Journal of Cell Biology. 148(2), 293–304.
View | DOI | PubMed | Europe PMC
 

2000 | Published | Journal Article | IST-REx-ID: 11127 | OA
Hetzer M, Bilbao-Cortés D, Walther TC, Gruss OJ, Mattaj IW. 2000. GTP hydrolysis by Ran is required for nuclear envelope assembly. Molecular Cell. 5(6), 1013–1024.
[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. 2000. Computing vertex connectivity: New bounds from old techniques. Journal of Algorithms. 34(2), 222–250.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed