S. Cremer et al., “The evolution of invasiveness in garden ants,” PLoS One, vol. 3, no. 12. Public Library of Science, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3906
DOI: 10.1371/journal.pone.0003838

T. Lämmermann and M. K. Sixt, “The microanatomy of T-cell responses,” Immunological Reviews, vol. 221, no. 1. Wiley-Blackwell, pp. 26–43, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3939
DOI: 10.1111/j.1600-065X.2008.00592.x

Z. Lokmic, T. Lämmermann, M. K. Sixt, S. Cardell, R. Hallmann, and L. Sorokin, “The extracellular matrix of the spleen as a potential organizer of immune cell compartments,” Seminars in Immunology, vol. 20, no. 1. Academic Press, pp. 4–13, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3940
DOI: 10.1016/j.smim.2007.12.009

M. Dequéant et al., “Comparison of pattern detection methods in microarray time series of the segmentation clock,” PLoS One, vol. 3, no. 8. Public Library of Science, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3970
DOI: 10.1371/journal.pone.0002856

H. Edelsbrunner, J. Harer, A. Mascarenhas, V. Pascucci, and J. Snoeyink, “Time-varying Reeb graphs for continuous space-time data,” Computational Geometry: Theory and Applications, vol. 41, no. 3. Elsevier, pp. 149–166, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/3971
DOI: 10.1016/j.comgeo.2007.11.001

H. Edelsbrunner and J. Harer, “Persistent homology - a survey,” in Surveys on Discrete and Computational Geometry: Twenty Years Later, American Mathematical Society, 2008, pp. 257–282.
LibreCat: https://research-explorer.ista.ac.at/record/3969

H. Vervenne et al., “Lpp is involved in Wnt/PCP signaling and acts together with Scrib to mediate convergence and extension movements during zebrafish gastrulation,” Developmental Biology, vol. 320, no. 1. Elsevier, pp. 267–277, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4141
DOI: 10.1016/j.ydbio.2008.05.529

P. Oteíza, M. Köppen, M. Concha, and C.-P. J. Heisenberg, “Origin and shaping of the laterality organ in zebrafish,” Development, vol. 135, no. 16. Company of Biologists, pp. 2807–2813, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4161
DOI: 10.1242/dev.022228

M. Kai, C.-P. J. Heisenberg, and M. Tada, “Sphingosine-1-phosphate receptors regulate individual cell behaviours underlying the directed migration of prechordal plate progenitor cells during zebrafish gastrulation,” Development, vol. 135, no. 18. Company of Biologists, pp. 3043–3051, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4190
DOI: 10.1242/dev.020396

R. Guerraoui, T. A. Henzinger, B. Jobstmann, and V. Singh, “Model checking transactional memories,” presented at the PLDI: Programming Languages Design and Implementation, 2008, pp. 372–382.
LibreCat: https://research-explorer.ista.ac.at/record/4384
DOI: 10.1145/1375581.1375626

R. Guerraoui, T. A. Henzinger, and V. Singh, “Permissiveness in transactional memories,” presented at the DISC: Distributed Computing, 2008, vol. 5218, pp. 305–319.
LibreCat: https://research-explorer.ista.ac.at/record/4386
DOI: 10.1007/978-3-540-87779-0_21

R. Guerraoui, T. A. Henzinger, and V. Singh, “Completeness and nondeterminism in model checking transactional memories,” presented at the CONCUR: Concurrency Theory, 2008, vol. 5201, pp. 21–35.
LibreCat: https://research-explorer.ista.ac.at/record/4387
DOI: 10.1007/978-3-540-85361-9_6

D. Beyer, D. Zufferey, and R. Majumdar, “CSIsat: Interpolation for LA+EUF,” presented at the CAV: Computer Aided Verification, 2008, pp. 304–308.
LibreCat: https://research-explorer.ista.ac.at/record/4397

A. Aviv et al., “Security Evaluation of ES&;amp;S Voting Machines and Election Management System,” presented at the Usenix/ Accurate Electronic Voting Technology Workshop (EVT) 08, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4400
DOI: 1545

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

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

T. A. Henzinger, T. Hottelier, and L. Kovács, “Valigator: A verification tool with bound and invariant generation,” presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, 2008, vol. 5330, pp. 333–342.
LibreCat: https://research-explorer.ista.ac.at/record/4452
DOI: 10.1007/978-3-540-89439-1_24

T. A. Henzinger, “Two challenges in embedded systems design: Predictability and robustness,” Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences, vol. 366, no. 1881. Royal Society of London, pp. 3727–3736, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4509
DOI: 10.1098/rsta.2008.0141

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

A. Gupta, T. A. Henzinger, R. Majumdar, A. Rybalchenko, and R. Xu, “Proving non-termination,” presented at the POPL: Principles of Programming Languages, 2008, pp. 147–158.
LibreCat: https://research-explorer.ista.ac.at/record/4521
DOI: 10.1145/1328438.1328459

J. Fisher, T. A. Henzinger, M. Mateescu, and N. Piterman, “Bounded asynchrony: Concurrency for modeling cell-cell interactions,” presented at the FMSB: Formal Methods in Systems Biology, 2008, vol. 5054, pp. 17–32.
LibreCat: https://research-explorer.ista.ac.at/record/4527
DOI: 10.1007/978-3-540-68413-8_2

L. Doyen, T. A. Henzinger, and J. Raskin, “Equivalence of labeled Markov chains,” International Journal of Foundations of Computer Science, vol. 19, no. 3. World Scientific Publishing, pp. 549–563, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4532
DOI: 10.1142/S0129054108005814 

L. Doyen, T. A. Henzinger, B. Jobstmann, and T. Petrov, “Interface theories with component reuse,” presented at the EMSOFT: Embedded Software , 2008, pp. 79–88.
LibreCat: https://research-explorer.ista.ac.at/record/4533
DOI: 10.1145/1450058.1450070

K. Chatterjee and T. A. Henzinger, “Reduction of stochastic parity to stochastic mean-payoff games,” Information Processing Letters, vol. 106, no. 1. Elsevier, pp. 1–7, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4534
DOI: 10.1016/j.ipl.2007.08.035

K. Chatterjee et al., “Logical reliability of interacting real-time tasks,” presented at the DATE: Design, Automation and Test in Europe, 2008, pp. 909–914.
LibreCat: https://research-explorer.ista.ac.at/record/4546
DOI: 10.1145/1403375.1403595

K. Chatterjee, R. Majumdar, and T. A. Henzinger, “Stochastic limit-average games are in EXPTIME,” International Journal of Game Theory, vol. 37, no. 2. Springer, pp. 219–234, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4548
DOI: 10.1007/s00182-007-0110-5

D. Beyer, T. A. Henzinger, and G. Théoduloz, “Program analysis with dynamic change of precision,” presented at the ASE: Automated Software Engineering, 2008, pp. 29–38.
LibreCat: https://research-explorer.ista.ac.at/record/4568
DOI: 10.1109/ASE.2008.13

O. Hosten and P. Kwiat, “Observation of the spin hall effect of light via weak measurements,” Science, vol. 319, no. 5864. American Association for the Advancement of Science, pp. 787–790, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/581
DOI: 10.1126/science.1152697

O. Hosten and P. Kwiat, “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, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/584

A. J. Bretscher, K. E. Busch, and M. de Bono, “A carbon dioxide avoidance behavior is integrated with responses to ambient oxygen and food in Caenorhabditis elegans,” Proceedings of the National Academy of Sciences, vol. 105, no. 23. Proceedings of the National Academy of Sciences, pp. 8044–8049, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/6146
DOI: 10.1073/pnas.0707607105
PMID: 18524954

J. E. Kammenga, P. C. Phillips, M. de Bono, and A. Doroszuk, “Beyond induced mutants: using worms to study natural variation in genetic pathways,” Trends in Genetics, vol. 24, no. 4. Elsevier, pp. 178–185, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/6148
DOI: 10.1016/j.tig.2008.01.001
PMID: 18325626

B. Olofsson and M. de Bono, “Sleep: dozy worms and sleepy flies,” Current Biology, vol. 18, no. 5. Elsevier, pp. 4–6, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/6149
DOI: 10.1016/j.cub.2008.01.002
PMID: 18334193

S. A. Freunberger, I. A. Schneider, P.-C. Sui, A. Wokaun, N. Djilali, and F. N. Buchi, “Cell interaction phenomena in polymer electrolyte fuel cell stacks,” Journal of The Electrochemical Society, vol. 155, no. 7. The Electrochemical Society, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/7321
DOI: 10.1149/1.2913095

R. Flückiger, S. A. Freunberger, D. Kramer, A. Wokaun, G. G. Scherer, and F. N. Büchi, “Anisotropic, effective diffusivity of porous gas diffusion layer materials for PEFC,” Electrochimica Acta, vol. 54, no. 2. Elsevier, pp. 551–559, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/7320
DOI: 10.1016/j.electacta.2008.07.034

D. Kramer et al., “Electrochemical diffusimetry of fuel cell gas diffusion layers,” Journal of Electroanalytical Chemistry, vol. 612, no. 1. Elsevier, pp. 63–77, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/7322
DOI: 10.1016/j.jelechem.2007.09.014

M. Santis, S. A. Freunberger, M. Papra, and F. N. Büchi, “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, Ypsilanti, MI, United States, 2008, pp. 763–765.
LibreCat: https://research-explorer.ista.ac.at/record/7425
DOI: 10.1115/fuelcell2005-74116

D.-A. Alistarh, S. Gilbert, R. Guerraoui, and C. Travers, “How to solve consensus in the smallest window of synchrony,” presented at the DISC: Distributed Computing, 2008, vol. 5218 LNCS, pp. 32–46.
LibreCat: https://research-explorer.ista.ac.at/record/753
DOI: 10.1007/978-3-540-87779-0_3

M. R. Robinson, J. G. Pilkington, T. H. Clutton-Brock, J. M. Pemberton, and L. E. B. Kruuk, “Environmental heterogeneity generates fluctuating selection on a secondary sexual trait,” Current Biology, vol. 18, no. 10. Elsevier, pp. 751–757, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/7752
DOI: 10.1016/j.cub.2008.04.059

S. Schmidt, A. Gerasimova, F. Kondrashov, I. Adzuhbei, A. Kondrashov, and S. Sunyaev, “Hypermutable non-synonymous sites are under stronger negative selection,” PLoS Genetics, vol. 4, no. 11. Public Library of Science, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/844
DOI: 10.1371/journal.pgen.1000281

B. Bersch et al., “Molecular structure and metal-binding properties of the periplasmic CopK protein expressed in Cupriavidus metallidurans C during copper challenge,” Journal of Molecular Biology, vol. 380, no. 2. Elsevier, pp. 386–403, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/8481
DOI: 10.1016/j.jmb.2008.05.017

P. Schanda, B. Brutscher, R. Konrat, and M. Tollinger, “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, vol. 380, no. 4. Elsevier, pp. 726–741, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/8480
DOI: 10.1016/j.jmb.2008.05.040

T. Kern, P. Schanda, and B. Brutscher, “Sensitivity-enhanced IPAP-SOFAST-HMQC for fast-pulsing 2D NMR with reduced radiofrequency load,” Journal of Magnetic Resonance, vol. 190, no. 2. Elsevier, pp. 333–338, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/8482
DOI: 10.1016/j.jmr.2007.11.015

D. Zilberman, “The evolving functions of DNA methylation,” Current Opinion in Plant Biology, vol. 11, no. 5. Elsevier , pp. 554–559, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/9537
DOI: 10.1016/j.pbi.2008.07.004
PMID: 18774331

A. Morozov and M. Serbyn, “Nonlinear algebra and Bogoliubov’s recursion,” Theoretical and Mathematical Physics, vol. 154, no. 2. Elsevier, pp. 270–293, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/965
DOI: 10.1007/s11232-008-0026-7

V. Kaloshin and M. Levi, “An example of Arnold diffusion for near-integrable Hamiltonians,” Bulletin of the American Mathematical Society, vol. 45, no. 3. American Mathematical Society, pp. 409–427, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/8510
DOI: 10.1090/s0273-0979-08-01211-1

V. Kaloshin and M. Levi, “Geometry of Arnold diffusion,” SIAM Review, vol. 50, no. 4. Society for Industrial &; Applied Mathematics, pp. 702–720, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/8509
DOI: 10.1137/070703235

Z. Donaldson et al., “Evolution of a behavior-linked microsatellite-containing element in the 5 flanking region of the primate AVPA gene,” BMC Evolutionary Biology, vol. 8, no. 1. BioMed Central, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/895
DOI: 10.1186/1471-2148-8-180

R. Assis, A. Kondrashov, E. Koonin, and F. Kondrashov, “Nested genes and increasing organizational complexity of metazoan genomes,” Trends in Genetics, vol. 24, no. 10. Elsevier, pp. 475–478, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/907
DOI: 10.1016/j.tig.2008.08.003

D. Zilberman, D. Coleman-Derr, T. Ballinger, and S. Henikoff, “Histone A.Z and DNA methylation are mutually antagonistic chromatin marks,” Nature, vol. 456, no. 7218. Springer Nature, pp. 125–129, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/9457
DOI: 10.1038/nature07324
PMID: 18815594

R. Klajn et al., “Bulk synthesis and surface patterning of nanoporous metals and alloys from supraspherical nanoparticle aggregates,” Advanced Functional Materials, vol. 18, no. 18. Wiley, pp. 2763–2769, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/13423
DOI: 10.1002/adfm.200800293

Y. Wei, R. Klajn, A. O. Pinchuk, and B. A. Grzybowski, “Synthesis, shape control, and optical properties of hybrid Au/Fe3O4 ‘nanoflowers,’” Small, vol. 4, no. 10. Wiley, pp. 1635–1639, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/13422
DOI: 10.1002/smll.200800511
PMID: 18636405

N. H. Barton, “Identity and coalescence in structured populations: A commentary on ‘Inbreeding coefficients and coalescence times’ by Montgomery Slatkin,” Genetics Research, vol. 89, no. 5–6. Cambridge University Press, pp. 475–477, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/517
DOI: 10.1017/S0016672308009683