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.

5685 Publications


1994 | Book Chapter | IST-REx-ID: 3453
E. Von Kitzing, P. M. Jonas, and B. Sakmann, “Quantal analysis of excitatory postsynaptic currents at the hippocampal mossy fiber-CA3 pyramidal cell synapse,” in Molecular and cellular mechanisms of neurotransmitter release, vol. 29, L. Stjärne, P. Greengard, S. Grillner, T. Hökfelt, and D. Ottoson, Eds. Raven Press, 1994, pp. 235–260.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 3460
P. M. Jonas and N. Spruston, “Mechanisms shaping glutamate-mediated excitatory postsynaptic currents in the CNS,” Current Opinion in Neurobiology, vol. 4, no. 3, pp. 366–372, 1994.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 3477
P. M. Jonas, C. Racca, B. Sakmann, P. Seeburg, and H. Monyer, “Differences in Ca(2+) permeability of AMPA-type glutamate receptor channels in neocortical neurons caused by differential GluR-B subunit expression,” Neuron, vol. 12, no. 6, pp. 1281–1289, 1994.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4033
B. Chazelle, H. Edelsbrunner, L. Guibas, J. Hershberger, R. Seidel, and M. Sharir, “Selecting heavily covered points,” SIAM Journal on Computing, vol. 23, no. 6, pp. 1138–1151, 1994.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4038
B. Chazelle, H. Edelsbrunner, L. Guibas, and M. Sharir, “Algorithms for bichromatic line-segment problems and polyhedral terrains,” Algorithmica, vol. 11, no. 2, pp. 116–132, 1994.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4420
A. Kapur, T. A. Henzinger, Z. Manna, and A. Pnueli, “Proving safety properties of hybrid systems,” presented at the FTRTFT: Formal Techniques in Real-Time and Fault-Tolerant Systems, 1994, vol. 863, pp. 431–454.
View | DOI
 

1994 | Book Chapter | IST-REx-ID: 4590
R. Alur and T. A. Henzinger, “Real-time system = discrete system + clock variables,” in Theories and Experiences for Real-Time System Development, vol. 2, T. Rus and C. Rattray, Eds. World Scientific Publishing, 1994, pp. 1–29.
View | Download (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4615
R. Alur, L. Fix, and T. A. Henzinger, “A determinizable class of timed automata,” presented at the CAV: Computer Aided Verification, 1994, vol. 818, pp. 1–13.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 1953
A. Efanov, A. Koshkin, L. A. Sazanov, O. I. Borodulina, S. Varfolomeev, and S. Zaǐtsev, “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, vol. 355, no. 2, pp. 114–116, 1994.
View | DOI
 

1994 | Book Review | IST-REx-ID: 2545
S. Nakanishi, M. Masu, Y. Bessho, Y. Nakajima, Y. Hayashi, and R. Shigemoto, “Molecular diversity of glutamate receptors and their physiological functions,” Experientia Supplementum, vol. 71. Birkhäuser, pp. 71–80, 1994.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2552
R. Ogawa Meguro, R. Shigemoto, K. Itoh, A. Konishi, and N. Mizuno, “Immunohistochemical localization of substance P receptor in the superior colliculus. A light and electron microscope study in the rat,” Neuroscience Letters, vol. 166, no. 2, pp. 135–138, 1994.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2557
H. Ohishi, R. Ogawa Meguro, R. Shigemoto, T. Kaneko, S. Nakanishi, and N. Mizuno, “Immunohistochemical localization of metabotropic glutamate receptors, mGluR2 and mGluR3, in rat cerebellar cortex,” Neuron, vol. 13, no. 1, pp. 55–66, 1994.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 3550
H. Edelsbrunner, “Modeling with simplicial complexes (topology, geometry and algorithms),” presented at the CCCG: Canadian Conference on Computational Geometry, 1994, pp. 36–44.
View | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 4039
B. Chazelle et al., “Ray shooting in polygons using geodesic triangulations,” Algorithmica, vol. 12, no. 1, pp. 54–68, 1994.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4440
T. A. Henzinger and P. Kopke, “Verification methods for the divergent runs of clock systems,” presented at the FTRTFT: Formal Techniques in Real-Time and Fault-Tolerant Systems, 1994, vol. 863, pp. 351–372.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4503
T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, “Symbolic model checking for real-time systems,” Information and Computation, vol. 111, no. 2, pp. 193–244, 1994.
View | DOI | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 4591
R. Alur and T. A. Henzinger, “A really temporal logic,” Journal of the ACM, vol. 41, no. 1, pp. 181–204, 1994.
View | DOI | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 6167
D. Zarkower, M. de Bono, R. Aronoff, and J. Hodgkin, “Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1,” Developmental Genetics, vol. 15, no. 3, pp. 240–250, 1994.
View | DOI | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 2488
T. Kaneko, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Morphological and chemical characteristics of substance P receptor immunoreactive neurons in the rat neocortex,” Neuroscience, vol. 60, no. 1, pp. 199–211, 1994.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2490
Y. Sugimoto et al., “Distribution of the messenger rna for the prostaglandin e receptor subtype ep3 in the mouse nervous system,” Neuroscience, vol. 62, no. 3, pp. 919–928, 1994.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed