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, Thomas A., editor. 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, Thomas A., et al. “Some Lessons from the HYTECH Experience.” Proceedings of the 40th IEEE Conference on Decision and Control, vol. 3, IEEE, 2001, pp. 2887–92, doi:10.1109/.2001.980714.
View
| DOI
2001 |
Published |
Conference Paper |
IST-REx-ID: 4477
Henzinger, Thomas A., et al. “Assume-Guarantee Reasoning for Hierarchical Hybrid Systems.” Proceedings of the 4th International Workshop on Hybrid Systems, vol. 2034, Springer, 2001, pp. 275–90, doi:10.1007/3-540-45351-2_24.
View
| DOI
2001 |
Published |
Conference Paper |
IST-REx-ID: 4478
Henzinger, Thomas A., et al. “Embedded Control Systems Development with Giotto.” Proceedings of the 2nd ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, ACM, 2001, pp. 64–72, doi:10.1145/384197.384208.
View
| DOI
2001 |
Published |
Conference Paper |
IST-REx-ID: 4479
Henzinger, Thomas A., et al. “Giotto: A Time-Triggered Language for Embedded Programming.” Proceedings of the 1st International Workshop on Embedded Software, vol. 2211, ACM, 2001, pp. 166–84, doi:10.1007/3-540-45449-7_12.
View
| DOI
2000 |
Published |
Book Chapter |
IST-REx-ID: 2494
Shigemoto, Ryuichi, and Noboru Mizuno. “Chapter III Metabotropic Glutamate Receptors - Immunocytochemical and in Situ Hybridization Analyses.” Glutamate, vol. 18, Elsevier, 2000, pp. 63–98, doi:10.1016/S0924-8196(00)80044-5.
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 2598 |
Sillevis Smitt, Peter, et al. “Paraneoplastic Cerebellar Ataxia Due to Autoantibodies against a Glutamate Receptor.” New England Journal of Medicine, vol. 342, no. 1, Massachussetts Medical Society, 2000, pp. 21–27, doi:10.1056/NEJM200001063420104.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 2599
Li, Jin, et al. “Relationship between Neurokinin-1 Receptor and Substance P in the Striatum: Light and Electron Microscopic Immunohistochemical Study in the Rat.” Journal of Comparative Neurology, vol. 418, no. 2, Wiley-Blackwell, 2000, pp. 156–63, 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, Jin, et al. “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, vol. 36, no. 4, Elsevier, 2000, pp. 327–34, doi:10.1016/S0168-0102(00)00095-X.
View
| DOI
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 2601
Ichise, Taeko, et al. “MGluR1 in Cerebellar Purkinje Cells Essential for Long-Term Depression, Synapse Elimination, and Motor Coordination.” Science, vol. 288, no. 5472, American Association for the Advancement of Science, 2000, pp. 1832–35, doi:10.1126/science.288.5472.1832.
View
| DOI
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 2602 |
Perroy, Julie, et al. “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, vol. 20, no. 21, Society for Neuroscience, 2000, pp. 7896–904, 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élène, et al. “Presynaptic Clustering of MGluR7a Requires the PICK1 PDZ Domain Binding Site.” Neuron, vol. 28, no. 2, Elsevier, 2000, pp. 485–97, doi:10.1016/S0896-6273(00)00127-6.
View
| DOI
| PubMed | Europe PMC
2000 |
Published |
Book Chapter |
IST-REx-ID: 2710
Erdös, László. “The Kernel of Dirac Operators on S3 and R3.” Differential Equations and Mathematical Physics, vol. 16, American Mathematical Society, 2000, pp. 111–19, doi:10.1090/amsip/016.
[Preprint]
View
| DOI
| arXiv
2000 |
Published |
Journal Article |
IST-REx-ID: 2731
Erdös, László, and Horng Yau. “Linear Boltzmann Equation as the Weak Coupling Limit of a Random Schrödinger Equation.” Communications on Pure and Applied Mathematics, vol. 53, no. 6, Wiley-Blackwell, 2000, pp. 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, François, et al. “Fokker-Planck Equations as Scaling Limits of Reversible Quantum Systems.” Journal of Statistical Physics, vol. 100, no. 3–4, Springer, 2000, pp. 543–601, doi:10.1023/A:1018667323830.
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 2733
Erdös, László, et al. “Diamagnetic Behavior of Sums Dirichlet Eigenvalues.” Annales de l’Institut Fourier, vol. 50, no. 3, Association des Annales de l’Institut Fourier, 2000, pp. 891–907, doi:10.5802/aif.1777.
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 3149 |
Hwang, Jae, et al. “Interaction of Drosophila Melanogaster Prohormone Convertase 2 and 7B2: Insect Cell Specific Processing and Secretion.” Journal of Biological Chemistry, vol. 275, no. 23, American Society for Biochemistry and Molecular Biology, 2000, pp. 17886–93, 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, Martin, and Iain W. Mattaj. “An Atp-Dependent, Ran-Independent Mechanism for Nuclear Import of the U1a and U2b′′ Spliceosome Proteins.” Journal of Cell Biology, vol. 148, no. 2, Rockefeller University Press, 2000, pp. 293–304, doi:10.1083/jcb.148.2.293.
View
| DOI
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 11127 |
Hetzer, Martin, et al. “GTP Hydrolysis by Ran Is Required for Nuclear Envelope Assembly.” Molecular Cell, vol. 5, no. 6, Elsevier, 2000, pp. 1013–24, 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, Monika H., et al. “Computing Vertex Connectivity: New Bounds from Old Techniques.” Journal of Algorithms, vol. 34, no. 2, Elsevier, 2000, pp. 222–50, doi:10.1006/jagm.1999.1055.
View
| DOI