Please note that IST 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.

6032 Publications


1994 | Book Chapter | IST-REx-ID: 4590
Alur R, Henzinger TA. Real-time system = discrete system + clock variables. In: Rus T, Rattray C, eds. Theories and Experiences for Real-Time System Development. Vol 2. World Scientific Publishing; 1994:1-29.
View | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 4591
Alur R, Henzinger TA. A really temporal logic. Journal of the ACM. 1994;41(1):181-204. doi:10.1145/174644.174651
View | DOI | Download (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4614
Alur R, Courcoubetis C, Henzinger TA. The observational power of clocks. In: Vol 836. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1994:162-177. doi:10.1007/BFb0015008
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4615
Alur R, Fix L, Henzinger TA. A determinizable class of timed automata. In: Vol 818. Springer; 1994:1-13. doi:10.1007/3-540-58179-0_39
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4617
Alur R, Courcoubetis C, Henzinger TA, et al. The algorithmic analysis of hybrid systems. In: Vol 199. Springer; 1994:331-351. doi:10.1007/BFb0033565
View | DOI
 

1994 | Journal Article | IST-REx-ID: 6167
Zarkower D, de Bono M, Aronoff R, Hodgkin J. Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1. Developmental Genetics. 1994;15(3):240-250. doi:10.1002/dvg.1020150306
View | DOI | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 2713
Erdös L. Estimates on stochastic oscillatory integrals and on the heat kernel of the magnetic Schrödinger operator. Duke Mathematical Journal. 1994;76(2):541-566. doi:10.1215/S0012-7094-94-07619-9
View | DOI
 

1994 | Journal Article | IST-REx-ID: 1949
Sazanov LA, Jackson J. Proton translocating transhydrogenase and NAD- and NADP-linked isocitrate dehydrogenases operate in a substrate cycle which contributes to fine regulation of the tricarboxylic acid cycle activity in mitochondria. FEBS Letters. 1994;344(2-3):109-116. doi:10.1016/0014-5793(94)00370-X
View | DOI
 

1994 | Journal Article | IST-REx-ID: 1953
Efanov A, Koshkin A, Sazanov LA, Borodulina OI, Varfolomeev S, Zaǐtsev S. Inhibition of the respiratory burst in mouse macrophages by ultra-low doses of an opioid peptide is consistent with a possible adaptation mechanism. FEBS Letters. 1994;355(2):114-116. doi:10.1016/0014-5793(94)01109-5
View | DOI
 

1994 | Book Chapter | IST-REx-ID: 3453
Von Kitzing E, Jonas PM, Sakmann B. Quantal analysis of excitatory postsynaptic currents at the hippocampal mossy fiber-CA3 pyramidal cell synapse. In: Stjärne L, Greengard P, Grillner S, Hökfelt T, Ottoson D, eds. Molecular and Cellular Mechanisms of Neurotransmitter Release. Vol 29. Raven Press; 1994:235-260. doi:10.1016/0166-2236(95)90088-8
View | DOI
 

1994 | Journal Article | IST-REx-ID: 3460
Jonas PM, Spruston N. Mechanisms shaping glutamate-mediated excitatory postsynaptic currents in the CNS. Current Opinion in Neurobiology. 1994;4(3):366-372. doi:10.1016/0959-4388(94)90098-1
View | DOI
 

1994 | Journal Article | IST-REx-ID: 3475 | OA
Koh D, Jonas PM, Vogel W. Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus. Journal of Physiology. 1994;479:183-197. doi:10.1113/jphysiol.1994.sp020287
View | DOI | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 3476
Major G, Larkman A, Jonas PM, Sakmann B, Jack J. Detailed passive cable models of whole-cell recorded CA3 pyramidal neurons in rat hippocampal slices. Journal of Neuroscience. 1994;14(8):4613-4638.
View | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 3477
Jonas PM, Racca C, Sakmann B, Seeburg P, Monyer H. Differences in Ca(2+) permeability of AMPA-type glutamate receptor channels in neocortical neurons caused by differential GluR-B subunit expression. Neuron. 1994;12(6):1281-1289. doi:10.1016/0896-6273(94)90444-8
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 3550
Edelsbrunner H. Modeling with simplicial complexes (topology, geometry and algorithms). In: Unknown; 1994:36-44.
View | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 3641
Barton NH. The reduction in fixation probability caused by substitutions at linked loci. Genetical Research. 1994;64(3):199-208. doi:10.1017/S0016672300032857
View | DOI
 

1994 | Journal Article | IST-REx-ID: 3642
Turelli M, Barton NH. Genetic and statistical analyses of strong selection on polygenic traits: What, me normal? Genetics. 1994;138(3):913-941.
View | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 4179
Leingärtner A, Heisenberg C-PJ, Kolbeck R, Thoenen H, Lindholm D. Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons. Journal of Biological Chemistry. 1994;269(2):828-830.
View
 

1994 | Journal Article | IST-REx-ID: 4202
Heisenberg C-PJ, Cooper J, Berke J, Sofroniew M. NMDA potentiates NGF-induced sprouting of septal cholinergic fibres. Neuroreport. 1994;5(4):413-416.
View
 

1993 | Journal Article | IST-REx-ID: 2487
Ohishi H, Shigemoto R, Nakanishi S, Mizuno N. Distribution of the mRNA for a metabotropic glutamate receptor (mGluR3) in the rat brain: An in situ hybridization study. Journal of Comparative Neurology. 1993;335(2):252-266. doi:10.1002/cne.903350209
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2536
Nakajima Y, Iwakabe H, Akazawa C, et al. 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. 1993;268(16):11868-11873.
View
 

1993 | Journal Article | IST-REx-ID: 2537
Tanabe Y, Nomura A, Masu M, Shigemoto R, Mizuno N, Nakanishi S. Signal transduction, pharmacological properties, and expression patterns of two rat metabotropic glutamate receptors, mGluR3 and mGluR4. Journal of Neuroscience. 1993;13(4):1372-1378.
View
 

1993 | Journal Article | IST-REx-ID: 2538
Iwai M, Hori S, Shigemoto R, Kanzaki H, Mori T, Nakanishi S. Localization of endothelin receptor messenger ribonucleic acid in the rat ovary and fallopian tube by in situ hybridization. Biology of Reproduction. 1993;49(4):675-680.
View
 

1993 | Journal Article | IST-REx-ID: 2539
Ishii T, Moriyoshi K, Sugihara H, et al. Molecular characterization of the family of the N-methyl-D-aspartate receptor subunits. Journal of Biological Chemistry. 1993;268(4):2836-2843.
View
 

1993 | Journal Article | IST-REx-ID: 2540
Ohishi H, Shigemoto R, Nakanishi S, Mizuno N. Distribution of the messenger RNA for a metabotropic glutamate receptor, mGluR2, in the central nervous system of the rat. Neuroscience. 1993;53(4):1009-1018. doi:10.1016/0306-4522(93)90485-X
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2541
Shigemoto R, Nakaya Y, Nomura S, et al. Immunocytochemical localization of rat substance P receptor in the striatum. Neuroscience Letters. 1993;153(2):157-160. doi:10.1016/0304-3940(93)90311-8
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2542
Shigemoto R, Nomura S, Ohishi H, Sugihara H, Nakanishi S, Mizuno N. Immunohistochemical localization of a metabotropic glutamate receptor, mGluR5, in the rat brain. Neuroscience Letters. 1993;163(1):53-57. doi:10.1016/0304-3940(93)90227-C
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2543
Hashimoto H, Ishihara T, Shigemoto R, Mori K, Nagata S. Molecular cloning and tissue distribution of a receptor for pituitary adenylate cyclase-activating polypeptide. Neuron. 1993;11(2):333-342. doi:10.1016/0896-6273(93)90188-W
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2544
Hayashi Y, Momiyama A, Takahashi T, et al. Role of a metabotropic glutamate receptor in synaptic modulation in the accessory olfactory bulb. Nature. 1993;366(6456):687-690. doi:10.1038/366687a0
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2546
Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. Substance P receptor-immunoreactive neurons in the rat neostriatum are segregated into somatostatinergic and cholinergic aspiny neurons. Brain Research. 1993;631(2):297-303. doi:10.1016/0006-8993(93)91548-7
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4036
Chazelle B, Edelsbrunner H, Guibas L, Sharir M, Snoeyink J. Computing a face in an arrangement of line segments and related problems. SIAM Journal on Computing. 1993;22(6):1286-1302. doi:10.1137/0222077
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4040
Edelsbrunner H, Tan T. An upper bound for conforming Delaunay triangulations. Discrete & Computational Geometry. 1993;10(1):197-213. doi:10.1007/BF02573974
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4041
Edelsbrunner H, Seidel R, Sharir M. On the zone theorem for hyperplane arrangements. SIAM Journal on Computing. 1993;22(2):418-429. doi:10.1137/0222031
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4042
Edelsbrunner H, Tan T. A quadratic time algorithm for the minmax length triangulation. SIAM Journal on Computing. 1993;22(3):527-551. doi:10.1137/0222036
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4044
Bern M, Edelsbrunner H, Eppstein D, Mitchell S, Tan T. Edge insertion for optimal triangulations. Discrete & Computational Geometry. 1993;10(1):47-65. doi:10.1007/BF02573962
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4045
Chazelle B, Edelsbrunner H, Guibas L, Sharir M. Diameter, width, closest line pair, and parametric searching. Discrete & Computational Geometry. 1993;10(1):183-196. doi:10.1007/BF02573973
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4300
Partridge L, Barton NH. Optimality, mutation and the evolution of ageing. Nature. 1993;362:305-311. doi:10.1038/362305a0
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4301
Barton NH, Gale K. Genetic analysis of hybrid zones. In: Harrison R, ed. Hybrid Zones and the Evolutionary Process. Oxford University Press; 1993:13-45.
View
 

1993 | Book Review | IST-REx-ID: 4302
Barton NH. Review of "The causes of molecular evolution" by J.H. Gillespie. Genetical Research. 1993;62(1):77-85. doi:10.1017/S001667230003158X
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4303
Barton NH. The probability of fixation of a favoured allele in a subdivided population. Genetical Research. 1993;62(2):149-158. doi:10.1017/S0016672300031748
View | DOI
 

1993 | Book Review | IST-REx-ID: 4304
Barton NH. Why species and subspecies? Current Biology. 1993;3(11):797-799. doi:10.1016/0960-9822(93)90036-N
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4506
Henzinger TA, Manna Z, Pnueli A. Towards refining temporal specifications into hybrid systems. In: Grossman R, Nerode A, Ravn A, Rischel H, eds. Hybrid Systems. Vol 736. Springer; 1993:60-76. doi:10.1007/3-540-57318-6_24
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4589
Alur R, Henzinger TA. Real-time logics: Complexity and expressiveness. Information and Computation. 1993;104(1):35-77. doi:10.1006/inco.1993.1025
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4616
Alur R, Henzinger TA, Ho P. Automatic symbolic verification of embedded systems. In: IEEE; 1993:2-11. doi:10.1109/REAL.1993.393520
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4618
Alur R, Courcoubetis C, Henzinger TA, Ho P. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In: Grossman R, Nerode A, Ravn A, Rischel H, eds. Hybrid Systems. Vol 736. Springer; 1993:209-229. doi:10.1007/3-540-57318-6_30
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4619
Alur R, Henzinger TA, Vardi M. Parametric real-time reasoning. In: ACM; 1993:592-601. doi:10.1145/167088.167242
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4620
Alur R, Courcoubetis C, Henzinger TA. Computing accumulated delays in real-time systems. In: Vol 697. Springer; 1993:181-193. doi:10.1007/3-540-56922-7_16
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2723
Erdös L. Ground-state density of the Pauli operator in the large field limit. Letters in Mathematical Physics. 1993;29(3):219-240. doi:10.1007/BF00761110
View | DOI
 

1993 | Journal Article | IST-REx-ID: 1947
Sazanov LA, Jackson J. Activation and inhibition of mitochondrial transhydrogenase by metal ions. Biochimica et Biophysica Acta - Bioenergetics. 1993;1144(2):225-228. doi:10.1016/0005-2728(93)90177-H
View | DOI
 

1993 | Journal Article | IST-REx-ID: 1948
Sazanov LA, Jackson J. Possible functions of the NADP-linked isocitrate dehydrogenase and H+ -transhydrogenase in heart mitochondria . Biochemical Society Transactions. 1993;21(3).
View
 

1993 | Journal Article | IST-REx-ID: 1950
Jackson J, Cotton NPJ, Williams R, et al. Proton-translocating transhydrogenase in bacteria. Biochemical Society Transactions. 1993;21(4):1010-1013.
View
 

1993 | Journal Article | IST-REx-ID: 3446
Sziranyi T, Csicsvari JL. High-speed character recognition using a dual cellular neural network architecture (CNND). IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing. 1993;40(3):223-231. doi:10.1109/82.222823
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 3451
Jonas PM. 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. New York Academy of Sciences; 1993:126-135.
View | Download (ext.)
 

1993 | Book Chapter | IST-REx-ID: 3452
Jonas PM. AMPA-type glutamate receptors - nonselective cation channels mediating fast excitatory transmission in the CNS. In: Siemen D, ed. Nonselective Cation Channels: Pharmacology, Physiology and Biophysics. Vol 66. Birkhäuser; 1993:61-76.
View
 

1993 | Journal Article | IST-REx-ID: 3473
Ruppersberg P, Ermler M, Knopf M, Kues W, Jonas PM, Koenen M. Properties of Shaker-homologous potassium channels expressed in the mammalian brain. Cellular Physiology and Biochemistry. 1993;3:250-269. doi:10.1159/000154691
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3474 | OA
Jonas PM, Major G, Sakmann B. Quantal components of unitary EPSCs at the mossy fibre synapse on CA3 pyramidal cells of rat hippocampus. Journal of Physiology. 1993;472:615-663. doi:10.1113/jphysiol.1993.sp019965
View | DOI | Download (ext.)
 

1993 | Book Chapter | IST-REx-ID: 3568
Edelsbrunner H. Geometric algorithms. In: Handbook of Convex Geometry. North Holland; 1993:699-735.
View | Download (ext.)
 

1993 | Book Chapter | IST-REx-ID: 3569
Edelsbrunner H. Computational geometry. In: Current Trends in Theoretical Computer Science, Essays and Tutorials. World Scientific Publishing; 1993:1-48. doi:10.1007/978-3-662-04245-8_1
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3643
Rouhani S, Barton NH. Group selection and the “shifting balance.” Genetical Research. 1993;61(2):127-136. doi:10.1017/S0016672300031232
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3644
Barton NH, Rouhani S. Adaptation and the “shifting balance.” Genetical Research. 1993;61(1):57-74. doi:10.1017/S0016672300031098
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4175
Lindholm D, Dechant G, Heisenberg C-PJ, Thoenen H. 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. 1993;5(11):1455-1464. doi:10.1111/j.1460-9568.1993.tb00213.x
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4177
Lindholm D, Castrén E, Tsoulfas P, et al. Neurotrophin-3 induced by tri-iodothyronine in cerebellar granule cells promotes Purkinje cell differentiation. Journal of Cell Biology. 1993;122(2):443-450. doi:10.1083/jcb.122.2.443
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2484
Tanabe Y, Masu M, Ishii T, Shigemoto R, Nakanishi S. A family of metabotropic glutamate receptors. Neuron. 1992;8(1):169-179. doi:10.1016/0896-6273(92)90118-W
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2485
Hori S, Komatsu Y, Shigemoto R, Mizuno N, Nakanishi S. Distinct tissue distribution and cellular localization of two messenger ribonucleic acids encoding different subtypes of rat endothelin receptors. Endocrinology. 1992;130(4):1885-1895. doi:10.1210/en.130.4.1885
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2486
Shigemoto R, Nakanishi S, Mizuno N. 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. 1992;322(1):121-135. doi:10.1002/cne.903220110
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2531
Shigemoto R, Ohishi H, Nakanishi S, Mizuno N. Expression of the mRNA for the rat NMDA receptor (NMDAR1) in the sensory and autonomic ganglion neurons. Neuroscience Letters. 1992;144(1-2):229-232. doi:10.1016/0304-3940(92)90756-W
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2532
Nishioka T, Oda Y, Seino Y, et al. Distribution of the glucose transporters in human brain tumors. Cancer Research. 1992;52(14):3972-3979.
View
 

1992 | Journal Article | IST-REx-ID: 2533
Abe T, Sugihara H, Nawa H, Shigemoto R, Mizuno N, Nakanishi S. Molecular characterization of a novel metabotropic glutamate receptor mGluR5 coupled to inositol phosphate/Ca2+ signal transduction. Journal of Biological Chemistry. 1992;267(19):13361-13368.
View
 

1992 | Journal Article | IST-REx-ID: 2534
Ishihara T, Shigemoto R, Mori K, Takahashi K, Nagata S. Functional expression and tissue distribution of a novel receptor for vasoactive intestinal polypeptide. Neuron. 1992;8(4):811-819. doi:10.1016/0896-6273(92)90101-I
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2535
Sasai Y, Kageyama R, Tagawa Y, Shigemoto R, Nakanishi S. Two mammalian helix-loop-helix factors structurally related to Drosophila hairy and Enhancer of split. Genes and Development. 1992;6(12 B):2620-2634. doi:10.1101/gad.6.12b.2620
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4043
Edelsbrunner H, Tan T, Waupotitsch R. An O(n^2 log n) time algorithm for the MinMax angle triangulation. SIAM Journal on Scientific Computing. 1992;13(4):994-1008. doi:10.1137/0913058
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4046
Chazelle B, Edelsbrunner H. An optimal algorithm for intersecting line segments in the plane. Journal of the ACM. 1992;39(1):1-54. doi:10.1145/147508.147511
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4047
Edelsbrunner H, Guibas L, Pach J, Pollack R, Seidel R, Sharir M. Arrangements of curves in the plane - topology, combinatorics, and algorithms. Theoretical Computer Science. 1992;92(2):319-336. doi:10.1016/0304-3975(92)90319-B
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4048
Aggarwal A, Edelsbrunner H, Raghavan P, Tiwari P. Optimal time bounds for some proximity problems in the plane. Information Processing Letters. 1992;42(1):55-60. doi:10.1016/0020-0190(92)90133-G
View | DOI
 

1992 | Conference Paper | IST-REx-ID: 4049
Bern M, Edelsbrunner H, Eppstein D, Mitchell S, Tan T. Edge insertion for optimal triangulations. In: Vol 583. Springer; 1992:46-60. doi:10.1007/BFb0023816
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4050
Edelsbrunner H. Guest editor’s foreword. Discrete & Computational Geometry. 1992;8(1):217-217. doi:10.1007/BF02293046
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4053
Aronov B, Edelsbrunner H, Guibas L, Sharir M. The number of edges of many faces in a line segment arrangement. Combinatorica. 1992;12(3):261-274. doi:10.1007/BF01285815
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4305
Hatfield T, Barton NH, Searle J. A model of a hybrid zone between two chromosomal races of the common shrew (Sorex araneus). Evolution; International Journal of Organic Evolution. 1992;46(4):1129-1145.
View | Download (ext.)
 

1992 | Book Review | IST-REx-ID: 4306
Barton NH, Goldman N. Genetics and geography. Nature. 1992;357:440-441. doi:10.1038/357440a0
View | DOI
 

1992 | Book Chapter | IST-REx-ID: 4307
Barton NH. The genetic consequences of dispersal. In: Stenseth N, Lidicker W, eds. Animal Dispersal: Small Mammals as a Model. Chapman Hall; 1992:37-60.
View
 

1992 | Journal Article | IST-REx-ID: 4308
Barton NH. On the spread of new gene combinations in the third phase of Wright’s shifting balance. Evolution; International Journal of Organic Evolution. 1992;46(2):551-557.
View | Download (ext.)
 

1992 | Conference Paper | IST-REx-ID: 4504
Henzinger TA, Manna Z, Pnueli A. What good are digital clocks? In: Vol 623. Springer; 1992:545-558. doi:10.1007/3-540-55719-9_103
View | DOI
 

1992 | Conference Paper | IST-REx-ID: 4505
Henzinger TA, Nicollin X, Sifakis J, Yovine S. Symbolic model checking for real-time systems. In: IEEE; 1992:394-406. doi:10.1109/LICS.1992.185551
View | DOI
 

1992 | Book Chapter | IST-REx-ID: 4507
Henzinger TA, Manna Z, Pnueli A. Timed transition systems. In: Real Time: Theory in Practice. Vol 600. Springer; 1992:226-251. doi:10.1007/BFb0031995
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4517
Henzinger TA. Sooner Is Safer Than Later. Information Processing Letters. 1992;43(3):135-141. doi:10.1016/0020-0190(92)90005-G
View | DOI | Download (ext.)
 

1992 | Book Chapter | IST-REx-ID: 4593
Alur R, Henzinger TA. Logics and models of real time: A survey. In: Real Time: Theory in Practice. Vol 600. Springer; 1992:74-106. doi:10.1007/BFb0031984
View | DOI
 

1992 | Conference Paper | IST-REx-ID: 4594
Alur R, Henzinger TA. Back to the future: Towards a theory of timed regular languages. In: IEEE; 1992:177-186. doi:10.1109/SFCS.1992.267774
View | DOI | Download (ext.)
 

1992 | Journal Article | IST-REx-ID: 2714
Erdös L. On some problems of P. Turán concerning power sums of complex numbers. Acta Mathematica Hungarica. 1992;59(1-2):11-24. doi:10.1007/BF00052086
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2722
Erdös L, Tuyen D. Central limit theorems for the one-dimensional Rayleigh gas with semipermeable barriers. Communications in Mathematical Physics. 1992;143(3):451-466. doi:10.1007/BF02099260
View | DOI
 

1992 | Journal Article | IST-REx-ID: 1945
Sazanov LA, Zaǐtsev S. Effect of superlow doses (10(-18)-10-(-14) M) of biologically active substances: general rules, features, and possible mechanisms. Biokhimiya. 1992;57(10):1443-1460.
View
 

1992 | Journal Article | IST-REx-ID: 3469
Burnashev N, Khodorova A, Jonas PM, et al. Calcium-permeable AMPA-kainate receptors in fusiform cerebellar glial cells. Science. 1992;256(5063):1566-1570. doi:10.1126/science.1317970
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3470
Jonas PM, Sakmann B. Glutamate receptor channels in isolated patches from CA1 and CA3 pyramidal cells of rat hippocampal slices. Journal of Physiology. 1992;455:143-171.
View | Download (ext.)
 

1992 | Journal Article | IST-REx-ID: 3471 | OA
Colquhoun D, Jonas PM, Sakmann B. Action of brief pulses of glutamate on AMPA/kainate receptors in patches from different neurones of rat hippocampal slices. Journal of Physiology. 1992;458:261-287. doi:10.1113/jphysiol.1992.sp019417
View | DOI | Download (ext.)
 

1992 | Journal Article | IST-REx-ID: 3472
Koh D, Jonas PM, Bräu M, Vogel W. A TEA-insensitive flickering potassium channel active around the resting potential in myelinated nerve. Journal of Membrane Biology. 1992;130:149-162. doi:10.1007/BF00231893
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3581
Chazelle B, Edelsbrunner H, Guibas L, et al. Counting and cutting cycles of lines and rods in space. Computational Geometry: Theory and Applications. 1992;1(6):305-323. doi:10.1016/0925-7721(92)90009-H
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3645
Sanderson N, Szymura J, Barton NH. Variation in mating call across the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata. Evolution. 1992;46(3):595-607.
View | Download (ext.)
 

1992 | Journal Article | IST-REx-ID: 4195
Heisenberg C-PJ, Thoenen H, Lindholm D. Triiodothyronine Regulates Survival and Differentiation of Rat Cerebellar Granule Neurons. Neuroreport. 1992;3(8):685-688.
View
 

1991 | Journal Article | IST-REx-ID: 2482
Masu M, Tanabe Y, Tsuchida K, Shigemoto R, Nakanishi S. Sequence and expression of a metabotropic glutamate receptor. Nature. 1991;349(6312):760-765. doi:10.1038/349760a0
View | DOI
 

1991 | Journal Article | IST-REx-ID: 2483
Moriyoshi K, Masu M, Ishii T, Shigemoto R, Mizuno N, Nakanishi S. Molecular cloning and characterization of the rat NMDA receptor. Nature. 1991;353(6348):31-37. doi:10.1038/354031a0
View | DOI
 

1991 | Journal Article | IST-REx-ID: 2529
Yasui Y, Itoh K, Kaneko T, Shigemoto R, Mizuno N. Topographical projections from the cerebral cortex to the nucleus of the solitary tract in the cat. Experimental Brain Research. 1991;85(1):75-84. doi:10.1007/BF00229988
View | DOI
 

Search

Filter Publications