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.
6981 Publications
2006 |Published| Journal Article | IST-REx-ID: 4550
Chatterjee K, Henzinger TA, Jurdziński M. Games with secure equilibria. Theoretical Computer Science. 2006;365(1-2):67-82. doi:10.1016/j.tcs.2006.07.032
View
| DOI
2006 |Published| Conference Paper | IST-REx-ID: 4549
Chatterjee K, De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. Compositional quantitative reasoning. In: IEEE; 2006:179-188. doi:10.1109/QEST.2006.11
View
| DOI
2006 |Published| Conference Paper | IST-REx-ID: 4552
Chatterjee K, De Alfaro L, Henzinger TA. Strategy improvement for concurrent reachability games. In: IEEE; 2006:291-300. doi:10.1109/QEST.2006.48
View
| DOI
2006 |Published| Conference Paper | IST-REx-ID: 4574
Beyer D, Henzinger TA, Théoduloz G. Lazy shape analysis. In: Vol 4144. Springer; 2006:532-546. doi:10.1007/11817963_48
View
| DOI
2006 |Published| Preprint | IST-REx-ID: 573 | 
Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. Counterfactual computation revisited. 2006.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2006 |Published| Preprint | IST-REx-ID: 574 |
Hosten O, Kwiat P. Weak measurements and counterfactual computation. 2006.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2006 |Published| Conference Paper | IST-REx-ID: 578
Peters N, Arnold K, Vandevender A, et al. Towards a quasi-deterministic single-photon source. In: Vol 6305. SPIE; 2006. doi:10.1117/12.684702
View
| DOI
2006 |Published| Conference Paper | IST-REx-ID: 577
Rangarajan R, Altepeter J, Jeffrey E, et al. High-efficiency single-photon detectors. In: Vol 6372. SPIE; 2006. doi:10.1117/12.686117
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 579
Hosten O, Rakher M, Barreiro J, Peters N, Kwiat P. Counterfactual quantum computation through quantum interrogation. Nature. 2006;439(7079):949-952. doi:10.1038/nature04523
View
| DOI
2006 |Published| Conference Paper | IST-REx-ID: 583
Rangarajan R, Peters N, Hosten O, Altepeter J, Jeffrey E, Kwiat P. Improved single-photon detection. In: IEEE; 2006. doi:10.1109/CLEO.2006.4628641
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 6151 |
Salecker I, Häusser M, de Bono M. On the axonal road to circuit function and behaviour: Workshop on the assembly and function of neuronal circuits. EMBO reports. 2006;7(6):585-589. doi:10.1038/sj.embor.7400713
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2006 |Published| Journal Article | IST-REx-ID: 6152
Rogers C, Persson A, Cheung B, de Bono M. Behavioral motifs and neural pathways coordinating O2 responses and aggregation in C. elegans. Current Biology. 2006;16(7):649-659. doi:10.1016/j.cub.2006.03.023
View
| DOI
| PubMed | Europe PMC
2006 |Published| Journal Article | IST-REx-ID: 854
Rogaev E, Moliaka Y, Malyarchuk B, et al. Complete mitochondrial genome and phylogeny of pleistocene mammoth Mammuthus primigenius. PLoS Biology. 2006;4(3):0403-0410. doi:10.1371/journal.pbio.0040073
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 868
Kondrashov F, Koonin E, Morgunov I, Finogenova T, Kondrashova M. Evolution of glyoxylate cycle enzymes in Metazoa Evidence of multiple horizontal transfer events and pseudogene formation. Biology Direct. 2006;1. doi:10.1186/1745-6150-1-31
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 873
Kondrashov F, Kondrashov A. Role of selection in fixation of gene duplications. Journal of Theoretical Biology. 2006;239(2):141-151. doi:10.1016/j.jtbi.2005.08.033
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 869
Kondrashov F, Ogurtsov A, Kondrashov A. Selection in favor of nucleotides G and C diversifies evolution rates and levels of polymorphism at mammalian synonymous sites. Journal of Theoretical Biology. 2006;240(4):616-626. doi:10.1016/j.jtbi.2005.10.020
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 903
Babenko V, Basu M, Kondrashov F, Rogozin I, Koonin E. Signs of positive selection of somatic mutations in human cancers detected by EST sequence analysis. BMC Cancer. 2006;6. doi:10.1186/1471-2407-6-36
View
| DOI
2005 |Published| Journal Article | IST-REx-ID: 1298
Reiff D, Ihring A, Guerrero G, et al. In vivo performance of genetically encoded indicators of neural activity in flies. Journal of Neuroscience. 2005;25(19):4766-4778. doi:10.1523/JNEUROSCI.4900-04.2005
View
| DOI
2005 |Published| Journal Article | IST-REx-ID: 1447 |
Hausel T. Quaternionic geometry of matroids. Open Mathematics. 2005;3(1):26-38. doi:10.2478/BF02475653
View
| DOI
| Download (ext.)
2005 |Published| Book Chapter | IST-REx-ID: 1444 |
Hausel T. Mirror symmetry and Langlands duality in the non-Abelian Hodge theory of a curve. In: Geometric Methods in Algebra and Number Theory. Vol 235. Springer; 2005:193-217. doi:10.1007/0-8176-4417-2_9
View
| DOI
| Download (ext.)