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.

10945 Publications


2005 | Published | Conference Paper | IST-REx-ID: 4553
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “The complexity of stochastic Rabin and Streett games,” presented at the ICALP: Automata, Languages and Programming, 2005, vol. 3580, pp. 878–890.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4554
K. Chatterjee, T. A. Henzinger, and M. Jurdziński, “Mean-payoff parity games,” presented at the LICS: Logic in Computer Science, 2005, pp. 178–187.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4557
K. Chatterjee, T. A. Henzinger, R. Jhala, and R. Majumdar, “Counterexample-guided planning,” presented at the UAI: Uncertainty in Artificial Intelligence, 2005, pp. 104–111.
View | Download (ext.)
 

2005 | Published | Conference Paper | IST-REx-ID: 4560
A. Chakrabarti, K. Chatterjee, T. A. Henzinger, O. Kupferman, and R. Majumdar, “Verifying quantitative properties using bound functions,” presented at the CHARME: Correct Hardware Design and Verification Methods, 2005, vol. 3725, pp. 50–64.
View | DOI
 

2005 | Published | 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 | Published | 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 | Published | Conference Paper | IST-REx-ID: 4624
L. De Alfaro and T. A. Henzinger, “Interface-based design,” presented at the Engineering Theories of Software Intensive Systems, 2005, vol. 195, pp. 83–104.
View | DOI
 

2005 | Published | 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 | Published | Conference Paper | IST-REx-ID: 575
O. Hosten, M. Rakher, J. Barreiro, N. Peters, and P. Kwiat, “Counterfactual quantum computation,” presented at the QELS: Quantum Electronics and Laser Science, 2005, vol. 1, pp. 365–367.
View | DOI
 

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

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

2005 | Published | Journal Article | IST-REx-ID: 1298
D. Reiff et al., “In vivo performance of genetically encoded indicators of neural activity in flies,” Journal of Neuroscience, vol. 25, no. 19. Society for Neuroscience, pp. 4766–4778, 2005.
View | DOI
 

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

2005 | Published | Journal Article | IST-REx-ID: 8029
T. P. Vogels, K. Rajan, and L. F. Abbott, “Neural network dynamics,” Annual Review of Neuroscience, vol. 28, no. 1. Annual Reviews, pp. 357–376, 2005.
View | DOI | PubMed | Europe PMC
 

2005 | Published | Journal Article | IST-REx-ID: 843
L. Yampolsky, F. Kondrashov, and A. Kondrashov, “Distribution of the strength of selection against amino acid replacements in human proteins,” Human Molecular Genetics, vol. 14, no. 21. Oxford University Press, pp. 3191–3201, 2005.
View | DOI
 

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

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

2005 | Published | Journal Article | IST-REx-ID: 18354
A. M. Bronstein, M. M. Bronstein, and R. Kimmel, “Three-dimensional face recognition,” International Journal of Computer Vision, vol. 64, no. 1. Springer Nature, pp. 5–30, 2005.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 18398
A. M. Bronstein, M. M. Bronstein, M. Zibulevsky, and Y. Y. Zeevi, “‘Unmixing’ tissues: Sparse component analysis in multi-contrast MRI,” in IEEE International Conference on Image Processing, Genova, Italy, 2005, vol. 2, pp. 1279–1282.
View | DOI
 

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

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed