Maler O, Nickovic D, Pnueli A. 2006. Real Time Temporal Logic: Past, Present, Future. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 2–16.
LibreCat: https://research-explorer.ista.ac.at/record/4373
DOI: 1571

Maler O, Nickovic D, Pnueli A. 2006. From MITL to Timed Automata. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 274–289.
LibreCat: https://research-explorer.ista.ac.at/record/4374
DOI: 1570

De Wulf M, Doyen L, Henzinger TA, Raskin J. 2006. Antichains: A new algorithm for checking universality of finite automata. CAV: Computer Aided Verification, LNCS, vol. 4144, 17–30.
LibreCat: https://research-explorer.ista.ac.at/record/4406
DOI: 10.1007/11817963_5

Alur R, Cerny P, Zdancewic S. 2006. Preserving Secrecy Under Refinement. ICALP: Automata, Languages and Programming, LNCS, , 107–118.
LibreCat: https://research-explorer.ista.ac.at/record/4401
DOI: 1543

Henzinger TA, Piterman N. 2006. Solving games without determinization. CSL: Computer Science Logic, LNCS, vol. 4207, 395–410.
LibreCat: https://research-explorer.ista.ac.at/record/4437
DOI: 10.1007/11874683_26

Henzinger TA, Matic S. 2006. An interface algebra for real-time components. RTAS: Real-time and Embedded Technology and Applications Symposium, 253–266.
LibreCat: https://research-explorer.ista.ac.at/record/4436
DOI: 10.1109/RTAS.2006.11

Henzinger TA, Prabhu V. 2006. Timed alternating-time temporal logic. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 4202, 1–17.
LibreCat: https://research-explorer.ista.ac.at/record/4432
DOI: 10.1007/11867340_1

Henzinger TA, Sifakis J. 2006. The embedded systems design challenge. FM: Formal Methods, LNCS, vol. 4085, 1–15.
LibreCat: https://research-explorer.ista.ac.at/record/4431
DOI: 10.1007/11813040_1

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

Gulavani B, Henzinger TA, Kannan Y, Nori A, Rajamani S. 2006. Synergy: A new algorithm for property checking. FSE: Foundations of Software Engineering, 117–127.
LibreCat: https://research-explorer.ista.ac.at/record/4523
DOI: 10.1145/1181775.1181790

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

Fisher J, Henzinger TA. 2006. Executable biology. WSC: Winter Simulation Conference, 1675–1682.
LibreCat: https://research-explorer.ista.ac.at/record/4528
DOI: 10.1109/WSC.2006.322942

Chatterjee K, Henzinger TA. 2006. Finitary winning in omega-regular games. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 3920, 257–271.
LibreCat: https://research-explorer.ista.ac.at/record/4539
DOI: 10.1007/11691372_17

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.
LibreCat: https://research-explorer.ista.ac.at/record/4538
DOI: 10.1007/11672142_42

Chatterjee K, Majumdar R, Henzinger TA. 2006. Markov decision processes with multiple objectives. STACS: Theoretical Aspects of Computer Science, LNCS, vol. 3884, 325–336.
LibreCat: https://research-explorer.ista.ac.at/record/4551
DOI: 10.1007/11672142_26

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

Chatterjee K, De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. 2006. Compositional quantitative reasoning. QEST: Quantitative Evaluation of Systems, 179–188.
LibreCat: https://research-explorer.ista.ac.at/record/4549
DOI: 10.1109/QEST.2006.11

Chatterjee K, De Alfaro L, Henzinger TA. 2006. Strategy improvement for concurrent reachability games. QEST: Quantitative Evaluation of Systems, 291–300.
LibreCat: https://research-explorer.ista.ac.at/record/4552
DOI: 10.1109/QEST.2006.48

Beyer D, Henzinger TA, Théoduloz G. 2006. Lazy shape analysis. CAV: Computer Aided Verification, LNCS, vol. 4144, 532–546.
LibreCat: https://research-explorer.ista.ac.at/record/4574
DOI: 10.1007/11817963_48

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

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

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

Rangarajan R, Altepeter J, Jeffrey E, Stoutimore M, Peters N, Hosten O, Kwiat P. 2006. High-efficiency single-photon detectors. Unknown (978-081946470-5), Proceedings of SPIE, vol. 6372.
LibreCat: https://research-explorer.ista.ac.at/record/577
DOI: 10.1117/12.686117

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

Rangarajan R, Peters N, Hosten O, Altepeter J, Jeffrey E, Kwiat P. 2006. Improved single-photon detection. CLEO/QELS: Conference on Lasers and Electro-Optics / Quantum Electronics and Laser Science Conference.
LibreCat: https://research-explorer.ista.ac.at/record/583
DOI: 10.1109/CLEO.2006.4628641

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

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

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

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

Buchi FN, Freunberger SA, Santis M. 2006. What is learned beyond the scale of single cells? ECS Transactions. ECS Meeting vol. 3, 963–968.
LibreCat: https://research-explorer.ista.ac.at/record/7326
DOI: 10.1149/1.2356215

Freunberger SA, Reum M, Wokaun A, Büchi FN. 2006. Expanding current distribution measurement in PEFCs to sub-millimeter resolution. Electrochemistry Communications. 8(9), 1435–1438.
LibreCat: https://research-explorer.ista.ac.at/record/7329
DOI: 10.1016/j.elecom.2006.05.032

Santis M, Freunberger SA, Reiner A, Büchi FN. 2006. Homogenization of the current density in polymer electrolyte fuel cells by in-plane cathode catalyst gradients. Electrochimica Acta. 51(25), 5383–5393.
LibreCat: https://research-explorer.ista.ac.at/record/7330
DOI: 10.1016/j.electacta.2006.02.008

Freunberger SA, Santis M, Schneider IA, Wokaun A, Buchi FN. 2006. In-plane effects in large-scale PEMFCs. Journal of The Electrochemical Society. 153(2), 6.
LibreCat: https://research-explorer.ista.ac.at/record/7332
DOI: 10.1149/1.2150150

Freunberger SA, Wokaun A, Buchi FN. 2006. In-plane effects in large-scale PEFCs: II. The influence of cooling strategy on cell performance. Journal of The Electrochemical Society. 153(5), 9.
LibreCat: https://research-explorer.ista.ac.at/record/7331
DOI: 10.1149/1.2185282

Rogaev E, Moliaka Y, Malyarchuk B, Kondrashov F, Derenko M, Chumakov I, Grigorenko A. 2006. Complete mitochondrial genome and phylogeny of pleistocene mammoth Mammuthus primigenius. PLoS Biology. 4(3), 0403–0410.
LibreCat: https://research-explorer.ista.ac.at/record/854
DOI: 10.1371/journal.pbio.0040073

Kondrashov F, Koonin E, Morgunov I, Finogenova T, Kondrashova M. 2006. Evolution of glyoxylate cycle enzymes in Metazoa Evidence of multiple horizontal transfer events and pseudogene formation. Biology Direct. 1.
LibreCat: https://research-explorer.ista.ac.at/record/868
DOI: 10.1186/1745-6150-1-31

Kondrashov F, Kondrashov A. 2006. Role of selection in fixation of gene duplications. Journal of Theoretical Biology. 239(2), 141–151.
LibreCat: https://research-explorer.ista.ac.at/record/873
DOI: 10.1016/j.jtbi.2005.08.033

Schanda P, Forge V, Brutscher B. 2006. HET-SOFAST NMR for fast detection of structural compactness and heterogeneity along polypeptide chains. Magnetic Resonance in Chemistry. 44(), 77–84.
LibreCat: https://research-explorer.ista.ac.at/record/8489
DOI: 10.1002/mrc.1825

Schanda P, Van Melckebeke H, Brutscher B. 2006. Speeding up three-dimensional protein NMR experiments to a few minutes. Journal of the American Chemical Society. 128(28), 9042–9043.
LibreCat: https://research-explorer.ista.ac.at/record/8488
DOI: 10.1021/ja062025p

Schanda P, Brutscher B. 2006. Hadamard frequency-encoded SOFAST-HMQC for ultrafast two-dimensional protein NMR. Journal of Magnetic Resonance. 178(2), 334–339.
LibreCat: https://research-explorer.ista.ac.at/record/8490
DOI: 10.1016/j.jmr.2005.10.007

OTT W, HUNT B, Kaloshin V. 2006. The effect of projections on fractal sets and measures in Banach spaces. Ergodic Theory and Dynamical Systems. 26(3), 869–891.
LibreCat: https://research-explorer.ista.ac.at/record/8514
DOI: 10.1017/s0143385705000714

Kaloshin V, DOLGOPYAT D, KORALOV L. 2006. Long time behaviour of periodic stochastic flows. XIVth International Congress on Mathematical Physics. International Congress on Mathematical Physics, 290–295.
LibreCat: https://research-explorer.ista.ac.at/record/8515
DOI: 10.1142/9789812704016_0026

Kaloshin V, Saprykina M. 2006. Generic 3-dimensional volume-preserving diffeomorphisms with superexponential growth of number of periodic orbits. Discrete &; Continuous Dynamical Systems - A. 15(2), 611–640.
LibreCat: https://research-explorer.ista.ac.at/record/8513
DOI: 10.3934/dcds.2006.15.611

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.
LibreCat: https://research-explorer.ista.ac.at/record/869
DOI: 10.1016/j.jtbi.2005.10.020

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.
LibreCat: https://research-explorer.ista.ac.at/record/903
DOI: 10.1186/1471-2407-6-36

Zilberman D, Gehring M, Tran RK, Ballinger T, Henikoff S. 2006. Genome-wide analysis of Arabidopsis thaliana DNA methylation uncovers an interdependence between methylation and transcription. Nature Genetics. 39(1), 61–69.
LibreCat: https://research-explorer.ista.ac.at/record/9505
DOI: 10.1038/ng1929
PMID: 17128275

Fialkowski M, Bishop KJM, Klajn R, Smoukov SK, Campbell CJ, Grzybowski BA. 2006. Principles and implementations of dissipative (dynamic) self-assembly. The Journal of Physical Chemistry B. 110(6), 2482–2496.
LibreCat: https://research-explorer.ista.ac.at/record/13430
DOI: 10.1021/jp054153q
PMID: 16471845

Kalsin AM, Kowalczyk B, Smoukov SK, Klajn R, Grzybowski BA. 2006. Ionic-like behavior of oppositely charged nanoparticles. Journal of the American Chemical Society. 128(47), 15046–15047.
LibreCat: https://research-explorer.ista.ac.at/record/13428
DOI: 10.1021/ja0642966
PMID: 17117829

Bishop KJM, Klajn R, Grzybowski BA. 2006. The core and most useful molecules in organic chemistry. Angewandte Chemie International Edition. 45(32), 5348–5354.
LibreCat: https://research-explorer.ista.ac.at/record/13429
DOI: 10.1002/anie.200600881
PMID: 16835857