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.
10932 Publications
2006 | Published | Journal Article | IST-REx-ID: 4451
Henzinger, Thomas A., et al. “On the Universal and Existential Fragments of the Mu-Calculus.” Theoretical Computer Science, vol. 354, no. 2, Elsevier, 2006, pp. 173–86, doi:10.1016/j.tcs.2005.11.015.
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 4523
Gulavani, Bhargav, et al. Synergy: A New Algorithm for Property Checking. ACM, 2006, pp. 117–27, doi:10.1145/1181775.1181790.
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 4526
Ghosal, Arkadeb, et al. A Hierarchical Coordination Language for Interacting Real-Time Tasks. ACM, 2006, pp. 132–41, doi:10.1145/1176887.1176907.
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 4528
Fisher, Jasmin, and Thomas A. Henzinger. Executable Biology. IEEE, 2006, pp. 1675–82, doi:10.1109/WSC.2006.322942.
View
| DOI
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: 4539
Chatterjee, Krishnendu, and Thomas A. Henzinger. Finitary Winning in Omega-Regular Games. Vol. 3920, Springer, 2006, pp. 257–71, doi:10.1007/11691372_17.
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 | 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: 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 | 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 | 
Hosten, Onur, et al. Counterfactual Computation Revisited. ArXiv, 2006.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2006 | Published | Preprint | IST-REx-ID: 574 |
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: 577
Rangarajan, Radhika, et al. High-Efficiency Single-Photon Detectors. Vol. 6372, SPIE, 2006, doi:10.1117/12.686117.
View
| DOI
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 | 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 |
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: 18318
Bronstein, M. M., et al. “Multigrid Multidimensional Scaling.” Numerical Linear Algebra with Applications, vol. 13, no. 2–3, Wiley, 2006, pp. 149–71, doi:10.1002/nla.475.
View
| DOI