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

Compositional quantitative reasoning
K. Chatterjee, L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, IEEE, 2006, pp. 179–188.
LibreCat: https://research-explorer.ista.ac.at/record/4549
DOI: 10.1109/QEST.2006.11

Strategy improvement for concurrent reachability games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, IEEE, 2006, pp. 291–300.
LibreCat: https://research-explorer.ista.ac.at/record/4552
DOI: 10.1109/QEST.2006.48

Lazy shape analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2006, pp. 532–546.
LibreCat: https://research-explorer.ista.ac.at/record/4574
DOI: 10.1007/11817963_48

Counterfactual computation revisited
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, (2006).
LibreCat: https://research-explorer.ista.ac.at/record/573
arXiv: 0607101

Weak measurements and counterfactual computation
O. Hosten, P. Kwiat, (2006).
LibreCat: https://research-explorer.ista.ac.at/record/574
arXiv: 0612159

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.
LibreCat: https://research-explorer.ista.ac.at/record/578
DOI: 10.1117/12.684702

High-efficiency single-photon detectors
R. Rangarajan, J. Altepeter, E. Jeffrey, M. Stoutimore, N. Peters, O. Hosten, P. Kwiat, in:, SPIE, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/577
DOI: 10.1117/12.686117

Counterfactual quantum computation through quantum interrogation
O. Hosten, M. Rakher, J. Barreiro, N. Peters, P. Kwiat, Nature 439 (2006) 949–952.
LibreCat: https://research-explorer.ista.ac.at/record/579
DOI: 10.1038/nature04523

Improved single-photon detection
R. Rangarajan, N. Peters, O. Hosten, J. Altepeter, E. Jeffrey, P. Kwiat, in:, IEEE, 2006.
LibreCat: https://research-explorer.ista.ac.at/record/583
DOI: 10.1109/CLEO.2006.4628641

On the axonal road to circuit function and behaviour: Workshop on the assembly and function of neuronal circuits
I. Salecker, M. Häusser, M. de Bono, EMBO Reports 7 (2006) 585–589.
LibreCat: https://research-explorer.ista.ac.at/record/6151
DOI: 10.1038/sj.embor.7400713
PMID: 16729018

Behavioral motifs and neural pathways coordinating O2 responses and aggregation in C. elegans
C. Rogers, A. Persson, B. Cheung, M. de Bono, Current Biology 16 (2006) 649–659.
LibreCat: https://research-explorer.ista.ac.at/record/6152
DOI: 10.1016/j.cub.2006.03.023
PMID: 16581509

Measuring the current distribution in PEFCs with sub-millimeter resolution
S.A. Freunberger, M. Reum, J. Evertz, A. Wokaun, F.N. Buchi, Journal of The Electrochemical Society 153 (2006).
LibreCat: https://research-explorer.ista.ac.at/record/7328
DOI: 10.1149/1.2345591

Experimental investigation of coupling phenomena in polymer electrolyte fuel cell stacks
M. Santis, S.A. Freunberger, M. Papra, A. Wokaun, F.N. Büchi, Journal of Power Sources 161 (2006) 1076–1083.
LibreCat: https://research-explorer.ista.ac.at/record/7327
DOI: 10.1016/j.jpowsour.2006.06.007

What is learned beyond the scale of single cells?
F.N. Buchi, S.A. Freunberger, M. Santis, in:, ECS Transactions, ECS, 2006, pp. 963–968.
LibreCat: https://research-explorer.ista.ac.at/record/7326
DOI: 10.1149/1.2356215