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.

6285 Publications


1993 | Journal Article | IST-REx-ID: 2543
Hashimoto H, Ishihara T, Shigemoto R, Mori K, Nagata S. 1993. Molecular cloning and tissue distribution of a receptor for pituitary adenylate cyclase-activating polypeptide. Neuron. 11(2), 333–342.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2544
Hayashi Y, Momiyama A, Takahashi T, Ohishi H, Ogawa Meguro R, Shigemoto R, Mizuno N, Nakanishi S. 1993. Role of a metabotropic glutamate receptor in synaptic modulation in the accessory olfactory bulb. Nature. 366(6456), 687–690.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2546
Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. 1993. Substance P receptor-immunoreactive neurons in the rat neostriatum are segregated into somatostatinergic and cholinergic aspiny neurons. Brain Research. 631(2), 297–303.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2723
Erdös L. 1993. Ground-state density of the Pauli operator in the large field limit. Letters in Mathematical Physics. 29(3), 219–240.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 1947
Sazanov LA, Jackson J. 1993. Activation and inhibition of mitochondrial transhydrogenase by metal ions. Biochimica et Biophysica Acta - Bioenergetics. 1144(2), 225–228.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 1948
Sazanov LA, Jackson J. 1993. Possible functions of the NADP-linked isocitrate dehydrogenase and H+ -transhydrogenase in heart mitochondria . Biochemical Society Transactions. 21(3).
View
 

1993 | Journal Article | IST-REx-ID: 1950
Jackson J, Cotton NPJ, Williams R, Bizouarn T, Hutton M, Sazanov LA, Thomas C. 1993. Proton-translocating transhydrogenase in bacteria. Biochemical Society Transactions. 21(4), 1010–1013.
View
 

1993 | Conference Paper | IST-REx-ID: 4616
Alur R, Henzinger TA, Ho P. 1993. Automatic symbolic verification of embedded systems. RTSS: Real-Time Systems Symposium, 2–11.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4618
Alur R, Courcoubetis C, Henzinger TA, Ho P. 1993.Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In: Hybrid Systems. LNCS, vol. 736, 209–229.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4619
Alur R, Henzinger TA, Vardi M. 1993. Parametric real-time reasoning. STOC: Symposium on the Theory of Computing, 592–601.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4620
Alur R, Courcoubetis C, Henzinger TA. 1993. Computing accumulated delays in real-time systems. CAV: Computer Aided Verification, LNCS, vol. 697, 181–193.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4036
Chazelle B, Edelsbrunner H, Guibas L, Sharir M, Snoeyink J. 1993. Computing a face in an arrangement of line segments and related problems. SIAM Journal on Computing. 22(6), 1286–1302.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4040
Edelsbrunner H, Tan T. 1993. An upper bound for conforming Delaunay triangulations. Discrete & Computational Geometry. 10(1), 197–213.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4041
Edelsbrunner H, Seidel R, Sharir M. 1993. On the zone theorem for hyperplane arrangements. SIAM Journal on Computing. 22(2), 418–429.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4042
Edelsbrunner H, Tan T. 1993. A quadratic time algorithm for the minmax length triangulation. SIAM Journal on Computing. 22(3), 527–551.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4044
Bern M, Edelsbrunner H, Eppstein D, Mitchell S, Tan T. 1993. Edge insertion for optimal triangulations. Discrete & Computational Geometry. 10(1), 47–65.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4045
Chazelle B, Edelsbrunner H, Guibas L, Sharir M. 1993. Diameter, width, closest line pair, and parametric searching. Discrete & Computational Geometry. 10(1), 183–196.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4175
Lindholm D, Dechant G, Heisenberg C-PJ, Thoenen H. 1993. Brain-derived neurotrophic factor is a survival factor for cultured rat cerebellar granule neurons and protects them against glutamate-induced neurotoxicity. European Journal of Neuroscience. 5(11), 1455–1464.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4177
Lindholm D, Castrén E, Tsoulfas P, Kolbeck R, Berzaghi M, Leingärtner A, Heisenberg C-PJ, Tesarollo L, Parada L, Thoenen H. 1993. Neurotrophin-3 induced by tri-iodothyronine in cerebellar granule cells promotes Purkinje cell differentiation. Journal of Cell Biology. 122(2), 443–450.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4300
Partridge L, Barton NH. 1993. Optimality, mutation and the evolution of ageing. Nature. 362, 305–311.
View | DOI
 

Search

Filter Publications