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.

5761 Publications


1993 | Book Chapter | IST-REx-ID: 4506
Henzinger TA, Manna Z, Pnueli A. 1993. Towards refining temporal specifications into hybrid systems. Hybrid Systems. , LNCS, vol. 736. 60–76.
View | DOI
 

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

1993 | Conference Paper | IST-REx-ID: 4616
Alur R, Henzinger TA, Ho P. 1993. Automatic symbolic verification of embedded systems. RTSS: Real-Time Systems Symposium 2–11.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4618
Alur R, Courcoubetis C, Henzinger TA, Ho P. 1993. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. Hybrid Systems. , LNCS, vol. 736. 209–229.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4619
Alur R, Henzinger TA, Vardi M. 1993. Parametric real-time reasoning. STOC: Symposium on the Theory of Computing 592–601.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4620
Alur R, Courcoubetis C, Henzinger TA. 1993. Computing accumulated delays in real-time systems. CAV: Computer Aided Verification, LNCS, vol. 697. 181–193.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3446
Sziranyi T, Csicsvari JL. 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. 40(3), 223–231.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 3451
Jonas PM. 1993. Glutamate receptors in the central nervous system. Molecular Basis of Ion Channels and Receptors Involved in Nerve Excitation, Synaptic Transmission, and Muscle Contraction. , Annals of the New York Academy of Sciences , vol. 707. 126–135.
View | Download (ext.)
 

1993 | Book Chapter | IST-REx-ID: 3452
Jonas PM. 1993. AMPA-type glutamate receptors - nonselective cation channels mediating fast excitatory transmission in the CNS. Nonselective cation channels: Pharmacology, Physiology and Biophysics. , EXS, vol. 66. 61–76.
View
 

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

1993 | Journal Article | IST-REx-ID: 3474 | OA
Jonas PM, 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. 472, 615–663.
View | DOI | Download (ext.)
 

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

1993 | Book Chapter | IST-REx-ID: 3569
Edelsbrunner H. 1993. Computational geometry. Current Trends in Theoretical Computer Science, Essays and Tutorials. 1–48.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3643
Rouhani S, Barton NH. 1993. Group selection and the ‘shifting balance’. Genetical Research. 61(2), 127–136.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3644
Barton NH, Rouhani S. 1993. Adaptation and the ‘shifting balance’. Genetical Research. 61(1), 57–74.
View | DOI
 

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. 22(6), 1286–1302.
View | DOI
 

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

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. 22(2), 418–429.
View | DOI
 

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. 22(3), 527–551.
View | DOI
 

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. 10(1), 47–65.
View | DOI
 

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. 10(1), 183–196.
View | DOI
 

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

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. 8(1), 169–179.
View | DOI
 

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. 130(4), 1885–1895.
View | DOI
 

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. 322(1), 121–135.
View | DOI
 

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. 144(1–2), 229–232.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2532
Nishioka T, Oda Y, Seino Y, Yamamoto T, Inagaki N, Yano H, Imura H, Shigemoto R, Kikuchi H. 1992. Distribution of the glucose transporters in human brain tumors. Cancer Research. 52(14), 3972–3979.
View
 

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. 267(19), 13361–13368.
View
 

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. 8(4), 811–819.
View | DOI
 

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. 6(12 B), 2620–2634.
View | DOI
 

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. 59(1–2), 11–24.
View | DOI
 

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. 143(3), 451–466.
View | DOI
 

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

1992 | Journal Article | IST-REx-ID: 4305
Hatfield T, Barton NH, 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. 46(4), 1129–1145.
View | Download (ext.)
 

1992 | Book Review | IST-REx-ID: 4306
Barton NH, Goldman N. 1992. Genetics and geography. Nature. 357, 440–441.
View | DOI
 

1992 | Book Chapter | IST-REx-ID: 4307
Barton NH. 1992. The genetic consequences of dispersal. Animal dispersal: small mammals as a model. 37–60.
View
 

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

1992 | Conference Paper | IST-REx-ID: 4504
Henzinger TA, Manna Z, Pnueli A. 1992. What good are digital clocks? ICALP: Automata, Languages and Programming, LNCS, vol. 623. 545–558.
View | DOI
 

1992 | Conference Paper | IST-REx-ID: 4505
Henzinger TA, Nicollin X, Sifakis J, Yovine S. 1992. Symbolic model checking for real-time systems. LICS: Logic in Computer Science 394–406.
View | DOI
 

1992 | Book Chapter | IST-REx-ID: 4507
Henzinger TA, Manna Z, Pnueli A. 1992. Timed transition systems. Real Time: Theory in Practice. , LNCS, vol. 600. 226–251.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4517
Henzinger TA. 1992. Sooner Is Safer Than Later. Information Processing Letters. 43(3), 135–141.
View | DOI | Download (ext.)
 

1992 | Book Chapter | IST-REx-ID: 4593
Alur R, Henzinger TA. 1992. Logics and models of real time: A survey. Real Time: Theory in Practice. , LNCS, vol. 600. 74–106.
View | DOI
 

1992 | Conference Paper | IST-REx-ID: 4594
Alur R, Henzinger TA. 1992. Back to the future: Towards a theory of timed regular languages. FOCS: Foundations of Computer Science 177–186.
View | DOI | Download (ext.)
 

1992 | Journal Article | IST-REx-ID: 3469
Burnashev N, Khodorova A, Jonas PM, Helm P, Wisden W, Monyer H, Seeburg P, Sakmann B. 1992. Calcium-permeable AMPA-kainate receptors in fusiform cerebellar glial cells. Science. 256(5063), 1566–1570.
View | DOI
 

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

1992 | Journal Article | IST-REx-ID: 3471 | OA
Colquhoun D, Jonas PM, 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. 458, 261–287.
View | DOI | Download (ext.)
 

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

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. 1(6), 305–323.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3645
Sanderson N, Szymura J, Barton NH. 1992. Variation in mating call across the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata. Evolution. 46(3), 595–607.
View | Download (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. 13(4), 994–1008.
View | DOI
 

Search

Filter Publications