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.
223 Publications
2006 | Published | Conference Paper | IST-REx-ID: 4523
Synergy: A new algorithm for property checking
B. Gulavani, T.A. Henzinger, Y. Kannan, A. Nori, S. Rajamani, in:, ACM, 2006, pp. 117–127.
View
| DOI
B. Gulavani, T.A. Henzinger, Y. Kannan, A. Nori, S. Rajamani, in:, ACM, 2006, pp. 117–127.
2006 | Published | Conference Paper | IST-REx-ID: 4526
A hierarchical coordination language for interacting real-time tasks
A. Ghosal, T.A. Henzinger, D. Iercan, C. Kirsch, A. Sangiovanni Vincentelli, in:, ACM, 2006, pp. 132–141.
View
| DOI
A. Ghosal, T.A. Henzinger, D. Iercan, C. Kirsch, A. Sangiovanni Vincentelli, in:, ACM, 2006, pp. 132–141.
2006 | Published | Conference Paper | IST-REx-ID: 4528
Executable biology
J. Fisher, T.A. Henzinger, in:, IEEE, 2006, pp. 1675–1682.
View
| DOI
J. Fisher, T.A. Henzinger, in:, IEEE, 2006, pp. 1675–1682.
2006 | Published | Conference Paper | IST-REx-ID: 4538
Strategy improvement and randomized subexponential algorithms for stochastic parity games
K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 512–523.
View
| DOI
K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 512–523.
2006 | Published | Conference Paper | IST-REx-ID: 4539
Finitary winning in omega-regular games
K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 257–271.
View
| DOI
K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 257–271.
2006 | Published | Conference Paper | IST-REx-ID: 4549
Compositional quantitative reasoning
K. Chatterjee, L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, IEEE, 2006, pp. 179–188.
View
| DOI
K. Chatterjee, L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, IEEE, 2006, pp. 179–188.
2006 | Published | Journal Article | IST-REx-ID: 4550
Games with secure equilibria
K. Chatterjee, T.A. Henzinger, M. Jurdziński, Theoretical Computer Science 365 (2006) 67–82.
View
| DOI
K. Chatterjee, T.A. Henzinger, M. Jurdziński, Theoretical Computer Science 365 (2006) 67–82.
2006 | Published | Conference Paper | IST-REx-ID: 4551
Markov decision processes with multiple objectives
K. Chatterjee, R. Majumdar, T.A. Henzinger, in:, Springer, 2006, pp. 325–336.
View
| DOI
K. Chatterjee, R. Majumdar, T.A. Henzinger, in:, Springer, 2006, pp. 325–336.
2006 | Published | Conference Paper | IST-REx-ID: 4552
Strategy improvement for concurrent reachability games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, IEEE, 2006, pp. 291–300.
View
| DOI
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, IEEE, 2006, pp. 291–300.
2006 | Published | Conference Paper | IST-REx-ID: 4574
Lazy shape analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2006, pp. 532–546.
View
| DOI
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2006, pp. 532–546.
2006 | Published | Preprint | IST-REx-ID: 573 | 
Counterfactual computation revisited
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, (2006).
[Preprint]
View
| Download Preprint (ext.)
| arXiv
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, (2006).
2006 | Published | Preprint | IST-REx-ID: 574 |
Weak measurements and counterfactual computation
O. Hosten, P. Kwiat, (2006).
[Preprint]
View
| Download Preprint (ext.)
| arXiv
O. Hosten, P. Kwiat, (2006).
2006 | Published | Conference Paper | IST-REx-ID: 577
High-efficiency single-photon detectors
R. Rangarajan, J. Altepeter, E. Jeffrey, M. Stoutimore, N. Peters, O. Hosten, P. Kwiat, in:, SPIE, 2006.
View
| DOI
R. Rangarajan, J. Altepeter, E. Jeffrey, M. Stoutimore, N. Peters, O. Hosten, P. Kwiat, in:, SPIE, 2006.
2006 | Published | Conference Paper | IST-REx-ID: 578
Towards a quasi-deterministic single-photon source
N. Peters, K. Arnold, A. Vandevender, E. Jeffrey, R. Rangarajan, O. Hosten, J. Barreiro, J. Altepeter, P. Kwiat, in:, SPIE, 2006.
View
| DOI
N. Peters, K. Arnold, A. Vandevender, E. Jeffrey, R. Rangarajan, O. Hosten, J. Barreiro, J. Altepeter, P. Kwiat, in:, SPIE, 2006.
2006 | Published | Journal Article | IST-REx-ID: 579
Counterfactual quantum computation through quantum interrogation
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, Nature 439 (2006) 949–952.
View
| DOI
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, Nature 439 (2006) 949–952.
2006 | Published | Conference Paper | IST-REx-ID: 583
Improved single-photon detection
R. Rangarajan, N. Peters, O. Hosten, J. Altepeter, E. Jeffrey, P. Kwiat, in:, IEEE, 2006.
View
| DOI
R. Rangarajan, N. Peters, O. Hosten, J. Altepeter, E. Jeffrey, P. Kwiat, in:, IEEE, 2006.
2006 | Published | Journal Article | IST-REx-ID: 6151 |
On the axonal road to circuit function and behaviour: Workshop on the assembly and function of neuronal circuits
I. Salecker, M. Häusser, M. de Bono, EMBO Reports 7 (2006) 585–589.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
I. Salecker, M. Häusser, M. de Bono, EMBO Reports 7 (2006) 585–589.
2006 | Published | Journal Article | IST-REx-ID: 6152
Behavioral motifs and neural pathways coordinating O2 responses and aggregation in C. elegans
C. Rogers, A. Persson, B. Cheung, M. de Bono, Current Biology 16 (2006) 649–659.
View
| DOI
| PubMed | Europe PMC
C. Rogers, A. Persson, B. Cheung, M. de Bono, Current Biology 16 (2006) 649–659.
2006 | Published | Journal Article | IST-REx-ID: 18318
Multigrid multidimensional scaling
M.M. Bronstein, A.M. Bronstein, R. Kimmel, I. Yavneh, Numerical Linear Algebra with Applications 13 (2006) 149–171.
View
| DOI
M.M. Bronstein, A.M. Bronstein, R. Kimmel, I. Yavneh, Numerical Linear Algebra with Applications 13 (2006) 149–171.
2006 | Published | Conference Paper | IST-REx-ID: 18320
On separation of semitransparent dynamic images from static background
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, in:, 6th International Conference on Independent Component Analysis and Signal Separation, Springer Nature, 2006, pp. 934–940.
View
| DOI
A.M. Bronstein, M.M. Bronstein, M. Zibulevsky, in:, 6th International Conference on Independent Component Analysis and Signal Separation, Springer Nature, 2006, pp. 934–940.