Immunohistochemical localization of substance P receptor in the superior colliculus. A light and electron microscope study in the rat
R. Ogawa Meguro, R. Shigemoto, K. Itoh, A. Konishi, N. Mizuno, Neuroscience Letters 166 (1994) 135–138.
LibreCat: https://research-explorer.ista.ac.at/record/2552
DOI: 10.1016/0304-3940(94)90469-3
PMID: 8177489

Expression of mRNAs of l-A-sensitive metabotropic glutamate receptors (mGlu, mGlu, mGlu) in the rat retina
C. Akazawa, H. Ohishi, Y. Nakajima, N. Okamoto, R. Shigemoto, S. Nakanishi, N. Mizuno, Neuroscience Letters 171 (1994) 52–54.
LibreCat: https://research-explorer.ista.ac.at/record/2551
DOI: 10.1016/0304-3940(94)90602-5
PMID: 8084499

Induction mechanism of long term depression in cultured Purkinje neurons
T. Hirano, K. Kasono, R. Shigemoto, S. Nakanishi, in:, Biomedical Research Foundation, 1994, pp. 79–81.
LibreCat: https://research-explorer.ista.ac.at/record/2548

Antibodies inactivating mGlu metabotropic glutamate receptor block long-term depression in cultured Purkinje cells
R. Shigemoto, T. Abe, S. Nomura, S. Nakanishi, T. Hirano, Neuron 12 (1994) 1245–1255.
LibreCat: https://research-explorer.ista.ac.at/record/2555
DOI: 10.1016/0896-6273(94)90441-3
PMID: 7912091 

Developmentally regulated postsynaptic localization of a metabotropic glutamate receptor in rat rod bipolar cells
A. Nomura, R. Shigemoto, Y. Nakamura, N. Okamoto, N. Mizuno, S. Nakanishi, Cell 77 (1994) 361–369.
LibreCat: https://research-explorer.ista.ac.at/record/2554
DOI: 10.1016/0092-8674(94)90151-1
PMID: 8181056

Immunohistochemical localization of metabotropic glutamate receptors, mGlu and mGlu, in rat cerebellar cortex
H. Ohishi, R. Ogawa Meguro, R. Shigemoto, T. Kaneko, S. Nakanishi, N. Mizuno, Neuron 13 (1994) 55–66.
LibreCat: https://research-explorer.ista.ac.at/record/2557
DOI: 10.1016/0896-6273(94)90459-6
PMID: 8043281

Estimates on stochastic oscillatory integrals and on the heat kernel of the magnetic Schrödinger operator
L. Erdös, Duke Mathematical Journal 76 (1994) 541–566.
LibreCat: https://research-explorer.ista.ac.at/record/2713
DOI: 10.1215/S0012-7094-94-07619-9

Mechanisms shaping glutamate-mediated excitatory postsynaptic currents in the CNS
P.M. Jonas, N. Spruston, Current Opinion in Neurobiology 4 (1994) 366–372.
LibreCat: https://research-explorer.ista.ac.at/record/3460
DOI: 10.1016/0959-4388(94)90098-1
PMID: 7522678 

Detailed passive cable models of whole-cell recorded C pyramidal neurons in rat hippocampal slices
G. Major, A. Larkman, P.M. Jonas, B. Sakmann, J. Jack, Journal of Neuroscience 14 (1994) 4613–4638.
LibreCat: https://research-explorer.ista.ac.at/record/3476
DOI: 10.1523/JNEUROSCI.14-08-04613.1994
PMID: 8046439 

Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus
D. Koh, P.M. Jonas, W. Vogel, Journal of Physiology 479 (1994) 183–197.
LibreCat: https://research-explorer.ista.ac.at/record/3475
DOI: 10.1113/jphysiol.1994.sp020287
PMID: 7799220 

Differences in Ca(2+) permeability of AMPA-type glutamate receptor channels in neocortical neurons caused by differential GluR-B subunit expression
P.M. Jonas, C. Racca, B. Sakmann, P. Seeburg, H. Monyer, Neuron 12 (1994) 1281–1289.
LibreCat: https://research-explorer.ista.ac.at/record/3477
DOI: 10.1016/0896-6273(94)90444-8
PMID: 8011338 

Modeling with simplicial complexes (topology, geometry and algorithms)
H. Edelsbrunner, in:, Proceedings of the 6th Canadian Conference on Computational Geometry, 1994, pp. 36–44.
LibreCat: https://research-explorer.ista.ac.at/record/3550

Ray shooting in polygons using geodesic triangulations
B. Chazelle, H. Edelsbrunner, M. Grigni, L. Guibas, J. Hershberger, M. Sharir, J. Snoeyink, Algorithmica 12 (1994) 54–68.
LibreCat: https://research-explorer.ista.ac.at/record/4039
DOI: 10.1007/BF01377183

Algorithms for bichromatic line-segment problems and polyhedral terrains
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, Algorithmica 11 (1994) 116–132.
LibreCat: https://research-explorer.ista.ac.at/record/4038
DOI: 10.1007/BF01182771

Three-dimensional alpha shapes
H. Edelsbrunner, E. Mücke, ACM Transactions on Graphics 13 (1994) 43–72.
LibreCat: https://research-explorer.ista.ac.at/record/4037
DOI: 10.1145/174462.156635

Quantal analysis of excitatory postsynaptic currents at the hippocampal mossy fiber-C pyramidal cell synapse
E. Von Kitzing, P.M. Jonas, B. Sakmann, Molecular and Cellular Mechanisms of Neurotransmitter Release 29 (1994) 235–260.
LibreCat: https://research-explorer.ista.ac.at/record/3453
DOI: 10.1016/0166-2236(95)90088-8
PMID: 7848714 

Genetic and statistical analyses of strong selection on polygenic traits: What, me normal?
M. Turelli, N.H. Barton, Genetics 138 (1994) 913–941.
LibreCat: https://research-explorer.ista.ac.at/record/3642
DOI: 10.1093/genetics/138.3.913
PMID: 7851785

The reduction in fixation probability caused by substitutions at linked loci
N.H. Barton, Genetical Research 64 (1994) 199–208.
LibreCat: https://research-explorer.ista.ac.at/record/3641
DOI: 10.1017/S0016672300032857 

Selecting heavily covered points
B. Chazelle, H. Edelsbrunner, L. Guibas, J. Hershberger, R. Seidel, M. Sharir, SIAM Journal on Computing 23 (1994) 1138–1151.
LibreCat: https://research-explorer.ista.ac.at/record/4033
DOI: 10.1137/S0097539790179919 

Counting triangle crossings and halving planes
T. Dey, H. Edelsbrunner, Discrete &; Computational Geometry 12 (1994) 281–289.
LibreCat: https://research-explorer.ista.ac.at/record/4032
DOI: 10.1007/BF02574381

Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons
A. Leingärtner, C.-P.J. Heisenberg, R. Kolbeck, H. Thoenen, D. Lindholm, Journal of Biological Chemistry 269 (1994) 828–830.
LibreCat: https://research-explorer.ista.ac.at/record/4179
DOI: 10.1016/s0021-9258(17)42186-7

NMDA potentiates NGF-induced sprouting of septal cholinergic fibres
C.-P.J. Heisenberg, J. Cooper, J. Berke, M. Sofroniew, Neuroreport 5 (1994) 413–416.
LibreCat: https://research-explorer.ista.ac.at/record/4202
DOI: 10.1097/00001756-199401120-00010 

Proving safety properties of hybrid systems
A. Kapur, T.A. Henzinger, Z. Manna, A. Pnueli, in:, 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, 1994, pp. 431–454.
LibreCat: https://research-explorer.ista.ac.at/record/4420
DOI: 10.1007/3-540-58468-4_177

Verification methods for the divergent runs of clock systems
T.A. Henzinger, P. Kopke, in:, 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, 1994, pp. 351–372.
LibreCat: https://research-explorer.ista.ac.at/record/4440
DOI: 10.1007/3-540-58468-4_173

Temporal proof methodologies for timed transition systems
T.A. Henzinger, Z. Manna, A. Pnueli, Information and Computation 112 (1994) 273–337.
LibreCat: https://research-explorer.ista.ac.at/record/4501
DOI: 10.1006/inco.1994.1060

Symbolic model checking for real-time systems
T.A. Henzinger, X. Nicollin, J. Sifakis, S. Yovine, Information and Computation 111 (1994) 193–244.
LibreCat: https://research-explorer.ista.ac.at/record/4503
DOI: 10.1006/inco.1994.1045

Finitary fairness
R. Alur, T.A. Henzinger, in:, Proceedings 9th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1994, pp. 52–61.
LibreCat: https://research-explorer.ista.ac.at/record/4586
DOI: 10.1109/LICS.1994.316087 

Real-time system = discrete system + clock variables
R. Alur, T.A. Henzinger, in:, T. Rus, C. Rattray (Eds.), Theories and Experiences for Real-Time System Development, World Scientific Publishing, 1994, pp. 1–29.
LibreCat: https://research-explorer.ista.ac.at/record/4590
DOI: 10.1142/9789812831583_0001

A really temporal logic
R. Alur, T.A. Henzinger, Journal of the ACM 41 (1994) 181–204.
LibreCat: https://research-explorer.ista.ac.at/record/4591
DOI: 10.1145/174644.174651

The observational power of clocks
R. Alur, C. Courcoubetis, T.A. Henzinger, in:, 5th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1994, pp. 162–177.
LibreCat: https://research-explorer.ista.ac.at/record/4614
DOI: 10.1007/BFb0015008

A determinizable class of timed automata
R. Alur, L. Fix, T.A. Henzinger, in:, International Conference on Computer Aided Verification, Springer, 1994, pp. 1–13.
LibreCat: https://research-explorer.ista.ac.at/record/4615
DOI: 10.1007/3-540-58179-0_39

The algorithmic analysis of hybrid systems
R. Alur, C. Courcoubetis, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine, in:, 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, Springer, 1994, pp. 331–351.
LibreCat: https://research-explorer.ista.ac.at/record/4617
DOI: 10.1007/BFb0033565

Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1
D. Zarkower, M. de Bono, R. Aronoff, J. Hodgkin, Developmental Genetics 15 (1994) 240–250.
LibreCat: https://research-explorer.ista.ac.at/record/6167
DOI: 10.1002/dvg.1020150306
PMID: 7520378