Barton, N. H. (2008). The effect of a barrier to gene flow on patterns of geographic variation. Genetical Research. Cambridge University Press.https://doi.org/10.1017/S0016672307009081 

De Cara, M., Barton, N. H., &; Kirkpatrick, M. (2008). A model for the evolution of assortative mating. American Naturalist. University of Chicago Press.https://doi.org/10.1086/587062 

Blaschko, M., &; Lampert, C. (2008). Learning to localize objects with structured output regression (Vol. 5302, pp. 2–15). Presented at the ECCV: European Conference on Computer Vision, Springer.https://doi.org/10.1007/978-3-540-88682-2_2 

Lampert, C. (2008). Partitioning of image datasets using discriminative context information (pp. 1–8). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE.https://doi.org/10.1109/CVPR.2008.4587448 

Lampert, C., &; Blaschko, M. (2008). A multiple kernel learning approach to joint multi-class object detection (Vol. 5096, pp. 31–40). Presented at the DAGM: German Association For Pattern Recognition, Springer.https://doi.org/10.1007/978-3-540-69321-5_4 

Lampert, C., Blaschko, M., &; Hofmann, T. (2008). Beyond sliding windows: Object localization by efficient subwindow search (pp. 1–8). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE.https://doi.org/10.1109/CVPR.2008.4587586 

Tkadik, G., Gregor, T., &; Bialek, W. (2008). The role of input noise in transcriptional regulation. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0002774 

Kinkhabwala, A., &; Guet, C. C. (2008). Uncovering cis regulatory codes using synthetic promoter shuffling. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0002030 

Guet, C. C., Bruneaux, L., Min, T., Siegal Gaskins, D., Figueroa, I., Emonet, T., &; Cluzel, P. (2008). Minimally invasive determination of mRNA concentration in single living bacteria. Nucleic Acids Research. Oxford University Press.https://doi.org/10.1093/nar/gkn329 

Kupczok, A., Von Haeseler, A., &; Klaere, S. (2008). An Exact Algorithm for the Geodesic Distance between Phylogenetic Trees. Journal of Computational Biology. Mary Ann Liebert.https://doi.org/4200 

Doischer, D., Hosp, J., Yanagawa, Y., Obata, K., Jonas, P. M., Vida, I., &; Bartos, M. (2008). Postnatal differentiation of basket cells from slow to fast signaling devices. Journal of Neuroscience. Society for Neuroscience.https://doi.org/10.1523/JNEUROSCI.2890-08.2008 

Kerr, A., Reisinger, E., &; Jonas, P. M. (2008). Differential dependence of phasic transmitter release on synaptotagmin 1 at GABAergic and glutamatergic hippocampal synapses. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.0800621105 

Chatterjee, K., De Alfaro, L., Majumdar, R., &; Raman, V. (2008). Algorithms for game metrics (Vol. 2, pp. 107–118). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1745 

Chatterjee, K., Henzinger, T. A., &; Sen, K. (2008). Model-checking omega-regular properties of interval Markov chains (Vol. 4962, pp. 302–317). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Springer.https://doi.org/10.1007/978-3-540-78499-9_22 

Chatterjee, K., Majumdar, R., &; Henzinger, T. A. (2008). Controller synthesis with budget constraints (Vol. 4981, pp. 72–86). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer.https://doi.org/DOI: 10.1007/978-3-540-78929-1_6 

Chatterjee, K., Henzinger, T. A., &; Prabhu, V. (2008). Timed parity games: complexity and robustness (Vol. 5215, pp. 124–140). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer.https://doi.org/10.1007/978-3-540-85778-5_10 

Chatterjee, K., Henzinger, T. A., &; Jobstmann, B. (2008). Environment assumptions for synthesis (Vol. 5201, pp. 147–161). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/978-3-540-85361-9_14 

Chatterjee, K., De Alfaro, L., &; Majumdar, R. (2008). The complexity of coverage (Vol. 5356, pp. 91–106). Presented at the APLAS: Asian Symposium on Programming Languages and Systems, Springer.https://doi.org/10.1007/978-3-540-89330-1_7 

Chatterjee, K., Henzinger, T. A., &; Prabhu, V. (2008). Trading infinite memory for uniform randomness in timed games (Vol. 4981, pp. 87–100). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer.https://doi.org/10.1007/978-3-540-78929-1_7 

Chatterjee, K., Doyen, L., &; Henzinger, T. A. (2008). Quantitative languages (Vol. 5213, pp. 385–400). Presented at the CSL: Computer Science Logic, Springer.https://doi.org/10.1007/978-3-540-87531-4_28 

Chatterjee, K., &; Henzinger, T. A. (2008). Value iteration. In 25 Years in Model Checking (Vol. 5000, pp. 107–138). Springer.https://doi.org/10.1007/978-3-540-69850-0_7 

Tripp, C., Haid, B., Flacher, V., Sixt, M. K., Peter, H., Farkas, J.,https://doi.org/10.1016/j.imbio.2008.07.025__Stoitzner, P. (2008). The lymph vessel network in mouse skin visualised with antibodies against the hyaluronan receptor LYVE-1. Immunobiology. Elsevier.https://doi.org/10.1016/j.imbio.2008.07.025 

Frommhold, D., Ludwig, A., Bixel, M. G., Zarbock, A., Babushkina, I., Weissinger, M.,https://doi.org/10.1084/jem.20070846__Sperandio, M. (2008). Sialyltransferase SGal-IV controls CXC-mediated firm leukocyte arrest during inflammation. The Journal of Experimental Medicine. Rockefeller University Press.https://doi.org/10.1084/jem.20070846 

Kessenbrock, K., Fröhlich, L., Sixt, M. K., Lämmermann, T., Pfister, H., Bateman, A.,https://doi.org/10.1172/JCI34694__Jenne, D. (2008). Proteinase 3 and neutrophil elastase enhance inflammation in mice by inactivating antiinflammatory progranulin. The Journal of Clinical Investigation. American Society for Clinical Investigation.https://doi.org/10.1172/JCI34694 

Lämmermann, T., Bader, B., Monkley, S., Worbs, T., Wedlich Söldner, R., Hirsch, K.,https://doi.org/10.1038/nature06887__Sixt, M. K. (2008). Rapid leukocyte migration by integrin-independent flowing and squeezing. Nature. Nature Publishing Group.https://doi.org/10.1038/nature06887 

Riedl, J., Crevenna, A., Kessenbrock, K., Yu, J., Neukirchen, D., Bista, M.,https://doi.org/10.1038/nmeth.1220__Wedlich Soldner, R. (2008). Lifeact: a versatile marker to visualize F-actin. Nature Methods. Nature Publishing Group.https://doi.org/10.1038/nmeth.1220 

Edelsbrunner, H., Harer, J., &; Patel, A. (2008). Reeb spaces of piecewise linear mappings (pp. 242–250). Presented at the SCG: Symposium on Computational Geometry, ACM.https://doi.org/10.1145/1377676.1377720 

Storch, D., Sizling, A., Reif, J., Polechova, J., Sizlingová, E., &; Gaston, K. (2008). The quest for a null model for macroecological patterns: geometry of species distributions at multiple spatial scales. Ecology Letters. Wiley-Blackwell.https://doi.org/3817 

Bridle, J., Polechova, J., &; Vines, T. (2008). Patterns of biodiversity and limits to adaptation in time and space. In J. R. R. K. Butlin &; D. Schluter (Eds.), Evolution and Speciation (pp. 77–101). Cambridge University Press.https://doi.org/3816 

Schötz, E., Burdine, R., Julicher, F., Steinberg, M., Heisenberg, C.-P. J., &; Foty, R. (2008). Quantitative differences in tissue surface tension influence zebrafish germ layer positioning. HFSP Journal. HFSP Publishing.https://doi.org/10.2976/1.2834817 

Krieg, M., Arboleda Estudillo, Y., Puech, P., Käfer, J., Graner, F., Mueller, D., &; Heisenberg, C.-P. J. (2008). Tensile forces govern germ-layer organization in zebrafish. Nature Cell Biology. Nature Publishing Group.https://doi.org/10.1038/ncb1705 

Krieg, M., Helenius, J., Heisenberg, C.-P. J., &; Mueller, D. (2008). A Bond for a Lifetime: Employing Membrane Nanotubes from Living Cells to Determine Receptor-Ligand Kinetics. Angewandte Chemie - International Edition. Wiley-Blackwell.https://doi.org/10.1002/anie.200803552 

Helenius, J., Heisenberg, C.-P. J., Gaub, H., &; Mueller, D. (2008). Single-cell force spectroscopy. Journal of Cell Science. Company of Biologists.https://doi.org/10.1242/â€‹jcs.030999 

Heisenberg, C.-P. J., &; Solnica Krezel, L. (2008). Back and forth between cell fate specification and movement during vertebrate gastrulation. Current Opinion in Genetics &; Development. Elsevier.https://doi.org/10.1016/j.gde.2008.07.011 

Bollenbach, T., Pantazis, P., Kicheva, A., Bokel, C., González Gaitán, M., &; Julicher, F. (2008). Precision of the Dpp gradient. Development. Company of Biologists.https://doi.org/10.1242/dev.012062 

Pannebakker, B., Halligan, D., Reynolds, K. T., Ballantyne, G., Shuker, D., Barton, N. H., &; West, S. (2008). Effects of spontaneous mutation accumulation on sex ratio traits. Evolution; International Journal of Organic Evolution. Wiley-Blackwell.https://doi.org/10.1111/j.1558-5646.2008.00434.x 

Yang, E., Barton, N. H., Arslan, T., &; Erdogan, A. (2008). A novel shifting balance theory-based approach to optimization of an energy-constrained modulation scheme for wireless sensor networks (pp. 2749–2756). Presented at the WCCI: IEEE World Congress on Computational Intelligence, IEEE.https://doi.org/10.1109/CEC.2008.4631167 

Maler, O., Nickovic, D., &; Pnueli, A. (2008). Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. In Pillars of Computer science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday (pp. 475–505). Springer.https://doi.org/10.1007/978-3-540-78127-1_26 

Podelski, A., Rybalchenko, A., &; Wies, T. (2008). Heap Assumptions on Demand (Vol. 5123, pp. 314–327). Presented at the CAV: Computer Aided Verification, Springer.https://doi.org/10.1007/978-3-540-70545-1_31 

Swarup, K., Benková, E., Swarup, R., Casimiro, I., Péret, B., Yang, Y.,https://doi.org/10.1038/ncb1754__Bennett, M. (2008). The auxin influx carrier LA promotes lateral root emergence. Nature Cell Biology. Nature Publishing Group.https://doi.org/10.1038/ncb1754 

Dubrovsky, J., Sauer, M., Napsucialy Mendivil, S., Ivanchenko, M., Friml, J., Shishkova, S.,https://doi.org/10.1073/pnas.0712307105__Benková, E. (2008). Auxin acts as a local morphogenetic trigger to specify lateral root founder cells. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.0712307105 

Rfdková, E., Friml, J., Procházková Schrumpfová, P., &; Fajkus, J. (2008). Role of alternative telomere lengthening unmasked in telomerase knock-out mutant plants. Plant Molecular Biology. Springer.https://doi.org/10.1007/s11103-008-9295-7 

Kleine Vehn, J., Dhonukshe, P., Sauer, M., Brewer, P., Wibniewska, J., Paciorek, T.,https://doi.org/10.1016/j.cub.2008.03.021__Friml, J. (2008). ARF GEF dependent transcytosis and polar delivery of PIN auxin carriers in Arabidopsis. Current Biology. Cell Press.https://doi.org/10.1016/j.cub.2008.03.021 

Sauer, M., &; Friml, J. (2008). In vitro culture of Arabidopsis embryos . In M. Suárez &; P. Bozhkov (Eds.), Plant Embryogenesis (Vol. 427, pp. 71–76). Humana Press.https://doi.org/10.1007/978-1-59745-273-1_5 

Sauer, M., &; Friml, J. (2008). Visualization of auxin gradients in embryogenesis . In M. Suárez &; P. Bozhkov (Eds.), Plant Embryogenesis (Vol. 427, pp. 137–144). Humana Press.https://doi.org/10.1007/978-1-59745-273-1_11 

Feraru, E., &; Friml, J. (2008). PIN polar targeting. Plant Physiology. American Society of Plant Biologists.https://doi.org/10.1104/pp.108.121756 

Friml, J., &; Sauer, M. (2008). Plant biology: In their neighbour’s shadow. Nature. Nature Publishing Group.https://doi.org/10.1038/453298a 

Szeliski, R., Zabih, R., Scharstein, D., Veksler, O., Kolmogorov, V., Agarwala, A.,https://doi.org/10.1109/TPAMI.2007.70844__Rother, C. (2008). A comparative study of energy minimization methods for Markov random fields with smoothness-based priors. IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE.https://doi.org/10.1109/TPAMI.2007.70844 

Torresani, L., Kolmogorov, V., &; Rother, C. (2008). Feature correspondence via graph matching: Models and global optimization (Vol. 5303, pp. 596–609). Presented at the ECCV: European Conference on Computer Vision, Springer.https://doi.org/10.1007/978-3-540-88688-4_44 

Vicente, S., Kolmogorov, V., &; Rother, C. (2008). Graph cut based image segmentation with connectivity priors. Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE.https://doi.org/10.1109/CVPR.2008.4587440 

Dodis, Y., Pietrzak, K. Z., &; Puniya, P. (2008). A new mode of operation for block ciphers and length preserving MACs (Vol. 4965, pp. 198–219). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Springer.https://doi.org/10.1007/978-3-540-78967-3_12 

Fischlin, M., Lehmann, A., &; Pietrzak, K. Z. (2008). Robust multi property combiners for hash functions revisited (Vol. 5126, pp. 655–666). Presented at the ICALP: Automata, Languages and Programming, Springer.https://doi.org/10.1007/978-3-540-70583-3_53 

Schmalhorst, P. S., Krappmann, S., Vervecken, W., Rohde, M., Müller, M., Braus, G.,https://doi.org/10.1128/EC.00065-08__Routier, F. (2008). Contribution of galactofuranose to the virulence of the opportunistic pathogen Aspergillus fumigatus. Eukaryotic Cell. American Society for Microbiology.https://doi.org/10.1128/EC.00065-08 

Green, R., Malaspinas, A., Krause, J., Briggs, A., Johnson, P., Uhler, C.,https://doi.org/10.1016/j.cell.2008.06.021__Pääbo, S. (2008). A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing. Cell. Cell Press.https://doi.org/10.1016/j.cell.2008.06.021 

Bollback, J. P., York, T., &; Nielsen, R. (2008). Estimation of 2Nes From Temporal Allele Frequency Data. Genetics. Genetics Society of America.https://doi.org/10.1534/genetics.107.085019 

Huxter, J., Senior, T., Allen, K., &; Csicsvari, J. L. (2008). Theta phase-specific codes for two-dimensional position, trajectory and heading in the hippocampus. Nature Neuroscience. Nature Publishing Group.https://doi.org/10.1038/nn.2106 

Fuentealba, P., Begum, R., Capogna, M., Jinno, S., Marton, L., Csicsvari, J. L.,https://doi.org/10.1016/j.neuron.2008.01.034__Klausberger, T. (2008). Ivy cells: A population of nitric-oxide-producing, slow-spiking GABAergic neurons and their involvement in hippocampal network activity. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2008.01.034 

Mallet, N., Pogosyan, A., Sharott, A., Csicsvari, J. L., Bolam, J., Brown, P., &; Magill, P. (2008). Disrupted dopamine transmission and the emergence of exaggerated beta oscillations in subthalamic nucleus and cerebral cortex. Journal of Neuroscience. Society for Neuroscience.https://doi.org/10.1523/JNEUROSCI.0123-08.2008 

Biasotti, S., Attali, D., Boissonnat, J., Edelsbrunner, H., Elber, G., Mortara, M.,https://doi.org/10.1007/978-3-540-33265-7_5__Veltkam, R. (2008). Skeletal structures. In Shape Analysis and Structuring (pp. 145–183). Springer.https://doi.org/10.1007/978-3-540-33265-7_5 

Ulrich, F., &; Heisenberg, C.-P. J. (2008). Probing E-cadherin endocytosis by morpholino-mediated Rab5 knock-down in zebrafish. Methods in Molecular Biology. Springer.https://doi.org/10.1007/978-1-59745-178-9_27 

Yang, E., Erdogan, A., Arslan, T., &; Barton, N. H. (2008). Adaptive formation control and bio-inspired optimization of a cluster-based satellite wireless sensor networkhttps://doi.org/10.1109/AHS.2008.60__(pp. 432–439). Presented at the AHS: NASA/ESA Conference on Adaptive Hardware and Systems, IEEE.https://doi.org/10.1109/AHS.2008.60 

Blaschko, M., Lampert, C., &; Gretton, A. (2008). Semi-supervised Laplacian regularization of kernel canonical correlation analysis (Vol. 5211, pp. 133–145). Presented at the ECML: European Conference on Machine Learning, Springer.https://doi.org/10.1007/978-3-540-87479-9_27 

Goldstein, M., Lampert, C., Reif, M., Stahl, A., &; Breuel, T. (2008). Bayes optimal DDoS mitigation by adaptive history-based IP filtering (pp. 174–179). Presented at the ICN: International Conference on Networking, IEEE.https://doi.org/10.1109/ICN.2008.64 

Lampert, C., &; Blaschko, M. (2008). Joint kernel support estimation for structured prediction (pp. 1–4). Presented at the NIPS SISO: NIPS Workshop on “Structured Input - Structured Output,” Curran Associates, Inc.

Blaschko, M., &; Lampert, C. (2008). Correlational spectral clustering (pp. 1–8). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE.https://doi.org/10.1109/CVPR.2008.4587353 

Engel, A., Janovjak, H. L., Fotiadis, D., Kedrov, A., Cisneros, D., &; Mueller, D. (2008). Single-molecule microscopy and force spectroscopy of membrane proteins. In Single Molecules and Nanotechnology (Vol. 12, pp. 279–311). Springer.https://doi.org/10.1007/978-3-540-73924-1_11 

Tkadik, G., Callan, C., &; Bialek, W. (2008). Information capacity of genetic regulatory elements. Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics.https://doi.org/10.1103/PhysRevE.78.011910 

Tkadik, G., Callan, C., &; Bialek, W. (2008). Information flow and optimization in transcriptional regulation. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.0806077105 

Tkadik, G., &; Magnasco, M. (2008). Decoding spike timing: The differential reverse-correlation method. Biosystems. Elsevier.https://doi.org/10.1016/j.biosystems.2008.04.011 

Wojtan, C., &; Turk, G. (2008). Fast viscoelastic behavior with thin features. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/1360612.1360646 

Aponte, Y., Bischofberger, J., &; Jonas, P. M. (2008). Efficient Ca(2+) buffering in fast-spiking basket cells of rat hippocampus. Journal of Physiology. Wiley-Blackwell.https://doi.org/10.1113/jphysiol.2007.147298 

Schmidt Hieber, C., Jonas, P. M., &; Bischofberger, J. (2008). Action potential initiation and propagation in hippocampal mossy fibre axons. Journal of Physiology. Wiley-Blackwell.https://doi.org/10.1113/jphysiol.2007.150151  

Bucurenciu, I., Kulik, Á., Schwaller, B., Frotscher, M., &; Jonas, P. M. (2008). Nanodomain coupling between Ca(2+) channels and C+ sensors promotes fast and efficient transmitter release at a cortical GABAergic synapse. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2007.12.026 

Kerr, A., &; Jonas, P. M. (2008). The two sides of hippocampal mossy fiber plasticity (Review). Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2007.12.015 

Berwanger, D., Chatterjee, K., Doyen, L., Henzinger, T. A., &; Raje, S. (2008). Strategy construction for parity games with imperfect information (Vol. 5201, pp. 325–339). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/978-3-540-85361-9 

Ugelvig, L. V., Drijfhout, F., Kronauer, D., Boomsma, J., Pedersen, J., &; Cremer, S. (2008). The introduction history of invasive garden ants in Europe: integrating genetic, chemical and behavioural approaches. BMC Biology. BioMed Central.https://doi.org/10.1186/1741-7007-6-11 

Cremer, S., D’Ettorre, P., Drijfhout, F., Sledge, M., Turillazzi, S., &; Heinze, J. (2008). Imperfect chemical female mimicry in males of the ant Cardiocondyla obscurior. Naturwissenschaften. Springer.https://doi.org/10.1007/s00114-008-0430-8 

Suefuji, M., Cremer, S., Oettler, J., &; Heinze, J. (2008). Queen number influences the timing of the sexual production in colonies of Cardiocondyla ants. Biology Letters. Royal Society, The.https://doi.org/10.1098/rsbl.2008.0355 

Cremer, S., Ugelvig, L. V., Drijfhout, F., Schlick Steiner, B., Steiner, F., Seifert, B.,https://doi.org/10.1371/journal.pone.0003838__Boomsma, J. (2008). The evolution of invasiveness in garden ants. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0003838 

Lämmermann, T., &; Sixt, M. K. (2008). The microanatomy of T-cell responses. Immunological Reviews. Wiley-Blackwell.https://doi.org/10.1111/j.1600-065X.2008.00592.x 

Lokmic, Z., Lämmermann, T., Sixt, M. K., Cardell, S., Hallmann, R., &; Sorokin, L. (2008). The extracellular matrix of the spleen as a potential organizer of immune cell compartments. Seminars in Immunology. Academic Press.https://doi.org/10.1016/j.smim.2007.12.009 

Dequéant, M., Ahnert, S., Edelsbrunner, H., Fink, T., Glynn, E., Hattem, G.,https://doi.org/10.1371/journal.pone.0002856__Pourquie, O. (2008). Comparison of pattern detection methods in microarray time series of the segmentation clock. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0002856 

Edelsbrunner, H., Harer, J., Mascarenhas, A., Pascucci, V., &; Snoeyink, J. (2008). Time-varying Reeb graphs for continuous space-time data. Computational Geometry: Theory and Applications. Elsevier.https://doi.org/10.1016/j.comgeo.2007.11.001 

Edelsbrunner, H., &; Harer, J. (2008). Persistent homology - a survey. In Surveys on Discrete and Computational Geometry: Twenty Years Later (pp. 257–282). American Mathematical Society.

Vervenne, H., Crombez, K., Lambaerts, K., Carvalho, L., Köppen, M., Heisenberg, C.-P. J.,https://doi.org/10.1016/j.ydbio.2008.05.529__Petit, M. (2008). Lpp is involved in Wnt/PCP signaling and acts together with Scrib to mediate convergence and extension movements during zebrafish gastrulation. Developmental Biology. Elsevier.https://doi.org/10.1016/j.ydbio.2008.05.529 

Oteíza, P., Köppen, M., Concha, M., &; Heisenberg, C.-P. J. (2008). Origin and shaping of the laterality organ in zebrafish. Development. Company of Biologists.https://doi.org/10.1242/dev.022228 

Kai, M., Heisenberg, C.-P. J., &; Tada, M. (2008). Sphingosine-1-phosphate receptors regulate individual cell behaviours underlying the directed migration of prechordal plate progenitor cells during zebrafish gastrulation. Development. Company of Biologists.https://doi.org/10.1242/dev.020396 

Guerraoui, R., Henzinger, T. A., Jobstmann, B., &; Singh, V. (2008). Model checking transactional memories (pp. 372–382). Presented at the PLDI: Programming Languages Design and Implementation, ACM.https://doi.org/10.1145/1375581.1375626 

Guerraoui, R., Henzinger, T. A., &; Singh, V. (2008). Permissiveness in transactional memories (Vol. 5218, pp. 305–319). Presented at the DISC: Distributed Computing, Springer.https://doi.org/10.1007/978-3-540-87779-0_21 

Guerraoui, R., Henzinger, T. A., &; Singh, V. (2008). Completeness and nondeterminism in model checking transactional memories (Vol. 5201, pp. 21–35). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/978-3-540-85361-9_6 

Beyer, D., Zufferey, D., &; Majumdar, R. (2008). CSIsat: Interpolation for LA+EUF (pp. 304–308). Presented at the CAV: Computer Aided Verification, Springer.

Aviv, A., Cerny, P., Clark, S., Cronin, E., Shah, G., Sherr, M., &; Blaze, M. (2008). Security Evaluation of ES&;amp;S Voting Machines and Election Management System. Presented at the Usenix/ Accurate Electronic Voting Technology Workshop (EVT) 08, USENIX.https://doi.org/1545 

Prabhu, V. (2008). Games for the verification of timed systems. University of California, Berkeley.

Matic, S. (2008). Compositionality in deterministic real-time embedded systems. University of California, Berkeley.

Henzinger, T. A., Hottelier, T., &; Kovács, L. (2008). Valigator: A verification tool with bound and invariant generation (Vol. 5330, pp. 333–342). Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Springer.https://doi.org/10.1007/978-3-540-89439-1_24 

Henzinger, T. A. (2008). Two challenges in embedded systems design: Predictability and robustness. Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. Royal Society of London.https://doi.org/10.1098/rsta.2008.0141 

Ghosal, A. (2008). A hierarchical coordination language for reliable real-time tasks. University of California, Berkeley.

Gupta, A., Henzinger, T. A., Majumdar, R., Rybalchenko, A., &; Xu, R. (2008). Proving non-termination (pp. 147–158). Presented at the POPL: Principles of Programming Languages, ACM.https://doi.org/10.1145/1328438.1328459 

Fisher, J., Henzinger, T. A., Mateescu, M., &; Piterman, N. (2008). Bounded asynchrony: Concurrency for modeling cell-cell interactions (Vol. 5054, pp. 17–32). Presented at the FMSB: Formal Methods in Systems Biology, Springer.https://doi.org/10.1007/978-3-540-68413-8_2 

Doyen, L., Henzinger, T. A., &; Raskin, J. (2008). Equivalence of labeled Markov chains. International Journal of Foundations of Computer Science. World Scientific Publishing.https://doi.org/10.1142/S0129054108005814