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
Henzinger TA, Alur R, eds. 8th International Conference on Computer Aided Verification. Vol 1102. Springer; 1996. doi:10.1007/3-540-61474-5
View
| DOI
| Download None (ext.)
1996 |Published| Conference Paper | IST-REx-ID: 4588
Alur R, Henzinger TA. Reactive modules. In: Proceedings 11th Annual IEEE Symposium on Logic in Computer Science. IEEE; 1996:207-218. doi:10.1109/LICS.1996.561320
View
| DOI
| Download None (ext.)
1996 |Published| Journal Article | IST-REx-ID: 4611 | 
Alur R, Henzinger TA, Ho P. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering. 1996;22(3):181-201. doi: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 TA. The benefits of relaxing punctuality. Journal of the ACM. 1996;43(1):116-146. doi:10.1145/227595.227602
View
| DOI
| Download None (ext.)
1996 |Published| Book (Editor) | IST-REx-ID: 4612
Alur R, Henzinger TA, Sontag ED, eds. Hybrid Systems III: Verification and Control. Vol 1066. Berlin ; Heidelberg: Springer; 1996. doi:10.1007/BFb0020931
View
| DOI
1996 |Published| Journal Article | IST-REx-ID: 6161 |
de Bono M, Hodgkin J. Evolution of sex determination in Caenorhabditis: Unusually high divergence of tra-1 and its functional consequences. Genetics. 1996;144(2):587-595.
[Published Version]
View
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 |Published| Journal Article | IST-REx-ID: 1943 |
Sazanov LA, Jackson B. 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. 1995;1231(3):304-312. doi: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. Auxin transport. In: Davies P, ed. Plant Hormones: Biosynthesis, Signal Transduction, Action!. Kluwer; 1995:451-484. doi: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. 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. 1995;360(4):555-570. doi:10.1002/cne.903600402
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1995 |Published| Journal Article | IST-REx-ID: 2559 |
Masu M, Iwakabe H, Tagawa Y, et al. Specific deficit of the ON response in visual transmission by targeted disruption of the mGIuR6 gene. Cell. 1995;80(5):757-765. doi: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. Localization of substance P receptors in central neural structures controlling daily rhythms in nocturnal rodents. Comptes Rendus de l’Academie des Sciences - Series III. 1995;318(2):209-217.
View
| Download None (ext.)
| PubMed | Europe PMC
1995 |Published| Journal Article | IST-REx-ID: 2561
Ohishi H, Nomura S, Ding Y, et al. Presynaptic localization of a metabotropic glutamate receptor, mGluR7, in the primary afferent neurons: An immunohistochemical study in the rat. Neuroscience Letters. 1995;202(1-2):85-88. doi: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, 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. 1995;198(2):139-142. doi: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. Spinoparabrachial tract neurons showing substance P receptor-like immunoreactivity in the lumbar spinal cord of the rat. Brain Research. 1995;674(2):336-340. doi: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. Trigeminoparabrachial projection neurons showing substance P receptor-like immunoreactivity in the rat. Neuroscience Research. 1995;23(4):415-418. doi: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. Magnetic Lieb-Thirring inequalities and stochastic oscillatory integrals. In: Vol 78. Birkhäuser; 1995:127-132. doi:10.1007/978-3-0348-9092-2_13
View
| DOI
| Download None (ext.)
1995 |Published| Journal Article | IST-REx-ID: 2724
Erdös L. Magnetic Lieb-Thirring inequalities. Communications in Mathematical Physics. 1995;170(3):629-668. doi:10.1007/BF02099152
View
| DOI
| Download None (ext.)
1995 |Published| Book Chapter | IST-REx-ID: 3454
Monyer H, Jonas PM. Polymerase chain reaction analysis of ion channel expression in single neurons of brain slices. In: Sakmann B, Neher E, eds. Single-Channel Recording. Plenum; 1995:357-373. doi:10.1007/978-1-4419-1229-9_16
View
| DOI
| Download None (ext.)
1995 |Published| Book Chapter | IST-REx-ID: 3455
Jonas PM. Fast application of agonists to isolated membrane patches. In: Sakmann B, Neher E, eds. Single-Channel Recording. Plenum; 1995:231-243. doi:10.1007/978-1-4419-1229-9_10
View
| DOI
| Download None (ext.)
1995 |Published| Journal Article | IST-REx-ID: 3461 |
Jonas PM, Burnashev N. Molecular mechanisms controlling calcium entry through AMPA-type glutamate receptor channels. Neuron. 1995;15(5):987-990. doi:10.1016/0896-6273(95)90087-X
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC