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.
6978 Publications
1996 |Published| Conference (Editor) | IST-REx-ID: 4585
T. A. Henzinger and R. Alur, Eds., 8th International Conference on Computer Aided Verification, vol. 1102. Springer, 1996.
View
| DOI
| Download None (ext.)
1996 |Published| Conference Paper | IST-REx-ID: 4588
R. Alur and T. A. Henzinger, “Reactive modules,” in Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, NJ, USA, 1996, pp. 207–218.
View
| DOI
| Download None (ext.)
1996 |Published| Journal Article | IST-REx-ID: 4611 | 
R. Alur, T. A. Henzinger, and P. Ho, “Automatic symbolic verification of embedded systems,” IEEE Transactions on Software Engineering, vol. 22, no. 3. IEEE, pp. 181–201, 1996.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1996 |Published| Journal Article | IST-REx-ID: 4610
R. Alur, T. Feder, and T. A. Henzinger, “The benefits of relaxing punctuality,” Journal of the ACM, vol. 43, no. 1. ACM, pp. 116–146, 1996.
View
| DOI
| Download None (ext.)
1996 |Published| Journal Article | IST-REx-ID: 6161 |
M. de Bono and J. Hodgkin, “Evolution of sex determination in Caenorhabditis: Unusually high divergence of tra-1 and its functional consequences,” Genetics, vol. 144, no. 2. Genetics Society of America, pp. 587–595, 1996.
[Published Version]
View
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 |Published| Journal Article | IST-REx-ID: 1943 |
L. A. Sazanov and B. Jackson, “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, vol. 1231, no. 3. Elsevier, pp. 304–312, 1995.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 |Published| Book Chapter | IST-REx-ID: 2465
D. Morris, J. Friml, and E. Zažímalová, “Auxin transport,” in Plant Hormones: Biosynthesis, Signal Transduction, Action!, P. Davies, Ed. Kluwer, 1995, pp. 451–484.
View
| DOI
| Download None (ext.)
1995 |Published| Journal Article | IST-REx-ID: 2491
H. Ohishi, C. Akazawa, R. Shigemoto, S. Nakanishi, and N. Mizuno, “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, vol. 360, no. 4. Wiley-Blackwell, pp. 555–570, 1995.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1995 |Published| Journal Article | IST-REx-ID: 2559 |
M. Masu et al., “Specific deficit of the ON response in visual transmission by targeted disruption of the mGIuR6 gene,” Cell, vol. 80, no. 5. Cell Press, pp. 757–765, 1995.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 |Published| Journal Article | IST-REx-ID: 2558
G. Mick, R. Shigemoto, and K. Kitahama, “Localization of substance P receptors in central neural structures controlling daily rhythms in nocturnal rodents,” Comptes Rendus de l’Academie des Sciences - Series III, vol. 318, no. 2. Gauthier Villars Editeur, pp. 209–217, 1995.
View
| Download None (ext.)
| PubMed | Europe PMC
1995 |Published| Journal Article | IST-REx-ID: 2561
H. Ohishi et al., “Presynaptic localization of a metabotropic glutamate receptor, mGluR7, in the primary afferent neurons: An immunohistochemical study in the rat,” Neuroscience Letters, vol. 202, no. 1–2. Elsevier, pp. 85–88, 1995.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1995 |Published| Journal Article | IST-REx-ID: 2560
Y. Lü et al., “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, vol. 198, no. 2. Elsevier, pp. 139–142, 1995.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1995 |Published| Journal Article | IST-REx-ID: 2556
Y. Ding, M. Takada, R. Shigemoto, and N. Mizuno, “Spinoparabrachial tract neurons showing substance P receptor-like immunoreactivity in the lumbar spinal cord of the rat,” Brain Research, vol. 674, no. 2. Elsevier, pp. 336–340, 1995.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1995 |Published| Journal Article | IST-REx-ID: 2563
Y. Ding, M. Takada, R. Shigemoto, and N. Mizuno, “Trigeminoparabrachial projection neurons showing substance P receptor-like immunoreactivity in the rat,” Neuroscience Research, vol. 23, no. 4. Elsevier, pp. 415–418, 1995.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1995 |Published| Conference Paper | IST-REx-ID: 2712
L. Erdös, “Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals,” presented at the International Conference on Partial Differential Operators and Mathematical Physics, Holzhau, Germany, 1995, vol. 78, pp. 127–132.
View
| DOI
| Download None (ext.)
1995 |Published| Journal Article | IST-REx-ID: 2724
L. Erdös, “Magnetic Lieb-Thirring inequalities,” Communications in Mathematical Physics, vol. 170, no. 3. Springer, pp. 629–668, 1995.
View
| DOI
| Download None (ext.)
1995 |Published| Book Chapter | IST-REx-ID: 3454
H. Monyer and P. M. Jonas, “Polymerase chain reaction analysis of ion channel expression in single neurons of brain slices,” in Single-channel recording, B. Sakmann and E. Neher, Eds. Plenum, 1995, pp. 357–373.
View
| DOI
| Download None (ext.)
1995 |Published| Book Chapter | IST-REx-ID: 3455
P. M. Jonas, “Fast application of agonists to isolated membrane patches,” in Single-channel recording, B. Sakmann and E. Neher, Eds. Plenum, 1995, pp. 231–243.
View
| DOI
| Download None (ext.)
1995 |Published| Journal Article | IST-REx-ID: 3461 |
P. M. Jonas and N. Burnashev, “Molecular mechanisms controlling calcium entry through AMPA-type glutamate receptor channels,” Neuron, vol. 15, no. 5. Elsevier, pp. 987–990, 1995.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC