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 
LibreCat: https://research-explorer.ista.ac.at/record/3872
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3945
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3942
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3943
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3941
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3944
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3974
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4135
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4137
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4150
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4181
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4180
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4193
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4198
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4227
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4245
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4244
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4371
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4366
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3038
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3036
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3030
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3032
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3035
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3033
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3037
DOI: 10.1104/pp.108.121756
PMID: 18678746

Friml, J., &; Sauer, M. (2008). Plant biology: In their neighbour’s shadow. Nature. Nature Publishing Group.https://doi.org/10.1038/453298a 
LibreCat: https://research-explorer.ista.ac.at/record/3034
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3196
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3198
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3195
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3224
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3225
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3291
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3307
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3435
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3516
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3530
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3544
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3577
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3591
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3599
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3698
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3694
DOI: 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.
LibreCat: https://research-explorer.ista.ac.at/record/3706

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 
LibreCat: https://research-explorer.ista.ac.at/record/3712
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3726
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3739
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3740
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3744
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3760
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3825
DOI: 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  
LibreCat: https://research-explorer.ista.ac.at/record/3822
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3824
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3823
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3880
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3903
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3905
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3907
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3906
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3939
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3940
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3970
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3971
DOI: 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.
LibreCat: https://research-explorer.ista.ac.at/record/3969

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 
LibreCat: https://research-explorer.ista.ac.at/record/4141
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4161
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4190
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4384
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4386
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4387
DOI: 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.
LibreCat: https://research-explorer.ista.ac.at/record/4397

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 
LibreCat: https://research-explorer.ista.ac.at/record/4400
DOI: 1545

Prabhu, V. (2008). Games for the verification of timed systems. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4409

Matic, S. (2008). Compositionality in deterministic real-time embedded systems. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4415

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 
LibreCat: https://research-explorer.ista.ac.at/record/4452
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4509
DOI: 10.1098/rsta.2008.0141

Ghosal, A. (2008). A hierarchical coordination language for reliable real-time tasks. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4524

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 
LibreCat: https://research-explorer.ista.ac.at/record/4521
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/4527
DOI: 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  
LibreCat: https://research-explorer.ista.ac.at/record/4532
DOI: 10.1142/S0129054108005814 

Doyen, L., Henzinger, T. A., Jobstmann, B., &; Petrov, T. (2008). Interface theories with component reuse (pp. 79–88). Presented at the EMSOFT: Embedded Software , ACM.https://doi.org/10.1145/1450058.1450070 
LibreCat: https://research-explorer.ista.ac.at/record/4533
DOI: 10.1145/1450058.1450070

Chatterjee, K., &; Henzinger, T. A. (2008). Reduction of stochastic parity to stochastic mean-payoff games. Information Processing Letters. Elsevier.https://doi.org/10.1016/j.ipl.2007.08.035 
LibreCat: https://research-explorer.ista.ac.at/record/4534
DOI: 10.1016/j.ipl.2007.08.035

Chatterjee, K., Ghosal, A., Henzinger, T. A., Iercan, D., Kirsch, C., Pinello, C., &; Sangiovanni Vincentelli, A. (2008). Logical reliability of interacting real-time tasks (pp. 909–914). Presented at the DATE: Design, Automation and Test in Europe, IEEE.https://doi.org/10.1145/1403375.1403595 
LibreCat: https://research-explorer.ista.ac.at/record/4546
DOI: 10.1145/1403375.1403595

Chatterjee, K., Majumdar, R., &; Henzinger, T. A. (2008). Stochastic limit-average games are in EXPTIME. International Journal of Game Theory. Springer.https://doi.org/10.1007/s00182-007-0110-5 
LibreCat: https://research-explorer.ista.ac.at/record/4548
DOI: 10.1007/s00182-007-0110-5

Beyer, D., Henzinger, T. A., &; Théoduloz, G. (2008). Program analysis with dynamic change of precision (pp. 29–38). Presented at the ASE: Automated Software Engineering, ACM.https://doi.org/10.1109/ASE.2008.13 
LibreCat: https://research-explorer.ista.ac.at/record/4568
DOI: 10.1109/ASE.2008.13

Hosten, O., &; Kwiat, P. (2008). Observation of the spin hall effect of light via weak measurements. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1152697 
LibreCat: https://research-explorer.ista.ac.at/record/581
DOI: 10.1126/science.1152697

Hosten, O., &; Kwiat, P. (2008). Spin hall effect of light via weak measurements: Sharp and smooth index variations. Presented at the QELS: Quantum Electronics and Laser Science Conference, San Jose, CA, United States: Optica Publishing Group.
LibreCat: https://research-explorer.ista.ac.at/record/584

Bretscher, A. J., Busch, K. E., &; de Bono, M. (2008). A carbon dioxide avoidance behavior is integrated with responses to ambient oxygen and food in Caenorhabditis elegans. Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences.https://doi.org/10.1073/pnas.0707607105 
LibreCat: https://research-explorer.ista.ac.at/record/6146
DOI: 10.1073/pnas.0707607105
PMID: 18524954

