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
2003 |
Published |
Thesis |
IST-REx-ID: 4425
Horowitz, Benjamin. “Giotto: A Time-Triggered Language for Embedded Programming.” University of California, Berkeley, 2003.
View
2003 |
Published |
Journal Article |
IST-REx-ID: 4460
Henzinger, Thomas A, Orna Kupferman, and Shaz Qadeer. “From Pre-Historic to Post-Modern Symbolic Model Checking.” Formal Methods in System Design. Springer, 2003. https://doi.org/10.1023/A:1026228213080.
View
| DOI
2003 |
Published |
Conference Paper |
IST-REx-ID: 4462
Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Counterexample-Guided Control.” In Proceedings of the 30th International Colloquium on Automata, Languages and Programming, 2719:886–902. Springer, 2003. https://doi.org/10.1007/3-540-45061-0_69.
View
| DOI
2003 |
Published |
Conference Paper |
IST-REx-ID: 4463
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Shaz Qadeer. “Thread-Modular Abstraction Refinement.” In Proceedings of the 15th International Conference on Computer Aided Verification, 2725:262–74. Springer, 2003. https://doi.org/10.1007/978-3-540-45069-6_27.
View
| DOI
2003 |
Published |
Conference Paper |
IST-REx-ID: 4464
Henzinger, Thomas A, Christoph Kirsch, and Slobodan Matic. “Schedule-Carrying Code.” In Proceedings of the 3rd International Conference on Embedded Software, 2855:241–56. ACM, 2003. https://doi.org/10.1007/978-3-540-45212-6_16.
View
| DOI
2003 |
Published |
Book Chapter |
IST-REx-ID: 4465
Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Embedded Control Systems Development with Giotto.” In Software-Enabled Control: Information Technology for Dynamical Systems, 123–46. Wiley-Blackwell, 2003. https://doi.org/10.1002/047172288X.ch8.
View
| DOI
2003 |
Published |
Conference Paper |
IST-REx-ID: 4466
Henzinger, Thomas A, Orna Kupferman, and Ritankar Majumdar. “On the Universal and Existential Fragments of the Mu-Calculus.” In Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , 2619:49–64. Springer, 2003. https://doi.org/10.1007/3-540-36577-X_5.
View
| DOI
2003 |
Published |
Conference Paper |
IST-REx-ID: 4467
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Grégoire Sutre. “Software Verification with BLAST.” In Proceedings of the 10th International SPIN Workshop , 2648:235–39. Springer, 2003. https://doi.org/10.1007/3-540-44829-2_17.
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 4468
Henzinger, Thomas A, Christoph Kirsch, Marco Sanvido, and Wolfgang Pree. “From Control Models to Real-Time Code Using Giotto.” IEEE Control Systems Magazine. IEEE, 2003. https://doi.org/10.1109/MCS.2003.1172829.
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 4469
Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Giotto: A Time-Triggered Language for Embedded Programming.” Proceedings of the IEEE. IEEE, 2003. https://doi.org/10.1109/JPROC.2002.805825.
View
| DOI
2002 |
Published |
Journal Article |
IST-REx-ID: 2613
Kitano, Jun, Kouji Kimura, Yoshimitsu Yamazaki, Takeshi Soda, Ryuichi Shigemoto, Yoshiaki Nakajima, and Shigetada Nakanishi. “Tamalin, a PDZ Domain-Containing Protein, Links a Protein Complex Formation of Group 1 Metabotropic Glutamate Receptors and the Guanine Nucleotide Exchange Factor Cytohesins.” Journal of Neuroscience. Society for Neuroscience, 2002. https://doi.org/10.1523/JNEUROSCI.22-04-01280.2002.
View
| DOI
| PubMed | Europe PMC
2002 |
Published |
Journal Article |
IST-REx-ID: 2614 |
Millán, Carmelo, Rafael Luján, Ryuichi Shigemoto, and José Sánchez Prieto. “The Inhibition of Glutamate Release by Metabotropic Glutamate Receptor 7 Affects Both [Ca2+]c and CAMP. Evidence for a Strong Reduction of Ca2+ Entry in Single Nerve Terminals.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 2002. https://doi.org/10.1074/jbc.M109044200.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2002 |
Published |
Journal Article |
IST-REx-ID: 2615
Toyono, Takashi, Yuji Seta, Shinji Sataoka, Harumi Harada, Takahiko Morotomi, Shintaro Kawano, Ryuichi Shigemoto, and Kuniaki Toyoshima. “Expression of the Metabotropic Glutamate Receptor, MGluR4a, in the Taste Hairs of Taste Buds in Rat Gustatory Papillae.” Archives of Histology and Cytology. Japan Society of Histological Documentation, 2002. https://doi.org/10.1679/aohc.65.91.
View
| DOI
| PubMed | Europe PMC
2002 |
Published |
Journal Article |
IST-REx-ID: 2616
López Bendito, Guillermina, Ryuichi Shigemoto, Alfonso Fairén, and Rafael Luján. “Differential Distribution of Group I Metabotropic Glutamate Receptors during Rat Cortical Development.” Cerebral Cortex. Oxford University Press, 2002. https://doi.org/10.1093/cercor/12.6.625.
View
| DOI
| PubMed | Europe PMC
2002 |
Published |
Journal Article |
IST-REx-ID: 2617 |
Losonczy, Attila, Limei Zhang, Ryuichi Shigemoto, Péter Somogyi, and Zoltán Nusser. “Cell Type Dependence and Variability in the Short-Term Plasticity of EPSCs in Identified Mouse Hippocampal Interneurones.” Journal of Physiology. Wiley-Blackwell, 2002. https://doi.org/10.1113/jphysiol.2002.020024.
View
| DOI
| Download (ext.)
2002 |
Published |
Journal Article |
IST-REx-ID: 2618
Nunzi, Maria, Ryuichi Shigemoto, and Enrico Mugnaini. “Differential Expression of Calretinin and Metabotropic Glutamate Receptor MGluR1α Defines Subsets of Unipolar Brush Cells in Mouse Cerebellum.” Journal of Comparative Neurology. Wiley-Blackwell, 2002. https://doi.org/10.1002/cne.10344.
View
| DOI
| PubMed | Europe PMC
2002 |
Published |
Journal Article |
IST-REx-ID: 2619
Dalezios, Yannis, Rafael Luján, Ryuichi Shigemoto, John Roberts, and Péter Somogyi. “Enrichment of MGluR7a in the Presynaptic Active Zones of GABAergic and Non-GABAergic Terminals on Interneurons in the Rat Somatosensory Cortex.” Cerebral Cortex. Oxford University Press, 2002. https://doi.org/10.1093/cercor/12.9.961.
View
| DOI
| PubMed | Europe PMC
2002 |
Published |
Journal Article |
IST-REx-ID: 2620
Lörincz, Andrea, Takuya Notomi, Gábor Tamás, Ryuichi Shigemoto, and Zoltán Nusser. “Polarized and Compartment-Dependent Distribution of HCN1 in Pyramidal Cell Dendrites.” Nature Neuroscience. Nature Publishing Group, 2002. https://doi.org/10.1038/nn962.
View
| DOI
| PubMed | Europe PMC
2002 |
Published |
Journal Article |
IST-REx-ID: 2621
Millán, Carmelo, Rafael Luján, Ryuichi Shigemoto, and José Sánchez Prieto. “Subtype-Specific Expression of Group III Metabotropic Glutamate Receptors and Ca2+ Channels in Single Nerve Terminals.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 2002. https://doi.org/10.1074/jbc.M207531200.
[Published Version]
View
| DOI
| PubMed | Europe PMC
2002 |
Published |
Journal Article |
IST-REx-ID: 2622
López Bendito, Guillermina, Ryuichi Shigemoto, Ákos Kulik, Ole Paulsen, Alfonso Fairén, and Rafael Luján. “Expression and Distribution of Metabotropic GABA Receptor Subtypes GABABR1 and GABABR2 during Rat Neocortical Development.” European Journal of Neuroscience. Wiley-Blackwell, 2002. https://doi.org/10.1046/j.1460-9568.2002.02032.x.
View
| DOI
| PubMed | Europe PMC