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.

6112 Publications

2005 | Journal Article | IST-REx-ID: 4625
L. De Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, “Model checking discounted temporal properties,” Theoretical Computer Science, vol. 345, no. 1. Elsevier, pp. 139–170, 2005.
View | DOI

2005 | Conference Paper | IST-REx-ID: 4576
D. Beyer, A. Chakrabarti, and T. A. Henzinger, “Web service interfaces,” presented at the WWW: World Wide Web Conference, 2005, pp. 148–159.
View | DOI

2005 | Conference Paper | IST-REx-ID: 4579
D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar, “Checking memory safety with BLAST,” presented at the FASE: Fundamental Approaches To Software Engineering, 2005, vol. 3442, pp. 2–18.
View | DOI

2005 | Journal Article | IST-REx-ID: 3720
J. Guzmán, Z. Gerevich, J. Hengstler, P. Illes, and W. Kleemann, “P2Y1 receptors inhibit both strength and plasticity of glutamatergic synaptic neurotransmission in the rat prefrontal cortex.,” Synapse, vol. 57, no. 4. Wiley, pp. 235–238, 2005.
View | DOI

2005 | Journal Article | IST-REx-ID: 3721 | OA
H. L. Janovjak, D. Mueller, and A. Humphris, “Molecular force modulation spectroscopy revealing the dynamic response of single bacteriorhodopsins,” Biophysical Journal, vol. 88, no. 2. Biophysical Society, pp. 1423–1431, 2005.
View | DOI | Download (ext.)


Filter Publications