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.
9087 Publications
1994 | Journal Article | IST-REx-ID: 3475 | 
Koh, D., Jonas, P. M., & Vogel, W. (1994). Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1994.sp020287
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 3477
Jonas, P. M., Racca, C., Sakmann, B., Seeburg, P., & Monyer, H. (1994). Differences in Ca(2+) permeability of AMPA-type glutamate receptor channels in neocortical neurons caused by differential GluR-B subunit expression. Neuron. Elsevier. https://doi.org/10.1016/0896-6273(94)90444-8
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Conference Paper | IST-REx-ID: 3550
Edelsbrunner, H. (1994). Modeling with simplicial complexes (topology, geometry and algorithms). In Proceedings of the 6th Canadian Conference on Computational Geometry (pp. 36–44). Saskatoon, Canada.
View
1994 | Journal Article | IST-REx-ID: 4039
Chazelle, B., Edelsbrunner, H., Grigni, M., Guibas, L., Hershberger, J., Sharir, M., & Snoeyink, J. (1994). Ray shooting in polygons using geodesic triangulations. Algorithmica. Springer. https://doi.org/10.1007/BF01377183
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4038
Chazelle, B., Edelsbrunner, H., Guibas, L., & Sharir, M. (1994). Algorithms for bichromatic line-segment problems and polyhedral terrains. Algorithmica. Springer. https://doi.org/10.1007/BF01182771
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4037 |
Edelsbrunner, H., & Mücke, E. (1994). Three-dimensional alpha shapes. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/174462.156635
View
| DOI
| Download None (ext.)
1994 | Book Review | IST-REx-ID: 3453
Von Kitzing, E., Jonas, P. M., & Sakmann, B. (1994). Quantal analysis of excitatory postsynaptic currents at the hippocampal mossy fiber-CA3 pyramidal cell synapse. Molecular and Cellular Mechanisms of Neurotransmitter Release. Raven Press. https://doi.org/10.1016/0166-2236(95)90088-8
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 3642 |
Turelli, M., & Barton, N. H. (1994). Genetic and statistical analyses of strong selection on polygenic traits: What, me normal? Genetics. Genetics Society of America. https://doi.org/10.1093/genetics/138.3.913
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 3641
Barton, N. H. (1994). The reduction in fixation probability caused by substitutions at linked loci. Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672300032857
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4033
Chazelle, B., Edelsbrunner, H., Guibas, L., Hershberger, J., Seidel, R., & Sharir, M. (1994). Selecting heavily covered points. SIAM Journal on Computing. SIAM. https://doi.org/10.1137/S0097539790179919
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4032
Dey, T., & Edelsbrunner, H. (1994). Counting triangle crossings and halving planes. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02574381
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4179 |
Leingärtner, A., Heisenberg, C.-P. J., Kolbeck, R., Thoenen, H., & Lindholm, D. (1994). Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1016/s0021-9258(17)42186-7
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4202
Heisenberg, C.-P. J., Cooper, J., Berke, J., & Sofroniew, M. (1994). NMDA potentiates NGF-induced sprouting of septal cholinergic fibres. Neuroreport. Lippincott, Williams & Wilkins. https://doi.org/10.1097/00001756-199401120-00010
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4420
Kapur, A., Henzinger, T. A., Manna, Z., & Pnueli, A. (1994). Proving safety properties of hybrid systems. In 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (Vol. 863, pp. 431–454). Lübeck, Germany: Springer. https://doi.org/10.1007/3-540-58468-4_177
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4440
Henzinger, T. A., & Kopke, P. (1994). Verification methods for the divergent runs of clock systems. In 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (Vol. 863, pp. 351–372). Lübeck, Gernany: Springer. https://doi.org/10.1007/3-540-58468-4_173
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4501 |
Henzinger, T. A., Manna, Z., & Pnueli, A. (1994). Temporal proof methodologies for timed transition systems. Information and Computation. Elsevier. https://doi.org/10.1006/inco.1994.1060
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4503
Henzinger, T. A., Nicollin, X., Sifakis, J., & Yovine, S. (1994). Symbolic model checking for real-time systems. Information and Computation. Elsevier. https://doi.org/10.1006/inco.1994.1045
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4586
Alur, R., & Henzinger, T. A. (1994). Finitary fairness. In Proceedings 9th Annual IEEE Symposium on Logic in Computer Science (pp. 52–61). Paris, France: IEEE. https://doi.org/10.1109/LICS.1994.316087
View
| DOI
| Download None (ext.)
1994 | Book Chapter | IST-REx-ID: 4590
Alur, R., & Henzinger, T. A. (1994). Real-time system = discrete system + clock variables. In T. Rus & C. Rattray (Eds.), Theories and Experiences for Real-Time System Development (Vol. 2, pp. 1–29). World Scientific Publishing. https://doi.org/10.1142/9789812831583_0001
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4591
Alur, R., & Henzinger, T. A. (1994). A really temporal logic. Journal of the ACM. ACM. https://doi.org/10.1145/174644.174651
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4614
Alur, R., Courcoubetis, C., & Henzinger, T. A. (1994). The observational power of clocks. In 5th International Conference on Concurrency Theory (Vol. 836, pp. 162–177). Uppsala, Sweden: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/BFb0015008
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4615
Alur, R., Fix, L., & Henzinger, T. A. (1994). A determinizable class of timed automata. In International Conference on Computer Aided Verification (Vol. 818, pp. 1–13). Stanford, CA, United States of America: Springer. https://doi.org/10.1007/3-540-58179-0_39
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4617
Alur, R., Courcoubetis, C., Henzinger, T. A., Ho, P., Nicollin, X., Olivero, A., … Yovine, S. (1994). The algorithmic analysis of hybrid systems. In 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems (Vol. 199, pp. 331–351). Sophia-Antipolis, France: Springer. https://doi.org/10.1007/BFb0033565
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 6167
Zarkower, D., de Bono, M., Aronoff, R., & Hodgkin, J. (1994). Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1. Developmental Genetics. Wiley. https://doi.org/10.1002/dvg.1020150306
View
| DOI
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 1947
Sazanov, L. A., & Jackson, J. (1993). Activation and inhibition of mitochondrial transhydrogenase by metal ions. Biochimica et Biophysica Acta - Bioenergetics. Elsevier. https://doi.org/10.1016/0005-2728(93)90177-H
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 1948
Sazanov, L. A., & Jackson, J. (1993). Possible functions of the NADP-linked isocitrate dehydrogenase and H+ -transhydrogenase in heart mitochondria . Biochemical Society Transactions. Portland Press. https://doi.org/10.1042/bst021260s
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 1950
Jackson, J., Cotton, N. P. J., Williams, R., Bizouarn, T., Hutton, M., Sazanov, L. A., & Thomas, C. (1993). Proton-translocating transhydrogenase in bacteria. Biochemical Society Transactions. Portland Press. https://doi.org/10.1042/bst0211010
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 2487
Ohishi, H., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1993). Distribution of the mRNA for a metabotropic glutamate receptor (mGluR3) in the rat brain: An in situ hybridization study. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/cne.903350209
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 2536 |
Nakajima, Y., Iwakabe, H., Akazawa, C., Nawa, H., Shigemoto, R., Mizuno, N., & Nakanishi, S. (1993). Molecular characterization of a novel retinal metabotropic glutamate receptor mGluR6 with a high agonist selectivity for L-2-amino-4- phosphonobutyrate. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1016/S0021-9258(19)50280-0
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 2537 |
Tanabe, Y., Nomura, A., Masu, M., Shigemoto, R., Mizuno, N., & Nakanishi, S. (1993). Signal transduction, pharmacological properties, and expression patterns of two rat metabotropic glutamate receptors, mGluR3 and mGluR4. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.13-04-01372.1993
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 2539 |
Ishii, T., Moriyoshi, K., Sugihara, H., Sakurada, K., Kadotani, H., Yokoi, M., … Nakanishi, S. (1993). Molecular characterization of the family of the N-methyl-D-aspartate receptor subunits. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1016/s0021-9258(18)53849-7
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 2540
Ohishi, H., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1993). Distribution of the messenger RNA for a metabotropic glutamate receptor, mGluR2, in the central nervous system of the rat. Neuroscience. Elsevier. https://doi.org/10.1016/0306-4522(93)90485-X
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 2538 |
Iwai, M., Hori, S., Shigemoto, R., Kanzaki, H., Mori, T., & Nakanishi, S. (1993). Localization of endothelin receptor messenger ribonucleic acid in the rat ovary and fallopian tube by in situ hybridization. Biology of Reproduction. Society for the Study of Reproduction. https://doi.org/10.1095/biolreprod49.4.675
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 2544
Hayashi, Y., Momiyama, A., Takahashi, T., Ohishi, H., Ogawa Meguro, R., Shigemoto, R., … Nakanishi, S. (1993). Role of a metabotropic glutamate receptor in synaptic modulation in the accessory olfactory bulb. Nature. Nature Publishing Group. https://doi.org/10.1038/366687a0
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 2543
Hashimoto, H., Ishihara, T., Shigemoto, R., Mori, K., & Nagata, S. (1993). Molecular cloning and tissue distribution of a receptor for pituitary adenylate cyclase-activating polypeptide. Neuron. Elsevier. https://doi.org/10.1016/0896-6273(93)90188-W
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 2542
Shigemoto, R., Nomura, S., Ohishi, H., Sugihara, H., Nakanishi, S., & Mizuno, N. (1993). Immunohistochemical localization of a metabotropic glutamate receptor, mGluR5, in the rat brain. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(93)90227-C
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 2541
Shigemoto, R., Nakaya, Y., Nomura, S., Ogawa Meguro, R., Ohishi, H., Kaneko, T., … Mizuno, N. (1993). Immunocytochemical localization of rat substance P receptor in the striatum. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(93)90311-8
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 2546
Kaneko, T., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1993). Substance P receptor-immunoreactive neurons in the rat neostriatum are segregated into somatostatinergic and cholinergic aspiny neurons. Brain Research. Elsevier. https://doi.org/10.1016/0006-8993(93)91548-7
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 2723
Erdös, L. (1993). Ground-state density of the Pauli operator in the large field limit. Letters in Mathematical Physics. Springer. https://doi.org/10.1007/BF00761110
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 3474 |
Jonas, P. M., Major, G., & Sakmann, B. (1993). Quantal components of unitary EPSCs at the mossy fibre synapse on CA3 pyramidal cells of rat hippocampus. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1993.sp019965
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 3473
Ruppersberg, P., Ermler, M., Knopf, M., Kues, W., Jonas, P. M., & Koenen, M. (1993). Properties of Shaker-homologous potassium channels expressed in the mammalian brain. Cellular Physiology and Biochemistry. S. Karger AG. https://doi.org/10.1159/000154691
View
| DOI
| Download None (ext.)
1993 | Book Chapter | IST-REx-ID: 3569
Edelsbrunner, H. (1993). Computational geometry. In Current Trends in Theoretical Computer Science, Essays and Tutorials (pp. 1–48). World Scientific Publishing.
View
| Download None (ext.)
1993 | Book Chapter | IST-REx-ID: 3568
Edelsbrunner, H. (1993). Geometric algorithms. In Handbook of Convex Geometry (pp. 699–735). North Holland. https://doi.org/10.1016/C2009-0-15705-7
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 4041
Edelsbrunner, H., Seidel, R., & Sharir, M. (1993). On the zone theorem for hyperplane arrangements. SIAM Journal on Computing. SIAM. https://doi.org/10.1137/0222031
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 4036
Chazelle, B., Edelsbrunner, H., Guibas, L., Sharir, M., & Snoeyink, J. (1993). Computing a face in an arrangement of line segments and related problems. SIAM Journal on Computing. SIAM. https://doi.org/10.1137/0222077
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 4040
Edelsbrunner, H., & Tan, T. (1993). An upper bound for conforming Delaunay triangulations. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02573974
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 4303 |
Barton, N. H. (1993). The probability of fixation of a favoured allele in a subdivided population. Genetics Research. Cambridge University Press. https://doi.org/10.1017/S0016672300031748
View
| DOI
| Download None (ext.)
1993 | Book Review | IST-REx-ID: 4302
Barton, N. H. (1993). Review of "The causes of molecular evolution" by J.H. Gillespie. Genetical Research. Cambridge University Press. https://doi.org/10.1017/S001667230003158X
View
| DOI
| Download None (ext.)
1993 | Book Chapter | IST-REx-ID: 4301
Barton, N. H., & Gale, K. (1993). Genetic analysis of hybrid zones. In R. Harrison (Ed.), Hybrid zones and the evolutionary process (pp. 13–45). Oxford University Press. https://doi.org/10.1046/j.1420-9101.1994.7050631.x
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 4304
Barton, N. H. (1993). Why species and subspecies? Current Biology. Cell Press. https://doi.org/10.1016/0960-9822(93)90036-N
View
| DOI
| Download None (ext.)
1993 | Book Chapter | IST-REx-ID: 3452
Jonas, P. M. (1993). AMPA-type glutamate receptors - nonselective cation channels mediating fast excitatory transmission in the CNS. In D. Siemen (Ed.), Nonselective cation channels: Pharmacology, Physiology and Biophysics. (Vol. 66, pp. 61–76). Birkhäuser. https://doi.org/10.1007/978-3-0348-7327-7_4
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 3446
Sziranyi, T., & Csicsvari, J. L. (1993). High-speed character recognition using a dual cellular neural network architecture (CNND). IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing. IEEE. https://doi.org/10.1109/82.222823
View
| DOI
| Download None (ext.)
1993 | Book Chapter | IST-REx-ID: 3451
Jonas, P. M. (1993). Glutamate receptors in the central nervous system. In Molecular Basis of Ion Channels and Receptors Involved in Nerve Excitation, Synaptic Transmission, and Muscle Contraction (Vol. 707, pp. 126–135). New York Academy of Sciences. https://doi.org/10.1111/j.1749-6632.1993.tb38048.x
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 3643
Rouhani, S., & Barton, N. H. (1993). Group selection and the “shifting balance.” Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672300031232
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 3644
Barton, N. H., & Rouhani, S. (1993). Adaptation and the “shifting balance.” Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672300031098
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 4044
Bern, M., Edelsbrunner, H., Eppstein, D., Mitchell, S., & Tan, T. (1993). Edge insertion for optimal triangulations. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02573962
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 4045
Chazelle, B., Edelsbrunner, H., Guibas, L., & Sharir, M. (1993). Diameter, width, closest line pair, and parametric searching. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02573973
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 4042
Edelsbrunner, H., & Tan, T. (1993). A quadratic time algorithm for the minmax length triangulation. SIAM Journal on Computing. SIAM. https://doi.org/10.1137/0222036
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 4177 |
Lindholm, D., Castrén, E., Tsoulfas, P., Kolbeck, R., Berzaghi, M., Leingärtner, A., … Thoenen, H. (1993). Neurotrophin-3 induced by tri-iodothyronine in cerebellar granule cells promotes Purkinje cell differentiation. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.122.2.443
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 4175
Lindholm, D., Dechant, G., Heisenberg, C.-P. J., & Thoenen, H. (1993). Brain-derived neurotrophic factor is a survival factor for cultured rat cerebellar granule neurons and protects them against glutamate-induced neurotoxicity. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1111/j.1460-9568.1993.tb00213.x
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 4299
Partridge, L., & Barton, N. H. (1993). Evolution of aging: Testing the theory using Drosophila. Genetica. Springer. https://doi.org/10.1007/BF01435990
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 4300
Partridge, L., & Barton, N. H. (1993). Optimality, mutation and the evolution of ageing. Nature. Nature Publishing Group. https://doi.org/10.1038/362305a0
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Conference Paper | IST-REx-ID: 4506
Henzinger, T. A., Manna, Z., & Pnueli, A. (1993). Towards refining temporal specifications into hybrid systems. In R. Grossman, A. Nerode, A. Ravn, & H. Rischel (Eds.), International Hybrid Systems Workshop (Vol. 736, pp. 60–76). Springer. https://doi.org/10.1007/3-540-57318-6_24
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 4589 |
Alur, R., & Henzinger, T. A. (1993). Real-time logics: Complexity and expressiveness. Information and Computation. Elsevier. https://doi.org/10.1006/inco.1993.1025
[Published Version]
View
| DOI
| Download Published Version (ext.)
1993 | Conference Paper | IST-REx-ID: 4618
Alur, R., Courcoubetis, C., Henzinger, T. A., & Ho, P. (1993). Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In R. Grossman, A. Nerode, A. Ravn, & H. Rischel (Eds.), Hybrid Systems (Vol. 736, pp. 209–229). Springer. https://doi.org/10.1007/3-540-57318-6_30
View
| DOI
| Download None (ext.)
1993 | Conference Paper | IST-REx-ID: 4616
Alur, R., Henzinger, T. A., & Ho, P. (1993). Automatic symbolic verification of embedded systems. In 1993 Proceedings Real-Time Systems Symposium (pp. 2–11). Raleigh, NC, United States of America: IEEE. https://doi.org/10.1109/REAL.1993.393520
View
| DOI
| Download None (ext.)
1993 | Conference Paper | IST-REx-ID: 4620
Alur, R., Courcoubetis, C., & Henzinger, T. A. (1993). Computing accumulated delays in real-time systems. In 5th International Conference on Computer Aided Verification (Vol. 697, pp. 181–193). Elounda, Greece: Springer. https://doi.org/10.1007/3-540-56922-7_16
View
| DOI
| Download None (ext.)
1993 | Conference Paper | IST-REx-ID: 4619
Alur, R., Henzinger, T. A., & Vardi, M. (1993). Parametric real-time reasoning. In Proceedings of the 25th annual ACM symposium on Theory of Computing (pp. 592–601). San Diego, CA, United States of America: ACM. https://doi.org/10.1145/167088.167242
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 1945
Sazanov, L. A., & Zaǐtsev, S. (1992). Effect of superlow doses (10(-18)-10-(-14) M) of biologically active substances: general rules, features, and possible mechanisms. Biochemistry (Moscow). Izdatel’stvo Nauka.
View
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2486
Shigemoto, R., Nakanishi, S., & Mizuno, N. (1992). 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. Wiley-Blackwell. https://doi.org/10.1002/cne.903220110
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2485
Hori, S., Komatsu, Y., Shigemoto, R., Mizuno, N., & Nakanishi, S. (1992). Distinct tissue distribution and cellular localization of two messenger ribonucleic acids encoding different subtypes of rat endothelin receptors. Endocrinology. The Endocrine Society. https://doi.org/10.1210/endo.130.4.1312429
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2484
Tanabe, Y., Masu, M., Ishii, T., Shigemoto, R., & Nakanishi, S. (1992). A family of metabotropic glutamate receptors. Neuron. Elsevier. https://doi.org/10.1016/0896-6273(92)90118-W
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2533 |
Abe, T., Sugihara, H., Nawa, H., Shigemoto, R., Mizuno, N., & Nakanishi, S. (1992). Molecular characterization of a novel metabotropic glutamate receptor mGluR5 coupled to inositol phosphate/Ca2+ signal transduction. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/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, Y., Kageyama, R., Tagawa, Y., Shigemoto, R., & Nakanishi, S. (1992). Two mammalian helix-loop-helix factors structurally related to Drosophila hairy and Enhancer of split. Genes and Development. Cold Spring Harbor Laboratory Press. https://doi.org/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, T., Oda, Y., Seino, Y., Yamamoto, T., Inagaki, N., Yano, H., … Kikuchi, H. (1992). Distribution of the glucose transporters in human brain tumors. Cancer Research. American Association for Cancer Research.
View
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2534
Ishihara, T., Shigemoto, R., Mori, K., Takahashi, K., & Nagata, S. (1992). Functional expression and tissue distribution of a novel receptor for vasoactive intestinal polypeptide. Neuron. Elsevier. https://doi.org/10.1016/0896-6273(92)90101-I
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2531
Shigemoto, R., Ohishi, H., Nakanishi, S., & Mizuno, N. (1992). Expression of the mRNA for the rat NMDA receptor (NMDAR1) in the sensory and autonomic ganglion neurons. Neuroscience Letters. Elsevier. https://doi.org/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. (1992). On some problems of P. Turán concerning power sums of complex numbers. Acta Mathematica Hungarica. Springer. https://doi.org/10.1007/BF00052086
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 2722 |
Erdös, L., & Tuyen, D. (1992). Central limit theorems for the one-dimensional Rayleigh gas with semipermeable barriers. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/BF02099260
[Published Version]
View
| DOI
| Download Published Version (ext.)
1992 | Journal Article | IST-REx-ID: 3470 |
Jonas, P. M., & Sakmann, B. (1992). Glutamate receptor channels in isolated patches from CA1 and CA3 pyramidal cells of rat hippocampal slices. Journal of Physiology. Wiley-Blackwell. https://doi.org/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., Jonas, P. M., & Sakmann, B. (1992). Action of brief pulses of glutamate on AMPA/kainate receptors in patches from different neurones of rat hippocampal slices. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.1992.sp019417
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 3472
Koh, D., Jonas, P. M., Bräu, M., & Vogel, W. (1992). A TEA-insensitive flickering potassium channel active around the resting potential in myelinated nerve. Journal of Membrane Biology. Springer. https://doi.org/10.1007/BF00231893
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 4053
Aronov, B., Edelsbrunner, H., Guibas, L., & Sharir, M. (1992). The number of edges of many faces in a line segment arrangement. Combinatorica. Springer. https://doi.org/10.1007/BF01285815
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 4050
Edelsbrunner, H. (1992). Guest editor’s foreword. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/BF02293046
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 4195
Heisenberg, C.-P. J., Thoenen, H., & Lindholm, D. (1992). Triiodothyronine Regulates Survival and Differentiation of Rat Cerebellar Granule Neurons. Neuroreport. Lippincott, Williams & Wilkins. https://doi.org/10.1097/00001756-199208000-00008
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 4305
Hatfield, T., Barton, N. H., & Searle, J. (1992). A model of a hybrid zone between two chromosomal races of the common shrew (Sorex araneus). Evolution; International Journal of Organic Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.1992.tb00624.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 4308
Barton, N. H. (1992). On the spread of new gene combinations in the third phase of Wright’s shifting balance. Evolution; International Journal of Organic Evolution. Wiley-Blackwell.
View
| Download None (ext.)
1992 | Book Chapter | IST-REx-ID: 4307
Barton, N. H. (1992). The genetic consequences of dispersal. In N. Stenseth & W. Lidicker (Eds.), Animal dispersal: small mammals as a model (pp. 37–60). Chapman Hall. https://doi.org/10.1007/978-94-011-2338-9_3
View
| DOI
| Download None (ext.)
1992 | Book Review | IST-REx-ID: 4306
Barton, N. H., & Goldman, N. (1992). Genetics and geography. Nature. Nature Publishing Group. https://doi.org/10.1038/357440a0
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 3469
Burnashev, N., Khodorova, A., Jonas, P. M., Helm, P., Wisden, W., Monyer, H., … Sakmann, B. (1992). Calcium-permeable AMPA-kainate receptors in fusiform cerebellar glial cells. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1317970
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 3581 |
Chazelle, B., Edelsbrunner, H., Guibas, L., Pollack, R., Seidel, R., Sharir, M., & Snoeyink, J. (1992). Counting and cutting cycles of lines and rods in space. Computational Geometry: Theory and Applications. Elsevier. https://doi.org/10.1016/0925-7721(92)90009-H
[Published Version]
View
| DOI
| Download Published Version (ext.)
1992 | Journal Article | IST-REx-ID: 3645
Sanderson, N., Szymura, J., & Barton, N. H. (1992). Variation in mating call across the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.1992.tb02068.x
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Conference Paper | IST-REx-ID: 4049
Bern, M., Edelsbrunner, H., Eppstein, D., Mitchell, S., & Tan, T. (1992). Edge insertion for optimal triangulations. In I. Simon (Ed.), 1st Latin American Symposium on Theoretical Informatics (Vol. 583, pp. 46–60). São Paulo, Brazil: Springer. https://doi.org/10.1007/BFb0023816
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 4047 |
Edelsbrunner, H., Guibas, L., Pach, J., Pollack, R., Seidel, R., & Sharir, M. (1992). Arrangements of curves in the plane - topology, combinatorics, and algorithms. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/0304-3975(92)90319-B
[Published Version]
View
| DOI
| Download Published Version (ext.)
1992 | Journal Article | IST-REx-ID: 4046
Chazelle, B., & Edelsbrunner, H. (1992). An optimal algorithm for intersecting line segments in the plane. Journal of the ACM. ACM. https://doi.org/10.1145/147508.147511
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 4043
Edelsbrunner, H., Tan, T., & Waupotitsch, R. (1992). An O(n^2 log n) time algorithm for the MinMax angle triangulation. SIAM Journal on Scientific Computing. Society for Industrial and Applied Mathematics . https://doi.org/10.1137/0913058
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 4048
Aggarwal, A., Edelsbrunner, H., Raghavan, P., & Tiwari, P. (1992). Optimal time bounds for some proximity problems in the plane. Information Processing Letters. Elsevier. https://doi.org/10.1016/0020-0190(92)90133-G
View
| DOI
| Download None (ext.)
1992 | Conference Paper | IST-REx-ID: 4505
Henzinger, T. A., Nicollin, X., Sifakis, J., & Yovine, S. (1992). Symbolic model checking for real-time systems. In Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science (pp. 394–406). Santa Cruz, CA, United States of America: IEEE. https://doi.org/10.1109/LICS.1992.185551
View
| DOI
| Download None (ext.)
1992 | Conference Paper | IST-REx-ID: 4504
Henzinger, T. A., Manna, Z., & Pnueli, A. (1992). What good are digital clocks? In 19th International Colloquium on Automata, Languages and Programming (Vol. 623, pp. 545–558). Vienna, Austria: Springer. https://doi.org/10.1007/3-540-55719-9_103
View
| DOI
| Download None (ext.)
1992 | Book Chapter | IST-REx-ID: 4507
Henzinger, T. A., Manna, Z., & Pnueli, A. (1992). Timed transition systems. In Real Time: Theory in Practice (Vol. 600, pp. 226–251). Springer. https://doi.org/10.1007/BFb0031995
View
| DOI
| Download None (ext.)