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 TA. 2005. The complexity of stochastic Rabin and Streett games. ICALP: Automata, Languages and Programming, LNCS, vol. 3580, 878–890.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4554
Chatterjee K, Henzinger TA, Jurdziński M. 2005. Mean-payoff parity games. LICS: Logic in Computer Science, 178–187.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4557
Chatterjee K, Henzinger TA, Jhala R, Majumdar R. 2005. Counterexample-guided planning. UAI: Uncertainty in Artificial Intelligence, 104–111.
View | Download (ext.)
 

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

2005 | Published | Conference Paper | IST-REx-ID: 4576
Beyer D, Chakrabarti A, Henzinger TA. 2005. Web service interfaces. WWW: World Wide Web Conference, 148–159.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4579
Beyer D, Henzinger TA, Jhala R, Majumdar R. 2005. Checking memory safety with BLAST. FASE: Fundamental Approaches To Software Engineering, LNCS, vol. 3442, 2–18.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 4624
De Alfaro L, Henzinger TA. 2005. Interface-based design. Engineering Theories of Software Intensive Systems, NATO Science Series: Mathematics, Physics, and Chemistry, vol. 195, 83–104.
View | DOI
 

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

2005 | Published | Conference Paper | IST-REx-ID: 575
Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. 2005. Counterfactual quantum computation. QELS: Quantum Electronics and Laser Science, QELS, vol. 1, 365–367.
View | DOI
 

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

2005 | Published | Journal Article | IST-REx-ID: 12657 | OA
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. 51(175), 573–587.
[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 MA, Nakai J, Borst A. 2005. In vivo performance of genetically encoded indicators of neural activity in flies. Journal of Neuroscience. 25(19), 4766–4778.
View | DOI
 

2005 | Published | Journal Article | IST-REx-ID: 8028 | OA
Vogels TP, Abbott LF. 2005. Signal propagation and logic gating in networks of integrate-and-fire neurons. Journal of Neuroscience. 25(46), 10786–10795.
[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. 2005. Neural network dynamics. Annual Review of Neuroscience. 28(1), 357–376.
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. 14(21), 3191–3201.
View | DOI
 

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

2005 | Published | Conference Paper | IST-REx-ID: 18319
Bronstein AM, Bronstein MM, Kimmel R. 2005. Isometric embedding of facial surfaces into S3. 5th International Conference on Scale-Space Theories in Computer Vision. Scale Space: Conference on Scale-Space Theories in Computer Vision, LNIP, vol. 3459, 622–631.
View | DOI
 

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

2005 | Published | Conference Paper | IST-REx-ID: 18398
Bronstein AM, Bronstein MM, Zibulevsky M, Zeevi YY. 2005. ‘Unmixing’ tissues: Sparse component analysis in multi-contrast MRI. IEEE International Conference on Image Processing. ICIP: International Conference on Image Processing vol. 2, 1279–1282.
View | DOI
 

2005 | Published | Conference Paper | IST-REx-ID: 18399
Bronstein AM, Bronstein MM, Kimmel R. 2005. Expression-invariant face recognition via spherical embedding. International Conference on Image Processing. ICIP: International Conference on Image Processing vol. 3, 756–759.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed