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.)
 

Search

Filter Publications