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
Henzinger, Thomas A., et al. “An Assume-Guarantee Rule for Checking Simulation.” ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 24, no. 1, ACM, 2002, pp. 51–64, doi:10.1145/509705.509707.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4562
Chakrabarti, Arindam, et al. Synchronous and Bidirectional Component Interfaces. Vol. 2404, Springer, 2002, pp. 414–27, doi:10.1007/3-540-45657-0_34.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 1451   OA
Hausel, Tamas, and Bernd Sturmfels. “Toric Hyperkähler Varieties.” Documenta Mathematica, vol. 7, no. 1, Deutsche Mathematiker Vereinigung, 2002, pp. 495–534.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2613
Kitano, Jun, 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, Society for Neuroscience, 2002, pp. 1280–89.
View
 

2002 | Journal Article | IST-REx-ID: 2618
Nunzi, Maria, et al. “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, Wiley-Blackwell, 2002, pp. 189–99, doi:10.1002/cne.10344.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed