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.

230 Publications


2006 | Published | Conference Paper | IST-REx-ID: 4552
Chatterjee K, De Alfaro L, Henzinger TA. 2006. Strategy improvement for concurrent reachability games. QEST: Quantitative Evaluation of Systems, 291–300.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4574
Beyer D, Henzinger TA, Théoduloz G. 2006. Lazy shape analysis. CAV: Computer Aided Verification, LNCS, vol. 4144, 532–546.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 854 | OA
Rogaev E, Moliaka Y, Malyarchuk B, Kondrashov F, Derenko M, Chumakov I, Grigorenko A. 2006. Complete mitochondrial genome and phylogeny of pleistocene mammoth Mammuthus primigenius. PLoS Biology. 4(3), 0403–0410.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2006 | Published | Journal Article | IST-REx-ID: 869
Kondrashov F, Ogurtsov A, Kondrashov A. 2006. Selection in favor of nucleotides G and C diversifies evolution rates and levels of polymorphism at mammalian synonymous sites. Journal of Theoretical Biology. 240(4), 616–626.
View | DOI | PubMed | Europe PMC
 

2006 | Published | Journal Article | IST-REx-ID: 579
Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. 2006. Counterfactual quantum computation through quantum interrogation. Nature. 439(7079), 949–952.
View | DOI | PubMed | Europe PMC
 

2006 | Published | Conference Paper | IST-REx-ID: 578
Peters N, Arnold K, Vandevender A, Jeffrey E, Rangarajan R, Hosten O, Barreiro J, Altepeter J, Kwiat P. 2006. Towards a quasi-deterministic single-photon source. Quantum Communications and Quantum Imaging IV. SPIE OPTICS+PHOTONICS vol. 6305, 630507.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 577
Rangarajan R, Altepeter J, Jeffrey E, Stoutimore M, Peters N, Hosten O, Kwiat P. 2006. High-efficiency single-photon detectors. Optics East. OPTICS EAST, Advanced Photon Counting Techniques, , 6372.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 583
Rangarajan R, Peters N, Hosten O, Altepeter J, Jeffrey E, Kwiat P. 2006. Improved single-photon detection. Conference on Lasers and Electro-Optics. CLEO/QELS: Conference on Lasers and Electro-Optics / Quantum Electronics and Laser Science Conference.
View | DOI
 

2006 | Published | Preprint | IST-REx-ID: 573 | OA
Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. 2006. Counterfactual computation revisited. 10.48550/arXiv.quant-ph/0607101.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2006 | Submitted | Preprint | IST-REx-ID: 574 | OA
Hosten O, Kwiat P. Weak measurements and counterfactual computation. 10.48550/arXiv.quant-ph/0612159.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

year=2006

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed