Maler, O., Nickovic, D., &; Pnueli, A. (2006). Real Time Temporal Logic: Past, Present, Future (pp. 2–16). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer.https://doi.org/1571 

Maler, O., Nickovic, D., &; Pnueli, A. (2006). From MITL to Timed Automata (pp. 274–289). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer.https://doi.org/1570 

De Wulf, M., Doyen, L., Henzinger, T. A., &; Raskin, J. (2006). Antichains: A new algorithm for checking universality of finite automata (Vol. 4144, pp. 17–30). Presented at the CAV: Computer Aided Verification, Springer.https://doi.org/10.1007/11817963_5 

Alur, R., Cerny, P., &; Zdancewic, S. (2006). Preserving Secrecy Under Refinement (pp. 107–118). Presented at the ICALP: Automata, Languages and Programming, Springer.https://doi.org/1543 

Henzinger, T. A., &; Piterman, N. (2006). Solving games without determinization (Vol. 4207, pp. 395–410). Presented at the CSL: Computer Science Logic, Springer.https://doi.org/10.1007/11874683_26 

Henzinger, T. A., &; Matic, S. (2006). An interface algebra for real-time components (pp. 253–266). Presented at the RTAS: Real-time and Embedded Technology and Applications Symposium, IEEE.https://doi.org/10.1109/RTAS.2006.11 

Henzinger, T. A., &; Prabhu, V. (2006). Timed alternating-time temporal logic (Vol. 4202, pp. 1–17). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer.https://doi.org/10.1007/11867340_1 

Henzinger, T. A., &; Sifakis, J. (2006). The embedded systems design challenge (Vol. 4085, pp. 1–15). Presented at the FM: Formal Methods, Springer.https://doi.org/10.1007/11813040_1 

Henzinger, T. A., Kupferman, O., &; Majumdar, R. (2006). On the universal and existential fragments of the mu-calculus. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2005.11.015 

Gulavani, B., Henzinger, T. A., Kannan, Y., Nori, A., &; Rajamani, S. (2006). Synergy: A new algorithm for property checking (pp. 117–127). Presented at the FSE: Foundations of Software Engineering, ACM.https://doi.org/10.1145/1181775.1181790 

Ghosal, A., Henzinger, T. A., Iercan, D., Kirsch, C., &; Sangiovanni Vincentelli, A. (2006). A hierarchical coordination language for interacting real-time tasks (pp. 132–141). Presented at the EMSOFT: Embedded Software , ACM.https://doi.org/10.1145/1176887.1176907 

Fisher, J., &; Henzinger, T. A. (2006). Executable biology (pp. 1675–1682). Presented at the WSC: Winter Simulation Conference, IEEE.https://doi.org/10.1109/WSC.2006.322942 

Chatterjee, K., &; Henzinger, T. A. (2006). Finitary winning in omega-regular games (Vol. 3920, pp. 257–271). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer.https://doi.org/10.1007/11691372_17 

Chatterjee, K., &; Henzinger, T. A. (2006). Strategy improvement and randomized subexponential algorithms for stochastic parity games (Vol. 3884, pp. 512–523). Presented at the STACS: Theoretical Aspects of Computer Science, Springer.https://doi.org/10.1007/11672142_42 

Chatterjee, K., Majumdar, R., &; Henzinger, T. A. (2006). Markov decision processes with multiple objectives (Vol. 3884, pp. 325–336). Presented at the STACS: Theoretical Aspects of Computer Science, Springer.https://doi.org/10.1007/11672142_26 

Chatterjee, K., Henzinger, T. A., &; Jurdziski, M. (2006). Games with secure equilibria. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2006.07.032 

Chatterjee, K., De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., &; Stoelinga, M. (2006). Compositional quantitative reasoning (pp. 179–188). Presented at the QEST: Quantitative Evaluation of Systems, IEEE.https://doi.org/10.1109/QEST.2006.11 

Chatterjee, K., De Alfaro, L., &; Henzinger, T. A. (2006). Strategy improvement for concurrent reachability games (pp. 291–300). Presented at the QEST: Quantitative Evaluation of Systems, IEEE.https://doi.org/10.1109/QEST.2006.48 

Beyer, D., Henzinger, T. A., &; Théoduloz, G. (2006). Lazy shape analysis (Vol. 4144, pp. 532–546). Presented at the CAV: Computer Aided Verification, Springer.https://doi.org/10.1007/11817963_48 

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

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

Peters, N., Arnold, K., Vandevender, A., Jeffrey, E., Rangarajan, R., Hosten, O.,https://doi.org/10.1117/12.684702__Kwiat, P. (2006). Towards a quasi-deterministic single-photon source (Vol. 6305). Presented at the Quantum Communications and Quantum Imaging, SPIE.https://doi.org/10.1117/12.684702 

Rangarajan, R., Altepeter, J., Jeffrey, E., Stoutimore, M., Peters, N., Hosten, O., &; Kwiat, P. (2006). High-efficiency single-photon detectors (Vol. 6372). Presented at the Unknown (978-081946470-5), SPIE.https://doi.org/10.1117/12.686117 

Hosten, O., Rakher, M., Barreiro, J., Peters, N., &; Kwiat, P. (2006). Counterfactual quantum computation through quantum interrogation. Nature. Nature Publishing Group.https://doi.org/10.1038/nature04523 

Rangarajan, R., Peters, N., Hosten, O., Altepeter, J., Jeffrey, E., &; Kwiat, P. (2006). Improved single-photon detection. Presented at the CLEO/QELS: Conference on Lasers and Electro-Optics / Quantum Electronics and Laser Science Conference, IEEE.https://doi.org/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. Wiley.https://doi.org/10.1038/sj.embor.7400713 

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. Elsevier.https://doi.org/10.1016/j.cub.2006.03.023 

Freunberger, S. A., Reum, M., Evertz, J., Wokaun, A., &; Buchi, F. N. (2006). Measuring the current distribution in PEFCs with sub-millimeter resolution. Journal of The Electrochemical Society. The Electrochemical Society.https://doi.org/10.1149/1.2345591 

Santis, M., Freunberger, S. A., Papra, M., Wokaun, A., &; Büchi, F. N. (2006). Experimental investigation of coupling phenomena in polymer electrolyte fuel cell stacks. Journal of Power Sources. Elsevier.https://doi.org/10.1016/j.jpowsour.2006.06.007 

Buchi, F. N., Freunberger, S. A., &; Santis, M. (2006). What is learned beyond the scale of single cells? In ECS Transactions (Vol. 3, pp. 963–968). Cancun, Mexico: ECS.https://doi.org/10.1149/1.2356215 

Freunberger, S. A., Reum, M., Wokaun, A., &; Büchi, F. N. (2006). Expanding current distribution measurement in PEFCs to sub-millimeter resolution. Electrochemistry Communications. Elsevier.https://doi.org/10.1016/j.elecom.2006.05.032 

Santis, M., Freunberger, S. A., Reiner, A., &; Büchi, F. N. (2006). Homogenization of the current density in polymer electrolyte fuel cells by in-plane cathode catalyst gradients. Electrochimica Acta. Elsevier.https://doi.org/10.1016/j.electacta.2006.02.008 

Freunberger, S. A., Santis, M., Schneider, I. A., Wokaun, A., &; Buchi, F. N. (2006). In-plane effects in large-scale PEMFCs. Journal of The Electrochemical Society. The Electrochemical Society.https://doi.org/10.1149/1.2150150 

Freunberger, S. A., Wokaun, A., &; Buchi, F. N. (2006). In-plane effects in large-scale PEFCs: II. The influence of cooling strategy on cell performance. Journal of The Electrochemical Society. The Electrochemical Society.https://doi.org/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. Public Library of Science.https://doi.org/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. BioMed Central.https://doi.org/10.1186/1745-6150-1-31 

Kondrashov, F., &; Kondrashov, A. (2006). Role of selection in fixation of gene duplications. Journal of Theoretical Biology. Elsevier.https://doi.org/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. Wiley.https://doi.org/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. American Chemical Society.https://doi.org/10.1021/ja062025p 

Schanda, P., &; Brutscher, B. (2006). Hadamard frequency-encoded SOFAST-HMQC for ultrafast two-dimensional protein NMR. Journal of Magnetic Resonance. Elsevier.https://doi.org/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. Cambridge University Press.https://doi.org/10.1017/s0143385705000714 

Kaloshin, V., DOLGOPYAT, D., &; KORALOV, L. (2006). Long time behaviour of periodic stochastic flows. In XIVth International Congress on Mathematical Physics (pp. 290–295). Lisbon, Portugal: World Scientific.https://doi.org/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. American Institute of Mathematical Sciences (AIMS).https://doi.org/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. Elsevier.https://doi.org/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. BioMed Central.https://doi.org/10.1186/1471-2407-6-36 

Zilberman, D., Gehring, M., Tran, R. K., Ballinger, T., &; Henikoff, S. (2006). Genome-wide analysis of Arabidopsis thaliana DNA methylation uncovers an interdependence between methylation and transcription. Nature Genetics. Nature Publishing Group.https://doi.org/10.1038/ng1929 

Fialkowski, M., Bishop, K. J. M., Klajn, R., Smoukov, S. K., Campbell, C. J., &; Grzybowski, B. A. (2006). Principles and implementations of dissipative (dynamic) self-assembly. The Journal of Physical Chemistry B. American Chemical Society.https://doi.org/10.1021/jp054153q 

Kalsin, A. M., Kowalczyk, B., Smoukov, S. K., Klajn, R., &; Grzybowski, B. A. (2006). Ionic-like behavior of oppositely charged nanoparticles. Journal of the American Chemical Society. American Chemical Society.https://doi.org/10.1021/ja0642966 

Bishop, K. J. M., Klajn, R., &; Grzybowski, B. A. (2006). The core and most useful molecules in organic chemistry. Angewandte Chemie International Edition. Wiley.https://doi.org/10.1002/anie.200600881