en
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, T. A., Qadeer, S., Rajamani, S., & Tasiran, S. (2002). An assume-guarantee rule for checking simulation. ACM Transactions on Programming Languages and Systems (TOPLAS), 24(1), 51–64. https://doi.org/10.1145/509705.509707
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4562
Chakrabarti, A., De Alfaro, L., Henzinger, T. A., & Mang, F. (2002). Synchronous and bidirectional component interfaces (Vol. 2404, pp. 414–427). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-45657-0_34
View
| DOI
2002 | Journal Article | IST-REx-ID: 1451 
Hausel, T., & Sturmfels, B. (2002). Toric hyperkähler varieties. Documenta Mathematica, 7(1), 495–534.
View
| Download (ext.)
2002 | Journal Article | IST-REx-ID: 2613
Kitano, J., Kimura, K., Yamazaki, Y., Soda, T., Shigemoto, R., Nakajima, Y., & Nakanishi, S. (2002). 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, 22(4), 1280–1289.
View
2002 | Journal Article | IST-REx-ID: 2618
Nunzi, M., Shigemoto, R., & Mugnaini, E. (2002). Differential expression of calretinin and metabotropic glutamate receptor mGluR1α defines subsets of unipolar brush cells in mouse cerebellum. Journal of Comparative Neurology, 451(2), 189–199. https://doi.org/10.1002/cne.10344
View
| DOI