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.

7712 Publications

1997 | Journal Article | IST-REx-ID: 2727
Erdös L. Dia- and paramagnetism for nonhomogeneous magnetic fields. Journal of Mathematical Physics. 1997;38(3):1289-1317. doi:10.1063/1.531909
View | DOI

1997 | Journal Article | IST-REx-ID: 2580
Luján R, Roberts J, Shigemoto R, Ohishi H, Somogyi P. Differential plasma membrane distribution of metabotropic glutamate receptors mGluR1α, mGluR2 and mGluR5, relative to neurotransmitter release sites. Journal of Chemical Neuroanatomy. 1997;13(4):219-241. doi:10.1016/S0891-0618(97)00051-3
View | DOI | PubMed | Europe PMC

1997 | Journal Article | IST-REx-ID: 2578
Seybold V, Grković I, Portbury A, et al. Relationship of NK3 receptor-immunoreactivity to subpopulations of neurons in rat spinal cord. Journal of Comparative Neurology. 1997;381(4):439-448. doi:10.1002/(SICI)1096-9861(19970519)381:4<439::AID-CNE4>3.0.CO;2-3
View | DOI | PubMed | Europe PMC

1997 | Journal Article | IST-REx-ID: 2575
Li H, Ohishi H, Kinoshita A, Shigemoto R, Nomura S, Mizuno N. Localization of a metabotropic glutamate receptor, mGluR7, in axon terminals of presumed nociceptive, primary afferent fibers in the superficial layers of the spinal dorsal horn: An electron microscope study in the rat. Neuroscience Letters. 1997;223(3):153-156. doi:10.1016/S0304-3940(97)13429-2
View | DOI | PubMed | Europe PMC

1997 | Journal Article | IST-REx-ID: 2579
Mann P, Southwell B, Ding Y, Shigemoto R, Mizuno N, Furness J. Localisation of neurokinin 3 (NK3) receptor immunoreactivity in the rat gastrointestinal tract. Cell and Tissue Research. 1997;289(1):1-9. doi:10.1007/s004410050846
View | DOI | PubMed | Europe PMC

1997 | Journal Article | IST-REx-ID: 2577
Tone Y, Inoue H, Hara S, et al. The regional distribution and cellular localization of mRNA encoding rat prostacyclin synthase. European Journal of Cell Biology. 1997;72(3):268-277.
View | PubMed | Europe PMC

1997 | Journal Article | IST-REx-ID: 2493
Acsády L, Katona I, Gulyás A, Shigemoto R, Freund T. Immunostaining for substance P receptor labels GABAergic cells with distinct termination patterns in the hippocampus. Journal of Comparative Neurology. 1997;378(3):320-336. doi:10.1002/(SICI)1096-9861(19970217)378:3<320::AID-CNE2>3.0.CO;2-5
View | DOI | PubMed | Europe PMC

1997 | Journal Article | IST-REx-ID: 2576
Li J, Kaneko T, Shigemoto R, Mizuno N. Distribution of trigeminohypothalamic and spinohypothalamic tract neurons displaying substance P receptor-like immunoreactivity in the rat. Journal of Comparative Neurology. 1997;378(4):508-521. doi:10.1002/(SICI)1096-9861(19970224)378:4<508::AID-CNE6>3.0.CO;2-6
View | DOI | PubMed | Europe PMC

1997 | Conference Paper | IST-REx-ID: 4609
Alur R, Henzinger TA, Kupferman O. Alternating-time temporal logic. In: Proceedings of the 38th Annual Symposium on Foundations of Computer Science. Association for Computing Machinery (ACM); 1997:100-109. doi:10.1145/585265.585270
View | DOI

1997 | Journal Article | IST-REx-ID: 11666
Anderson JM, Berc LM, Dean J, et al. Continuous profiling: Where have all the cycles gone? ACM Transactions on Computer Systems. 1997;15(4):357-390. doi:10.1145/265924.265925
View | DOI

1997 | Journal Article | IST-REx-ID: 11765
Henzinger MH. A static 2-approximation algorithm for vertex connectivity and incremental approximation algorithms for edge and vertex connectivity. Journal of Algorithms. 1997;24(1):194-220. doi:10.1006/jagm.1997.0855
View | DOI

1997 | Journal Article | IST-REx-ID: 11767 | OA
Henzinger MH, Klein P, Rao S, Subramanian S. Faster shortest-path algorithms for planar graphs. Journal of Computer and System Sciences. 1997;55(1):3-23. doi:10.1006/jcss.1997.1493
View | DOI | Download Published Version (ext.)

1996 | 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 | Conference Paper | IST-REx-ID: 1942
Sazanov LA, Burrows P, Nixon PJ. Presence of a large protein complex containing the ndhK gene product and possessing NADH-specific dehydrogenase activity in thylakoid membranes of higher plant chloroplasts. In: Vol 2. Kluwer; 1996:705-708.

1996 | Journal Article | IST-REx-ID: 6161 | OA
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.
View | Download Published Version (ext.) | PubMed | Europe PMC

1996 | Journal Article | IST-REx-ID: 2725
Erdös L. Rayleigh-type isoperimetric inequality with a homogeneous magnetic field. Calculus of Variations and Partial Differential Equations. 1996;4(3):283-292. doi:10.1007/BF01254348
View | DOI

1996 | 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 | 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 | Journal Article | IST-REx-ID: 4611 | OA
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
View | DOI | Download Published Version (ext.)

1996 | Journal Article | IST-REx-ID: 4292
Partridge L, Barton NH. On measuring the rate of ageing. Proceedings of the Royal Society of London Series B Biological Sciences. 1996;263(1375):1365-1371. doi:10.1098/rspb.1996.0200
View | DOI | Download None (ext.)


Filter Publications