Antichains: A new algorithm for checking universality of finite automata
M. De Wulf, L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2006, pp. 17–30.

The embedded systems design challenge
T.A. Henzinger, J. Sifakis, in:, Springer, 2006, pp. 1–15.

Timed alternating-time temporal logic
T.A. Henzinger, V. Prabhu, in:, Springer, 2006, pp. 1–17.

An interface algebra for real-time components
T.A. Henzinger, S. Matic, in:, IEEE, 2006, pp. 253–266.

Solving games without determinization
T.A. Henzinger, N. Piterman, in:, Springer, 2006, pp. 395–410.

On the universal and existential fragments of the mu-calculus
T.A. Henzinger, O. Kupferman, R. Majumdar, Theoretical Computer Science 354 (2006) 173–186.

Synergy: A new algorithm for property checking
B. Gulavani, T.A. Henzinger, Y. Kannan, A. Nori, S. Rajamani, in:, ACM, 2006, pp. 117–127.

A hierarchical coordination language for interacting real-time tasks
A. Ghosal, T.A. Henzinger, D. Iercan, C. Kirsch, A. Sangiovanni Vincentelli, in:, ACM, 2006, pp. 132–141.

Executable biology
J. Fisher, T.A. Henzinger, in:, IEEE, 2006, pp. 1675–1682.

Strategy improvement and randomized subexponential algorithms for stochastic parity games
K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 512–523.

Finitary winning in omega-regular games
K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 257–271.

Compositional quantitative reasoning
K. Chatterjee, L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, IEEE, 2006, pp. 179–188.

Games with secure equilibria
K. Chatterjee, T.A. Henzinger, M. Jurdziski, Theoretical Computer Science 365 (2006) 67–82.

Markov decision processes with multiple objectives
K. Chatterjee, R. Majumdar, T.A. Henzinger, in:, Springer, 2006, pp. 325–336.

Strategy improvement for concurrent reachability games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, IEEE, 2006, pp. 291–300.

Lazy shape analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2006, pp. 532–546.

Counterfactual computation revisited
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, (2006).

Weak measurements and counterfactual computation
O. Hosten, P. Kwiat, (2006).

High-efficiency single-photon detectors
R. Rangarajan, J. Altepeter, E. Jeffrey, M. Stoutimore, N. Peters, O. Hosten, P. Kwiat, in:, SPIE, 2006.

Towards a quasi-deterministic single-photon source
N. Peters, K. Arnold, A. Vandevender, E. Jeffrey, R. Rangarajan, O. Hosten, J. Barreiro, J. Altepeter, P. Kwiat, in:, SPIE, 2006.