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, Krishnendu, et al. The Complexity of Stochastic Rabin and Streett Games. Vol. 3580, Springer, 2005, pp. 878–90, doi:10.1007/11523468_71.
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4554
Chatterjee, Krishnendu, et al. Mean-Payoff Parity Games. IEEE, 2005, pp. 178–87, doi:10.1109/LICS.2005.26.
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4557
Chatterjee, Krishnendu, et al. Counterexample-Guided Planning. AUAI Press, 2005, pp. 104–11.
View
| Download (ext.)
2005 | Published | Conference Paper | IST-REx-ID: 4560
Chakrabarti, Arindam, et al. Verifying Quantitative Properties Using Bound Functions. Vol. 3725, Springer, 2005, pp. 50–64, doi:10.1007/11560548_7.
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4576
Beyer, Dirk, et al. Web Service Interfaces. ACM, 2005, pp. 148–59, doi:10.1145/1060745.1060770.
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4579
Beyer, Dirk, et al. Checking Memory Safety with BLAST. Vol. 3442, Springer, 2005, pp. 2–18, doi:10.1007/978-3-540-31984-9_2.
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 4624
De Alfaro, Luca, and Thomas A. Henzinger. Interface-Based Design. Vol. 195, Springer, 2005, pp. 83–104, doi:10.1007/1-4020-3532-2_3.
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 4625
De Alfaro, Luca, et al. “Model Checking Discounted Temporal Properties.” Theoretical Computer Science, vol. 345, no. 1, Elsevier, 2005, pp. 139–70, doi:10.1016/j.tcs.2005.07.033.
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 575
Hosten, Onur, et al. Counterfactual Quantum Computation. Vol. 1, IEEE, 2005, pp. 365–67, doi: 10.1109/QELS.2005.1548783.
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 6154
Cheung, Benny H. H., et al. “Experience-Dependent Modulation of C. Elegans Behavior by Ambient Oxygen.” Current Biology, vol. 15, no. 10, Elsevier, 2005, pp. 905–17, doi:10.1016/j.cub.2005.04.017.
View
| DOI
| PubMed | Europe PMC
2005 | Published | Journal Article | IST-REx-ID: 12657 | 
Pellicciotti, Francesca, et al. “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, 2005, pp. 573–87, doi:10.3189/172756505781829124.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2005 | Published | Journal Article | IST-REx-ID: 1298
Reiff, Dierk, et al. “In Vivo Performance of Genetically Encoded Indicators of Neural Activity in Flies.” Journal of Neuroscience, vol. 25, no. 19, Society for Neuroscience, 2005, pp. 4766–78, doi:10.1523/JNEUROSCI.4900-04.2005.
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 8028 |
Vogels, Tim P., 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, 2005, pp. 10786–95, 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, Tim P., et al. “Neural Network Dynamics.” Annual Review of Neuroscience, vol. 28, no. 1, Annual Reviews, 2005, pp. 357–76, doi:10.1146/annurev.neuro.28.061604.135637.
View
| DOI
| PubMed | Europe PMC
2005 | Published | Journal Article | IST-REx-ID: 843
Yampolsky, Lev, et al. “Distribution of the Strength of Selection against Amino Acid Replacements in Human Proteins.” Human Molecular Genetics, vol. 14, no. 21, Oxford University Press, 2005, pp. 3191–201, doi:10.1093/hmg/ddi350.
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 18317
Bronstein, Alex M., et al. “Sparse ICA for Blind Separation of Transmitted and Reflected Images.” International Journal of Imaging Systems and Technology, vol. 15, no. 1, Wiley, 2005, pp. 84–91, doi:10.1002/ima.20042.
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 18319
Bronstein, Alex M., et al. “Isometric Embedding of Facial Surfaces into S3.” 5th International Conference on Scale-Space Theories in Computer Vision, vol. 3459, Springer Berlin Heidelberg, 2005, pp. 622–31, doi:10.1007/11408031_53.
View
| DOI
2005 | Published | Journal Article | IST-REx-ID: 18354
Bronstein, Alex M., et al. “Three-Dimensional Face Recognition.” International Journal of Computer Vision, vol. 64, no. 1, Springer Nature, 2005, pp. 5–30, doi:10.1007/s11263-005-1085-y.
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 18398
Bronstein, Alex M., et al. “‘Unmixing’ Tissues: Sparse Component Analysis in Multi-Contrast MRI.” IEEE International Conference on Image Processing, vol. 2, IEEE, 2005, pp. 1279–82, doi:10.1109/icip.2005.1530297.
View
| DOI
2005 | Published | Conference Paper | IST-REx-ID: 18399
Bronstein, Alex M., et al. “Expression-Invariant Face Recognition via Spherical Embedding.” International Conference on Image Processing, vol. 3, IEEE, 2005, pp. 756–59, doi:10.1109/icip.2005.1530502.
View
| DOI