Please note that ISTA 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.

10152 Publications


2005 | Published | Conference Paper | IST-REx-ID: 4557
Counterexample-guided planning
K. Chatterjee, T.A. Henzinger, R. Jhala, R. Majumdar, in:, AUAI Press, 2005, pp. 104–111.
View | Download (ext.)
 

2005 | Published | Conference Paper | IST-REx-ID: 4560
Verifying quantitative properties using bound functions
A. Chakrabarti, K. Chatterjee, T.A. Henzinger, O. Kupferman, R. Majumdar, in:, Springer, 2005, pp. 50–64.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4576
Web service interfaces
D. Beyer, A. Chakrabarti, T.A. Henzinger, in:, ACM, 2005, pp. 148–159.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4579
Checking memory safety with BLAST
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2005, pp. 2–18.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4624
Interface-based design
L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 83–104.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 4625
Model checking discounted temporal properties
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, Theoretical Computer Science 345 (2005) 139–170.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 575
Counterfactual quantum computation
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, in:, IEEE, 2005, pp. 365–367.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 6153
Neuronal substrates of complex behaviors in C. elegans
M. de Bono, A. Villu Maricq, Annual Review of Neuroscience 28 (2005) 451–501.
View | DOI | PubMed | Europe PMC
 

2005 | Published | Journal Article | IST-REx-ID: 6154
Experience-dependent modulation of C. elegans behavior by ambient oxygen
B.H.H. Cheung, M. Cohen, C. Rogers, O. Albayram, M. de Bono, Current Biology 15 (2005) 905–917.
View | DOI | PubMed | Europe PMC
 

2005 | Published | Journal Article | IST-REx-ID: 12657 | OA
An enhanced temperature-index glacier melt model including the shortwave radiation balance: Development and testing for Haut Glacier d’Arolla, Switzerland
F. Pellicciotti, B. Brock, U. Strasser, P. Burlando, M. Funk, J. Corripio, Journal of Glaciology 51 (2005) 573–587.
[Published Version] View | DOI | Download Published Version (ext.)
 

2005 | Published | Journal Article | IST-REx-ID: 1298
In vivo performance of genetically encoded indicators of neural activity in flies
D. Reiff, A. Ihring, G. Guerrero, E. Isacoff, M.A. Jösch, J. Nakai, A. Borst, Journal of Neuroscience 25 (2005) 4766–4778.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 8028 | OA
Signal propagation and logic gating in networks of integrate-and-fire neurons
T.P. Vogels, L.F. Abbott, Journal of Neuroscience 25 (2005) 10786–10795.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2005 | Published | Journal Article | IST-REx-ID: 8029
Neural network dynamics
T.P. Vogels, K. Rajan, L.F. Abbott, Annual Review of Neuroscience 28 (2005) 357–376.
View | DOI | PubMed | Europe PMC
 

2005 | Published | Journal Article | IST-REx-ID: 843
Distribution of the strength of selection against amino acid replacements in human proteins
L. Yampolsky, F. Kondrashov, A. Kondrashov, Human Molecular Genetics 14 (2005) 3191–3201.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 18317
Sparse ICA for blind separation of transmitted and reflected images
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, Y.Y. Zeevi, International Journal of Imaging Systems and Technology 15 (2005) 84–91.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 18319
Isometric embedding of facial surfaces into S3
A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, 5th International Conference on Scale-Space Theories in Computer Vision, Springer Berlin Heidelberg, 2005, pp. 622–631.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 18354
Three-dimensional face recognition
A.M. Bronstein, M.M. Bronstein, R. Kimmel, International Journal of Computer Vision 64 (2005) 5–30.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 18398
"Unmixing" tissues: Sparse component analysis in multi-contrast MRI
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, Y.Y. Zeevi, in:, IEEE International Conference on Image Processing, IEEE, 2005, pp. 1279–1282.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 18399
Expression-invariant face recognition via spherical embedding
A.M. Bronstein, M.M. Bronstein, R. Kimmel, in:, International Conference on Image Processing, IEEE, 2005, pp. 756–759.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 18407
Blind deconvolution of images using optimal sparse representations
M.M. Bronstein, A.M. Bronstein, M. Zibulevsky, Y.Y. Zeevi, IEEE Transactions on Image Processing 14 (2005) 726–736.
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Export / Embed