Please note that IST 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.

191 Publications


2006 | Conference Paper | IST-REx-ID: 4437
Henzinger, T. A., & Piterman, N. (2006). Solving games without determinization (Vol. 4207, pp. 395–410). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/11874683_26
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4451
Henzinger, T. A., Kupferman, O., & Majumdar, R. (2006). On the universal and existential fragments of the mu-calculus. Theoretical Computer Science, 354(2), 173–186. https://doi.org/10.1016/j.tcs.2005.11.015
View | DOI
 

2006 | 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 | 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 | Conference Paper | IST-REx-ID: 4401
Alur, R., Cerny, P., & Zdancewic, S. (2006). Preserving Secrecy Under Refinement (pp. 107–118). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/1543
View | DOI
 

2006 | 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 | 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 (Vol. 6305). Presented at the Quantum Communications and Quantum Imaging, SPIE. https://doi.org/10.1117/12.684702
View | DOI
 

2006 | Journal Article | IST-REx-ID: 573   OA
Hosten, O., Rakher, M., Barreiro, J., Peters, N., & Kwiat, P. (2006). Counterfactual computation revisited. Quantum Physics.
View | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 903
Babenko, V., Basu, M., Kondrashov, F., Rogozin, I., & Koonin, E. (2006). Signs of positive selection of somatic mutations in human cancers detected by EST sequence analysis. BMC Cancer, 6. https://doi.org/10.1186/1471-2407-6-36
View | DOI
 

2006 | Journal Article | IST-REx-ID: 869
Kondrashov, F., Ogurtsov, A., & Kondrashov, A. (2006). Selection in favor of nucleotides G and C diversifies evolution rates and levels of polymorphism at mammalian synonymous sites. Journal of Theoretical Biology, 240(4), 616–626. https://doi.org/10.1016/j.jtbi.2005.10.020
View | DOI
 

Filters and Search Terms

year=2006

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed