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, B. (2003). Giotto: A time-triggered language for embedded programming. University of California, Berkeley.
View
 

2003 | Published | Journal Article | IST-REx-ID: 4460
Henzinger, T. A., Kupferman, O., & Qadeer, S. (2003). From pre-historic to post-modern symbolic model checking. Formal Methods in System Design. Springer. https://doi.org/10.1023/A:1026228213080
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4462
Henzinger, T. A., Jhala, R., & Majumdar, R. (2003). Counterexample-guided control. In Proceedings of the 30th International Colloquium on Automata, Languages and Programming (Vol. 2719, pp. 886–902). Eindhoven, The Netherlands: Springer. https://doi.org/10.1007/3-540-45061-0_69
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4463
Henzinger, T. A., Jhala, R., Majumdar, R., & Qadeer, S. (2003). Thread-modular abstraction refinement. In Proceedings of the 15th International Conference on Computer Aided Verification (Vol. 2725, pp. 262–274). Boulder, CO, USA: Springer. https://doi.org/10.1007/978-3-540-45069-6_27
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4464
Henzinger, T. A., Kirsch, C., & Matic, S. (2003). Schedule-carrying code. In Proceedings of the 3rd International Conference on Embedded Software (Vol. 2855, pp. 241–256). Philadelphia, PA, USA: ACM. https://doi.org/10.1007/978-3-540-45212-6_16
View | DOI
 

2003 | Published | Book Chapter | IST-REx-ID: 4465
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2003). Embedded control systems development with Giotto. In Software-Enabled Control: Information Technology for Dynamical Systems (pp. 123–146). Wiley-Blackwell. https://doi.org/10.1002/047172288X.ch8
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4466
Henzinger, T. A., Kupferman, O., & Majumdar, R. (2003). 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 (Vol. 2619, pp. 49–64). Warsaw, Poland: Springer. https://doi.org/10.1007/3-540-36577-X_5
View | DOI
 

2003 | Published | Conference Paper | IST-REx-ID: 4467
Henzinger, T. A., Jhala, R., Majumdar, R., & Sutre, G. (2003). Software verification with BLAST. In Proceedings of the 10th International SPIN Workshop (Vol. 2648, pp. 235–239). Portland, OR, USA: Springer. https://doi.org/10.1007/3-540-44829-2_17
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 4468
Henzinger, T. A., Kirsch, C., Sanvido, M., & Pree, W. (2003). From control models to real-time code using Giotto. IEEE Control Systems Magazine. IEEE. https://doi.org/10.1109/MCS.2003.1172829
View | DOI
 

2003 | Published | Journal Article | IST-REx-ID: 4469
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2003). Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE. IEEE. https://doi.org/10.1109/JPROC.2002.805825
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 2613
Kitano, J., Kimura, K., Yamazaki, Y., Soda, T., Shigemoto, R., Nakajima, Y., & Nakanishi, S. (2002). 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. https://doi.org/10.1523/JNEUROSCI.22-04-01280.2002
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 2614 | OA
Millán, C., Luján, R., Shigemoto, R., & Sánchez Prieto, J. (2002). 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. 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, T., Seta, Y., Sataoka, S., Harada, H., Morotomi, T., Kawano, S., … Toyoshima, K. (2002). 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. https://doi.org/10.1679/aohc.65.91
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 2616
López Bendito, G., Shigemoto, R., Fairén, A., & Luján, R. (2002). Differential distribution of group I metabotropic glutamate receptors during rat cortical development. Cerebral Cortex. Oxford University Press. https://doi.org/10.1093/cercor/12.6.625
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 2617 | OA
Losonczy, A., Zhang, L., Shigemoto, R., Somogyi, P., & Nusser, Z. (2002). Cell type dependence and variability in the short-term plasticity of EPSCs in identified mouse hippocampal interneurones. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.2002.020024
View | DOI | Download (ext.)
 

2002 | Published | Journal Article | IST-REx-ID: 2618
Nunzi, M., Shigemoto, R., & Mugnaini, E. (2002). Differential expression of calretinin and metabotropic glutamate receptor mGluR1α defines subsets of unipolar brush cells in mouse cerebellum. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/cne.10344
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 2619
Dalezios, Y., Luján, R., Shigemoto, R., Roberts, J., & Somogyi, P. (2002). 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. https://doi.org/10.1093/cercor/12.9.961
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 2620
Lörincz, A., Notomi, T., Tamás, G., Shigemoto, R., & Nusser, Z. (2002). Polarized and compartment-dependent distribution of HCN1 in pyramidal cell dendrites. Nature Neuroscience. Nature Publishing Group. https://doi.org/10.1038/nn962
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 2621
Millán, C., Luján, R., Shigemoto, R., & Sánchez Prieto, J. (2002). 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. 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, G., Shigemoto, R., Kulik, Á., Paulsen, O., Fairén, A., & Luján, R. (2002). Expression and distribution of metabotropic GABA receptor subtypes GABABR1 and GABABR2 during rat neocortical development. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1046/j.1460-9568.2002.02032.x
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed