O’Neill, Joseph, Timothy Senior, and Jozsef L Csicsvari. “Place-Selective Firing of C Pyramidal Cells during Sharp Wave/Ripple Network Patterns in Exploratory Behavior.”https://doi.org/10.1016/j.neuron.2005.10.037__Neuron. Elsevier, 2006.https://doi.org/10.1016/j.neuron.2005.10.037 .

Turelli, Michael, and Nicholas H Barton. “Will Population Bottlenecks and Multilocus Epistasis Increase Additive Genetic Variance?”https://doi.org/10.1111/j.0014-3820.2006.tb00521.x__Evolution; International Journal of Organic Evolution. Wiley-Blackwell, 2006.https://doi.org/10.1111/j.0014-3820.2006.tb00521.x .

Lampert, Christoph, and Thomas Breuel. “Objective Quality Measurement for Geometric Document Image Restoration.” Springer, 2006.

Lampert, Christoph. “Machine Learning for Video Compression: Macroblock Mode Decision,”https://doi.org/10.1109/ICPR.2006.778__936–40. IEEE, 2006.https://doi.org/10.1109/ICPR.2006.778 .

Le, Thuc, Calin C Guet, and Philippe Cluzel. “Protein Expression Enhancement in Efflux-Deleted Mutant Bacteria.” Protein Expression and Purification. Elsevier, 2006.

Kupczok, Anne, and Peter Dittrich. “Determinants of Simulated RNA Evolution.”https://doi.org/10.1016/j.jtbi.2005.06.019__Journal of Theoretical Biology. Elsevier, 2006.https://doi.org/10.1016/j.jtbi.2005.06.019 .

Aponte, Yexica, Cheng Lien, Ellen Reisinger, and Peter M Jonas. “Hyperpolarization-Activated Cation Channels in Fast-Spiking Interneurons of Rat Hippocampus.”https://doi.org/10.1113/jphysiol.2005.104042__Journal of Physiology. Wiley-Blackwell, 2006.https://doi.org/10.1113/jphysiol.2005.104042 .

Frotscher, Michael, Peter M Jonas, and Robert Sloviter. “Synapses Formed by Normal and Abnormal Hippocampal Mossy Fibers (Review).”https://doi.org/10.1007/s00441-006-0269-2__Cell and Tissue Research. Springer, 2006.https://doi.org/10.1007/s00441-006-0269-2 .

Bischofberger, Josef, Dominique Engel, Michael Frotscher, and Peter M Jonas. “Timing and Efficacy of Transmitter Release at Mossy Fiber Synapses in the Hippocampal Network.”https://doi.org/10.1007/s00424-006-0093-2__Pflugers Archivf: European Journal of Physiology. Springer, 2006.https://doi.org/10.1007/s00424-006-0093-2 .

Vida, Imre, Marlene Bartos, and Peter M Jonas. “Shunting Inhibition Improves Robustness of Gamma Oscillations in Hippocampal Interneuron Networks by Homogenizing Firing Rates.”https://doi.org/10.1016/j.neuron.2005.11.036__Neuron. Elsevier, 2006.https://doi.org/10.1016/j.neuron.2005.11.036 .

Frotscher, Michael, Eckart Gundelfinger, Peter M Jonas, Erwin Neher, and Peter Seeburg. “The Most Important Recent Advances in Synapse Research from My Point of View--and What Remains to Be Done.”https://doi.org/10.1007/s00441-006-0325-y__Cell and Tissue Research. Springer, 2006.https://doi.org/10.1007/s00441-006-0325-y .

Cremer, Sylvia, Line V Ugelvig, Suzanne Lommen, Klaus Petersen, and Jes Pedersen. “Attack of the Invasive Garden Ant: Aggression Behaviour of Lasius Neglectus (Hymenoptera: Formicidae) against Native Lasius Species in Spain.” Myrmecological News. Österreichische Gesellschaft für Entomofaunistik, 2006.

Moder, Karl, Birgit Schlick Steiner, Florian Steiner, Sylvia Cremer, Erhard Christian, and Bernhard Seifert. “Optimal Species Distinction by Discriminant Analysis: Comparing Established Methods of Character Selection with a Combination Procedure Using Ant Morphometrics as a Case Study.”https://doi.org/10.1111/j.1439-0469.2006.00372.x__Journal of Zoological Systematics and Evolutionary Research. Wiley-Blackwell, 2006.https://doi.org/10.1111/j.1439-0469.2006.00372.x .

Heinze, Jürgen, Sylvia Cremer, Norbert Eckl, and Alexandra Schrempf. “Stealthy Invaders: The Biology of Cardiocondyla Tramp Ants.”https://doi.org/10.1007/s00040-005-0847-4__Insectes Sociaux. Springer, 2006.https://doi.org/10.1007/s00040-005-0847-4 .

Henic, Emir, Michael K Sixt, Stefan Hansson, Gunilla Høyer Hansen, and Bertil Casslén. “EGF-Stimulated Migration in Ovarian Cancer Cells Is Associated with Decreased Internalization, Increased Surface Expression, and Increased Shedding of the Urokinase Plasminogen Activator Receptor.”https://doi.org/10.1016/j.ygyno.2005.09.038__Gynecologic Oncology. Elsevier, 2006.https://doi.org/10.1016/j.ygyno.2005.09.038 .

Ban, Yih, Johannes Rudolph, Pei Zhou, and Herbert Edelsbrunner. “Evaluating the Quality of NMR Structures by Local Density of Protons.”https://doi.org/10.1002/prot.20811__Proteins: Structure, Function and Bioinformatics. Wiley-Blackwell, 2006.https://doi.org/10.1002/prot.20811 .

Ban, Yih, Herbert Edelsbrunner, and Johannes Rudolph. “Interface Surfaces for Protein-Protein Complexes.”https://doi.org/10.1145/1147954.1147957__Journal of the ACM. ACM, 2006.https://doi.org/10.1145/1147954.1147957 .

Agarwal, Pankaj, Herbert Edelsbrunner, John Harer, and Yusu Wang. “Extreme Elevation on a 2-Manifold.”https://doi.org/10.1007/s00454-006-1265-8__Discrete &; Computational Geometry. Springer, 2006.https://doi.org/10.1007/s00454-006-1265-8 .

Danowski, Patrick, and Lambert Heller. “Bibliothek 2.0 - Die Bibliothek Der Zukunft?”https://doi.org/424__Bibliotheksdienst. Zentral- und Landesbibliothek Berlin, 2006.https://doi.org/424 .

Conn, Jan, Joseph Vineis, Jonathan P Bollback, David Onyabe, Richard Wilkerson, and Marinete Povoa. “Population Structure of the Malaria Vector Anopheles Darlingi in a Malaria-Endemic Region of Eastern Amazonian Brazil.” The American Journal of Tropical Medicine and Hygiene. American Society of Tropical Medicine and Hygiene, 2006.

Bollback, Jonathan P. “SIMMAP: Stochastic Character Mapping of Discrete Traits on Phylogenies.”https://doi.org/10.1186/1471-2105-7-88__BMC Bioinformatics. BioMed Central, 2006.https://doi.org/10.1186/1471-2105-7-88 .

Szeliski, Richard, Ramin Zabih, Daniel Scharstein, Olga Veksler, Vladimir Kolmogorov, Aseem Agarwala, Marshall Tappen, and Carsten Rother. “A Comparative Study of Energy Minimization Methods for Markov Random Fields,”https://doi.org/10.1007/11744047_2__3952:16–29. Springer, 2006.https://doi.org/10.1007/11744047_2 .

Kolmogorov, Vladimir, and Carsten Rother. “Comparison of Energy Minimization Algorithms for Highly Connected Graphs,”https://doi.org/10.1007/11744047_1__3952 LNCS:1–15. Springer, 2006.https://doi.org/10.1007/11744047_1 .

Kolmogorov, Vladimir, Antonio Criminisi, Andrew Blake, Geoffrey Cross, and Carsten Rother. “Probabilistic Fusion of Stereo with Color and Contrast for Bilayer Segmentation.”https://doi.org/10.1109/TPAMI.2006.193__IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE, 2006.https://doi.org/10.1109/TPAMI.2006.193 .

Boykov, Yuri, Vladimir Kolmogorov, Daniel Cremers, and Andrew Delong. “An Integral Solution to Surface Evolution PDEs via Geo Cuts,”https://doi.org/10.1007/11744078_32__3953:409–22. Springer, 2006.https://doi.org/10.1007/11744078_32 .

Janovjak, Harald L, Ravi Sawhney, Martin Stark, and Daniel Mueller. “Atomic Force Microscopy.” In Techniques in Microscopy for Biomedical Applications, 2:213–84. World Scientific Publishing, 2006.

Kessler, Max, Kay Gottschalk, Harald L Janovjak, Daniel Mueller, and Hermann Gaub. “Bacteriorhodopsin Folds into the Membrane against an External Force.”https://doi.org/10.1016/j.jmb.2005.12.065__Journal of Molecular Biology. Elsevier, 2006.https://doi.org/10.1016/j.jmb.2005.12.065 .

Kedrov, Alexej, Harald L Janovjak, Christine Ziegler, Werner Kühlbrandt, and Daniel Mueller. “Observing Folding Pathways and Kinetics of a Single Sodium-Proton Antiporter from Escherichia Coli.”https://doi.org/10.1016/j.jmb.2005.10.028__Journal of Molecular Biology. Elsevier, 2006.https://doi.org/10.1016/j.jmb.2005.10.028 .

Janovjak, Harald L, Alexej Kedrov, David Cisneros, Tanuj Sapra, Jens Struckmeier, and Daniel Mueller. “Imaging and Detecting Molecular Interactions of Single Membrane Proteins.”https://doi.org/10.1016/j.neurobiolaging.2005.03.031__Neurobiology of Aging. Elsevier, 2006.https://doi.org/10.1016/j.neurobiolaging.2005.03.031 .

Betancourt, Andrea, and Jonathan P Bollback. “Fitness Effects of Beneficial Mutations: The Mutational Landscape Model in Experimental Evolution.”https://doi.org/10.1016/j.gde.2006.10.006__Current Opinion in Genetics &; Development. Elsevier, 2006.https://doi.org/10.1016/j.gde.2006.10.006 .

Tkadik, Gasper, E. Schneidman, M. Berry, and William Bialek. “Ising Models for Networks of Real Neurons.” ArXiv. ArXiv, 2006.

Chatterjee, Krishnendu, Rhada Jagadeesan, and Corin Pitcher. “Games for Controls,”https://doi.org/10.1109/CSFW.2006.14__70–82. IEEE, 2006.https://doi.org/10.1109/CSFW.2006.14 .

Bischofberger, Joseph, Dominique Engel, Michael Frotscher, and Peter M Jonas. “Timing and Efficacy of Transmitter Release at Mossy Fiber Synapses in the Hippocampal Network. (Review).”https://doi.org/10.1007/s00424-006-0093-2__Pflugers Archivf: European Journal of Physiology. Springer, 2006.https://doi.org/10.1007/s00424-006-0093-2 .

Chatterjee, Krishnendu. “Nash Equilibrium for Upward-Closed Objectives,”https://doi.org/10.1007/11874683_18__4207:271–86. Springer, 2006.https://doi.org/10.1007/11874683_18 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Nir Piterman. “Algorithms for Büchi Games.” ACM, 2006.

Edelsbrunner, Herbert, Ping Fu, Dmitry Nekhayev, Michael Facello, and Steven Williams. “Method, Apparatus and Computer Program Products for Automatically Generating NURBS Models of Triangulated Surfaces Using Homeomorphism,” 2006.

Fu, Ping, Dmitry Nekhayev, and Herbert Edelsbrunner. “Manufacturing Methods and Systems for Rapid Production of Hearing-Aid Shells,” 2006.

Fletcher, Yates, Tobias Gloth, Herbert Edelsbrunner, and Ping Fu. “Method, Apparatus and Computer Products That Reconstruct Surfaces from Data Points,” 2006.

Magill, Peter, Alek Pogosyan, Andrew Sharott, Jozsef L Csicsvari, John Bolam, and Peter Brown. “Changes in Functional Connectivity within the Rat Striatopallidal Axis during Global Brain Activation in Vivo.”https://doi.org/10.1523/â€‹JNEUROSCI.0620-06.2006__Journal of Neuroscience. Society for Neuroscience, 2006.https://doi.org/10.1523/â€‹JNEUROSCI.0620-06.2006 .

Cohen Steiner, David, Herbert Edelsbrunner, and Dmitriy Morozov. “Vines and Vineyards by Updating Persistence in Linear Time,”https://doi.org/10.1145/1137856.1137877__119–26. ACM, 2006.https://doi.org/10.1145/1137856.1137877 .

Edelsbrunner, Herbert, Dmitriy Morozov, and Valerio Pascucci. “Persistence-Sensitive Simplification of Functions on 2-Manifolds,”https://doi.org/10.1145/1137856.1137878__127–34. ACM, 2006.https://doi.org/10.1145/1137856.1137878 .

Pemberton, Josephine, Graeme Swanson, Nicholas H Barton, Suzanne Livingstone, and Helen Senn. “Hybridisation between Red and Sika Deer in Scotland.” Deer. BDS , 2006.

Yanchukov, Alexey, Sebastian Hofman, Jacek Szymura, Sergey Mezhzherin, Sviatoslav Morozov Leonov, Nicholas H Barton, and Beate Nürnberger. “Hybridization of Bombina Bombina and B. Variegata (Anura, Discoglossidae) at a Sharp Ecotone in Western Ukraine: Comparisons across Transects and over Time.”https://doi.org/10.1111/j.0014-3820.2006.tb01139.x__Evolution; International Journal of Organic Evolution. Wiley-Blackwell, 2006.https://doi.org/10.1111/j.0014-3820.2006.tb01139.x .

Kirkpatrick, Mark, and Nicholas H Barton. “Chromosome Inversions, Local Adaptation, and Speciation.”https://doi.org/10.1534/genetics.105.047985__Genetics. Genetics Society of America, 2006.https://doi.org/10.1534/genetics.105.047985 .

Hill, William, Nicholas H Barton, and Michael Turelli. “Prediction of Effects of Genetic Drift on Variance Components under a General Model of Epistasis.”https://doi.org/10.1016/j.tpb.2005.10.001__Theoretical Population Biology. Academic Press, 2006.https://doi.org/10.1016/j.tpb.2005.10.001 .

Ali, Haider, Christoph Lampert, and Thomas Breuel. “Satellite Tracks Removal in Astronomical Images,”https://doi.org/10.1007/11892755_92__4225:892–901. Springer, 2006.https://doi.org/10.1007/11892755_92 .

Ulges, Adrian, Christoph Lampert, and Daniel Keysers. “Spatiogram-Based Shot Distances for Video Retrieval,” 1–10. NIST (National Institute of Standards and Technology, US Department of Commerce), 2006.

Lampert, Christoph, Lin Mei, and Thomas Breuel. “Printing Technique Classification for Document Counterfeit Detection,”https://doi.org/10.1109/ICCIAS.2006.294214__1:639–634. IEEE, 2006.https://doi.org/10.1109/ICCIAS.2006.294214 .

Lampert, Christoph, and Oliver Wirjadi. “An Optimal Non-Orthogonal Separation of the Anisotropic Gaussian Convolution Filter.”https://doi.org/ 10.1109/TIP.2006.877501 __IEEE Transactions on Image Processing (TIP). IEEE, 2006.https://doi.org/ 10.1109/TIP.2006.877501  .

Lampert, Christoph, and Oliver Wirjadi. “Anisotropic Gaussian Filtering Using Fixed Point Arithmetic,”https://doi.org/10.1109/ICIP.2006.312606__1565–68. IEEE, 2006.https://doi.org/10.1109/ICIP.2006.312606 .

Keysers, Daniel, Christoph Lampert, and Thomas Breuel. “Color Image Dequantization by Constrained Diffusion,”https://doi.org/10.1117/12.648713__Vol. 6058. SPIE, 2006.https://doi.org/10.1117/12.648713 .

Bippes, Christian, Andrew Humphris, Martin Stark, Daniel Mueller, and Harald L Janovjak. “Direct Measurement of Single-Molecule Visco-Elasticity in Atomic Force Microscope Force-Extension Experiments.”https://doi.org/10.1007/s00249-005-0023-9__European Biophysics Journal. Springer, 2006.https://doi.org/10.1007/s00249-005-0023-9 .

Cieplak, Marek, Sawomir Filipek, Harald L Janovjak, and Krystiana Krzysko. “Pulling Single Bacteriorhodopsin out of a Membrane: Comparison of Simulation and Experiment.”https://doi.org/10.1016/j.bbamem.2006.03.028__Biochimica et Biophysica Acta (BBA) - Biomembranes. Elsevier, 2006.https://doi.org/10.1016/j.bbamem.2006.03.028 .

Janovjak, Harald L, and Daniel Mueller. “Rastersondenmikroskopie.” In Bioanalytik. Spektrum Akademischer Verlag, 2006.

Le, Thuc, Thierry Emonet, Sébastien Harlepp, Calin C Guet, and Philippe Cluzel. “Dynamical Determinants of Drug-Inducible Gene Expression in a Single Bacterium.”https://doi.org/10.1529/biophysj.105.073353__Biophysical Journal. Biophysical Society, 2006.https://doi.org/10.1529/biophysj.105.073353 .

Wojtan, Chris, Peter Mucha, and Greg Turk. “Keyframe Control of Complex Particle Systems Using the Adjoint Method,” 15–23. ACM, 2006.

Bischofberger, Josef, Dominique Engel, Liyi Li, Jörg Geiger, and Peter M Jonas. “Patch-Clamp Recording from Mossy Fiber Terminals in Hippocampal Slices.”https://doi.org/10.1038/nprot.2006.312 __Nature Protocols. Nature Publishing Group, 2006.https://doi.org/10.1038/nprot.2006.312  .

Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “The Complexity of Quantitative Concurrent Parity Games,”https://doi.org/10.1145/1109557.1109631__678–87. SIAM, 2006.https://doi.org/10.1145/1109557.1109631 .

Chatterjee, Krishnendu, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Algorithms for Omega-Regular Games with Imperfect Information,”https://doi.org/10.1007/11874683_19__4207:287–302. Springer, 2006.https://doi.org/10.1007/11874683_19 .

Chatterjee, Krishnendu. “Concurrent Games with Tail Objectives,”https://doi.org/10.1007/11874683_17__4207:256–70. Springer, 2006.https://doi.org/10.1007/11874683_17 .

Chatterjee, Krishnendu, and Thomas A Henzinger. “Strategy Improvement for Stochastic Rabin and Streett Games,”https://doi.org/10.1007/11817949_25__4137:375–89. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2006.https://doi.org/10.1007/11817949_25 .

Ustinova, Jana, Roland Achmann, Sylvia Cremer, and Frieder Mayer. “Long Repeats in a Huge Gemome: Microsatellite Loci in the Grasshopper Chorthippus Biguttulus.”https://doi.org/10.1007/s00239-005-0022-6__Journal of Molecular Evolution. Springer, 2006.https://doi.org/10.1007/s00239-005-0022-6 .

Drumea Mirancea, Mihaela, Johannes Wessels, Claudia Müller, Mike Essl, Johannes Eble, Eva Tolosa, Manuel Koch, et al. “Characterization of a Conduit System Containing Laminin-5 in the Human Thymus: A Potential Transport System for Small Molecules.”https://doi.org/10.1242/â€‹jcs.02840__Journal of Cell Science. Company of Biologists, 2006.https://doi.org/10.1242/â€‹jcs.02840 .

Chu, Haiyan, Ingo Thievessen, Michael K Sixt, Tim Lämmermann, Ari Waisman, Attila Braun, Angelika Noegel, and Reinhard Fässler. “;3-Parvin Is Dispensable for Hematopoiesis, Leukocyte Trafficking, and T-Cell-Dependent Antibody Response.”https://doi.org/10.1128/MCB.26.5.1817-1825.2006__Molecular and Cellular Biology. American Society for Microbiology, 2006.https://doi.org/10.1128/MCB.26.5.1817-1825.2006 .

Sixt, Michael K, Martina Bauer, Tim Lämmermann, and Reinhard Fässler. “Integrins: Zip Codes and Signaling Relay for Blood Cells.”https://doi.org/10.1016/j.ceb.2006.08.007__Current Opinion in Cell Biology. Elsevier, 2006.https://doi.org/10.1016/j.ceb.2006.08.007 .

Witzel, Sabine, Vitaly Zimyanin, Filipa Carreira Barbosa, Masazumi Tada, and Carl-Philipp J Heisenberg. “Wnt11 Controls Cell Contact Persistence by Local Accumulation of Frizzled 7 at the Plasma Membrane.”https://doi.org/10.1083/jcb.200606017__Journal of Cell Biology. Rockefeller University Press, 2006.https://doi.org/10.1083/jcb.200606017 .

Tonelli, Davide, Frederico Calegari, Ji Fei, Tadashi Nomura, Noriko Osumi, Carl-Philipp J Heisenberg, and Wieland Huttner. “Single-Cell Detection of MicroRNAs in Developing Vertebrate Embryos after Acute Administration of a Dual-Fluorescence Reporter/Sensor Plasmid.”https://doi.org/10.2144/000112296__Biotechniques. Informa Healthcare, 2006.https://doi.org/10.2144/000112296 .

Link, Vinzenz, Lara Carvalho, Irinka Castanon, Petra Stockinger, Andrej Shevchenko, and Carl-Philipp J Heisenberg. “Identification of Regulators of Germ Layer Morphogenesis Using Proteomics in Zebrafish.”https://doi.org/10.1242/jcs.02928__Journal of Cell Science. Company of Biologists, 2006.https://doi.org/10.1242/jcs.02928 .

Link, Vinzenz, Andrej Shevchenko, and Carl-Philipp J Heisenberg. “Proteomics of Early Zebrafish Embryos.”https://doi.org/10.1186/1471-213X-6-1__BMC Developmental Biology. BioMed Central, 2006.https://doi.org/10.1186/1471-213X-6-1 .

Langenberg, Tobias, Tadeusz Dracz, Andrew Oates, Carl-Philipp J Heisenberg, and Michael Brand. “Analysis and Visualization of Cell Movement in the Developing Zebrafish Brain.”https://doi.org/10.1002/dvdy.20692__Developmental Dynamics. Wiley-Blackwell, 2006.https://doi.org/10.1002/dvdy.20692 .

Köppen, Mathias, Beatriz Fernández, Lara Carvalho, António Jacinto, and Carl-Philipp J Heisenberg. “Coordinated Cell-Shape Changes Control Epithelial Movement in Zebrafish and Drosophila.”https://doi.org/doi: 10.1242/dev.02439__Development. Company of Biologists, 2006.https://doi.org/doi: 10.1242/dev.02439 .

Blaser, Heiko, Michal Reichman Fried, Irinka Castanon, Karin Dumstrei, Florence Marlow, Koichi Kawakami, Lilianna Solnica Krezel, Carl-Philipp J Heisenberg, and Erez Raz. “Migration of Zebrafish Primordial Germ Cells: A Role for Myosin Contraction and Cytoplasmic Flow.”https://doi.org/10.1016/j.devcel.2006.09.023__Developmental Cell. Cell Press, 2006.https://doi.org/10.1016/j.devcel.2006.09.023 .

Vladar, Harold de. “Density-Dependence as a Size-Independent Regulatory Mechanism.”https://doi.org/3802__Journal of Theoretical Biology. Elsevier, 2006.https://doi.org/3802 .

Vladar, Harold de, and J. González. “Dynamic Response of Cancer under the Influence of Immunological Activity and Therapy.” Journal of Theoretical Biology. Elsevier, 2006.

Roze, Denis, and Nicholas H Barton. “The Hill-Robertson Effect and the Evolution of Recombination.”https://doi.org/10.1534/genetics.106.058586 __Genetics. Genetics Society of America, 2006.https://doi.org/10.1534/genetics.106.058586  .

Barton, Nicholas H. “Evolutionary Biology: How Did the Human Species Form?”https://doi.org/10.1016/j.cub.2006.07.032__Current Biology. Cell Press, 2006.https://doi.org/10.1016/j.cub.2006.07.032 .

Wies, Thomas, Viktor Kuncak, Patrick Lam, Andreas Podelski, and Martin Rinard. “Field Constraint Analysis,”https://doi.org/1551__157–73. Springer, 2006.https://doi.org/1551 .

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 .