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. Ghosal, T. A. Henzinger, D. Iercan, C. Kirsch, and A. Sangiovanni Vincentelli, “A hierarchical coordination language for interacting real-time tasks,” presented at the EMSOFT: Embedded Software , 2006, pp. 132–141.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4528
J. Fisher and T. A. Henzinger, “Executable biology,” presented at the WSC: Winter Simulation Conference, 2006, pp. 1675–1682.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4538
K. Chatterjee and T. A. Henzinger, “Strategy improvement and randomized subexponential algorithms for stochastic parity games,” presented at the STACS: Theoretical Aspects of Computer Science, 2006, vol. 3884, pp. 512–523.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4539
K. Chatterjee and T. A. Henzinger, “Finitary winning in omega-regular games,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2006, vol. 3920, pp. 257–271.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4549
K. Chatterjee, L. De Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, “Compositional quantitative reasoning,” presented at the QEST: Quantitative Evaluation of Systems, 2006, pp. 179–188.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4550
K. Chatterjee, T. A. Henzinger, and M. Jurdziński, “Games with secure equilibria,” Theoretical Computer Science, vol. 365, no. 1–2. Elsevier, pp. 67–82, 2006.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4551
K. Chatterjee, R. Majumdar, and T. A. Henzinger, “Markov decision processes with multiple objectives,” presented at the STACS: Theoretical Aspects of Computer Science, 2006, vol. 3884, pp. 325–336.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4552
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Strategy improvement for concurrent reachability games,” presented at the QEST: Quantitative Evaluation of Systems, 2006, pp. 291–300.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4574
D. Beyer, T. A. Henzinger, and G. Théoduloz, “Lazy shape analysis,” presented at the CAV: Computer Aided Verification, 2006, vol. 4144, pp. 532–546.
View | DOI
 

2006 | Published | Preprint | IST-REx-ID: 573 | OA
O. Hosten, M. Rakher, J. Barreiro, N. Peters, and P. Kwiat, “Counterfactual computation revisited.” ArXiv, 2006.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2006 | Submitted | Preprint | IST-REx-ID: 574 | OA
O. Hosten and P. Kwiat, “Weak measurements and counterfactual computation.” ArXiv.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2006 | Published | Conference Paper | IST-REx-ID: 577
R. Rangarajan et al., “High-efficiency single-photon detectors,” in Optics East, Boston, Massachusetts, United States, 2006.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 578
N. Peters et al., “Towards a quasi-deterministic single-photon source,” in Quantum Communications and Quantum Imaging IV, San DIego, CA, United States, 2006, vol. 6305.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 579
O. Hosten, M. Rakher, J. Barreiro, N. Peters, and P. Kwiat, “Counterfactual quantum computation through quantum interrogation,” Nature, vol. 439, no. 7079. Nature Publishing Group, pp. 949–952, 2006.
View | DOI | PubMed | Europe PMC
 

2006 | Published | Conference Paper | IST-REx-ID: 583
R. Rangarajan, N. Peters, O. Hosten, J. Altepeter, E. Jeffrey, and P. Kwiat, “Improved single-photon detection,” in Conference on Lasers and Electro-Optics, Long Beach, CA, United States, 2006.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 6151 | OA
I. Salecker, M. Häusser, and M. de Bono, “On the axonal road to circuit function and behaviour: Workshop on the assembly and function of neuronal circuits,” EMBO reports, vol. 7, no. 6. Wiley, pp. 585–589, 2006.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2006 | Published | Journal Article | IST-REx-ID: 6152
C. Rogers, A. Persson, B. Cheung, and M. de Bono, “Behavioral motifs and neural pathways coordinating O2 responses and aggregation in C. elegans,” Current Biology, vol. 16, no. 7. Elsevier, pp. 649–659, 2006.
View | DOI | PubMed | Europe PMC
 

2006 | Published | Journal Article | IST-REx-ID: 2066
B. Vicoso and B. Charlesworth, “Evolution on the X chromosome: Unusual patterns and processes,” Nature Reviews Genetics, vol. 7, no. 8. Nature Publishing Group, pp. 645–653, 2006.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 2077
B. Bickel, M. Wicke, and M. Gross, “Adaptive simulation of electrical discharges,” presented at the VMV: Vision, Modeling, and Visualization, 2006.
View
 

2006 | Published | Journal Article | IST-REx-ID: 1033 | OA
T. Kraemer et al., “Evidence for Efimov quantum states in an ultracold gas of caesium atoms,” Nature, vol. 440, no. 7082. Nature Publishing Group, pp. 315–318, 2006.
View | DOI | Download None (ext.)
 

Filters and Search Terms

year=2006

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed