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
2004 |
Published |
Journal Article |
IST-REx-ID: 4253
Barton, N. H., Etheridge, A., & Sturm, A. (2004). Coalescence in a Random Background. Annals of Applied Probability. Institute of Mathematical Statistics.
View
| Download (ext.)
2004 |
Published |
Conference Paper |
IST-REx-ID: 4372
Maler, O., & Nickovic, D. (2004). Monitoring Temporal Properties of Continuous Signals (pp. 152–166). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/1572
View
| DOI
2004 |
Published |
Thesis |
IST-REx-ID: 4424
Jhala, R. (2004). Program verification by lazy abstraction. University of California, Berkeley.
View
2004 |
Published |
Conference Paper |
IST-REx-ID: 4445
Henzinger, T. A., & Kirsch, C. (2004). A typed assembly language for real-time programs (pp. 104–113). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1145/1017753.1017774
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4458
Henzinger, T. A., Jhala, R., Majumdar, R., & Mcmillan, K. (2004). Abstractions from proofs (pp. 232–244). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/10.1145/964001.964021
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4459
Henzinger, T. A., Jhala, R., & Majumdar, R. (2004). Race checking by context inference (pp. 1–13). Presented at the PLDI: Programming Languages Design and Implementation, ACM. https://doi.org/10.1145/996841.996844
View
| DOI
2004 |
Published |
Book Chapter |
IST-REx-ID: 4461
Henzinger, T. A., Jhala, R., Majumdar, R., & Sanvido, M. (2004). Extreme model checking. In Verification: Theory and Practice (Vol. 2772, pp. 332–358). Springer. https://doi.org/10.1007/978-3-540-39910-0_16
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4525
Ghosal, A., Henzinger, T. A., Kirsch, C., & Sanvido, M. (2004). Event-driven programming with logical execution times (Vol. 2993, pp. 167–170). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/978-3-540-24743-2_24
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4555
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2004). Trading memory for randomness (pp. 206–217). Presented at the QEST: Quantitative Evaluation of Systems, IEEE. https://doi.org/10.1109/QEST.2004.10051
View
| DOI
2004 |
Published |
Journal Article |
IST-REx-ID: 4556
Chatterjee, K., Ma, D., Majumdar, R., Zhao, T., Henzinger, T. A., & Palsberg, J. (2004). Stack size analysis for interrupt-driven programs. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2004.06.001
View
| DOI
2004 |
Published |
Conference Paper |
IST-REx-ID: 4558
Chatterjee, K., Jurdziński, M., & Henzinger, T. A. (2004). Quantitative stochastic parity games (pp. 121–130). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.
View
2003 |
Published |
Journal Article |
IST-REx-ID: 2623
Coesmans, M., Sillevis Smitt, P., Linden, D., Shigemoto, R., Hirano, T., Yamakawa, Y., … De Zeeuw, C. (2003). Mechanisms underlying cerebellar motor deficits due to mGluR1-autoantibodies. Annals of Neurology. Wiley-Blackwell. https://doi.org/10.1002/ana.10451
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 2625
Minami, I., Kengaku, M., Smitt, S., Shigemoto, R., & Hirano, T. (2003). Long-term potentiation of mGluR1 activity by depolarization-induced Homer1a in mouse cerebellar Purkinje neurons. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1046/j.1460-9568.2003.02499.x
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 2626
Kaneda, K., Imanishi, M., Nambu, A., Shigemoto, R., & Takada, M. (2003). Differential expression patterns of mGluR1α in monkey nigral dopamine neurons. Neuroreport. Lippincott, Williams & Wilkins. https://doi.org/10.1097/01.wnr.0000074344.81633.e4
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 2627
Kawakami, R., Shinohara, Y., Kato, Y., Sugiyama, H., Shigemoto, R., & Ito, I. (2003). Asymmetrical allocation of NMDA receptor ε2 subunits in hippocampal circuitry. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1082609
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 2628
Momiyama, A., Silver, R., Häusser, M., Notomi, T., Wu, Y., Shigemoto, R., & Cull Candy, S. (2003). The density of AMPA receptors activated by a transmitter quantum at the climbing fibre - Purkinje cell synapse in immature rats. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.2002.033472
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 2629
Somogyi, P., Dalezios, Y., Luján, R., Roberts, J., Watanabe, M., & Shigemoto, R. (2003). 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. Wiley-Blackwell. https://doi.org/10.1046/j.1460-9568.2003.02697.x
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 2630
Toyono, T., Seta, Y., Kataoka, S., Kawano, S., Shigemoto, R., & Toyoshima, K. (2003). Expression of metabotropic glutamate receptor group I in rat gustatory papillae. Cell and Tissue Research. Springer. https://doi.org/10.1007/s00441-003-0740-2
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 2631
Higashida, H., Zhang, J., Mochida, S., Chen, X., Shin, Y., Noda, M., … Yokoyama, S. (2003). Subtype-specific coupling with ADP-ribosyl cyclase of metabotropic glutamate receptors in retina, cervical superior ganglion and NG108-15 cells. Journal of Neurochemistry. Wiley-Blackwell. https://doi.org/10.1046/j.1471-4159.2003.01751.x
View
| DOI
2003 |
Published |
Journal Article |
IST-REx-ID: 2632
Holderith, N., Shigemoto, R., & Nusser, Z. (2003). Cell type-dependent expression of HCN1 in the main olfactory bulb. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1046/j.1460-9568.2003.02756.x
View
| DOI