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, A., Henzinger, T. A., Iercan, D., Kirsch, C., & Sangiovanni Vincentelli, A. (2006). A hierarchical coordination language for interacting real-time tasks (pp. 132–141). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1145/1176887.1176907
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4528
Fisher, J., & Henzinger, T. A. (2006). Executable biology (pp. 1675–1682). Presented at the WSC: Winter Simulation Conference, IEEE. https://doi.org/10.1109/WSC.2006.322942
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4538
Chatterjee, K., & Henzinger, T. A. (2006). Strategy improvement and randomized subexponential algorithms for stochastic parity games (Vol. 3884, pp. 512–523). Presented at the STACS: Theoretical Aspects of Computer Science, Springer. https://doi.org/10.1007/11672142_42
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4539
Chatterjee, K., & Henzinger, T. A. (2006). Finitary winning in omega-regular games (Vol. 3920, pp. 257–271). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/11691372_17
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4549
Chatterjee, K., De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2006). Compositional quantitative reasoning (pp. 179–188). Presented at the QEST: Quantitative Evaluation of Systems, IEEE. https://doi.org/10.1109/QEST.2006.11
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 4550
Chatterjee, K., Henzinger, T. A., & Jurdziński, M. (2006). Games with secure equilibria. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2006.07.032
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4551
Chatterjee, K., Majumdar, R., & Henzinger, T. A. (2006). Markov decision processes with multiple objectives (Vol. 3884, pp. 325–336). Presented at the STACS: Theoretical Aspects of Computer Science, Springer. https://doi.org/10.1007/11672142_26
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4552
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2006). Strategy improvement for concurrent reachability games (pp. 291–300). Presented at the QEST: Quantitative Evaluation of Systems, IEEE. https://doi.org/10.1109/QEST.2006.48
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4574
Beyer, D., Henzinger, T. A., & Théoduloz, G. (2006). Lazy shape analysis (Vol. 4144, pp. 532–546). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/11817963_48
View
| DOI
2006 |
Published |
Preprint |
IST-REx-ID: 573 |
Hosten, O., Rakher, M., Barreiro, J., Peters, N., & Kwiat, P. (2006). Counterfactual computation revisited. ArXiv. https://doi.org/10.48550/arXiv.quant-ph/0607101
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2006 |
Submitted |
Preprint |
IST-REx-ID: 574 |
Hosten, O., & Kwiat, P. (n.d.). Weak measurements and counterfactual computation. ArXiv. 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, R., Altepeter, J., Jeffrey, E., Stoutimore, M., Peters, N., Hosten, O., & Kwiat, P. (2006). High-efficiency single-photon detectors. In Optics East. Boston, Massachusetts, United States: SPIE. https://doi.org/10.1117/12.686117
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 578
Peters, N., Arnold, K., Vandevender, A., Jeffrey, E., Rangarajan, R., Hosten, O., … Kwiat, P. (2006). Towards a quasi-deterministic single-photon source. In Quantum Communications and Quantum Imaging IV (Vol. 6305). San DIego, CA, United States: SPIE. https://doi.org/10.1117/12.684702
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 579
Hosten, O., Rakher, M., Barreiro, J., Peters, N., & Kwiat, P. (2006). Counterfactual quantum computation through quantum interrogation. Nature. Nature Publishing Group. https://doi.org/10.1038/nature04523
View
| DOI
| PubMed | Europe PMC
2006 |
Published |
Conference Paper |
IST-REx-ID: 583
Rangarajan, R., Peters, N., Hosten, O., Altepeter, J., Jeffrey, E., & Kwiat, P. (2006). Improved single-photon detection. In Conference on Lasers and Electro-Optics. Long Beach, CA, United States: IEEE. https://doi.org/10.1109/CLEO.2006.4628641
View
| DOI
2006 |
Published |
Journal Article |
IST-REx-ID: 6151 |
Salecker, I., Häusser, M., & de Bono, M. (2006). On the axonal road to circuit function and behaviour: Workshop on the assembly and function of neuronal circuits. EMBO Reports. Wiley. 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, C., Persson, A., Cheung, B., & de Bono, M. (2006). Behavioral motifs and neural pathways coordinating O2 responses and aggregation in C. elegans. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2006.03.023
View
| DOI
| PubMed | Europe PMC
2006 |
Published |
Journal Article |
IST-REx-ID: 2066
Vicoso, B., & Charlesworth, B. (2006). Evolution on the X chromosome: Unusual patterns and processes. Nature Reviews Genetics. Nature Publishing Group. https://doi.org/10.1038/nrg1914
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 2077
Bickel, B., Wicke, M., & Gross, M. (2006). Adaptive simulation of electrical discharges. Presented at the VMV: Vision, Modeling, and Visualization, IOS Press.
View
2006 |
Published |
Journal Article |
IST-REx-ID: 1033 |
Kraemer, T., Mark, M., Waldburger, P., Danzl, J. G., Chin, C., Engeser, B., … Grimm, R. (2006). Evidence for Efimov quantum states in an ultracold gas of caesium atoms. Nature. Nature Publishing Group. https://doi.org/10.1038/nature04626
View
| DOI
| Download None (ext.)