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.

5685 Publications


2002 | Journal Article | IST-REx-ID: 4473
T. A. Henzinger, S. Qadeer, S. Rajamani, and S. Tasiran, “An assume-guarantee rule for checking simulation,” ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 24, no. 1, pp. 51–64, 2002.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4562
A. Chakrabarti, L. De Alfaro, T. A. Henzinger, and F. Mang, “Synchronous and bidirectional component interfaces,” presented at the CAV: Computer Aided Verification, 2002, vol. 2404, pp. 414–427.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 1451   OA
T. Hausel and B. Sturmfels, “Toric hyperkähler varieties,” Documenta Mathematica, vol. 7, no. 1, pp. 495–534, 2002.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2613
J. Kitano et al., “Tamalin, a PDZ domain-containing protein, links a protein complex formation of group 1 metabotropic glutamate receptors and the guanine nucleotide exchange factor cytohesins,” Journal of Neuroscience, vol. 22, no. 4, pp. 1280–1289, 2002.
View
 

2002 | Journal Article | IST-REx-ID: 2618
M. Nunzi, R. Shigemoto, and E. Mugnaini, “Differential expression of calretinin and metabotropic glutamate receptor mGluR1α defines subsets of unipolar brush cells in mouse cerebellum,” Journal of Comparative Neurology, vol. 451, no. 2, pp. 189–199, 2002.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed