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


1991 | Journal Article | IST-REx-ID: 2482
Masu M, Tanabe Y, Tsuchida K, Shigemoto R, Nakanishi S. Sequence and expression of a metabotropic glutamate receptor. Nature. 1991;349(6312):760-765. doi:10.1038/349760a0
View | DOI
 

1991 | Book Chapter | IST-REx-ID: 3567
Edelsbrunner H. Lines in space – A collection of results. In: Discrete & Computational Geometry. Vol 6. Springer; 1991:77-93.
View | Download (ext.)
 

1991 | Conference Paper | IST-REx-ID: 4058
Chazelle B, Edelsbrunner H, Guibas L, Sharir M, Snoeyink J. Computing a face in an arrangement of line segments. In: SIAM; 1991:441-448.
View
 

1991 | Conference Paper | IST-REx-ID: 4508
Henzinger TA, Manna Z, Pnueli A. Temporal proof methodologies for real-time systems. In: ACM; 1991:353-366. doi:10.1145/99583.99629
View | DOI | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 2483
Moriyoshi K, Masu M, Ishii T, Shigemoto R, Mizuno N, Nakanishi S. Molecular cloning and characterization of the rat NMDA receptor. Nature. 1991;353(6348):31-37. doi:10.1038/354031a0
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed