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.
1838 Publications
1997 | Journal Article | IST-REx-ID: 2581
Lee, T., Kaneko, T., Shigemoto, R., Nomura, S., & Mizuno, N. (1997). Collateral projections from striatonigral neurons to substance P receptor-expressing intrinsic neurons in the striatum of the rat. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19971117)388:2<250::AID-CNE5>3.0.CO;2-0
View
| DOI
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 2579
Mann, P., Southwell, B., Ding, Y., Shigemoto, R., Mizuno, N., & Furness, J. (1997). Localisation of neurokinin 3 (NK3) receptor immunoreactivity in the rat gastrointestinal tract. Cell and Tissue Research. Springer. https://doi.org/10.1007/s004410050846
View
| DOI
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 4022
Edelsbrunner, H., Valtr, P., & Welzl, E. (1997). Cutting dense point sets in half. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/PL00009291
View
| DOI
1997 | Journal Article | IST-REx-ID: 4289 | 
Barton, N. H. (1997). Population genetics: A new apportionment of human diversity. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(06)00397-6
[Published Version]
View
| DOI
| Download Published Version (ext.)
1997 | Journal Article | IST-REx-ID: 3485 |
Martina, M., & Jonas, P. M. (1997). Functional differences in Na+ channel gating between fast-spiking interneurones and principal neurones in rat hippocampus. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1111/j.1469-7793.1997.593ba.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 3486 |
Bischofberger, J., & Jonas, P. M. (1997). Action potential propagation into the presynaptic dendrites of rat mitral cells. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1111/j.1469-7793.1997.359be.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 3484 |
Geiger, J., Lubke, J., Roth, A., Frotscher, M., & Jonas, P. M. (1997). Submillisecond AMPA receptor-mediated signaling at a principal neuron-interneuron synapse. Neuron. Elsevier. https://doi.org/10.1016/S0896-6273(00)80339-6
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 3541
Bragin, A., Csicsvari, J. L., Penttonen, M., & Buzsáki, G. (1997). Epileptic afterdischarge in the hippocampal-entorhinal system: Current source density and unit studies. Neuroscience. Elsevier. https://doi.org/10.1016/S0306-4522(96)00446-0
View
| DOI
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 4174 |
Masai, I., Heisenberg, C.-P. J., Barth, K. A., Macdonald, R., Adamek, S., & Wilson, S. (1997). Floating head and masterblind regulate neuronal patterning in the roof of the forebrain. Neuron. Elsevier. https://doi.org/10.1016/S0896-6273(01)80045-3
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 4285 |
Otto, S., & Barton, N. H. (1997). The evolution of recombination: Removing the limits to natural selection. Genetics. Genetics Society of America. https://doi.org/10.1093/genetics/147.2.879
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1997 | Conference Paper | IST-REx-ID: 4441
Henzinger, T. A., & Kopke, P. (1997). Discrete-time control for rectangular hybrid automata. In Proceedings of the 24th International Colloquium on Automata, Languages and Programming (Vol. 1256, pp. 582–593). Bologna, Italy: Springer. https://doi.org/10.1007/3-540-63165-8_213
View
| DOI
1997 | Conference Paper | IST-REx-ID: 4496
Henzinger, T. A., Kupferman, O., & Rajamani, S. (1997). Fair simulation. In Proceedings of the 8th International Conference on Concurrency Theory (Vol. 1243, pp. 273–287). Warsaw, Poland: Springer. https://doi.org/10.1007/3-540-63141-0_19
View
| DOI
1997 | Conference Paper | IST-REx-ID: 4494
Henzinger, T. A., Ho, P., & Wong Toi, H. (1997). HyTech: A model checker for hybrid systems (Vol. 1254, pp. 460–463). Presented at the CAV: Computer Aided Verification, Haifa, Israel: Springer. https://doi.org/10.1007/3-540-63166-6_48
View
| DOI
1997 | Conference Paper | IST-REx-ID: 4583
Alur, R., & Henzinger, T. A. (1997). Modularity for timed and hybrid systems. In 8th International Conference on Concurrency Theory (Vol. 1243, pp. 74–88). Warsaw, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-63141-0_6
View
| DOI
1997 | Conference Paper | IST-REx-ID: 4608
Alur, R., Brayton, R., Henzinger, T. A., Qadeer, S., & Rajamani, S. (1997). Partial-order reduction in symbolic state-space exploration. In 9th International Conference on Computer Aided Verification (Vol. 1254, pp. 340–351). Haifa, Israel: Springer. https://doi.org/10.1007/3-540-63166-6_34
View
| DOI
1997 | Journal Article | IST-REx-ID: 8528
Kaloshin, V. (1997). Prevalence in the space of finitely smooth maps. Functional Analysis and Its Applications. Springer Nature. https://doi.org/10.1007/bf02466014
View
| DOI
1996 | Conference Paper | IST-REx-ID: 11804
Henzinger, M. H., & Telle, J. A. (1996). Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning. In 5th Scandinavian Workshop on Algorithm Theory (Vol. 1097, pp. 16–27). Reykjavik, Iceland: Springer Nature. https://doi.org/10.1007/3-540-61422-2_117
View
| DOI
1996 | Conference Paper | IST-REx-ID: 11910
Henzinger, M. H., & Thorup, M. (1996). Improved sampling with applications to dynamic graph algorithms. In 23rd International Colloquium on Automata, Languages, and Programming (Vol. 1099, pp. 290–299). Paderborn, Germany: Springer Nature. https://doi.org/10.1007/3-540-61440-0_136
View
| DOI
1996 | Conference Paper | IST-REx-ID: 11927 |
Henzinger, M. H., King, V., & Warnow, T. (1996). Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology. In 7th Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 333–340). Atlanta, GA, United States: Society for Industrial and Applied Mathematics.
[Published Version]
View
| Files available
| Download Published Version (ext.)
1996 | Journal Article | IST-REx-ID: 2562
Neki, A., Ohishi, H., Kaneko, T., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1996). Pre- and postsynaptic localization of a metabotropic glutamate receptor, mGluR2, in the rat brain: An immunohistochemical study with a monoclonal antibody. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(95)12248-6
View
| DOI
| PubMed | Europe PMC