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.

6494 Publications


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

1993 | Journal Article | IST-REx-ID: 2546 View | DOI
 

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

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

1993 | Journal Article | IST-REx-ID: 1948 View
 

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

1993 | Conference Paper | IST-REx-ID: 4616
Automatic symbolic verification of embedded systems
R. Alur, T.A. Henzinger, P. Ho, in:, IEEE, 1993, pp. 2–11.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4618
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
R. Alur, C. Courcoubetis, T.A. Henzinger, P. Ho, in:, R. Grossman, A. Nerode, A. Ravn, H. Rischel (Eds.), Hybrid Systems, Springer, 1993, pp. 209–229.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4619
Parametric real-time reasoning
R. Alur, T.A. Henzinger, M. Vardi, in:, ACM, 1993, pp. 592–601.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4620
Computing accumulated delays in real-time systems
R. Alur, C. Courcoubetis, T.A. Henzinger, in:, Springer, 1993, pp. 181–193.
View | DOI
 

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

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

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

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

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

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

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

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

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

1993 | Book Chapter | IST-REx-ID: 4301
Genetic analysis of hybrid zones
N.H. Barton, K. Gale, in:, R. Harrison (Ed.), Hybrid Zones and the Evolutionary Process, Oxford University Press, 1993, pp. 13–45.
View
 

Search

Filter Publications