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.
1612 Publications
1997 | Journal Article | IST-REx-ID: 2493
Acsády, László, et al. “Immunostaining for Substance P Receptor Labels GABAergic Cells with Distinct Termination Patterns in the Hippocampus.” Journal of Comparative Neurology, vol. 378, no. 3, Wiley-Blackwell, 1997, pp. 320–36, 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: 2578
Seybold, Virginia, et al. “Relationship of NK3 Receptor-Immunoreactivity to Subpopulations of Neurons in Rat Spinal Cord.” Journal of Comparative Neurology, vol. 381, no. 4, Wiley-Blackwell, 1997, pp. 439–48, 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: 2580
Luján, Rafael, et al. “Differential Plasma Membrane Distribution of Metabotropic Glutamate Receptors MGluR1α, MGluR2 and MGluR5, Relative to Neurotransmitter Release Sites.” Journal of Chemical Neuroanatomy, vol. 13, no. 4, Elsevier, 1997, pp. 219–41, doi:10.1016/S0891-0618(97)00051-3.
View
| DOI
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 2579
Mann, Patricia, et al. “Localisation of Neurokinin 3 (NK3) Receptor Immunoreactivity in the Rat Gastrointestinal Tract.” Cell and Tissue Research, vol. 289, no. 1, Springer, 1997, pp. 1–9, doi:10.1007/s004410050846.
View
| DOI
| PubMed | Europe PMC
1997 | Journal Article | IST-REx-ID: 4022
Edelsbrunner, Herbert, et al. “Cutting Dense Point Sets in Half.” Discrete & Computational Geometry, vol. 17, no. 3, Springer, 1997, pp. 243–55, doi:10.1007/PL00009291.
View
| DOI
1997 | Journal Article | IST-REx-ID: 3485 | 
Martina, Marco, and Peter M. Jonas. “Functional Differences in Na+ Channel Gating between Fast-Spiking Interneurones and Principal Neurones in Rat Hippocampus.” Journal of Physiology, vol. 505, no. 3, Wiley-Blackwell, 1997, pp. 593–603, doi: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, Joseph, and Peter M. Jonas. “Action Potential Propagation into the Presynaptic Dendrites of Rat Mitral Cells.” Journal of Physiology, vol. 504, no. Pt 2, Wiley-Blackwell, 1997, pp. 359–65, doi: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: 4174 |
Masai, Ichiro, et al. “Floating Head and Masterblind Regulate Neuronal Patterning in the Roof of the Forebrain.” Neuron, vol. 18, no. 1, Elsevier, 1997, pp. 43–57, doi: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, Sarah, and Nicholas H. Barton. “The Evolution of Recombination: Removing the Limits to Natural Selection.” Genetics, vol. 147, no. 2, Genetics Society of America, 1997, pp. 879–906, doi: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, Thomas A., and Peter Kopke. “Discrete-Time Control for Rectangular Hybrid Automata.” Proceedings of the 24th International Colloquium on Automata, Languages and Programming, vol. 1256, Springer, 1997, pp. 582–93, doi:10.1007/3-540-63165-8_213.
View
| DOI
1997 | Conference Paper | IST-REx-ID: 4496
Henzinger, Thomas A., et al. “Fair Simulation.” Proceedings of the 8th International Conference on Concurrency Theory, vol. 1243, Springer, 1997, pp. 273–87, doi:10.1007/3-540-63141-0_19.
View
| DOI
1997 | Conference Paper | IST-REx-ID: 4494
Henzinger, Thomas A., et al. HyTech: A Model Checker for Hybrid Systems. Vol. 1254, Springer, 1997, pp. 460–63, doi:10.1007/3-540-63166-6_48.
View
| DOI
1997 | Conference Paper | IST-REx-ID: 4583
Alur, Rajeev, and Thomas A. Henzinger. “Modularity for Timed and Hybrid Systems.” 8th International Conference on Concurrency Theory, vol. 1243, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997, pp. 74–88, doi:10.1007/3-540-63141-0_6.
View
| DOI
1997 | Conference Paper | IST-REx-ID: 4608
Alur, Rajeev, et al. “Partial-Order Reduction in Symbolic State-Space Exploration.” 9th International Conference on Computer Aided Verification, vol. 1254, Springer, 1997, pp. 340–51, doi:10.1007/3-540-63166-6_34.
View
| DOI
1996 | Conference Paper | IST-REx-ID: 11804
Henzinger, Monika H., and Jan Arne Telle. “Faster Algorithms for the Nonemptiness of Streett Automata and for Communication Protocol Pruning.” 5th Scandinavian Workshop on Algorithm Theory, vol. 1097, Springer Nature, 1996, pp. 16–27, doi:10.1007/3-540-61422-2_117.
View
| DOI
1996 | Conference Paper | IST-REx-ID: 11910
Henzinger, Monika H., and Mikkel Thorup. “Improved Sampling with Applications to Dynamic Graph Algorithms.” 23rd International Colloquium on Automata, Languages, and Programming, vol. 1099, Springer Nature, 1996, pp. 290–99, doi:10.1007/3-540-61440-0_136.
View
| DOI
1996 | Conference Paper | IST-REx-ID: 11927 |
Henzinger, Monika H., et al. “Constructing a Tree from Homeomorphic Subtrees, with Applications to Computational Evolutionary Biology.” 7th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 1996, pp. 333–40.
[Published Version]
View
| Files available
| Download Published Version (ext.)
1996 | Journal Article | IST-REx-ID: 4164
Odenthal, Jörg, et al. “Mutations Affecting Xanthophore Pigmentation in the Zebrafish, Danio Rerio.” Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 391–98, doi:10.1242/dev.123.1.391.
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4212
Haffter, Pascal, et al. “The Identification of Genes with Unique and Essential Functions in the Development of the Zebrafish, Danio Rerio.” Development, vol. 123, no. 1, Company of Biologists, 1996, pp. 1–36, doi:10.1242/dev.123.1.1 .
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4027
Chazelle, Bernard, et al. “Lines in Space: Combinatorics and Algorithms.” Algorithmica, vol. 15, no. 5, Springer, 1996, pp. 428–47, doi:10.1007/BF01955043.
View
| DOI