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.
231 Publications
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
| DOI
| Download Preprint (ext.)
| arXiv
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, (2006).
2006 |
Submitted |
Preprint |
IST-REx-ID: 574 |
Weak measurements and counterfactual computation
O. Hosten, P. Kwiat, (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
O. Hosten, P. Kwiat, (n.d.).
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:, Optics East, SPIE, 2006.
View
| DOI
R. Rangarajan, J. Altepeter, E. Jeffrey, M. Stoutimore, N. Peters, O. Hosten, P. Kwiat, in:, Optics East, 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:, Quantum Communications and Quantum Imaging IV, SPIE, 2006.
View
| DOI
N. Peters, K. Arnold, A. Vandevender, E. Jeffrey, R. Rangarajan, O. Hosten, J. Barreiro, J. Altepeter, P. Kwiat, in:, Quantum Communications and Quantum Imaging IV, 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
| PubMed | Europe PMC
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:, Conference on Lasers and Electro-Optics, IEEE, 2006.
View
| DOI
R. Rangarajan, N. Peters, O. Hosten, J. Altepeter, E. Jeffrey, P. Kwiat, in:, Conference on Lasers and Electro-Optics, 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: 2066
Evolution on the X chromosome: Unusual patterns and processes
B. Vicoso, B. Charlesworth, Nature Reviews Genetics 7 (2006) 645–653.
View
| DOI
B. Vicoso, B. Charlesworth, Nature Reviews Genetics 7 (2006) 645–653.
2006 |
Published |
Conference Paper |
IST-REx-ID: 2077
Adaptive simulation of electrical discharges
B. Bickel, M. Wicke, M. Gross, in:, IOS Press, 2006.
View
B. Bickel, M. Wicke, M. Gross, in:, IOS Press, 2006.
2006 |
Published |
Journal Article |
IST-REx-ID: 1033 |
Evidence for Efimov quantum states in an ultracold gas of caesium atoms
T. Kraemer, M. Mark, P. Waldburger, J.G. Danzl, C. Chin, B. Engeser, A. Lange, K. Pilch, A. Jaakkola, H. Nägerl, R. Grimm, Nature 440 (2006) 315–318.
View
| DOI
| Download None (ext.)
T. Kraemer, M. Mark, P. Waldburger, J.G. Danzl, C. Chin, B. Engeser, A. Lange, K. Pilch, A. Jaakkola, H. Nägerl, R. Grimm, Nature 440 (2006) 315–318.