Dynamic response of cancer under the influence of immunological activity and therapy
H. de Vladar, J. González, Journal of Theoretical Biology (2006) 91–109.
LibreCat: https://research-explorer.ista.ac.at/record/4235

The Hill-Robertson effect and the evolution of recombination
D. Roze, N.H. Barton, Genetics 173 (2006) 1793–1811.
LibreCat: https://research-explorer.ista.ac.at/record/4248
DOI: 10.1534/genetics.106.058586 

Evolutionary Biology: How did the human species form?
N.H. Barton, Current Biology 16 (2006) 647–650.
LibreCat: https://research-explorer.ista.ac.at/record/4250
DOI: 10.1016/j.cub.2006.07.032

Field Constraint Analysis
T. Wies, V. Kuncak, P. Lam, A. Podelski, M. Rinard, in:, Springer, 2006, pp. 157–173.
LibreCat: https://research-explorer.ista.ac.at/record/4359
DOI: 1551

Real Time Temporal Logic: Past, Present, Future
O. Maler, D. Nickovic, A. Pnueli, in:, Springer, 2006, pp. 2–16.
LibreCat: https://research-explorer.ista.ac.at/record/4373
DOI: 1571

From MITL to Timed Automata
O. Maler, D. Nickovic, A. Pnueli, in:, Springer, 2006, pp. 274–289.
LibreCat: https://research-explorer.ista.ac.at/record/4374
DOI: 1570

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.
LibreCat: https://research-explorer.ista.ac.at/record/4406
DOI: 10.1007/11817963_5

Preserving Secrecy Under Refinement
R. Alur, P. Cerny, S. Zdancewic, in:, Springer, 2006, pp. 107–118.
LibreCat: https://research-explorer.ista.ac.at/record/4401
DOI: 1543

Solving games without determinization
T.A. Henzinger, N. Piterman, in:, Springer, 2006, pp. 395–410.
LibreCat: https://research-explorer.ista.ac.at/record/4437
DOI: 10.1007/11874683_26

An interface algebra for real-time components
T.A. Henzinger, S. Matic, in:, IEEE, 2006, pp. 253–266.
LibreCat: https://research-explorer.ista.ac.at/record/4436
DOI: 10.1109/RTAS.2006.11

Timed alternating-time temporal logic
T.A. Henzinger, V. Prabhu, in:, Springer, 2006, pp. 1–17.
LibreCat: https://research-explorer.ista.ac.at/record/4432
DOI: 10.1007/11867340_1

The embedded systems design challenge
T.A. Henzinger, J. Sifakis, in:, Springer, 2006, pp. 1–15.
LibreCat: https://research-explorer.ista.ac.at/record/4431
DOI: 10.1007/11813040_1

On the universal and existential fragments of the mu-calculus
T.A. Henzinger, O. Kupferman, R. Majumdar, Theoretical Computer Science 354 (2006) 173–186.
LibreCat: https://research-explorer.ista.ac.at/record/4451
DOI: 10.1016/j.tcs.2005.11.015

Synergy: A new algorithm for property checking
B. Gulavani, T.A. Henzinger, Y. Kannan, A. Nori, S. Rajamani, in:, ACM, 2006, pp. 117–127.
LibreCat: https://research-explorer.ista.ac.at/record/4523
DOI: 10.1145/1181775.1181790

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.
LibreCat: https://research-explorer.ista.ac.at/record/4526
DOI: 10.1145/1176887.1176907

Executable biology
J. Fisher, T.A. Henzinger, in:, IEEE, 2006, pp. 1675–1682.
LibreCat: https://research-explorer.ista.ac.at/record/4528
DOI: 10.1109/WSC.2006.322942

Finitary winning in omega-regular games
K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 257–271.
LibreCat: https://research-explorer.ista.ac.at/record/4539
DOI: 10.1007/11691372_17

Strategy improvement and randomized subexponential algorithms for stochastic parity games
K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 512–523.
LibreCat: https://research-explorer.ista.ac.at/record/4538
DOI: 10.1007/11672142_42

Markov decision processes with multiple objectives
K. Chatterjee, R. Majumdar, T.A. Henzinger, in:, Springer, 2006, pp. 325–336.
LibreCat: https://research-explorer.ista.ac.at/record/4551
DOI: 10.1007/11672142_26

Games with secure equilibria
K. Chatterjee, T.A. Henzinger, M. Jurdziski, Theoretical Computer Science 365 (2006) 67–82.
LibreCat: https://research-explorer.ista.ac.at/record/4550
DOI: 10.1016/j.tcs.2006.07.032