Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
R. Alur, C. Courcoubetis, T.A. Henzinger, P. Ho, in:, R. Grossman, A. Nerode, A. Ravn, H. Rischel (Eds.), Hybrid Systems, Springer, 1993, pp. 209–229.
LibreCat: https://research-explorer.ista.ac.at/record/4618
DOI: 10.1007/3-540-57318-6_30

Automatic symbolic verification of embedded systems
R. Alur, T.A. Henzinger, P. Ho, in:, 1993 Proceedings Real-Time Systems Symposium, IEEE, 1993, pp. 2–11.
LibreCat: https://research-explorer.ista.ac.at/record/4616
DOI: 10.1109/REAL.1993.393520 

Computing accumulated delays in real-time systems
R. Alur, C. Courcoubetis, T.A. Henzinger, in:, 5th International Conference on Computer Aided Verification, Springer, 1993, pp. 181–193.
LibreCat: https://research-explorer.ista.ac.at/record/4620
DOI: 10.1007/3-540-56922-7_16

Parametric real-time reasoning
R. Alur, T.A. Henzinger, M. Vardi, in:, Proceedings of the 25th Annual ACM Symposium on Theory of Computing, ACM, 1993, pp. 592–601.
LibreCat: https://research-explorer.ista.ac.at/record/4619
DOI: 10.1145/167088.167242

Effect of superlow doses (10(-18)-10-(-14) M) of biologically active substances: general rules, features, and possible mechanisms
L.A. Sazanov, S. Za0tsev, Biochemistry (Moscow) 57 (1992) 1443–1460.
LibreCat: https://research-explorer.ista.ac.at/record/1945
PMID: 1457592 

Distribution of the mRNA for a metabotropic glutamate receptor (mGlu) in the central nervous system: An in situ hybridization study in adult and developing rat
R. Shigemoto, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 322 (1992) 121–135.
LibreCat: https://research-explorer.ista.ac.at/record/2486
DOI: 10.1002/cne.903220110
PMID: 1430307

Distinct tissue distribution and cellular localization of two messenger ribonucleic acids encoding different subtypes of rat endothelin receptors
S. Hori, Y. Komatsu, R. Shigemoto, N. Mizuno, S. Nakanishi, Endocrinology 130 (1992) 1885–1895.
LibreCat: https://research-explorer.ista.ac.at/record/2485
DOI: 10.1210/endo.130.4.1312429
PMID: 1312429

A family of metabotropic glutamate receptors
Y. Tanabe, M. Masu, T. Ishii, R. Shigemoto, S. Nakanishi, Neuron 8 (1992) 169–179.
LibreCat: https://research-explorer.ista.ac.at/record/2484
DOI: 10.1016/0896-6273(92)90118-W
PMID: 1309649 

Molecular characterization of a novel metabotropic glutamate receptor mGlu coupled to inositol phosphate/C+ signal transduction
T. Abe, H. Sugihara, H. Nawa, R. Shigemoto, N. Mizuno, S. Nakanishi, Journal of Biological Chemistry 267 (1992) 13361–13368.
LibreCat: https://research-explorer.ista.ac.at/record/2533
DOI: 10.1016/S0021-9258(18)42219-3
PMID: 1320017

Two mammalian helix-loop-helix factors structurally related to Drosophila hairy and Enhancer of split
Y. Sasai, R. Kageyama, Y. Tagawa, R. Shigemoto, S. Nakanishi, Genes and Development 6 (1992) 2620–2634.
LibreCat: https://research-explorer.ista.ac.at/record/2535
DOI: 10.1101/gad.6.12b.2620
PMID: 1340473

Distribution of the glucose transporters in human brain tumors
T. Nishioka, Y. Oda, Y. Seino, T. Yamamoto, N. Inagaki, H. Yano, H. Imura, R. Shigemoto, H. Kikuchi, Cancer Research 52 (1992) 3972–3979.
LibreCat: https://research-explorer.ista.ac.at/record/2532
PMID: 1617673

Functional expression and tissue distribution of a novel receptor for vasoactive intestinal polypeptide
T. Ishihara, R. Shigemoto, K. Mori, K. Takahashi, S. Nagata, Neuron 8 (1992) 811–819.
LibreCat: https://research-explorer.ista.ac.at/record/2534
DOI: 10.1016/0896-6273(92)90101-I
PMID: 1314625

Expression of the mRNA for the rat NMDA receptor (NMDA) in the sensory and autonomic ganglion neurons
R. Shigemoto, H. Ohishi, S. Nakanishi, N. Mizuno, Neuroscience Letters 144 (1992) 229–232.
LibreCat: https://research-explorer.ista.ac.at/record/2531
DOI: 10.1016/0304-3940(92)90756-W
PMID: 1436707

On some problems of P. Turán concerning power sums of complex numbers
L. Erdös, Acta Mathematica Hungarica 59 (1992) 11–24.
LibreCat: https://research-explorer.ista.ac.at/record/2714
DOI: 10.1007/BF00052086

Central limit theorems for the one-dimensional Rayleigh gas with semipermeable barriers
L. Erdös, D. Tuyen, Communications in Mathematical Physics 143 (1992) 451–466.
LibreCat: https://research-explorer.ista.ac.at/record/2722
DOI: 10.1007/BF02099260

Glutamate receptor channels in isolated patches from C and C pyramidal cells of rat hippocampal slices
P.M. Jonas, B. Sakmann, Journal of Physiology 455 (1992) 143–171.
LibreCat: https://research-explorer.ista.ac.at/record/3470
DOI: 10.1113/jphysiol.1992.sp019294 
PMID: 1282929 

Action of brief pulses of glutamate on AMPA/kainate receptors in patches from different neurones of rat hippocampal slices
D. Colquhoun, P.M. Jonas, B. Sakmann, Journal of Physiology 458 (1992) 261–287.
LibreCat: https://research-explorer.ista.ac.at/record/3471
DOI: 10.1113/jphysiol.1992.sp019417
PMID: 1338788

A TEA-insensitive flickering potassium channel active around the resting potential in myelinated nerve
D. Koh, P.M. Jonas, M. Bräu, W. Vogel, Journal of Membrane Biology 130 (1992) 149–162.
LibreCat: https://research-explorer.ista.ac.at/record/3472
DOI: 10.1007/BF00231893
PMID: 1291683 

The number of edges of many faces in a line segment arrangement
B. Aronov, H. Edelsbrunner, L. Guibas, M. Sharir, Combinatorica 12 (1992) 261–274.
LibreCat: https://research-explorer.ista.ac.at/record/4053
DOI: 10.1007/BF01285815

Guest editor's foreword
H. Edelsbrunner, Discrete &; Computational Geometry 8 (1992) 217–217.
LibreCat: https://research-explorer.ista.ac.at/record/4050
DOI: 10.1007/BF02293046