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.

8915 Publications


2006 | Published | Conference Paper | IST-REx-ID: 4549
Chatterjee K, De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. 2006. Compositional quantitative reasoning. QEST: Quantitative Evaluation of Systems, 179–188.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4550
Chatterjee K, Henzinger TA, Jurdziński M. 2006. Games with secure equilibria. Theoretical Computer Science. 365(1–2), 67–82.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4551
Chatterjee K, Majumdar R, Henzinger TA. 2006. Markov decision processes with multiple objectives. STACS: Theoretical Aspects of Computer Science, LNCS, vol. 3884, 325–336.
View | DOI
 

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 | Preprint | IST-REx-ID: 573 | OA
Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. 2006. Counterfactual computation revisited.
[Preprint] View | Download Preprint (ext.) | arXiv
 

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

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. Unknown (978-081946470-5), Proceedings of SPIE, vol. 6372.
View | DOI
 

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, Proc. SPIE, vol. 6305.
View | DOI
 

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
 

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. CLEO/QELS: Conference on Lasers and Electro-Optics / Quantum Electronics and Laser Science Conference.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 8488
Schanda P, Van Melckebeke H, Brutscher B. 2006. Speeding up three-dimensional protein NMR experiments to a few minutes. Journal of the American Chemical Society. 128(28), 9042–9043.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 8489
Schanda P, Forge V, Brutscher B. 2006. HET-SOFAST NMR for fast detection of structural compactness and heterogeneity along polypeptide chains. Magnetic Resonance in Chemistry. 44(S1), S177–S184.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 8490
Schanda P, Brutscher B. 2006. Hadamard frequency-encoded SOFAST-HMQC for ultrafast two-dimensional protein NMR. Journal of Magnetic Resonance. 178(2), 334–339.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 8513
Kaloshin V, Saprykina M. 2006. Generic 3-dimensional volume-preserving diffeomorphisms with superexponential growth of number of periodic orbits. Discrete & Continuous Dynamical Systems - A. 15(2), 611–640.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 8514
OTT W, HUNT B, Kaloshin V. 2006. The effect of projections on fractal sets and measures in Banach spaces. Ergodic Theory and Dynamical Systems. 26(3), 869–891.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 8515
Kaloshin V, DOLGOPYAT D, KORALOV L. 2006. Long time behaviour of periodic stochastic flows. XIVth International Congress on Mathematical Physics. International Congress on Mathematical Physics, 290–295.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 854
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.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 868
Kondrashov F, Koonin E, Morgunov I, Finogenova T, Kondrashova M. 2006. Evolution of glyoxylate cycle enzymes in Metazoa Evidence of multiple horizontal transfer events and pseudogene formation. Biology Direct. 1.
View | DOI
 

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
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed