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.

5430 Publications


1995 | Conference Paper | IST-REx-ID: 4587
Alur R, Henzinger TA. Local liveness for compositional modeling of fair reactive systems. In: Vol 939. Springer; 1995:166-179. doi:10.1007/3-540-60045-0_49
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4498
Henzinger M, Henzinger TA, Kopke P. Computing simulations on finite and infinite graphs. In: IEEE; 1995:453-462. doi:10.1109/SFCS.1995.492576
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4518
Henzinger TA. Hybrid automata with finite bisimulations. In: Vol 944. Springer; 1995:324-335. doi:0.1007/3-540-60084-1_85
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2549
Nakaya Y, Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. Immunohistochemical localization of substance P receptor in the central nervous system of the adult rat. Journal of Comparative Neurology. 1994;347(2):249-274. doi:10.1002/cne.903470208
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2551
Akazawa C, Ohishi H, Nakajima Y, et al. Expression of mRNAs of l-AP4-sensitive metabotropic glutamate receptors (mGluR4, mGluR6, mGluR7) in the rat retina. Neuroscience Letters. 1994;171(1-2):52-54. doi:10.1016/0304-3940(94)90602-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: 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 | Journal Article | IST-REx-ID: 4033
Chazelle B, Edelsbrunner H, Guibas L, Hershberger J, Seidel R, Sharir M. Selecting heavily covered points. SIAM Journal on Computing. 1994;23(6):1138-1151. doi:10.1137/S0097539790179919
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4038
Chazelle B, Edelsbrunner H, Guibas L, Sharir M. Algorithms for bichromatic line-segment problems and polyhedral terrains. Algorithmica. 1994;11(2):116-132. doi:10.1007/BF01182771
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4420
Kapur A, Henzinger TA, Manna Z, Pnueli A. Proving safety properties of hybrid systems. In: Vol 863. Springer; 1994:431-454. doi:10.1007/3-540-58468-4_177
View | DOI
 

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 | 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 | 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 Review | IST-REx-ID: 2545
Nakanishi S, Masu M, Bessho Y, Nakajima Y, Hayashi Y, Shigemoto R. Molecular diversity of glutamate receptors and their physiological functions. Experientia Supplementum. 1994;71:71-80. doi:10.1007/978-3-0348-7330-7_8
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2552
Ogawa Meguro R, Shigemoto R, Itoh K, Konishi A, Mizuno N. Immunohistochemical localization of substance P receptor in the superior colliculus. A light and electron microscope study in the rat. Neuroscience Letters. 1994;166(2):135-138. doi:10.1016/0304-3940(94)90469-3
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2557
Ohishi H, Ogawa Meguro R, Shigemoto R, Kaneko T, Nakanishi S, Mizuno N. Immunohistochemical localization of metabotropic glutamate receptors, mGluR2 and mGluR3, in rat cerebellar cortex. Neuron. 1994;13(1):55-66. doi:10.1016/0896-6273(94)90459-6
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: 4039
Chazelle B, Edelsbrunner H, Grigni M, et al. Ray shooting in polygons using geodesic triangulations. Algorithmica. 1994;12(1):54-68. doi:10.1007/BF01377183
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4440
Henzinger TA, Kopke P. Verification methods for the divergent runs of clock systems. In: Vol 863. Springer; 1994:351-372. doi:10.1007/3-540-58468-4_173
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed