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.
163 Publications
2005 | Published | Conference Paper | IST-REx-ID: 4457
Composable code generation for distributed Giotto
T.A. Henzinger, C. Kirsch, S. Matic, in:, ACM, 2005, pp. 21–30.
View
| DOI
T.A. Henzinger, C. Kirsch, S. Matic, in:, ACM, 2005, pp. 21–30.
2005 | Published | Conference Paper | IST-REx-ID: 4536
Automatic rectangular refinement of affine hybrid systems
L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2005, pp. 144–161.
View
| DOI
L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2005, pp. 144–161.
2005 | Published | Conference Paper | IST-REx-ID: 4541
Semiperfect-information games
K. Chatterjee, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 1–18.
View
| DOI
K. Chatterjee, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005, pp. 1–18.
2005 | Published | Conference Paper | IST-REx-ID: 4553
The complexity of stochastic Rabin and Streett games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 878–890.
View
| DOI
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 878–890.
2005 | Published | Conference Paper | IST-REx-ID: 4554
Mean-payoff parity games
K. Chatterjee, T.A. Henzinger, M. Jurdziński, in:, IEEE, 2005, pp. 178–187.
View
| DOI
K. Chatterjee, T.A. Henzinger, M. Jurdziński, in:, IEEE, 2005, pp. 178–187.
2005 | Published | Conference Paper | IST-REx-ID: 4557
Counterexample-guided planning
K. Chatterjee, T.A. Henzinger, R. Jhala, R. Majumdar, in:, AUAI Press, 2005, pp. 104–111.
View
| Download (ext.)
K. Chatterjee, T.A. Henzinger, R. Jhala, R. Majumdar, in:, AUAI Press, 2005, pp. 104–111.
2005 | Published | Conference Paper | IST-REx-ID: 4560
Verifying quantitative properties using bound functions
A. Chakrabarti, K. Chatterjee, T.A. Henzinger, O. Kupferman, R. Majumdar, in:, Springer, 2005, pp. 50–64.
View
| DOI
A. Chakrabarti, K. Chatterjee, T.A. Henzinger, O. Kupferman, R. Majumdar, in:, Springer, 2005, pp. 50–64.
2005 | Published | Conference Paper | IST-REx-ID: 4576
Web service interfaces
D. Beyer, A. Chakrabarti, T.A. Henzinger, in:, ACM, 2005, pp. 148–159.
View
| DOI
D. Beyer, A. Chakrabarti, T.A. Henzinger, in:, ACM, 2005, pp. 148–159.
2005 | Published | Conference Paper | IST-REx-ID: 4579
Checking memory safety with BLAST
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2005, pp. 2–18.
View
| DOI
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2005, pp. 2–18.
2005 | Published | Conference Paper | IST-REx-ID: 4624
Interface-based design
L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 83–104.
View
| DOI
L. De Alfaro, T.A. Henzinger, in:, Springer, 2005, pp. 83–104.
2005 | Published | Journal Article | IST-REx-ID: 4625
Model checking discounted temporal properties
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, Theoretical Computer Science 345 (2005) 139–170.
View
| DOI
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, Theoretical Computer Science 345 (2005) 139–170.
2005 | Published | Conference Paper | IST-REx-ID: 575
Counterfactual quantum computation
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, in:, IEEE, 2005, pp. 365–367.
View
| DOI
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, in:, IEEE, 2005, pp. 365–367.
2005 | Published | Journal Article | IST-REx-ID: 6153
Neuronal substrates of complex behaviors in C. elegans
M. de Bono, A. Villu Maricq, Annual Review of Neuroscience 28 (2005) 451–501.
View
| DOI
| PubMed | Europe PMC
M. de Bono, A. Villu Maricq, Annual Review of Neuroscience 28 (2005) 451–501.
2005 | Published | Journal Article | IST-REx-ID: 6154
Experience-dependent modulation of C. elegans behavior by ambient oxygen
B.H.H. Cheung, M. Cohen, C. Rogers, O. Albayram, M. de Bono, Current Biology 15 (2005) 905–917.
View
| DOI
| PubMed | Europe PMC
B.H.H. Cheung, M. Cohen, C. Rogers, O. Albayram, M. de Bono, Current Biology 15 (2005) 905–917.
2005 | Published | Journal Article | IST-REx-ID: 12657 | 
An enhanced temperature-index glacier melt model including the shortwave radiation balance: Development and testing for Haut Glacier d’Arolla, Switzerland
F. Pellicciotti, B. Brock, U. Strasser, P. Burlando, M. Funk, J. Corripio, Journal of Glaciology 51 (2005) 573–587.
[Published Version]
View
| DOI
| Download Published Version (ext.)
F. Pellicciotti, B. Brock, U. Strasser, P. Burlando, M. Funk, J. Corripio, Journal of Glaciology 51 (2005) 573–587.
2005 | Published | Journal Article | IST-REx-ID: 1298
In vivo performance of genetically encoded indicators of neural activity in flies
D. Reiff, A. Ihring, G. Guerrero, E. Isacoff, M.A. Jösch, J. Nakai, A. Borst, Journal of Neuroscience 25 (2005) 4766–4778.
View
| DOI
D. Reiff, A. Ihring, G. Guerrero, E. Isacoff, M.A. Jösch, J. Nakai, A. Borst, Journal of Neuroscience 25 (2005) 4766–4778.
2005 | Published | Journal Article | IST-REx-ID: 8028 |
Signal propagation and logic gating in networks of integrate-and-fire neurons
T.P. Vogels, L.F. Abbott, Journal of Neuroscience 25 (2005) 10786–10795.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
T.P. Vogels, L.F. Abbott, Journal of Neuroscience 25 (2005) 10786–10795.
2005 | Published | Journal Article | IST-REx-ID: 8029
Neural network dynamics
T.P. Vogels, K. Rajan, L.F. Abbott, Annual Review of Neuroscience 28 (2005) 357–376.
View
| DOI
| PubMed | Europe PMC
T.P. Vogels, K. Rajan, L.F. Abbott, Annual Review of Neuroscience 28 (2005) 357–376.
2005 | Published | Journal Article | IST-REx-ID: 843
Distribution of the strength of selection against amino acid replacements in human proteins
L. Yampolsky, F. Kondrashov, A. Kondrashov, Human Molecular Genetics 14 (2005) 3191–3201.
View
| DOI
L. Yampolsky, F. Kondrashov, A. Kondrashov, Human Molecular Genetics 14 (2005) 3191–3201.
2005 | Published | Journal Article | IST-REx-ID: 18317
Sparse ICA for blind separation of transmitted and reflected images
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, Y.Y. Zeevi, International Journal of Imaging Systems and Technology 15 (2005) 84–91.
View
| DOI
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, Y.Y. Zeevi, International Journal of Imaging Systems and Technology 15 (2005) 84–91.