Henzinger, Thomas A., and Slobodan Matic. An Interface Algebra for Real-Time Components. IEEE, 2006, pp. 253–66, doi:10.1109/RTAS.2006.11.
LibreCat: https://research-explorer.ista.ac.at/record/4436
DOI: 10.1109/RTAS.2006.11

Henzinger, Thomas A., and Vinayak Prabhu. Timed Alternating-Time Temporal Logic. Vol. 4202, Springer, 2006, pp. 1–17, doi:10.1007/11867340_1.
LibreCat: https://research-explorer.ista.ac.at/record/4432
DOI: 10.1007/11867340_1

Henzinger, Thomas A., and Joseph Sifakis. The Embedded Systems Design Challenge. Vol. 4085, Springer, 2006, pp. 1–15, doi:10.1007/11813040_1.
LibreCat: https://research-explorer.ista.ac.at/record/4431
DOI: 10.1007/11813040_1

Henzinger, Thomas A., et al. “On the Universal and Existential Fragments of the Mu-Calculus.”10.1016/j.tcs.2005.11.015__Theoretical Computer Science, vol. 354, no. 2, Elsevier, 2006, pp. 173–86, doi:10.1016/j.tcs.2005.11.015.
LibreCat: https://research-explorer.ista.ac.at/record/4451
DOI: 10.1016/j.tcs.2005.11.015

Gulavani, Bhargav, et al. Synergy: A New Algorithm for Property Checking. ACM, 2006, pp. 117–27, doi:10.1145/1181775.1181790.
LibreCat: https://research-explorer.ista.ac.at/record/4523
DOI: 10.1145/1181775.1181790

Ghosal, Arkadeb, et al. A Hierarchical Coordination Language for Interacting Real-Time Tasks. ACM, 2006, pp. 132–41, doi:10.1145/1176887.1176907.
LibreCat: https://research-explorer.ista.ac.at/record/4526
DOI: 10.1145/1176887.1176907

Fisher, Jasmin, and Thomas A. Henzinger. Executable Biology. IEEE, 2006, pp. 1675–82, doi:10.1109/WSC.2006.322942.
LibreCat: https://research-explorer.ista.ac.at/record/4528
DOI: 10.1109/WSC.2006.322942

Chatterjee, Krishnendu, and Thomas A. Henzinger. Finitary Winning in Omega-Regular Games. Vol. 3920, Springer, 2006, pp. 257–71, doi:10.1007/11691372_17.
LibreCat: https://research-explorer.ista.ac.at/record/4539
DOI: 10.1007/11691372_17

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.
LibreCat: https://research-explorer.ista.ac.at/record/4538
DOI: 10.1007/11672142_42

Chatterjee, Krishnendu, et al. Markov Decision Processes with Multiple Objectives. Vol. 3884, Springer, 2006, pp. 325–36, doi:10.1007/11672142_26.
LibreCat: https://research-explorer.ista.ac.at/record/4551
DOI: 10.1007/11672142_26

Chatterjee, Krishnendu, et al. “Games with Secure Equilibria.”10.1016/j.tcs.2006.07.032__Theoretical Computer Science, vol. 365, no. 1–2, Elsevier, 2006, pp. 67–82, doi:10.1016/j.tcs.2006.07.032.
LibreCat: https://research-explorer.ista.ac.at/record/4550
DOI: 10.1016/j.tcs.2006.07.032

Chatterjee, Krishnendu, et al. Compositional Quantitative Reasoning. IEEE, 2006, pp. 179–88, doi:10.1109/QEST.2006.11.
LibreCat: https://research-explorer.ista.ac.at/record/4549
DOI: 10.1109/QEST.2006.11

Chatterjee, Krishnendu, et al. Strategy Improvement for Concurrent Reachability Games. IEEE, 2006, pp. 291–300, doi:10.1109/QEST.2006.48.
LibreCat: https://research-explorer.ista.ac.at/record/4552
DOI: 10.1109/QEST.2006.48

Beyer, Dirk, et al. Lazy Shape Analysis. Vol. 4144, Springer, 2006, pp. 532–46, doi:10.1007/11817963_48.
LibreCat: https://research-explorer.ista.ac.at/record/4574
DOI: 10.1007/11817963_48

Hosten, Onur, et al. Counterfactual Computation Revisited. ArXiv, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/573
arXiv: 0607101

Hosten, Onur, and Paul Kwiat. Weak Measurements and Counterfactual Computation. ArXiv, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/574
arXiv: 0612159

Peters, Nicholas, et al. Towards a Quasi-Deterministic Single-Photon Source. Vol. 6305, SPIE, 2006, doi:10.1117/12.684702.
LibreCat: https://research-explorer.ista.ac.at/record/578
DOI: 10.1117/12.684702

Rangarajan, Radhika, et al. High-Efficiency Single-Photon Detectors. Vol. 6372, SPIE, 2006, doi:10.1117/12.686117.
LibreCat: https://research-explorer.ista.ac.at/record/577
DOI: 10.1117/12.686117

Hosten, Onur, et al. “Counterfactual Quantum Computation through Quantum Interrogation.”10.1038/nature04523__Nature, vol. 439, no. 7079, Nature Publishing Group, 2006, pp. 949–52, doi:10.1038/nature04523.
LibreCat: https://research-explorer.ista.ac.at/record/579
DOI: 10.1038/nature04523

Rangarajan, Radhika, et al. Improved Single-Photon Detection. IEEE, 2006, doi:10.1109/CLEO.2006.4628641.
LibreCat: https://research-explorer.ista.ac.at/record/583
DOI: 10.1109/CLEO.2006.4628641