Henzinger, Thomas A, Orna Kupferman, and Ritankar Majumdar. “On the Universal and Existential Fragments of the Mu-Calculus.”https://doi.org/10.1016/j.tcs.2005.11.015__Theoretical Computer Science. Elsevier, 2006.https://doi.org/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, Thomas A Henzinger, Yamini Kannan, Aditya Nori, and Sriram Rajamani. “Synergy: A New Algorithm for Property Checking,”https://doi.org/10.1145/1181775.1181790__117–27. ACM, 2006.https://doi.org/10.1145/1181775.1181790 .
LibreCat: https://research-explorer.ista.ac.at/record/4523
DOI: 10.1145/1181775.1181790

Ghosal, Arkadeb, Thomas A Henzinger, Daniel Iercan, Christoph Kirsch, and Alberto Sangiovanni Vincentelli. “A Hierarchical Coordination Language for Interacting Real-Time Tasks,”https://doi.org/10.1145/1176887.1176907__132–41. ACM, 2006.https://doi.org/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,”https://doi.org/10.1109/WSC.2006.322942__1675–82. IEEE, 2006.https://doi.org/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,”https://doi.org/10.1007/11691372_17__3920:257–71. Springer, 2006.https://doi.org/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,”https://doi.org/10.1007/11672142_42__3884:512–23. Springer, 2006.https://doi.org/10.1007/11672142_42 .
LibreCat: https://research-explorer.ista.ac.at/record/4538
DOI: 10.1007/11672142_42

Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Markov Decision Processes with Multiple Objectives,”https://doi.org/10.1007/11672142_26__3884:325–36. Springer, 2006.https://doi.org/10.1007/11672142_26 .
LibreCat: https://research-explorer.ista.ac.at/record/4551
DOI: 10.1007/11672142_26

Chatterjee, Krishnendu, Thomas A Henzinger, and Marcin Jurdziski. “Games with Secure Equilibria.”https://doi.org/10.1016/j.tcs.2006.07.032__Theoretical Computer Science. Elsevier, 2006.https://doi.org/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, Luca De Alfaro, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Compositional Quantitative Reasoning,”https://doi.org/10.1109/QEST.2006.11__179–88. IEEE, 2006.https://doi.org/10.1109/QEST.2006.11 .
LibreCat: https://research-explorer.ista.ac.at/record/4549
DOI: 10.1109/QEST.2006.11

Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Strategy Improvement for Concurrent Reachability Games,”https://doi.org/10.1109/QEST.2006.48__291–300. IEEE, 2006.https://doi.org/10.1109/QEST.2006.48 .
LibreCat: https://research-explorer.ista.ac.at/record/4552
DOI: 10.1109/QEST.2006.48

Beyer, Dirk, Thomas A Henzinger, and Grégory Théoduloz. “Lazy Shape Analysis,”https://doi.org/10.1007/11817963_48__4144:532–46. Springer, 2006.https://doi.org/10.1007/11817963_48 .
LibreCat: https://research-explorer.ista.ac.at/record/4574
DOI: 10.1007/11817963_48

Hosten, Onur, Matthew Rakher, Julio Barreiro, Nicholas Peters, and Paul Kwiat. “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, Keith Arnold, Aaron Vandevender, Evan Jeffrey, Radhika Rangarajan, Onur Hosten, Julio Barreiro, Joseph Altepeter, and Paul Kwiat. “Towards a Quasi-Deterministic Single-Photon Source,”https://doi.org/10.1117/12.684702__Vol. 6305. SPIE, 2006.https://doi.org/10.1117/12.684702 .
LibreCat: https://research-explorer.ista.ac.at/record/578
DOI: 10.1117/12.684702

Rangarajan, Radhika, Joseph Altepeter, Evan Jeffrey, Micah Stoutimore, Nicholas Peters, Onur Hosten, and Paul Kwiat. “High-Efficiency Single-Photon Detectors,”https://doi.org/10.1117/12.686117__Vol. 6372. SPIE, 2006.https://doi.org/10.1117/12.686117 .
LibreCat: https://research-explorer.ista.ac.at/record/577
DOI: 10.1117/12.686117

Hosten, Onur, Matthew Rakher, Julio Barreiro, Nicholas Peters, and Paul Kwiat. “Counterfactual Quantum Computation through Quantum Interrogation.”https://doi.org/10.1038/nature04523__Nature. Nature Publishing Group, 2006.https://doi.org/10.1038/nature04523 .
LibreCat: https://research-explorer.ista.ac.at/record/579
DOI: 10.1038/nature04523

Rangarajan, Radhika, Nicholas Peters, Onur Hosten, Joseph Altepeter, Evan Jeffrey, and Paul Kwiat. “Improved Single-Photon Detection.”https://doi.org/10.1109/CLEO.2006.4628641__IEEE, 2006.https://doi.org/10.1109/CLEO.2006.4628641 .
LibreCat: https://research-explorer.ista.ac.at/record/583
DOI: 10.1109/CLEO.2006.4628641

Salecker, Iris, Michael Häusser, and Mario de Bono. “On the Axonal Road to Circuit Function and Behaviour: Workshop on the Assembly and Function of Neuronal Circuits.”https://doi.org/10.1038/sj.embor.7400713__EMBO Reports. Wiley, 2006.https://doi.org/10.1038/sj.embor.7400713 .
LibreCat: https://research-explorer.ista.ac.at/record/6151
DOI: 10.1038/sj.embor.7400713
PMID: 16729018

Rogers, Candida, Annelie Persson, Benny Cheung, and Mario de Bono. “Behavioral Motifs and Neural Pathways Coordinating O2 Responses and Aggregation in C. Elegans.”https://doi.org/10.1016/j.cub.2006.03.023__Current Biology. Elsevier, 2006.https://doi.org/10.1016/j.cub.2006.03.023 .
LibreCat: https://research-explorer.ista.ac.at/record/6152
DOI: 10.1016/j.cub.2006.03.023
PMID: 16581509

Freunberger, Stefan Alexander, Mathias Reum, Jorg Evertz, Alexander Wokaun, and Felix N. Buchi. “Measuring the Current Distribution in PEFCs with Sub-Millimeter Resolution.”https://doi.org/10.1149/1.2345591__Journal of The Electrochemical Society. The Electrochemical Society, 2006.https://doi.org/10.1149/1.2345591 .
LibreCat: https://research-explorer.ista.ac.at/record/7328
DOI: 10.1149/1.2345591