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.
50 Publications
1999 | Book Chapter | IST-REx-ID: 3456
Monyer, Hannah, et al. “Molecular Determinants Controlling Functional Properties of AMPARs and NMDARs in the Mammalian CNS.” Ionotropic Glutamate Receptors in the CNS, edited by Peter M Jonas and Hannah Monyer, vol. 141, Springer, 1999, pp. 309–39, doi:10.1007/978-3-662-08022-1_9.
View
| DOI
1999 | Book Chapter | IST-REx-ID: 3457
Geiger, Jörg, et al. “Glutamate-Mediated Synaptic Excitation of Cortical Interneurons.” Ionotropic Glutamate Receptors in the CNS, edited by Hannah Monyer and Peter M Jonas, vol. 141, Springer, 1999, pp. 363–98, doi:10.1007/978-3-662-08022-1_11.
View
| DOI
1999 | Journal Article | IST-REx-ID: 3524 | 
Csicsvari, Jozsef L., et al. “Oscillatory Coupling of Hippocampal Pyramidal Cells and Interneurons in the Behaving Rat.” Journal of Neuroscience, vol. 19, no. 1, Society for Neuroscience, 1999, pp. 274–87, doi:10.1523/JNEUROSCI.19-01-00274.1999.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 3518 |
Nádasdy, Zoltán, et al. “Replay and Time Compression of Recurring Spike Sequences in the Hippocampus.” Journal of Neuroscience, vol. 19, no. 21, Society for Neuroscience, 1999, pp. 9497–507, doi:10.1523/JNEUROSCI.19-21-09497.1999.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 3519
Czurkó, András, et al. “Sustained Activation of Hippocampal Pyramidal Cells by ‘space Clamping’’ in a Running Wheel.’” European Journal of Neuroscience, vol. 11, no. 1, Wiley-Blackwell, 1999, pp. 344–52, doi:10.1046/j.1460-9568.1999.00446.x.
View
| DOI
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 3539
Hirase, Hajima, et al. “Firing Rate and Theta-Phase Coding by Hippocampal Pyramidal Neurons during ‘Space Clamping.’” European Journal of Neuroscience, vol. 11, no. 12, Wiley-Blackwell, 1999, pp. 4373–80, doi:10.1046/j.1460-9568.1999.00853.x.
View
| DOI
| PubMed | Europe PMC
1999 | Conference Paper | IST-REx-ID: 3554
Jiao, Xiangmin, et al. “Mesh Association: Formulation and Algorithms.” Proceedings of the 8th International Meshing Roundtable, Elsevier, 1999, pp. 75–82.
View
| Download None (ext.)
1999 | Book Chapter | IST-REx-ID: 3571
Dey, Tamal, et al. “Computational Topology.” Advances in Discrete and Computational Geometry, vol. 223, American Mathematical Society, 1999, pp. 109–43.
View
1999 | Journal Article | IST-REx-ID: 4277
Kruuk, Loeske, et al. “Hybrid Dysfunction in Fire-Bellied Toads (Bombina).” Evolution; International Journal of Organic Evolution, vol. 53, no. 5, Wiley-Blackwell, 1999, pp. 1611–16, doi:10.2307/2640907.
View
| DOI
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 3515
Penttonen, Markku, et al. “Ultra-Slow Oscillation (0.025 Hz) Triggers Hippocampal Afterdischarges in Wistar Rats.” Neuroscience, vol. 94, no. 3, Elsevier, 1999, pp. 735–43, doi:10.1016/S0306-4522(99)00367-X.
View
| DOI
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 3626
Kruuk, Loeske, et al. “A Comparison of Multilocus Clines Maintained by Environmental Adaptation or by Selection against Hybrids.” Genetics, vol. 153, no. 4, Genetics Society of America, 1999, pp. 1959–71, doi:10.1093/genetics/153.4.1959.
View
| DOI
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 3625
Barton, Nicholas H. “Clines in Polygenic Traits.” Genetical Research, vol. 74, no. 3, Cambridge University Press, 1999, pp. 223–36, doi:10.1017/S001667239900422X.
View
| DOI
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 4014
Edelsbrunner, Herbert. “Deformable Smooth Surface Design.” Discrete & Computational Geometry, vol. 21, no. 1, Springer, 1999, pp. 87–115, doi:10.1007/PL00009412.
View
| DOI
1999 | Journal Article | IST-REx-ID: 4204
Heisenberg, Carl-Philipp J., et al. “Zebrafish Aussicht Mutant Embryos Exhibit Widespread Overexpression of Ace (Fgf8) and Coincident Defects in CNS Development.” Development, vol. 126, no. 10, Company of Biologists, 1999, pp. 2129–40, doi:10.1242/dev.126.10.2129.
View
| DOI
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 4279
Goodman, Simon, et al. “Introgression through Rare Hybridisation: A Genetic Study of a Hybrid Zone between Red and Sika Deer (Genus Cervus), in Argyll, Scotland.” Genetics, vol. 152, no. 1, Genetics Society of America, 1999, pp. 355–71, doi:10.1093/genetics/152.1.355.
View
| DOI
| PubMed | Europe PMC
1999 | Thesis | IST-REx-ID: 4411
Qadeer, Shaz. Algorithms and Methodology for Scalable Model Checking. University of California, Berkeley, 1999, pp. 1–150.
View
| Download None (ext.)
1999 | Journal Article | IST-REx-ID: 4442
Henzinger, Thomas A., and Peter Kopke. “Discrete-Time Control for Rectangular Hybrid Automata.” Theoretical Computer Science, vol. 221, no. 1–2, Elsevier, 1999, pp. 369–92, doi:10.1016/S0304-3975(99)00038-9.
View
| DOI
1999 | Conference Paper | IST-REx-ID: 4484
Henzinger, Thomas A., et al. “Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems.” Proceedings of the 11th International Conference on Computer Aided Verification, vol. 1633, Springer, 1999, pp. 301–15, doi:10.1007/3-540-48683-6_27.
View
| DOI
1999 | Conference Paper | IST-REx-ID: 4485
Henzinger, Thomas A., et al. “Rectangular Hybrid Games.” Proceedings of the 10th International Conference on Concurrency Theory, vol. 1664, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 320–35, doi:10.1007/3-540-48320-9_23.
View
| DOI
1999 | Conference Paper | IST-REx-ID: 4480
Henzinger, Thomas A., et al. Formal Specification and Verification of a Dataflow Processor Array. IEEE, 1999, pp. 494–99, doi:10.1109/ICCAD.1999.810700.
View
| DOI
1999 | Conference Paper | IST-REx-ID: 4487
Henzinger, Thomas A., et al. “Assume-Guarantee Refinement between Different Time Scales.” Proceedings of the 11th International Conference on Computer Aided Verification, vol. 1633, Springer, 1999, pp. 208–21, doi:10.1007/3-540-48683-6_20.
View
| DOI
1999 | Journal Article | IST-REx-ID: 4582
Alur, Rajeev, and Thomas A. Henzinger. “Reactive Modules.” Formal Methods in System Design, vol. 15, no. 1, Springer, 1999, pp. 7–48, doi:10.1023/A:1008739929481.
View
| DOI
1999 | Conference Paper | IST-REx-ID: 4601
Alur, Rajeev, et al. “Alternating-Time Temporal Logic.” Proceedings of the International Symposium on Compositionality, vol. 1536, Springer, 1999, pp. 23–60, doi:10.1007/3-540-49213-5_2.
View
| DOI
1999 | Conference Paper | IST-REx-ID: 4602
Alur, Rajeev, et al. “Automating Modular Verification.” Proceedings of the 10th International Conference on Concurrency Theory, vol. 1664, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999, pp. 82–97, doi:10.1007/3-540-48320-9_8.
View
| DOI
1999 | Journal Article | IST-REx-ID: 8526
Kaloshin, Vadim. “An Extension of the Artin-Mazur Theorem.” The Annals of Mathematics, vol. 150, no. 2, JSTOR, 1999, pp. 729–41, doi:10.2307/121093.
View
| DOI
1999 | Journal Article | IST-REx-ID: 3582 |
Dey, Tamal, et al. “Topology Preserving Edge Contraction.” Publications de l’Institut Mathématique, vol. 66, Mathematical Institute, Serbian Academy of Sciences and Arts, 1999, pp. 23–45.
View
| Download None (ext.)
1999 | Journal Article | IST-REx-ID: 2592 |
Masugi, Miwako, et al. “Metabotropic Glutamate Receptor Subtype 7 Ablation Causes Deficit in Fear Response and Conditioned Taste Aversion.” Journal of Neuroscience, vol. 19, no. 3, Society for Neuroscience, 1999, pp. 955–63, doi:10.1523/JNEUROSCI.19-03-00955.1999.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 2593 |
Yu, Xiao, et al. “NK-1 Receptor Immunoreactivity in Distinct Morphological Types of Lamina I Neurons of the Primate Spinal Cord.” Journal of Neuroscience, vol. 19, no. 9, Society for Neuroscience, 1999, pp. 3545–55, doi:10.1523/JNEUROSCI.19-09-03545.1999.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 2591
Kummer, Wolfgang, et al. “Smooth Muscle Cells Are the Site of Neurokinin-1 Receptor Localization in the Arterial Supply of the Rat Sciatic Nerve.” Neuroscience Letters, vol. 259, no. 2, Elsevier, 1999, pp. 119–22, doi:10.1016/S0304-3940(98)00926-4.
View
| DOI
| PubMed | Europe PMC
1999 | Journal Article | IST-REx-ID: 883
Kondrashov, Alexey, and Fyodor Kondrashov. “Interactions among Quantitative Traits in the Course of Sympatric Speciation.” Nature, vol. 400, no. 6742, Nature Publishing Group, 1999, pp. 351–54, doi:10.1038/22514.
View
| DOI
| PubMed | Europe PMC