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.
725 Publications
2004 | Thesis | IST-REx-ID: 4424
R. Jhala, “Program verification by lazy abstraction,” University of California, Berkeley, 2004.
View
2003 | Journal Article | IST-REx-ID: 2629
P. Somogyi, Y. Dalezios, R. Luján, J. Roberts, M. Watanabe, and R. Shigemoto, “High level of mGluR7 in the presynaptic active zones of select populations of GABAergic terminals innervating interneurons in the rat hippocampus,” European Journal of Neuroscience, vol. 17, no. 12. Wiley-Blackwell, pp. 2503–2520, 2003.
View
| DOI
2003 | Journal Article | IST-REx-ID: 2633
C. Millán, E. Castro, M. Torres, R. Shigemoto, and J. Sánchez Prieto, “Co-expression of metabotropic glutamate receptor 7 and N-type Ca2+ channels in single cerebrocortical nerve terminals of adult rats,” Journal of Biological Chemistry, vol. 278, no. 26. American Society for Biochemistry and Molecular Biology, pp. 23955–23962, 2003.
View
| DOI
2002 | Journal Article | IST-REx-ID: 2617 |
A. Losonczy, L. Zhang, R. Shigemoto, P. Somogyi, and Z. Nusser, “Cell type dependence and variability in the short-term plasticity of EPSCs in identified mouse hippocampal interneurones,” Journal of Physiology, vol. 542, no. 1. Wiley-Blackwell, pp. 193–210, 2002.
View
| DOI
| Download (ext.)
2002 | Thesis | IST-REx-ID: 4414
F. Mang, “Games in open systems verification and synthesis,” University of California, Berkeley, 2002.
View