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.
9126 Publications
1993 | Journal Article | IST-REx-ID: 4300
Partridge, Linda, and Nicholas H. Barton. “Optimality, Mutation and the Evolution of Ageing.” Nature, vol. 362, Nature Publishing Group, 1993, pp. 305–11, doi:10.1038/362305a0.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Conference Paper | IST-REx-ID: 4506
Henzinger, Thomas A., et al. “Towards Refining Temporal Specifications into Hybrid Systems.” International Hybrid Systems Workshop, edited by Robert Grossman et al., vol. 736, Springer, 1993, pp. 60–76, doi:10.1007/3-540-57318-6_24.
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 4589 | 
Alur, Rajeev, and Thomas A. Henzinger. “Real-Time Logics: Complexity and Expressiveness.” Information and Computation, vol. 104, no. 1, Elsevier, 1993, pp. 35–77, doi:10.1006/inco.1993.1025.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1993 | Conference Paper | IST-REx-ID: 4618
Alur, Rajeev, et al. “Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems.” Hybrid Systems, edited by Robert Grossman et al., vol. 736, Springer, 1993, pp. 209–29, doi:10.1007/3-540-57318-6_30.
View
| DOI
| Download None (ext.)
1993 | Conference Paper | IST-REx-ID: 4616
Alur, Rajeev, et al. “Automatic Symbolic Verification of Embedded Systems.” 1993 Proceedings Real-Time Systems Symposium, IEEE, 1993, pp. 2–11, doi:10.1109/REAL.1993.393520 .
View
| DOI
| Download None (ext.)
1993 | Conference Paper | IST-REx-ID: 4620
Alur, Rajeev, et al. “Computing Accumulated Delays in Real-Time Systems.” 5th International Conference on Computer Aided Verification, vol. 697, Springer, 1993, pp. 181–93, doi:10.1007/3-540-56922-7_16.
View
| DOI
| Download None (ext.)
1993 | Conference Paper | IST-REx-ID: 4619
Alur, Rajeev, et al. “Parametric Real-Time Reasoning.” Proceedings of the 25th Annual ACM Symposium on Theory of Computing, ACM, 1993, pp. 592–601, doi:10.1145/167088.167242.
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 1945
Sazanov, Leonid A., and Sergei Zaǐtsev. “Effect of Superlow Doses (10(-18)-10-(-14) M) of Biologically Active Substances: General Rules, Features, and Possible Mechanisms.” Biochemistry (Moscow), vol. 57, no. 10, Izdatel’stvo Nauka, 1992, pp. 1443–60.
View
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2486
Shigemoto, Ryuichi, et al. “Distribution of the MRNA for a Metabotropic Glutamate Receptor (MGluR1) in the Central Nervous System: An in Situ Hybridization Study in Adult and Developing Rat.” Journal of Comparative Neurology, vol. 322, no. 1, Wiley-Blackwell, 1992, pp. 121–35, doi:10.1002/cne.903220110.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2485
Hori, Seiji, et al. “Distinct Tissue Distribution and Cellular Localization of Two Messenger Ribonucleic Acids Encoding Different Subtypes of Rat Endothelin Receptors.” Endocrinology, vol. 130, no. 4, The Endocrine Society, 1992, pp. 1885–95, doi:10.1210/endo.130.4.1312429.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2484
Tanabe, Yasuto, et al. “A Family of Metabotropic Glutamate Receptors.” Neuron, vol. 8, no. 1, Elsevier, 1992, pp. 169–79, doi:10.1016/0896-6273(92)90118-W.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2533 |
Abe, Takaaki, et al. “Molecular Characterization of a Novel Metabotropic Glutamate Receptor MGluR5 Coupled to Inositol Phosphate/Ca2+ Signal Transduction.” Journal of Biological Chemistry, vol. 267, no. 19, American Society for Biochemistry and Molecular Biology, 1992, pp. 13361–68, doi:10.1016/S0021-9258(18)42219-3.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2535 |
Sasai, Yoshiki, et al. “Two Mammalian Helix-Loop-Helix Factors Structurally Related to Drosophila Hairy and Enhancer of Split.” Genes and Development, vol. 6, no. 12 B, Cold Spring Harbor Laboratory Press, 1992, pp. 2620–34, doi:10.1101/gad.6.12b.2620.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2532
Nishioka, Tatsuya, et al. “Distribution of the Glucose Transporters in Human Brain Tumors.” Cancer Research, vol. 52, no. 14, American Association for Cancer Research, 1992, pp. 3972–79.
View
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2534
Ishihara, Takeshi, et al. “Functional Expression and Tissue Distribution of a Novel Receptor for Vasoactive Intestinal Polypeptide.” Neuron, vol. 8, no. 4, Elsevier, 1992, pp. 811–19, doi:10.1016/0896-6273(92)90101-I.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2531
Shigemoto, Ryuichi, et al. “Expression of the MRNA for the Rat NMDA Receptor (NMDAR1) in the Sensory and Autonomic Ganglion Neurons.” Neuroscience Letters, vol. 144, no. 1–2, Elsevier, 1992, pp. 229–32, doi:10.1016/0304-3940(92)90756-W.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2714
Erdös, László. “On Some Problems of P. Turán Concerning Power Sums of Complex Numbers.” Acta Mathematica Hungarica, vol. 59, no. 1–2, Springer, 1992, pp. 11–24, doi:10.1007/BF00052086.
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 2722 |
Erdös, László, and Dao Tuyen. “Central Limit Theorems for the One-Dimensional Rayleigh Gas with Semipermeable Barriers.” Communications in Mathematical Physics, vol. 143, no. 3, Springer, 1992, pp. 451–66, doi:10.1007/BF02099260.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1992 | Journal Article | IST-REx-ID: 3470 |
Jonas, Peter M., and Bert Sakmann. “Glutamate Receptor Channels in Isolated Patches from CA1 and CA3 Pyramidal Cells of Rat Hippocampal Slices.” Journal of Physiology, vol. 455, Wiley-Blackwell, 1992, pp. 143–71, doi:10.1113/jphysiol.1992.sp019294 .
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 3471 |
Colquhoun, D., et al. “Action of Brief Pulses of Glutamate on AMPA/Kainate Receptors in Patches from Different Neurones of Rat Hippocampal Slices.” Journal of Physiology, vol. 458, Wiley-Blackwell, 1992, pp. 261–87, doi:10.1113/jphysiol.1992.sp019417.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC