Maler, Oded, Dejan Nickovic, and Amir Pnueli. “Real Time Temporal Logic: Past, Present, Future,”https://doi.org/1571__2–16. Springer, 2006.https://doi.org/1571 .

Maler, Oded, Dejan Nickovic, and Amir Pnueli. “From MITL to Timed Automata,”https://doi.org/1570__274–89. Springer, 2006.https://doi.org/1570 .

De Wulf, Martin, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Antichains: A New Algorithm for Checking Universality of Finite Automata,”https://doi.org/10.1007/11817963_5__4144:17–30. Springer, 2006.https://doi.org/10.1007/11817963_5 .

Alur, Rajeev, Pavol Cerny, and Steve Zdancewic. “Preserving Secrecy Under Refinement,”https://doi.org/1543__107–18. Springer, 2006.https://doi.org/1543 .

Henzinger, Thomas A, and Nir Piterman. “Solving Games without Determinization,”https://doi.org/10.1007/11874683_26__4207:395–410. Springer, 2006.https://doi.org/10.1007/11874683_26 .

Henzinger, Thomas A, and Slobodan Matic. “An Interface Algebra for Real-Time Components,”https://doi.org/10.1109/RTAS.2006.11__253–66. IEEE, 2006.https://doi.org/10.1109/RTAS.2006.11 .

Henzinger, Thomas A, and Vinayak Prabhu. “Timed Alternating-Time Temporal Logic,”https://doi.org/10.1007/11867340_1__4202:1–17. Springer, 2006.https://doi.org/10.1007/11867340_1 .

Henzinger, Thomas A, and Joseph Sifakis. “The Embedded Systems Design Challenge,”https://doi.org/10.1007/11813040_1__4085:1–15. Springer, 2006.https://doi.org/10.1007/11813040_1 .

Henzinger, Thomas A, Orna Kupferman, and Ritankar Majumdar. “On the Universal and Existential Fragments of the Mu-Calculus.”https://doi.org/10.1016/j.tcs.2005.11.015__Theoretical Computer Science. Elsevier, 2006.https://doi.org/10.1016/j.tcs.2005.11.015 .

Gulavani, Bhargav, Thomas A Henzinger, Yamini Kannan, Aditya Nori, and Sriram Rajamani. “Synergy: A New Algorithm for Property Checking,”https://doi.org/10.1145/1181775.1181790__117–27. ACM, 2006.https://doi.org/10.1145/1181775.1181790 .

Ghosal, Arkadeb, Thomas A Henzinger, Daniel Iercan, Christoph Kirsch, and Alberto Sangiovanni Vincentelli. “A Hierarchical Coordination Language for Interacting Real-Time Tasks,”https://doi.org/10.1145/1176887.1176907__132–41. ACM, 2006.https://doi.org/10.1145/1176887.1176907 .

Fisher, Jasmin, and Thomas A Henzinger. “Executable Biology,”https://doi.org/10.1109/WSC.2006.322942__1675–82. IEEE, 2006.https://doi.org/10.1109/WSC.2006.322942 .

Chatterjee, Krishnendu, and Thomas A Henzinger. “Finitary Winning in Omega-Regular Games,”https://doi.org/10.1007/11691372_17__3920:257–71. Springer, 2006.https://doi.org/10.1007/11691372_17 .

Chatterjee, Krishnendu, and Thomas A Henzinger. “Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games,”https://doi.org/10.1007/11672142_42__3884:512–23. Springer, 2006.https://doi.org/10.1007/11672142_42 .

Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Markov Decision Processes with Multiple Objectives,”https://doi.org/10.1007/11672142_26__3884:325–36. Springer, 2006.https://doi.org/10.1007/11672142_26 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Marcin Jurdziski. “Games with Secure Equilibria.”https://doi.org/10.1016/j.tcs.2006.07.032__Theoretical Computer Science. Elsevier, 2006.https://doi.org/10.1016/j.tcs.2006.07.032 .

Chatterjee, Krishnendu, Luca De Alfaro, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Compositional Quantitative Reasoning,”https://doi.org/10.1109/QEST.2006.11__179–88. IEEE, 2006.https://doi.org/10.1109/QEST.2006.11 .

Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Strategy Improvement for Concurrent Reachability Games,”https://doi.org/10.1109/QEST.2006.48__291–300. IEEE, 2006.https://doi.org/10.1109/QEST.2006.48 .

Beyer, Dirk, Thomas A Henzinger, and Grégory Théoduloz. “Lazy Shape Analysis,”https://doi.org/10.1007/11817963_48__4144:532–46. Springer, 2006.https://doi.org/10.1007/11817963_48 .

Hosten, Onur, Matthew Rakher, Julio Barreiro, Nicholas Peters, and Paul Kwiat. “Counterfactual Computation Revisited.” ArXiv, 2006.

Hosten, Onur, and Paul Kwiat. “Weak Measurements and Counterfactual Computation.” ArXiv, 2006.

Peters, Nicholas, Keith Arnold, Aaron Vandevender, Evan Jeffrey, Radhika Rangarajan, Onur Hosten, Julio Barreiro, Joseph Altepeter, and Paul Kwiat. “Towards a Quasi-Deterministic Single-Photon Source,”https://doi.org/10.1117/12.684702__Vol. 6305. SPIE, 2006.https://doi.org/10.1117/12.684702 .

Rangarajan, Radhika, Joseph Altepeter, Evan Jeffrey, Micah Stoutimore, Nicholas Peters, Onur Hosten, and Paul Kwiat. “High-Efficiency Single-Photon Detectors,”https://doi.org/10.1117/12.686117__Vol. 6372. SPIE, 2006.https://doi.org/10.1117/12.686117 .

Hosten, Onur, Matthew Rakher, Julio Barreiro, Nicholas Peters, and Paul Kwiat. “Counterfactual Quantum Computation through Quantum Interrogation.”https://doi.org/10.1038/nature04523__Nature. Nature Publishing Group, 2006.https://doi.org/10.1038/nature04523 .

Rangarajan, Radhika, Nicholas Peters, Onur Hosten, Joseph Altepeter, Evan Jeffrey, and Paul Kwiat. “Improved Single-Photon Detection.”https://doi.org/10.1109/CLEO.2006.4628641__IEEE, 2006.https://doi.org/10.1109/CLEO.2006.4628641 .

Salecker, Iris, Michael Häusser, and Mario de Bono. “On the Axonal Road to Circuit Function and Behaviour: Workshop on the Assembly and Function of Neuronal Circuits.”https://doi.org/10.1038/sj.embor.7400713__EMBO Reports. Wiley, 2006.https://doi.org/10.1038/sj.embor.7400713 .

Rogers, Candida, Annelie Persson, Benny Cheung, and Mario de Bono. “Behavioral Motifs and Neural Pathways Coordinating O2 Responses and Aggregation in C. Elegans.”https://doi.org/10.1016/j.cub.2006.03.023__Current Biology. Elsevier, 2006.https://doi.org/10.1016/j.cub.2006.03.023 .

Freunberger, Stefan Alexander, Mathias Reum, Jorg Evertz, Alexander Wokaun, and Felix N. Buchi. “Measuring the Current Distribution in PEFCs with Sub-Millimeter Resolution.”https://doi.org/10.1149/1.2345591__Journal of The Electrochemical Society. The Electrochemical Society, 2006.https://doi.org/10.1149/1.2345591 .

Santis, Marco, Stefan Alexander Freunberger, Matthias Papra, Alexander Wokaun, and Felix N. Büchi. “Experimental Investigation of Coupling Phenomena in Polymer Electrolyte Fuel Cell Stacks.”https://doi.org/10.1016/j.jpowsour.2006.06.007__Journal of Power Sources. Elsevier, 2006.https://doi.org/10.1016/j.jpowsour.2006.06.007 .

Buchi, Felix N., Stefan Alexander Freunberger, and Marco Santis. “What Is Learned beyond the Scale of Single Cells?”https://doi.org/10.1149/1.2356215__In ECS Transactions, 3:963–68. ECS, 2006.https://doi.org/10.1149/1.2356215 .

Freunberger, Stefan Alexander, Mathias Reum, Alexander Wokaun, and Felix N. Büchi. “Expanding Current Distribution Measurement in PEFCs to Sub-Millimeter Resolution.”https://doi.org/10.1016/j.elecom.2006.05.032__Electrochemistry Communications. Elsevier, 2006.https://doi.org/10.1016/j.elecom.2006.05.032 .

Santis, M., Stefan Alexander Freunberger, A. Reiner, and F.N. Büchi. “Homogenization of the Current Density in Polymer Electrolyte Fuel Cells by In-Plane Cathode Catalyst Gradients.”https://doi.org/10.1016/j.electacta.2006.02.008__Electrochimica Acta. Elsevier, 2006.https://doi.org/10.1016/j.electacta.2006.02.008 .

Freunberger, Stefan Alexander, Marco Santis, Ingo A. Schneider, Alexander Wokaun, and Felix N. Buchi. “In-Plane Effects in Large-Scale PEMFCs.”https://doi.org/10.1149/1.2150150__Journal of The Electrochemical Society. The Electrochemical Society, 2006.https://doi.org/10.1149/1.2150150 .

Freunberger, Stefan Alexander, Alexander Wokaun, and Felix N. Buchi. “In-Plane Effects in Large-Scale PEFCs: II. The Influence of Cooling Strategy on Cell Performance.”https://doi.org/10.1149/1.2185282__Journal of The Electrochemical Society. The Electrochemical Society, 2006.https://doi.org/10.1149/1.2185282 .

Rogaev, Evgeny, Yuri Moliaka, Boris Malyarchuk, Fyodor Kondrashov, Miroslava Derenko, Ilya Chumakov, and Anastasia Grigorenko. “Complete Mitochondrial Genome and Phylogeny of Pleistocene Mammoth Mammuthus Primigenius.”https://doi.org/10.1371/journal.pbio.0040073__PLoS Biology. Public Library of Science, 2006.https://doi.org/10.1371/journal.pbio.0040073 .

Kondrashov, Fyodor, Eugene Koonin, Igor Morgunov, Tatiana Finogenova, and Marie Kondrashova. “Evolution of Glyoxylate Cycle Enzymes in Metazoa Evidence of Multiple Horizontal Transfer Events and Pseudogene Formation.”https://doi.org/10.1186/1745-6150-1-31__Biology Direct. BioMed Central, 2006.https://doi.org/10.1186/1745-6150-1-31 .

Kondrashov, Fyodor, and Alexey Kondrashov. “Role of Selection in Fixation of Gene Duplications.”https://doi.org/10.1016/j.jtbi.2005.08.033__Journal of Theoretical Biology. Elsevier, 2006.https://doi.org/10.1016/j.jtbi.2005.08.033 .

Schanda, Paul, Vincent Forge, and Bernhard Brutscher. “HET-SOFAST NMR for Fast Detection of Structural Compactness and Heterogeneity along Polypeptide Chains.”https://doi.org/10.1002/mrc.1825__Magnetic Resonance in Chemistry. Wiley, 2006.https://doi.org/10.1002/mrc.1825 .

Schanda, Paul, Hélène Van Melckebeke, and Bernhard Brutscher. “Speeding up Three-Dimensional Protein NMR Experiments to a Few Minutes.”https://doi.org/10.1021/ja062025p__Journal of the American Chemical Society. American Chemical Society, 2006.https://doi.org/10.1021/ja062025p .

Schanda, Paul, and Bernhard Brutscher. “Hadamard Frequency-Encoded SOFAST-HMQC for Ultrafast Two-Dimensional Protein NMR.”https://doi.org/10.1016/j.jmr.2005.10.007__Journal of Magnetic Resonance. Elsevier, 2006.https://doi.org/10.1016/j.jmr.2005.10.007 .

OTT, WILLIAM, BRIAN HUNT, and Vadim Kaloshin. “The Effect of Projections on Fractal Sets and Measures in Banach Spaces.”https://doi.org/10.1017/s0143385705000714__Ergodic Theory and Dynamical Systems. Cambridge University Press, 2006.https://doi.org/10.1017/s0143385705000714 .

Kaloshin, Vadim, D. DOLGOPYAT, and L. KORALOV. “Long Time Behaviour of Periodic Stochastic Flows.”https://doi.org/10.1142/9789812704016_0026__In XIVth International Congress on Mathematical Physics, 290–95. World Scientific, 2006.https://doi.org/10.1142/9789812704016_0026 .

Kaloshin, Vadim, and Maria Saprykina. “Generic 3-Dimensional Volume-Preserving Diffeomorphisms with Superexponential Growth of Number of Periodic Orbits.”https://doi.org/10.3934/dcds.2006.15.611__Discrete &; Continuous Dynamical Systems - A. American Institute of Mathematical Sciences (AIMS), 2006.https://doi.org/10.3934/dcds.2006.15.611 .

Kondrashov, Fyodor, Aleksey Ogurtsov, and Alexey Kondrashov. “Selection in Favor of Nucleotides G and C Diversifies Evolution Rates and Levels of Polymorphism at Mammalian Synonymous Sites.”https://doi.org/10.1016/j.jtbi.2005.10.020__Journal of Theoretical Biology. Elsevier, 2006.https://doi.org/10.1016/j.jtbi.2005.10.020 .

Babenko, Vladimir, Malay Basu, Fyodor Kondrashov, Igor Rogozin, and Eugene Koonin. “Signs of Positive Selection of Somatic Mutations in Human Cancers Detected by EST Sequence Analysis.”https://doi.org/10.1186/1471-2407-6-36__BMC Cancer. BioMed Central, 2006.https://doi.org/10.1186/1471-2407-6-36 .

Zilberman, Daniel, Mary Gehring, Robert K. Tran, Tracy Ballinger, and Steven Henikoff. “Genome-Wide Analysis of Arabidopsis Thaliana DNA Methylation Uncovers an Interdependence between Methylation and Transcription.”https://doi.org/10.1038/ng1929__Nature Genetics. Nature Publishing Group, 2006.https://doi.org/10.1038/ng1929 .

Fialkowski, Marcin, Kyle J. M. Bishop, Rafal Klajn, Stoyan K. Smoukov, Christopher J. Campbell, and Bartosz A. Grzybowski. “Principles and Implementations of Dissipative (Dynamic) Self-Assembly.”https://doi.org/10.1021/jp054153q__The Journal of Physical Chemistry B. American Chemical Society, 2006.https://doi.org/10.1021/jp054153q .

Kalsin, Alexander M., Bartlomiej Kowalczyk, Stoyan K. Smoukov, Rafal Klajn, and Bartosz A. Grzybowski. “Ionic-like Behavior of Oppositely Charged Nanoparticles.”https://doi.org/10.1021/ja0642966__Journal of the American Chemical Society. American Chemical Society, 2006.https://doi.org/10.1021/ja0642966 .

Bishop, Kyle J. M., Rafal Klajn, and Bartosz A. Grzybowski. “The Core and Most Useful Molecules in Organic Chemistry.”https://doi.org/10.1002/anie.200600881__Angewandte Chemie International Edition. Wiley, 2006.https://doi.org/10.1002/anie.200600881 .