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.
6983 Publications
2006 |Published| Conference Paper | IST-REx-ID: 4538
Chatterjee, Krishnendu, and Thomas A. Henzinger. Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games. Vol. 3884, Springer, 2006, pp. 512–23, doi:10.1007/11672142_42.
View
| DOI
2006 |Published| Conference Paper | IST-REx-ID: 4551
Chatterjee, Krishnendu, et al. Markov Decision Processes with Multiple Objectives. Vol. 3884, Springer, 2006, pp. 325–36, doi:10.1007/11672142_26.
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 4550
Chatterjee, Krishnendu, et al. “Games with Secure Equilibria.” Theoretical Computer Science, vol. 365, no. 1–2, Elsevier, 2006, pp. 67–82, doi:10.1016/j.tcs.2006.07.032.
View
| DOI
2006 |Published| Conference Paper | IST-REx-ID: 4549
Chatterjee, Krishnendu, et al. Compositional Quantitative Reasoning. IEEE, 2006, pp. 179–88, doi:10.1109/QEST.2006.11.
View
| DOI
2006 |Published| Conference Paper | IST-REx-ID: 4552
Chatterjee, Krishnendu, et al. Strategy Improvement for Concurrent Reachability Games. IEEE, 2006, pp. 291–300, doi:10.1109/QEST.2006.48.
View
| DOI
2006 |Published| Conference Paper | IST-REx-ID: 4574
Beyer, Dirk, et al. Lazy Shape Analysis. Vol. 4144, Springer, 2006, pp. 532–46, doi:10.1007/11817963_48.
View
| DOI
2006 |Published| Preprint | IST-REx-ID: 573 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hosten, Onur, et al. Counterfactual Computation Revisited. ArXiv, 2006.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2006 |Published| Preprint | IST-REx-ID: 574 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hosten, Onur, and Paul Kwiat. Weak Measurements and Counterfactual Computation. ArXiv, 2006.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2006 |Published| Conference Paper | IST-REx-ID: 578
Peters, Nicholas, et al. Towards a Quasi-Deterministic Single-Photon Source. Vol. 6305, SPIE, 2006, doi:10.1117/12.684702.
View
| DOI
2006 |Published| Conference Paper | IST-REx-ID: 577
Rangarajan, Radhika, et al. High-Efficiency Single-Photon Detectors. Vol. 6372, SPIE, 2006, doi:10.1117/12.686117.
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 579
Hosten, Onur, et al. “Counterfactual Quantum Computation through Quantum Interrogation.” Nature, vol. 439, no. 7079, Nature Publishing Group, 2006, pp. 949–52, doi:10.1038/nature04523.
View
| DOI
2006 |Published| Conference Paper | IST-REx-ID: 583
Rangarajan, Radhika, et al. Improved Single-Photon Detection. IEEE, 2006, doi:10.1109/CLEO.2006.4628641.
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 6151 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Salecker, Iris, et al. “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, 2006, pp. 585–89, 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, Candida, et al. “Behavioral Motifs and Neural Pathways Coordinating O2 Responses and Aggregation in C. Elegans.” Current Biology, vol. 16, no. 7, Elsevier, 2006, pp. 649–59, doi:10.1016/j.cub.2006.03.023.
View
| DOI
| PubMed | Europe PMC
2006 |Published| Journal Article | IST-REx-ID: 854
Rogaev, Evgeny, et al. “Complete Mitochondrial Genome and Phylogeny of Pleistocene Mammoth Mammuthus Primigenius.” PLoS Biology, vol. 4, no. 3, Public Library of Science, 2006, pp. 0403–10, doi:10.1371/journal.pbio.0040073.
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 868
Kondrashov, Fyodor, et al. “Evolution of Glyoxylate Cycle Enzymes in Metazoa Evidence of Multiple Horizontal Transfer Events and Pseudogene Formation.” Biology Direct, vol. 1, BioMed Central, 2006, doi:10.1186/1745-6150-1-31.
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 873
Kondrashov, Fyodor, and Alexey Kondrashov. “Role of Selection in Fixation of Gene Duplications.” Journal of Theoretical Biology, vol. 239, no. 2, Elsevier, 2006, pp. 141–51, doi:10.1016/j.jtbi.2005.08.033.
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 869
Kondrashov, Fyodor, et al. “Selection in Favor of Nucleotides G and C Diversifies Evolution Rates and Levels of Polymorphism at Mammalian Synonymous Sites.” Journal of Theoretical Biology, vol. 240, no. 4, Elsevier, 2006, pp. 616–26, doi:10.1016/j.jtbi.2005.10.020.
View
| DOI
2006 |Published| Journal Article | IST-REx-ID: 903
Babenko, Vladimir, et al. “Signs of Positive Selection of Somatic Mutations in Human Cancers Detected by EST Sequence Analysis.” BMC Cancer, vol. 6, BioMed Central, 2006, doi:10.1186/1471-2407-6-36.
View
| DOI
2005 |Published| Journal Article | IST-REx-ID: 1298
Reiff, Dierk, et al. “In Vivo Performance of Genetically Encoded Indicators of Neural Activity in Flies.” Journal of Neuroscience, vol. 25, no. 19, Society for Neuroscience, 2005, pp. 4766–78, doi:10.1523/JNEUROSCI.4900-04.2005.
View
| DOI