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.
204 Publications
2006 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | Preprint | IST-REx-ID: 573 | 
Hosten, Onur, et al. Counterfactual Computation Revisited. ArXiv, 2006.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2006 | Preprint | IST-REx-ID: 574 |
Hosten, Onur, and Paul Kwiat. Weak Measurements and Counterfactual Computation. ArXiv, 2006.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2006 | 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 | 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 | 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 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 7328
Freunberger, Stefan Alexander, et al. “Measuring the Current Distribution in PEFCs with Sub-Millimeter Resolution.” Journal of The Electrochemical Society, vol. 153, no. 11, A2158, The Electrochemical Society, 2006, doi:10.1149/1.2345591.
View
| DOI
2006 | Journal Article | IST-REx-ID: 7327
Santis, Marco, et al. “Experimental Investigation of Coupling Phenomena in Polymer Electrolyte Fuel Cell Stacks.” Journal of Power Sources, vol. 161, no. 2, Elsevier, 2006, pp. 1076–83, doi:10.1016/j.jpowsour.2006.06.007.
View
| DOI
2006 | Conference Paper | IST-REx-ID: 7326
Büchi, Felix N., et al. “What Is Learned beyond the Scale of Single Cells?” ECS Transactions, vol. 3, no. 1, ECS, 2006, pp. 963–68, doi:10.1149/1.2356215.
View
| DOI