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 TA, Piterman N. 2006. Solving games without determinization. CSL: Computer Science Logic, LNCS, vol. 4207. 395–410.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4451
Henzinger TA, Kupferman O, Majumdar R. 2006. On the universal and existential fragments of the mu-calculus. Theoretical Computer Science. 354(2), 173–186.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4526
Ghosal A, Henzinger TA, Iercan D, Kirsch C, Sangiovanni Vincentelli A. 2006. A hierarchical coordination language for interacting real-time tasks. EMSOFT: Embedded Software 132–141.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4552
Chatterjee K, De Alfaro L, Henzinger TA. 2006. Strategy improvement for concurrent reachability games. QEST: Quantitative Evaluation of Systems 291–300.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4401
Alur R, Cerny P, Zdancewic S. 2006. Preserving Secrecy Under Refinement. ICALP: Automata, Languages and Programming, LNCS, 107–118.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4538
Chatterjee K, Henzinger TA. 2006. Strategy improvement and randomized subexponential algorithms for stochastic parity games. STACS: Theoretical Aspects of Computer Science, LNCS, vol. 3884. 512–523.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 578
Peters N, Arnold K, Vandevender A, Jeffrey E, Rangarajan R, Hosten O, Barreiro J, Altepeter J, Kwiat P. 2006. Towards a quasi-deterministic single-photon source. Quantum Communications and Quantum Imaging, Proc. SPIE, vol. 6305.
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.
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.
View | DOI
 

Filters and Search Terms

year=2006

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed