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.

5695 Publications

1995 | Conference Paper | IST-REx-ID: 4500
Henzinger TA, Kopke P, Wong Toi H. The expressive power of clocks. In: Vol 944. Springer; 1995:417-428. doi:10.1007/3-540-60084-1_93
View | DOI

1995 | Journal Article | IST-REx-ID: 4613
Alur R, Courcoubetis C, Halbwachs N, et al. The algorithmic analysis of hybrid systems. Theoretical Computer Science. 1995;138(1):3-34. doi:10.1016/0304-3975(94)00202-T
View | DOI

1995 | Journal Article | IST-REx-ID: 4296
Partridge L, Barrie B, Barton NH, Fowler K, French V. Rapid laboratory evolution of adult life history traits in Drosophila melanogaster in response to temperature. Evolution; International Journal of Organic Evolution. 1995;49(3):538-544.
View | Download (ext.)

1995 | Book Chapter | IST-REx-ID: 4448
Henzinger TA, Ho P. A note on abstract-interpretation strategies for hybrid automata. In: Panos A, Kohn W, Nerode A, Sastry S, eds. Hybrid Systems II. Vol 999. Springer; 1995:252-264. doi:10.1007/3-540-60472-3_13
View | DOI

1995 | Conference Paper | IST-REx-ID: 4450
Henzinger TA, Ho P. Algorithmic analysis of nonlinear hybrid systems. In: Vol 939. Springer; 1995:225-238. doi:10.1007/3-540-60045-0_53
View | DOI

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


Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed