Giotto: A time-triggered language for embedded programming
B. Horowitz, Giotto: A Time-Triggered Language for Embedded Programming, University of California, Berkeley, 2003.

From pre-historic to post-modern symbolic model checking
T.A. Henzinger, O. Kupferman, S. Qadeer, Formal Methods in System Design 23 (2003) 303–327.

Counterexample-guided control
T.A. Henzinger, R. Jhala, R. Majumdar, in:, Proceedings of the 30th International Colloquium on Automata, Languages and Programming, Springer, 2003, pp. 886–902.

Thread-modular abstraction refinement
T.A. Henzinger, R. Jhala, R. Majumdar, S. Qadeer, in:, Proceedings of the 15th International Conference on Computer Aided Verification, Springer, 2003, pp. 262–274.

Schedule-carrying code
T.A. Henzinger, C. Kirsch, S. Matic, in:, Proceedings of the 3rd International Conference on Embedded Software, ACM, 2003, pp. 241–256.

Embedded control systems development with Giotto
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Software-Enabled Control: Information Technology for Dynamical Systems, Wiley-Blackwell, 2003, pp. 123–146.

On the universal and existential fragments of the mu-calculus
T.A. Henzinger, O. Kupferman, R. Majumdar, in:, Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Springer, 2003, pp. 49–64.

Software verification with BLAST
T.A. Henzinger, R. Jhala, R. Majumdar, G. Sutre, in:, Proceedings of the 10th International SPIN Workshop , Springer, 2003, pp. 235–239.

From control models to real-time code using Giotto
T.A. Henzinger, C. Kirsch, M. Sanvido, W. Pree, IEEE Control Systems Magazine 23 (2003) 50–64.

Giotto: A time-triggered language for embedded programming
T.A. Henzinger, B. Horowitz, C. Kirsch, Proceedings of the IEEE 91 (2003) 84–99.

Tamalin, a PDZ domain-containing protein, links a protein complex formation of group 1 metabotropic glutamate receptors and the guanine nucleotide exchange factor cytohesins
J. Kitano, K. Kimura, Y. Yamazaki, T. Soda, R. Shigemoto, Y. Nakajima, S. Nakanishi, Journal of Neuroscience 22 (2002) 1280–1289.

The inhibition of glutamate release by metabotropic glutamate receptor 7 affects both [C+]c and cAMP. Evidence for a strong reduction of C+ entry in single nerve terminals
C. Millán, R. Luján, R. Shigemoto, J. Sánchez Prieto, Journal of Biological Chemistry 277 (2002) 14092–14101.

Expression of the metabotropic glutamate receptor, mGlua, in the taste hairs of taste buds in rat gustatory papillae
T. Toyono, Y. Seta, S. Sataoka, H. Harada, T. Morotomi, S. Kawano, R. Shigemoto, K. Toyoshima, Archives of Histology and Cytology 65 (2002) 91–96.

Differential distribution of group I metabotropic glutamate receptors during rat cortical development
G. López Bendito, R. Shigemoto, A. Fairén, R. Luján, Cerebral Cortex 12 (2002) 625–638.

Cell type dependence and variability in the short-term plasticity of EPSCs in identified mouse hippocampal interneurones
A. Losonczy, L. Zhang, R. Shigemoto, P. Somogyi, Z. Nusser, Journal of Physiology 542 (2002) 193–210.

Differential expression of calretinin and metabotropic glutamate receptor mGlu;1 defines subsets of unipolar brush cells in mouse cerebellum
M. Nunzi, R. Shigemoto, E. Mugnaini, Journal of Comparative Neurology 451 (2002) 189–199.

Enrichment of mGlua in the Presynaptic active zones of GABAergic and Non-GABAergic terminals on interneurons in the rat somatosensory cortex
Y. Dalezios, R. Luján, R. Shigemoto, J. Roberts, P. Somogyi, Cerebral Cortex 12 (2002) 961–974.

Polarized and compartment-dependent distribution of HCN1 in pyramidal cell dendrites
A. Lörincz, T. Notomi, G. Tamás, R. Shigemoto, Z. Nusser, Nature Neuroscience 5 (2002) 1185–1193.

Subtype-specific expression of Group III metabotropic glutamate receptors and C+ channels in single nerve terminals
C. Millán, R. Luján, R. Shigemoto, J. Sánchez Prieto, Journal of Biological Chemistry 277 (2002) 47796–47803.

Expression and distribution of metabotropic GABA receptor subtypes GABAB and GABAB during rat neocortical development
G. López Bendito, R. Shigemoto, Á. Kulik, O. Paulsen, A. Fairén, R. Luján, European Journal of Neuroscience 15 (2002) 1766–1778.