Lampert, Christoph, Matthew Blaschko, and Thomas Hofmann. “Beyond Sliding Windows: Object Localization by Efficient Subwindow Search,”https://doi.org/10.1109/CVPR.2008.4587586__1–8. IEEE, 2008.https://doi.org/10.1109/CVPR.2008.4587586 .

Tkadik, Gasper, Thomas Gregor, and William Bialek. “The Role of Input Noise in Transcriptional Regulation.”https://doi.org/10.1371/journal.pone.0002774__PLoS One. Public Library of Science, 2008.https://doi.org/10.1371/journal.pone.0002774 .

Kinkhabwala, Ali, and Calin C Guet. “Uncovering Cis Regulatory Codes Using Synthetic Promoter Shuffling.”https://doi.org/10.1371/journal.pone.0002030__PLoS One. Public Library of Science, 2008.https://doi.org/10.1371/journal.pone.0002030 .

Guet, Calin C, Luke Bruneaux, Taejin Min, Dan Siegal Gaskins, Israel Figueroa, Thierry Emonet, and Philippe Cluzel. “Minimally Invasive Determination of MRNA Concentration in Single Living Bacteria.”https://doi.org/10.1093/nar/gkn329__Nucleic Acids Research. Oxford University Press, 2008.https://doi.org/10.1093/nar/gkn329 .

Kupczok, Anne, Arndt Von Haeseler, and Steffen Klaere. “An Exact Algorithm for the Geodesic Distance between Phylogenetic Trees.”https://doi.org/4200__Journal of Computational Biology. Mary Ann Liebert, 2008.https://doi.org/4200 .

Doischer, Daniel, Jonas Hosp, Yuchio Yanagawa, Kunihiko Obata, Peter M Jonas, Imre Vida, and Marlene Bartos. “Postnatal Differentiation of Basket Cells from Slow to Fast Signaling Devices.”https://doi.org/10.1523/JNEUROSCI.2890-08.2008__Journal of Neuroscience. Society for Neuroscience, 2008.https://doi.org/10.1523/JNEUROSCI.2890-08.2008 .

Kerr, Angharad, Ellen Reisinger, and Peter M Jonas. “Differential Dependence of Phasic Transmitter Release on Synaptotagmin 1 at GABAergic and Glutamatergic Hippocampal Synapses.”https://doi.org/10.1073/pnas.0800621105__PNAS. National Academy of Sciences, 2008.https://doi.org/10.1073/pnas.0800621105 .

Chatterjee, Krishnendu, Luca De Alfaro, Ritankar Majumdar, and Vishwanath Raman. “Algorithms for Game Metrics,”https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1745__2:107–18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008.https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1745 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Koushik Sen. “Model-Checking Omega-Regular Properties of Interval Markov Chains,”https://doi.org/10.1007/978-3-540-78499-9_22__4962:302–17. Springer, 2008.https://doi.org/10.1007/978-3-540-78499-9_22 .

Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Controller Synthesis with Budget Constraints,”https://doi.org/DOI: 10.1007/978-3-540-78929-1_6__4981:72–86. Springer, 2008.https://doi.org/DOI: 10.1007/978-3-540-78929-1_6 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Vinayak Prabhu. “Timed Parity Games: Complexity and Robustness,”https://doi.org/10.1007/978-3-540-85778-5_10__5215:124–40. Springer, 2008.https://doi.org/10.1007/978-3-540-85778-5_10 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Barbara Jobstmann. “Environment Assumptions for Synthesis,”https://doi.org/10.1007/978-3-540-85361-9_14__5201:147–61. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008.https://doi.org/10.1007/978-3-540-85361-9_14 .

Chatterjee, Krishnendu, Luca De Alfaro, and Ritankar Majumdar. “The Complexity of Coverage,”https://doi.org/10.1007/978-3-540-89330-1_7__5356:91–106. Springer, 2008.https://doi.org/10.1007/978-3-540-89330-1_7 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Vinayak Prabhu. “Trading Infinite Memory for Uniform Randomness in Timed Games,”https://doi.org/10.1007/978-3-540-78929-1_7__4981:87–100. Springer, 2008.https://doi.org/10.1007/978-3-540-78929-1_7 .

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Quantitative Languages,”https://doi.org/10.1007/978-3-540-87531-4_28__5213:385–400. Springer, 2008.https://doi.org/10.1007/978-3-540-87531-4_28 .

Chatterjee, Krishnendu, and Thomas A Henzinger. “Value Iteration.”https://doi.org/10.1007/978-3-540-69850-0_7__In 25 Years in Model Checking, 5000:107–38. Springer, 2008.https://doi.org/10.1007/978-3-540-69850-0_7 .

Tripp, Christoph, Bernhard Haid, Vincent Flacher, Michael K Sixt, Hannes Peter, Julia Farkas, Robert Gschwentner, Lydia Sorokin, Nikolaus Romani, and Patrizia Stoitzner. “The Lymph Vessel Network in Mouse Skin Visualised with Antibodies against the Hyaluronan Receptor LYVE-1.”https://doi.org/10.1016/j.imbio.2008.07.025__Immunobiology. Elsevier, 2008.https://doi.org/10.1016/j.imbio.2008.07.025 .

Frommhold, David, Andreas Ludwig, M Gabriele Bixel, Alexander Zarbock, Inna Babushkina, Melitta Weissinger, Sandra Cauwenberghs, et al. “Sialyltransferase SGal-IV Controls CXC-Mediated Firm Leukocyte Arrest during Inflammation.”https://doi.org/10.1084/jem.20070846__The Journal of Experimental Medicine. Rockefeller University Press, 2008.https://doi.org/10.1084/jem.20070846 .

Kessenbrock, Kai, Leopold Fröhlich, Michael K Sixt, Tim Lämmermann, Heiko Pfister, Andrew Bateman, Azzaq Belaaouaj, et al. “Proteinase 3 and Neutrophil Elastase Enhance Inflammation in Mice by Inactivating Antiinflammatory Progranulin.”https://doi.org/10.1172/JCI34694__The Journal of Clinical Investigation. American Society for Clinical Investigation, 2008.https://doi.org/10.1172/JCI34694 .

Lämmermann, Tim, Bernhard Bader, Susan Monkley, Tim Worbs, Roland Wedlich Söldner, Karin Hirsch, Markus Keller, et al. “Rapid Leukocyte Migration by Integrin-Independent Flowing and Squeezing.”https://doi.org/10.1038/nature06887__Nature. Nature Publishing Group, 2008.https://doi.org/10.1038/nature06887 .

Riedl, Julia, Alvaro Crevenna, Kai Kessenbrock, Jerry Yu, Dorothee Neukirchen, Michal Bista, Frank Bradke, et al. “Lifeact: A Versatile Marker to Visualize F-Actin.”https://doi.org/10.1038/nmeth.1220__Nature Methods. Nature Publishing Group, 2008.https://doi.org/10.1038/nmeth.1220 .

Edelsbrunner, Herbert, John Harer, and Amit Patel. “Reeb Spaces of Piecewise Linear Mappings,”https://doi.org/10.1145/1377676.1377720__242–50. ACM, 2008.https://doi.org/10.1145/1377676.1377720 .

Storch, D., A. Sizling, J. Reif, Jitka Polechova, E. Sizlingová, and K. Gaston. “The Quest for a Null Model for Macroecological Patterns: Geometry of Species Distributions at Multiple Spatial Scales.”https://doi.org/3817__Ecology Letters. Wiley-Blackwell, 2008.https://doi.org/3817 .

Bridle, Jon, Jitka Polechova, and Timothy Vines. “Patterns of Biodiversity and Limits to Adaptation in Time and Space.”https://doi.org/3816__In Evolution and Speciation, edited by J.R. R. K. Butlin and D. Schluter, 77–101. Cambridge University Press, 2008.https://doi.org/3816 .

Schötz, Eva, Rebecca Burdine, Frank Julicher, Malcolm Steinberg, Carl-Philipp J Heisenberg, and Ramsey Foty. “Quantitative Differences in Tissue Surface Tension Influence Zebrafish Germ Layer Positioning.”https://doi.org/10.2976/1.2834817__HFSP Journal. HFSP Publishing, 2008.https://doi.org/10.2976/1.2834817 .

Krieg, Michael, Yohanna Arboleda Estudillo, Pierre Puech, Jos Käfer, François Graner, Daniel Mueller, and Carl-Philipp J Heisenberg. “Tensile Forces Govern Germ-Layer Organization in Zebrafish.”https://doi.org/10.1038/ncb1705__Nature Cell Biology. Nature Publishing Group, 2008.https://doi.org/10.1038/ncb1705 .

Krieg, Michael, Jonne Helenius, Carl-Philipp J Heisenberg, and Daniel Mueller. “A Bond for a Lifetime: Employing Membrane Nanotubes from Living Cells to Determine Receptor-Ligand Kinetics.”https://doi.org/10.1002/anie.200803552__Angewandte Chemie - International Edition. Wiley-Blackwell, 2008.https://doi.org/10.1002/anie.200803552 .

Helenius, Jonne, Carl-Philipp J Heisenberg, Hermann Gaub, and Daniel Mueller. “Single-Cell Force Spectroscopy.”https://doi.org/10.1242/â€‹jcs.030999__Journal of Cell Science. Company of Biologists, 2008.https://doi.org/10.1242/â€‹jcs.030999 .

Heisenberg, Carl-Philipp J, and Lilianna Solnica Krezel. “Back and Forth between Cell Fate Specification and Movement during Vertebrate Gastrulation.”https://doi.org/10.1016/j.gde.2008.07.011__Current Opinion in Genetics &; Development. Elsevier, 2008.https://doi.org/10.1016/j.gde.2008.07.011 .

Bollenbach, Tobias, Periklis Pantazis, Anna Kicheva, Christian Bokel, Marcos González Gaitán, and Frank Julicher. “Precision of the Dpp Gradient.”https://doi.org/10.1242/dev.012062__Development. Company of Biologists, 2008.https://doi.org/10.1242/dev.012062 .

Pannebakker, Bart, Daniel Halligan, K Tracy Reynolds, Gavin Ballantyne, David Shuker, Nicholas H Barton, and Stuart West. “Effects of Spontaneous Mutation Accumulation on Sex Ratio Traits.”https://doi.org/10.1111/j.1558-5646.2008.00434.x__Evolution; International Journal of Organic Evolution. Wiley-Blackwell, 2008.https://doi.org/10.1111/j.1558-5646.2008.00434.x .

Yang, Erfu, Nicholas H Barton, Tughrul Arslan, and Ahmet Erdogan. “A Novel Shifting Balance Theory-Based Approach to Optimization of an Energy-Constrained Modulation Scheme for Wireless Sensor Networks,”https://doi.org/10.1109/CEC.2008.4631167__2749–56. IEEE, 2008.https://doi.org/10.1109/CEC.2008.4631167 .

Maler, Oded, Dejan Nickovic, and Amir Pnueli. “Checking Temporal Properties of Discrete, Timed and Continuous Behaviors.”https://doi.org/10.1007/978-3-540-78127-1_26__In Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, 475–505. Springer, 2008.https://doi.org/10.1007/978-3-540-78127-1_26 .

Podelski, Andreas, Andrey Rybalchenko, and Thomas Wies. “Heap Assumptions on Demand,”https://doi.org/10.1007/978-3-540-70545-1_31__5123:314–27. Springer, 2008.https://doi.org/10.1007/978-3-540-70545-1_31 .

Swarup, Kamal, Eva Benková, Ranjan Swarup, Ilda Casimiro, Benjamin Péret, Yaodong Yang, Geraint Parry, et al. “The Auxin Influx Carrier LA Promotes Lateral Root Emergence.”https://doi.org/10.1038/ncb1754__Nature Cell Biology. Nature Publishing Group, 2008.https://doi.org/10.1038/ncb1754 .

Dubrovsky, Joseph, Michael Sauer, Selene Napsucialy Mendivil, Maria Ivanchenko, Jií Friml, Svetlana Shishkova, John Celenza, and Eva Benková. “Auxin Acts as a Local Morphogenetic Trigger to Specify Lateral Root Founder Cells.”https://doi.org/10.1073/pnas.0712307105__PNAS. National Academy of Sciences, 2008.https://doi.org/10.1073/pnas.0712307105 .

Rfdková, Eva, Jií Friml, Petra Procházková Schrumpfová, and Jií Fajkus. “Role of Alternative Telomere Lengthening Unmasked in Telomerase Knock-out Mutant Plants.”https://doi.org/10.1007/s11103-008-9295-7__Plant Molecular Biology. Springer, 2008.https://doi.org/10.1007/s11103-008-9295-7 .

Kleine Vehn, Jürgen, Pankaj Dhonukshe, Michael Sauer, Philip Brewer, Justyna Wibniewska, Tomasz Paciorek, Eva Benková, and Jií Friml. “ARF GEF Dependent Transcytosis and Polar Delivery of PIN Auxin Carriers in Arabidopsis.”https://doi.org/10.1016/j.cub.2008.03.021__Current Biology. Cell Press, 2008.https://doi.org/10.1016/j.cub.2008.03.021 .

Sauer, Michael, and Jií Friml. “In Vitro Culture of Arabidopsis Embryos .”https://doi.org/10.1007/978-1-59745-273-1_5__In Plant Embryogenesis, edited by María Suárez and Peter Bozhkov, 427:71–76. Humana Press, 2008.https://doi.org/10.1007/978-1-59745-273-1_5 .

Sauer, Michael, and Jií Friml. “Visualization of Auxin Gradients in Embryogenesis .”https://doi.org/10.1007/978-1-59745-273-1_11__In Plant Embryogenesis, edited by María Suárez and Peter Bozhkov, 427:137–44. Humana Press, 2008.https://doi.org/10.1007/978-1-59745-273-1_11 .

Feraru, Elena, and Jií Friml. “PIN Polar Targeting.”https://doi.org/10.1104/pp.108.121756__Plant Physiology. American Society of Plant Biologists, 2008.https://doi.org/10.1104/pp.108.121756 .

Friml, Jií, and Michael Sauer. “Plant Biology: In Their Neighbour’s Shadow.”https://doi.org/10.1038/453298a__Nature. Nature Publishing Group, 2008.https://doi.org/10.1038/453298a .

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 with Smoothness-Based Priors.”https://doi.org/10.1109/TPAMI.2007.70844__IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE, 2008.https://doi.org/10.1109/TPAMI.2007.70844 .

Torresani, Lorenzo, Vladimir Kolmogorov, and Carsten Rother. “Feature Correspondence via Graph Matching: Models and Global Optimization,”https://doi.org/10.1007/978-3-540-88688-4_44__5303:596–609. Springer, 2008.https://doi.org/10.1007/978-3-540-88688-4_44 .

Vicente, Sara, Vladimir Kolmogorov, and Carsten Rother. “Graph Cut Based Image Segmentation with Connectivity Priors.”https://doi.org/10.1109/CVPR.2008.4587440__IEEE, 2008.https://doi.org/10.1109/CVPR.2008.4587440 .

Dodis, Yevgeniy, Krzysztof Z Pietrzak, and Prashant Puniya. “A New Mode of Operation for Block Ciphers and Length Preserving MACs,”https://doi.org/10.1007/978-3-540-78967-3_12__4965:198–219. Springer, 2008.https://doi.org/10.1007/978-3-540-78967-3_12 .

Fischlin, Marc, Anja Lehmann, and Krzysztof Z Pietrzak. “Robust Multi Property Combiners for Hash Functions Revisited,”https://doi.org/10.1007/978-3-540-70583-3_53__5126:655–66. Springer, 2008.https://doi.org/10.1007/978-3-540-70583-3_53 .

Schmalhorst, Philipp S, Sven Krappmann, Wouter Vervecken, Manfred Rohde, Meike Müller, Gerhard Braus, Roland Contreras, Armin Braun, Hans Bakker, and Françoise Routier. “Contribution of Galactofuranose to the Virulence of the Opportunistic Pathogen Aspergillus Fumigatus.”https://doi.org/10.1128/EC.00065-08__Eukaryotic Cell. American Society for Microbiology, 2008.https://doi.org/10.1128/EC.00065-08 .

Green, Richard, Anna Malaspinas, Johannes Krause, Adrian Briggs, Philip Johnson, Caroline Uhler, Matthias Meyer, et al. “A Complete Neandertal Mitochondrial Genome Sequence Determined by Highhhroughput Sequencing.”https://doi.org/10.1016/j.cell.2008.06.021__Cell. Cell Press, 2008.https://doi.org/10.1016/j.cell.2008.06.021 .

Bollback, Jonathan P, Thomas York, and Rasmus Nielsen. “Estimation of 2Nes From Temporal Allele Frequency Data.”https://doi.org/10.1534/genetics.107.085019__Genetics. Genetics Society of America, 2008.https://doi.org/10.1534/genetics.107.085019 .

Huxter, John, Timothy Senior, Kevin Allen, and Jozsef L Csicsvari. “Theta Phase-Specific Codes for Two-Dimensional Position, Trajectory and Heading in the Hippocampus.”https://doi.org/10.1038/nn.2106__Nature Neuroscience. Nature Publishing Group, 2008.https://doi.org/10.1038/nn.2106 .

Fuentealba, Pablo, Rahima Begum, Marco Capogna, Shozo Jinno, Laszlo Marton, Jozsef L Csicsvari, Alex Thomson, Péter Somogyi, and Thomas Klausberger. “Ivy Cells: A Population of Nitric-Oxide-Producing, Slow-Spiking GABAergic Neurons and Their Involvement in Hippocampal Network Activity.”https://doi.org/10.1016/j.neuron.2008.01.034__Neuron. Elsevier, 2008.https://doi.org/10.1016/j.neuron.2008.01.034 .

Mallet, Nicolas, Alek Pogosyan, Andrew Sharott, Jozsef L Csicsvari, John Bolam, Peter Brown, and Peter Magill. “Disrupted Dopamine Transmission and the Emergence of Exaggerated Beta Oscillations in Subthalamic Nucleus and Cerebral Cortex.”https://doi.org/10.1523/JNEUROSCI.0123-08.2008__Journal of Neuroscience. Society for Neuroscience, 2008.https://doi.org/10.1523/JNEUROSCI.0123-08.2008 .

Biasotti, Silvia, Dominique Attali, Jean Boissonnat, Herbert Edelsbrunner, Gershon Elber, Michela Mortara, Gabriella Sanniti Di Baja, Michela Spagnuolo, Mirela Tanase, and Remco Veltkam. “Skeletal Structures.”https://doi.org/10.1007/978-3-540-33265-7_5__In Shape Analysis and Structuring, 145–83. Springer, 2008.https://doi.org/10.1007/978-3-540-33265-7_5 .

Ulrich, Florian, and Carl-Philipp J Heisenberg. “Probing E-Cadherin Endocytosis by Morpholino-Mediated Rab5 Knock-down in Zebrafish.”https://doi.org/10.1007/978-1-59745-178-9_27__Methods in Molecular Biology. Springer, 2008.https://doi.org/10.1007/978-1-59745-178-9_27 .

Yang, Erfu, Ahmet Erdogan, Tughrul Arslan, and Nicholas H Barton. “Adaptive Formation Control and Bio-Inspired Optimization of a Cluster-Based Satellite Wireless Sensor Network ,”https://doi.org/10.1109/AHS.2008.60__432–39. IEEE, 2008.https://doi.org/10.1109/AHS.2008.60 .

Blaschko, Matthew, Christoph Lampert, and Arthur Gretton. “Semi-Supervised Laplacian Regularization of Kernel Canonical Correlation Analysis,”https://doi.org/10.1007/978-3-540-87479-9_27__5211:133–45. Springer, 2008.https://doi.org/10.1007/978-3-540-87479-9_27 .

Goldstein, Markus, Christoph Lampert, Matthias Reif, Armin Stahl, and Thomas Breuel. “Bayes Optimal DDoS Mitigation by Adaptive History-Based IP Filtering,”https://doi.org/10.1109/ICN.2008.64__174–79. IEEE, 2008.https://doi.org/10.1109/ICN.2008.64 .

Lampert, Christoph, and Matthew Blaschko. “Joint Kernel Support Estimation for Structured Prediction,” 1–4. Curran Associates, Inc., 2008.

Blaschko, Matthew, and Christoph Lampert. “Correlational Spectral Clustering,”https://doi.org/10.1109/CVPR.2008.4587353__1–8. IEEE, 2008.https://doi.org/10.1109/CVPR.2008.4587353 .

Engel, Andreas, Harald L Janovjak, Dimtrios Fotiadis, Alexej Kedrov, David Cisneros, and Daniel Mueller. “Single-Molecule Microscopy and Force Spectroscopy of Membrane Proteins.”https://doi.org/10.1007/978-3-540-73924-1_11__In Single Molecules and Nanotechnology, 12:279–311. Springer, 2008.https://doi.org/10.1007/978-3-540-73924-1_11 .

Tkadik, Gasper, Curtis Callan, and William Bialek. “Information Capacity of Genetic Regulatory Elements.”https://doi.org/10.1103/PhysRevE.78.011910__Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics, 2008.https://doi.org/10.1103/PhysRevE.78.011910 .

Tkadik, Gasper, Curtis Callan, and William Bialek. “Information Flow and Optimization in Transcriptional Regulation.”https://doi.org/10.1073/pnas.0806077105__PNAS. National Academy of Sciences, 2008.https://doi.org/10.1073/pnas.0806077105 .

Tkadik, Gasper, and Marcelo Magnasco. “Decoding Spike Timing: The Differential Reverse-Correlation Method.”https://doi.org/10.1016/j.biosystems.2008.04.011__Biosystems. Elsevier, 2008.https://doi.org/10.1016/j.biosystems.2008.04.011 .

Wojtan, Chris, and Greg Turk. “Fast Viscoelastic Behavior with Thin Features.”https://doi.org/10.1145/1360612.1360646__ACM Transactions on Graphics. ACM, 2008.https://doi.org/10.1145/1360612.1360646 .

Aponte, Yexica, Josef Bischofberger, and Peter M Jonas. “Efficient Ca(2+) Buffering in Fast-Spiking Basket Cells of Rat Hippocampus.”https://doi.org/10.1113/jphysiol.2007.147298__Journal of Physiology. Wiley-Blackwell, 2008.https://doi.org/10.1113/jphysiol.2007.147298 .

Schmidt Hieber, Christoph, Peter M Jonas, and Josef Bischofberger. “Action Potential Initiation and Propagation in Hippocampal Mossy Fibre Axons.”https://doi.org/10.1113/jphysiol.2007.150151 __Journal of Physiology. Wiley-Blackwell, 2008.https://doi.org/10.1113/jphysiol.2007.150151  .

Bucurenciu, Iancu, Ákos Kulik, Beat Schwaller, Michael Frotscher, and Peter M Jonas. “Nanodomain Coupling between Ca(2+) Channels and C+ Sensors Promotes Fast and Efficient Transmitter Release at a Cortical GABAergic Synapse.”https://doi.org/10.1016/j.neuron.2007.12.026__Neuron. Elsevier, 2008.https://doi.org/10.1016/j.neuron.2007.12.026 .

Kerr, Angharad, and Peter M Jonas. “The Two Sides of Hippocampal Mossy Fiber Plasticity (Review).”https://doi.org/10.1016/j.neuron.2007.12.015__Neuron. Elsevier, 2008.https://doi.org/10.1016/j.neuron.2007.12.015 .

Berwanger, Dietmar, Krishnendu Chatterjee, Laurent Doyen, Thomas A Henzinger, and Sangram Raje. “Strategy Construction for Parity Games with Imperfect Information,”https://doi.org/10.1007/978-3-540-85361-9__5201:325–39. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008.https://doi.org/10.1007/978-3-540-85361-9 .

Ugelvig, Line V, Falko Drijfhout, Daniel Kronauer, Jacobus Boomsma, Jes Pedersen, and Sylvia Cremer. “The Introduction History of Invasive Garden Ants in Europe: Integrating Genetic, Chemical and Behavioural Approaches.”https://doi.org/10.1186/1741-7007-6-11__BMC Biology. BioMed Central, 2008.https://doi.org/10.1186/1741-7007-6-11 .

Cremer, Sylvia, Patrizia D’Ettorre, Falko Drijfhout, Matthew Sledge, Stefano Turillazzi, and Jürgen Heinze. “Imperfect Chemical Female Mimicry in Males of the Ant Cardiocondyla Obscurior.”https://doi.org/10.1007/s00114-008-0430-8__Naturwissenschaften. Springer, 2008.https://doi.org/10.1007/s00114-008-0430-8 .

Suefuji, Masaki, Sylvia Cremer, Jan Oettler, and Jürgen Heinze. “Queen Number Influences the Timing of the Sexual Production in Colonies of Cardiocondyla Ants.”https://doi.org/10.1098/rsbl.2008.0355__Biology Letters. Royal Society, The, 2008.https://doi.org/10.1098/rsbl.2008.0355 .

Cremer, Sylvia, Line V Ugelvig, Falko Drijfhout, Birgit Schlick Steiner, Florian Steiner, Bernhard Seifert, David Hughes, et al. “The Evolution of Invasiveness in Garden Ants.”https://doi.org/10.1371/journal.pone.0003838__PLoS One. Public Library of Science, 2008.https://doi.org/10.1371/journal.pone.0003838 .

Lämmermann, Tim, and Michael K Sixt. “The Microanatomy of T-Cell Responses.”https://doi.org/10.1111/j.1600-065X.2008.00592.x__Immunological Reviews. Wiley-Blackwell, 2008.https://doi.org/10.1111/j.1600-065X.2008.00592.x .

Lokmic, Zerina, Tim Lämmermann, Michael K Sixt, Susanna Cardell, Rupert Hallmann, and Lydia Sorokin. “The Extracellular Matrix of the Spleen as a Potential Organizer of Immune Cell Compartments.”https://doi.org/10.1016/j.smim.2007.12.009__Seminars in Immunology. Academic Press, 2008.https://doi.org/10.1016/j.smim.2007.12.009 .

Dequéant, Mary, Sebastian Ahnert, Herbert Edelsbrunner, Thomas Fink, Earl Glynn, Gaye Hattem, Andrzej Kudlicki, et al. “Comparison of Pattern Detection Methods in Microarray Time Series of the Segmentation Clock.”https://doi.org/10.1371/journal.pone.0002856__PLoS One. Public Library of Science, 2008.https://doi.org/10.1371/journal.pone.0002856 .

Edelsbrunner, Herbert, John Harer, Ajith Mascarenhas, Valerio Pascucci, and Jack Snoeyink. “Time-Varying Reeb Graphs for Continuous Space-Time Data.”https://doi.org/10.1016/j.comgeo.2007.11.001__Computational Geometry: Theory and Applications. Elsevier, 2008.https://doi.org/10.1016/j.comgeo.2007.11.001 .

Edelsbrunner, Herbert, and John Harer. “Persistent Homology - a Survey.” In Surveys on Discrete and Computational Geometry: Twenty Years Later, 257–82. American Mathematical Society, 2008.

Vervenne, Hilke, Koen Crombez, Kathleen Lambaerts, Lara Carvalho, Mathias Köppen, Carl-Philipp J Heisenberg, Wim Van De Ven, and Marleen Petit. “Lpp Is Involved in Wnt/PCP Signaling and Acts Together with Scrib to Mediate Convergence and Extension Movements during Zebrafish Gastrulation.”https://doi.org/10.1016/j.ydbio.2008.05.529__Developmental Biology. Elsevier, 2008.https://doi.org/10.1016/j.ydbio.2008.05.529 .

Oteíza, Pablo, Mathias Köppen, Miguel Concha, and Carl-Philipp J Heisenberg. “Origin and Shaping of the Laterality Organ in Zebrafish.”https://doi.org/10.1242/dev.022228__Development. Company of Biologists, 2008.https://doi.org/10.1242/dev.022228 .

Kai, Masatake, Carl-Philipp J Heisenberg, and Masazumi Tada. “Sphingosine-1-Phosphate Receptors Regulate Individual Cell Behaviours Underlying the Directed Migration of Prechordal Plate Progenitor Cells during Zebrafish Gastrulation.”https://doi.org/10.1242/dev.020396__Development. Company of Biologists, 2008.https://doi.org/10.1242/dev.020396 .

Guerraoui, Rachid, Thomas A Henzinger, Barbara Jobstmann, and Vasu Singh. “Model Checking Transactional Memories,”https://doi.org/10.1145/1375581.1375626__372–82. ACM, 2008.https://doi.org/10.1145/1375581.1375626 .

Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Permissiveness in Transactional Memories,”https://doi.org/10.1007/978-3-540-87779-0_21__5218:305–19. Springer, 2008.https://doi.org/10.1007/978-3-540-87779-0_21 .

Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Completeness and Nondeterminism in Model Checking Transactional Memories,”https://doi.org/10.1007/978-3-540-85361-9_6__5201:21–35. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008.https://doi.org/10.1007/978-3-540-85361-9_6 .

Beyer, Dirk, Damien Zufferey, and Ritankar Majumdar. “CSIsat: Interpolation for LA+EUF,” 304–8. Springer, 2008.

Aviv, Adam, Pavol Cerny, Sandy Clark, Eric Cronin, Gaurav Shah, Micah Sherr, and Matt Blaze. “Security Evaluation of ES&;amp;S Voting Machines and Election Management System.”https://doi.org/1545__USENIX, 2008.https://doi.org/1545 .

Prabhu, Vinayak. “Games for the Verification of Timed Systems.” University of California, Berkeley, 2008.

Matic, Slobodan. “Compositionality in Deterministic Real-Time Embedded Systems.” University of California, Berkeley, 2008.

Henzinger, Thomas A, Thibaud Hottelier, and Laura Kovács. “Valigator: A Verification Tool with Bound and Invariant Generation,”https://doi.org/10.1007/978-3-540-89439-1_24__5330:333–42. Springer, 2008.https://doi.org/10.1007/978-3-540-89439-1_24 .

Henzinger, Thomas A. “Two Challenges in Embedded Systems Design: Predictability and Robustness.”https://doi.org/10.1098/rsta.2008.0141__Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. Royal Society of London, 2008.https://doi.org/10.1098/rsta.2008.0141 .

Ghosal, Arkadeb. “A Hierarchical Coordination Language for Reliable Real-Time Tasks.” University of California, Berkeley, 2008.

Gupta, Ashutosh, Thomas A Henzinger, Ritankar Majumdar, Andrey Rybalchenko, and Ru Xu. “Proving Non-Termination,”https://doi.org/10.1145/1328438.1328459__147–58. ACM, 2008.https://doi.org/10.1145/1328438.1328459 .

Fisher, Jasmin, Thomas A Henzinger, Maria Mateescu, and Nir Piterman. “Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions,”https://doi.org/10.1007/978-3-540-68413-8_2__5054:17–32. Springer, 2008.https://doi.org/10.1007/978-3-540-68413-8_2 .

Doyen, Laurent, Thomas A Henzinger, and Jean Raskin. “Equivalence of Labeled Markov Chains.”https://doi.org/10.1142/S0129054108005814 __International Journal of Foundations of Computer Science. World Scientific Publishing, 2008.https://doi.org/10.1142/S0129054108005814  .

Doyen, Laurent, Thomas A Henzinger, Barbara Jobstmann, and Tatjana Petrov. “Interface Theories with Component Reuse,”https://doi.org/10.1145/1450058.1450070__79–88. ACM, 2008.https://doi.org/10.1145/1450058.1450070 .

Chatterjee, Krishnendu, and Thomas A Henzinger. “Reduction of Stochastic Parity to Stochastic Mean-Payoff Games.”https://doi.org/10.1016/j.ipl.2007.08.035__Information Processing Letters. Elsevier, 2008.https://doi.org/10.1016/j.ipl.2007.08.035 .

Chatterjee, Krishnendu, Arkadeb Ghosal, Thomas A Henzinger, Daniel Iercan, Christoph Kirsch, Claudio Pinello, and Alberto Sangiovanni Vincentelli. “Logical Reliability of Interacting Real-Time Tasks,”https://doi.org/10.1145/1403375.1403595__909–14. IEEE, 2008.https://doi.org/10.1145/1403375.1403595 .

Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Stochastic Limit-Average Games Are in EXPTIME.”https://doi.org/10.1007/s00182-007-0110-5__International Journal of Game Theory. Springer, 2008.https://doi.org/10.1007/s00182-007-0110-5 .

Beyer, Dirk, Thomas A Henzinger, and Grégory Théoduloz. “Program Analysis with Dynamic Change of Precision,”https://doi.org/10.1109/ASE.2008.13__29–38. ACM, 2008.https://doi.org/10.1109/ASE.2008.13 .