Kammenga, J. E., Phillips, P. C., de Bono, M., &; Doroszuk, A. (2008). Beyond induced mutants: using worms to study natural variation in genetic pathways. Trends in Genetics. Elsevier.https://doi.org/10.1016/j.tig.2008.01.001 
LibreCat: https://research-explorer.ista.ac.at/record/6148
DOI: 10.1016/j.tig.2008.01.001
PMID: 18325626

Olofsson, B., &; de Bono, M. (2008). Sleep: dozy worms and sleepy flies. Current Biology. Elsevier.https://doi.org/10.1016/j.cub.2008.01.002 
LibreCat: https://research-explorer.ista.ac.at/record/6149
DOI: 10.1016/j.cub.2008.01.002
PMID: 18334193

Freunberger, S. A., Schneider, I. A., Sui, P.-C., Wokaun, A., Djilali, N., &; Buchi, F. N. (2008). Cell interaction phenomena in polymer electrolyte fuel cell stacks. Journal of The Electrochemical Society. The Electrochemical Society.https://doi.org/10.1149/1.2913095 
LibreCat: https://research-explorer.ista.ac.at/record/7321
DOI: 10.1149/1.2913095

Flückiger, R., Freunberger, S. A., Kramer, D., Wokaun, A., Scherer, G. G., &; Büchi, F. N. (2008). Anisotropic, effective diffusivity of porous gas diffusion layer materials for PEFC. Electrochimica Acta. Elsevier.https://doi.org/10.1016/j.electacta.2008.07.034 
LibreCat: https://research-explorer.ista.ac.at/record/7320
DOI: 10.1016/j.electacta.2008.07.034

Kramer, D., Freunberger, S. A., Flückiger, R., Schneider, I. A., Wokaun, A., Büchi, F. N., &; Scherer, G. G. (2008). Electrochemical diffusimetry of fuel cell gas diffusion layers. Journal of Electroanalytical Chemistry. Elsevier.https://doi.org/10.1016/j.jelechem.2007.09.014 
LibreCat: https://research-explorer.ista.ac.at/record/7322
DOI: 10.1016/j.jelechem.2007.09.014

Santis, M., Freunberger, S. A., Papra, M., &; Büchi, F. N. (2008). Experimental investigation of the propagation of local current density variations to adjacent cells in PEFC stacks. In 3rd International Conference on Fuel Cell Science, Engineering and Technology (pp. 763–765). Ypsilanti, MI, United States: ASMEDC.https://doi.org/10.1115/fuelcell2005-74116 
LibreCat: https://research-explorer.ista.ac.at/record/7425
DOI: 10.1115/fuelcell2005-74116

Alistarh, D.-A., Gilbert, S., Guerraoui, R., &; Travers, C. (2008). How to solve consensus in the smallest window of synchrony (Vol. 5218 LNCS, pp. 32–46). Presented at the DISC: Distributed Computing, Springer.https://doi.org/10.1007/978-3-540-87779-0_3 
LibreCat: https://research-explorer.ista.ac.at/record/753
DOI: 10.1007/978-3-540-87779-0_3

Robinson, M. R., Pilkington, J. G., Clutton-Brock, T. H., Pemberton, J. M., &; Kruuk, L. E. B. (2008). Environmental heterogeneity generates fluctuating selection on a secondary sexual trait. Current Biology. Elsevier.https://doi.org/10.1016/j.cub.2008.04.059 
LibreCat: https://research-explorer.ista.ac.at/record/7752
DOI: 10.1016/j.cub.2008.04.059

Schmidt, S., Gerasimova, A., Kondrashov, F., Adzuhbei, I., Kondrashov, A., &; Sunyaev, S. (2008). Hypermutable non-synonymous sites are under stronger negative selection. PLoS Genetics. Public Library of Science.https://doi.org/10.1371/journal.pgen.1000281 
LibreCat: https://research-explorer.ista.ac.at/record/844
DOI: 10.1371/journal.pgen.1000281

Bersch, B., Favier, A., Schanda, P., van Aelst, S., Vallaeys, T., Covès, J.,https://doi.org/10.1016/j.jmb.2008.05.017__Wattiez, R. (2008). Molecular structure and metal-binding properties of the periplasmic CopK protein expressed in Cupriavidus metallidurans C during copper challenge. Journal of Molecular Biology. Elsevier.https://doi.org/10.1016/j.jmb.2008.05.017 
LibreCat: https://research-explorer.ista.ac.at/record/8481
DOI: 10.1016/j.jmb.2008.05.017

Schanda, P., Brutscher, B., Konrat, R., &; Tollinger, M. (2008). Folding of the KIX domain: Characterization of the equilibrium analog of a folding intermediate using 15N/13C relaxation dispersion and fast 1H/2H amide exchange NMR spectroscopy. Journal of Molecular Biology. Elsevier.https://doi.org/10.1016/j.jmb.2008.05.040 
LibreCat: https://research-explorer.ista.ac.at/record/8480
DOI: 10.1016/j.jmb.2008.05.040

Kern, T., Schanda, P., &; Brutscher, B. (2008). Sensitivity-enhanced IPAP-SOFAST-HMQC for fast-pulsing 2D NMR with reduced radiofrequency load. Journal of Magnetic Resonance. Elsevier.https://doi.org/10.1016/j.jmr.2007.11.015 
LibreCat: https://research-explorer.ista.ac.at/record/8482
DOI: 10.1016/j.jmr.2007.11.015