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: 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
2006 | Published | Conference Paper | IST-REx-ID: 18320
Bronstein, Alex M., et al. “On Separation of Semitransparent Dynamic Images from Static Background.” 6th International Conference on Independent Component Analysis and Signal Separation, vol. 3889, Springer Nature, 2006, pp. 934–40, doi:10.1007/11679363_116.
View
| DOI
2006 | Published | Conference Paper | IST-REx-ID: 18321
Bronstein, Alex M., et al. “Robust Expression-Invariant Face Recognition from Partially Missing Data.” 9th European Conference on Computer Vision, vol. 3953, Springer Nature, 2006, doi:10.1007/11744078_31.
View
| DOI