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.
168 Publications
2005 | Published | Conference Paper | IST-REx-ID: 4553
Chatterjee K, De Alfaro L, Henzinger TA. The complexity of stochastic Rabin and Streett games. In: Vol 3580. Springer; 2005:878-890. doi:10.1007/11523468_71
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4554
Chatterjee K, Henzinger TA, Jurdziński M. Mean-payoff parity games. In: IEEE; 2005:178-187. doi:10.1109/LICS.2005.26
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4557
Chatterjee K, Henzinger TA, Jhala R, Majumdar R. Counterexample-guided planning. In: AUAI Press; 2005:104-111.
View
| Download (ext.)
2005 | Published | Conference Paper | IST-REx-ID: 4560
Chakrabarti A, Chatterjee K, Henzinger TA, Kupferman O, Majumdar R. Verifying quantitative properties using bound functions. In: Vol 3725. Springer; 2005:50-64. doi:10.1007/11560548_7
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4576
Beyer D, Chakrabarti A, Henzinger TA. Web service interfaces. In: ACM; 2005:148-159. doi:10.1145/1060745.1060770
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4579
Beyer D, Henzinger TA, Jhala R, Majumdar R. Checking memory safety with BLAST. In: Vol 3442. Springer; 2005:2-18. doi:10.1007/978-3-540-31984-9_2
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4624
De Alfaro L, Henzinger TA. Interface-based design. In: Vol 195. Springer; 2005:83-104. doi:10.1007/1-4020-3532-2_3
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 4625
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. Model checking discounted temporal properties. Theoretical Computer Science. 2005;345(1):139-170. doi: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. Counterfactual quantum computation. In: Vol 1. IEEE; 2005:365-367. doi: 10.1109/QELS.2005.1548783
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 6154
Cheung BHH, Cohen M, Rogers C, Albayram O, de Bono M. Experience-dependent modulation of C. elegans behavior by ambient oxygen. Current Biology. 2005;15(10):905-917. doi: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. An enhanced temperature-index glacier melt model including the shortwave radiation balance: Development and testing for Haut Glacier d’Arolla, Switzerland. Journal of Glaciology. 2005;51(175):573-587. doi: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, et al. In vivo performance of genetically encoded indicators of neural activity in flies. Journal of Neuroscience. 2005;25(19):4766-4778. doi:10.1523/JNEUROSCI.4900-04.2005
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 8028 |
Vogels TP, Abbott LF. Signal propagation and logic gating in networks of integrate-and-fire neurons. Journal of Neuroscience. 2005;25(46):10786-10795. doi: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 TP, Rajan K, Abbott LF. Neural network dynamics. Annual Review of Neuroscience. 2005;28(1):357-376. doi: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. Distribution of the strength of selection against amino acid replacements in human proteins. Human Molecular Genetics. 2005;14(21):3191-3201. doi:10.1093/hmg/ddi350
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 18317
Bronstein AM, Bronstein MM, Zibulevsky M, Zeevi YY. Sparse ICA for blind separation of transmitted and reflected images. International Journal of Imaging Systems and Technology. 2005;15(1):84-91. doi:10.1002/ima.20042
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 18319
Bronstein AM, Bronstein MM, Kimmel R. Isometric embedding of facial surfaces into S3. In: 5th International Conference on Scale-Space Theories in Computer Vision. Vol 3459. Springer Berlin Heidelberg; 2005:622-631. doi:10.1007/11408031_53
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 18354
Bronstein AM, Bronstein MM, Kimmel R. Three-dimensional face recognition. International Journal of Computer Vision. 2005;64(1):5-30. doi:10.1007/s11263-005-1085-y
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 18398
Bronstein AM, Bronstein MM, Zibulevsky M, Zeevi YY. “Unmixing” tissues: Sparse component analysis in multi-contrast MRI. In: IEEE International Conference on Image Processing. Vol 2. IEEE; 2005:1279-1282. doi:10.1109/icip.2005.1530297
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 18399
Bronstein AM, Bronstein MM, Kimmel R. Expression-invariant face recognition via spherical embedding. In: International Conference on Image Processing. Vol 3. IEEE; 2005:756-759. doi:10.1109/icip.2005.1530502
View
| DOI