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.

231 Publications


2006 | Published | Conference Paper | IST-REx-ID: 4526
Ghosal, Arkadeb, Thomas A Henzinger, Daniel Iercan, Christoph Kirsch, and Alberto Sangiovanni Vincentelli. “A Hierarchical Coordination Language for Interacting Real-Time Tasks,” 132–41. ACM, 2006. https://doi.org/10.1145/1176887.1176907.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4528
Fisher, Jasmin, and Thomas A Henzinger. “Executable Biology,” 1675–82. IEEE, 2006. https://doi.org/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,” 3884:512–23. Springer, 2006. https://doi.org/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,” 3920:257–71. Springer, 2006. https://doi.org/10.1007/11691372_17.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4549
Chatterjee, Krishnendu, Luca De Alfaro, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Compositional Quantitative Reasoning,” 179–88. IEEE, 2006. https://doi.org/10.1109/QEST.2006.11.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 4550
Chatterjee, Krishnendu, Thomas A Henzinger, and Marcin Jurdziński. “Games with Secure Equilibria.” Theoretical Computer Science. Elsevier, 2006. https://doi.org/10.1016/j.tcs.2006.07.032.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4551
Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Markov Decision Processes with Multiple Objectives,” 3884:325–36. Springer, 2006. https://doi.org/10.1007/11672142_26.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4552
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Strategy Improvement for Concurrent Reachability Games,” 291–300. IEEE, 2006. https://doi.org/10.1109/QEST.2006.48.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 4574
Beyer, Dirk, Thomas A Henzinger, and Grégory Théoduloz. “Lazy Shape Analysis,” 4144:532–46. Springer, 2006. https://doi.org/10.1007/11817963_48.
View | DOI
 

2006 | Published | Preprint | IST-REx-ID: 573 | OA
Hosten, Onur, Matthew Rakher, Julio Barreiro, Nicholas Peters, and Paul Kwiat. “Counterfactual Computation Revisited.” ArXiv, 2006. https://doi.org/10.48550/arXiv.quant-ph/0607101.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2006 | Submitted | Preprint | IST-REx-ID: 574 | OA
Hosten, Onur, and Paul Kwiat. “Weak Measurements and Counterfactual Computation.” ArXiv, n.d. https://doi.org/10.48550/arXiv.quant-ph/0612159.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2006 | Published | Conference Paper | IST-REx-ID: 577
Rangarajan, Radhika, Joseph Altepeter, Evan Jeffrey, Micah Stoutimore, Nicholas Peters, Onur Hosten, and Paul Kwiat. “High-Efficiency Single-Photon Detectors.” In Optics East. SPIE, 2006. https://doi.org/10.1117/12.686117.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 578
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.” In Quantum Communications and Quantum Imaging IV, Vol. 6305. SPIE, 2006. https://doi.org/10.1117/12.684702.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 579
Hosten, Onur, Matthew Rakher, Julio Barreiro, Nicholas Peters, and Paul Kwiat. “Counterfactual Quantum Computation through Quantum Interrogation.” Nature. Nature Publishing Group, 2006. https://doi.org/10.1038/nature04523.
View | DOI | PubMed | Europe PMC
 

2006 | Published | Conference Paper | IST-REx-ID: 583
Rangarajan, Radhika, Nicholas Peters, Onur Hosten, Joseph Altepeter, Evan Jeffrey, and Paul Kwiat. “Improved Single-Photon Detection.” In Conference on Lasers and Electro-Optics. IEEE, 2006. https://doi.org/10.1109/CLEO.2006.4628641.
View | DOI
 

2006 | Published | Journal Article | IST-REx-ID: 6151 | OA
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.” EMBO Reports. Wiley, 2006. https://doi.org/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, Annelie Persson, Benny Cheung, and Mario de Bono. “Behavioral Motifs and Neural Pathways Coordinating O2 Responses and Aggregation in C. Elegans.” Current Biology. Elsevier, 2006. https://doi.org/10.1016/j.cub.2006.03.023.
View | DOI | PubMed | Europe PMC
 

2006 | Published | Journal Article | IST-REx-ID: 2066
Vicoso, Beatriz, and Brian Charlesworth. “Evolution on the X Chromosome: Unusual Patterns and Processes.” Nature Reviews Genetics. Nature Publishing Group, 2006. https://doi.org/10.1038/nrg1914.
View | DOI
 

2006 | Published | Conference Paper | IST-REx-ID: 2077
Bickel, Bernd, Martin Wicke, and Markus Gross. “Adaptive Simulation of Electrical Discharges.” IOS Press, 2006.
View
 

2006 | Published | Journal Article | IST-REx-ID: 1033 | OA
Kraemer, Tobias, Michael Mark, Philipp Waldburger, Johann G Danzl, Cheng Chin, Bastian Engeser, Adam Lange, et al. “Evidence for Efimov Quantum States in an Ultracold Gas of Caesium Atoms.” Nature. Nature Publishing Group, 2006. https://doi.org/10.1038/nature04626.
View | DOI | Download None (ext.)
 

Filters and Search Terms

year=2006

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed