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
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2005). The complexity of stochastic Rabin and Streett games (Vol. 3580, pp. 878–890). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/11523468_71
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4554
Chatterjee, K., Henzinger, T. A., & Jurdziński, M. (2005). Mean-payoff parity games (pp. 178–187). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.2005.26
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4557
Chatterjee, K., Henzinger, T. A., Jhala, R., & Majumdar, R. (2005). Counterexample-guided planning (pp. 104–111). Presented at the UAI: Uncertainty in Artificial Intelligence, AUAI Press.
View
| Download (ext.)
2005 | Published | Conference Paper | IST-REx-ID: 4560
Chakrabarti, A., Chatterjee, K., Henzinger, T. A., Kupferman, O., & Majumdar, R. (2005). Verifying quantitative properties using bound functions (Vol. 3725, pp. 50–64). Presented at the CHARME: Correct Hardware Design and Verification Methods, Springer. https://doi.org/10.1007/11560548_7
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4576
Beyer, D., Chakrabarti, A., & Henzinger, T. A. (2005). Web service interfaces (pp. 148–159). Presented at the WWW: World Wide Web Conference, ACM. https://doi.org/10.1145/1060745.1060770
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4579
Beyer, D., Henzinger, T. A., Jhala, R., & Majumdar, R. (2005). Checking memory safety with BLAST (Vol. 3442, pp. 2–18). Presented at the FASE: Fundamental Approaches To Software Engineering, Springer. https://doi.org/10.1007/978-3-540-31984-9_2
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4624
De Alfaro, L., & Henzinger, T. A. (2005). Interface-based design (Vol. 195, pp. 83–104). Presented at the Engineering Theories of Software Intensive Systems, Springer. https://doi.org/10.1007/1-4020-3532-2_3
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 4625
De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2005). Model checking discounted temporal properties. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2005.07.033
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 575
Hosten, O., Rakher, M., Barreiro, J., Peters, N., & Kwiat, P. (2005). Counterfactual quantum computation (Vol. 1, pp. 365–367). Presented at the QELS: Quantum Electronics and Laser Science, IEEE. https://doi.org/ 10.1109/QELS.2005.1548783
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 6154
Cheung, B. H. H., Cohen, M., Rogers, C., Albayram, O., & de Bono, M. (2005). Experience-dependent modulation of C. elegans behavior by ambient oxygen. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2005.04.017
View
| DOI
| PubMed | Europe PMC
2005 | Published | Journal Article | IST-REx-ID: 12657 | 
Pellicciotti, F., Brock, B., Strasser, U., Burlando, P., Funk, M., & Corripio, J. (2005). An enhanced temperature-index glacier melt model including the shortwave radiation balance: Development and testing for Haut Glacier d’Arolla, Switzerland. Journal of Glaciology. Cambridge University Press. https://doi.org/10.3189/172756505781829124
[Published Version]
View
| DOI
| Download Published Version (ext.)
2005 | Published | Journal Article | IST-REx-ID: 1298
Reiff, D., Ihring, A., Guerrero, G., Isacoff, E., Jösch, M. A., Nakai, J., & Borst, A. (2005). In vivo performance of genetically encoded indicators of neural activity in flies. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.4900-04.2005
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 8028 |
Vogels, T. P., & Abbott, L. F. (2005). Signal propagation and logic gating in networks of integrate-and-fire neurons. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/jneurosci.3508-05.2005
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2005 | Published | Journal Article | IST-REx-ID: 8029
Vogels, T. P., Rajan, K., & Abbott, L. F. (2005). Neural network dynamics. Annual Review of Neuroscience. Annual Reviews. https://doi.org/10.1146/annurev.neuro.28.061604.135637
View
| DOI
| PubMed | Europe PMC
2005 | Published | Journal Article | IST-REx-ID: 843
Yampolsky, L., Kondrashov, F., & Kondrashov, A. (2005). Distribution of the strength of selection against amino acid replacements in human proteins. Human Molecular Genetics. Oxford University Press. https://doi.org/10.1093/hmg/ddi350
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 18317
Bronstein, A. M., Bronstein, M. M., Zibulevsky, M., & Zeevi, Y. Y. (2005). Sparse ICA for blind separation of transmitted and reflected images. International Journal of Imaging Systems and Technology. Wiley. https://doi.org/10.1002/ima.20042
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 18319
Bronstein, A. M., Bronstein, M. M., & Kimmel, R. (2005). Isometric embedding of facial surfaces into S3. In 5th International Conference on Scale-Space Theories in Computer Vision (Vol. 3459, pp. 622–631). Hofgeismar, Germany: Springer Berlin Heidelberg. https://doi.org/10.1007/11408031_53
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 18354
Bronstein, A. M., Bronstein, M. M., & Kimmel, R. (2005). Three-dimensional face recognition. International Journal of Computer Vision. Springer Nature. https://doi.org/10.1007/s11263-005-1085-y
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 18398
Bronstein, A. M., Bronstein, M. M., Zibulevsky, M., & Zeevi, Y. Y. (2005). “Unmixing” tissues: Sparse component analysis in multi-contrast MRI. In IEEE International Conference on Image Processing (Vol. 2, pp. 1279–1282). Genova, Italy: IEEE. https://doi.org/10.1109/icip.2005.1530297
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 18399
Bronstein, A. M., Bronstein, M. M., & Kimmel, R. (2005). Expression-invariant face recognition via spherical embedding. In International Conference on Image Processing (Vol. 3, pp. 756–759). Genova, Italy: IEEE. https://doi.org/10.1109/icip.2005.1530502
View
| DOI