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.
7036 Publications
1996 |Published| Journal Article | IST-REx-ID: 4611 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Alur, R., Henzinger, T. A., & Ho, P. (1996). Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering. IEEE. https://doi.org/10.1109/32.489079
[Published Version]
View
| DOI
| Download Published Version (ext.)
1996 |Published| Journal Article | IST-REx-ID: 4610
Alur, R., Feder, T., & Henzinger, T. A. (1996). The benefits of relaxing punctuality. Journal of the ACM. ACM. https://doi.org/10.1145/227595.227602
View
| DOI
| Download None (ext.)
1996 |Published| Book (Editor) | IST-REx-ID: 4612
Alur, R., Henzinger, T. A., & Sontag, E. D. (Eds.). (1996). Hybrid Systems III: Verification and Control (Vol. 1066). Berlin ; Heidelberg: Springer. https://doi.org/10.1007/BFb0020931
View
| DOI
1996 |Published| Journal Article | IST-REx-ID: 6161 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
de Bono, M., & Hodgkin, J. (1996). Evolution of sex determination in Caenorhabditis: Unusually high divergence of tra-1 and its functional consequences. Genetics. Genetics Society of America.
[Published Version]
View
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 |Published| Journal Article | IST-REx-ID: 1943 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sazanov, L. A., & Jackson, B. (1995). Cyclic reactions catalysed by detergent-dispersed and reconstituted transhydrogenase from beef heart mitochondria; implications for the mechanism of proton translocation. Biochimica et Biophysica Acta - Bioenergetics. Elsevier. https://doi.org/10.1016/0005-2728(95)00096-2
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 |Published| Book Chapter | IST-REx-ID: 2465
Morris, D., Friml, J., & Zažímalová, E. (1995). Auxin transport. In P. Davies (Ed.), Plant Hormones: Biosynthesis, Signal Transduction, Action! (pp. 451–484). Kluwer. https://doi.org/10.1007/978-1-4020-2686-7_21
View
| DOI
| Download None (ext.)
1995 |Published| Journal Article | IST-REx-ID: 2491
Ohishi, H., Akazawa, C., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1995). Distributions of the mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic glutamate receptors, mGluR4 and mGluR7, in the rat brain. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/cne.903600402
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1995 |Published| Journal Article | IST-REx-ID: 2559 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Masu, M., Iwakabe, H., Tagawa, Y., Miyoshi, T., Yamashita, M., Fukuda, Y., … Nakanishi, S. (1995). Specific deficit of the ON response in visual transmission by targeted disruption of the mGIuR6 gene. Cell. Cell Press. https://doi.org/10.1016/0092-8674(95)90354-2
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 |Published| Journal Article | IST-REx-ID: 2558
Mick, G., Shigemoto, R., & Kitahama, K. (1995). Localization of substance P receptors in central neural structures controlling daily rhythms in nocturnal rodents. Comptes Rendus de l’Academie Des Sciences - Series III. Gauthier Villars Editeur.
View
| Download None (ext.)
| PubMed | Europe PMC
1995 |Published| Journal Article | IST-REx-ID: 2561
Ohishi, H., Nomura, S., Ding, Y., Shigemoto, R., Wada, E., Kinoshita, A., … Mizuno, N. (1995). Presynaptic localization of a metabotropic glutamate receptor, mGluR7, in the primary afferent neurons: An immunohistochemical study in the rat. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(95)12207-9
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1995 |Published| Journal Article | IST-REx-ID: 2560
Lü, Y., Jin, S., Xu, T., Qin, B., Li, J., Ding, Y., … Mizuno, N. (1995). Expression of c-fos protein in substance P receptor-like immunoreactive neurons in response to noxious stimuli on the urinary bladder: an observation in the lumbosacral cord segments of the rat. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(95)11991-5
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1995 |Published| Journal Article | IST-REx-ID: 2556
Ding, Y., Takada, M., Shigemoto, R., & Mizuno, N. (1995). Spinoparabrachial tract neurons showing substance P receptor-like immunoreactivity in the lumbar spinal cord of the rat. Brain Research. Elsevier. https://doi.org/10.1016/0006-8993(95)00022-I
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1995 |Published| Journal Article | IST-REx-ID: 2563
Ding, Y., Takada, M., Shigemoto, R., & Mizuno, N. (1995). Trigeminoparabrachial projection neurons showing substance P receptor-like immunoreactivity in the rat. Neuroscience Research. Elsevier. https://doi.org/10.1016/0168-0102(95)00961-R
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1995 |Published| Conference Paper | IST-REx-ID: 2712
Erdös, L. (1995). Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals (Vol. 78, pp. 127–132). Presented at the International Conference on Partial Differential Operators and Mathematical Physics, Holzhau, Germany: Birkhäuser. https://doi.org/10.1007/978-3-0348-9092-2_13
View
| DOI
| Download None (ext.)
1995 |Published| Journal Article | IST-REx-ID: 2724
Erdös, L. (1995). Magnetic Lieb-Thirring inequalities. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/BF02099152
View
| DOI
| Download None (ext.)
1995 |Published| Book Chapter | IST-REx-ID: 3454
Monyer, H., & Jonas, P. M. (1995). Polymerase chain reaction analysis of ion channel expression in single neurons of brain slices. In B. Sakmann & E. Neher (Eds.), Single-channel recording (pp. 357–373). Plenum. https://doi.org/10.1007/978-1-4419-1229-9_16
View
| DOI
| Download None (ext.)
1995 |Published| Book Chapter | IST-REx-ID: 3455
Jonas, P. M. (1995). Fast application of agonists to isolated membrane patches. In B. Sakmann & E. Neher (Eds.), Single-channel recording (pp. 231–243). Plenum. https://doi.org/10.1007/978-1-4419-1229-9_10
View
| DOI
| Download None (ext.)
1995 |Published| Journal Article | IST-REx-ID: 3461 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Jonas, P. M., & Burnashev, N. (1995). Molecular mechanisms controlling calcium entry through AMPA-type glutamate receptor channels. Neuron. Elsevier. https://doi.org/10.1016/0896-6273(95)90087-X
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 |Published| Journal Article | IST-REx-ID: 3478 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Spruston, N., Jonas, P. M., & Sakmann, B. (1995). Dendritic glutamate receptor channels in rat hippocampal CA3 and CA1 pyramidal neurons. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1995.sp020521
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 |Published| Conference Paper | IST-REx-ID: 3551
Edelsbrunner, H., Facello, M., Fu, P., & Liang, J. (1995). Measuring proteins and voids in proteins. In Proceedings of the 28th Annual Hawaii International Conference on System Sciences (pp. 256–264). Wailea, HI, United States of America: IEEE. https://doi.org/10.1109/HICSS.1995.375331
View
| DOI
| Download None (ext.)