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

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

Doyen L, Henzinger TA, Raskin J. 2008. Equivalence of labeled Markov chains. International Journal of Foundations of Computer Science. 19(3), 549–563.
LibreCat: https://research-explorer.ista.ac.at/record/4532
DOI: 10.1142/S0129054108005814 

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

Chatterjee K, Henzinger TA. 2008. Reduction of stochastic parity to stochastic mean-payoff games. Information Processing Letters. 106(1), 1–7.
LibreCat: https://research-explorer.ista.ac.at/record/4534
DOI: 10.1016/j.ipl.2007.08.035

Chatterjee K, Ghosal A, Henzinger TA, Iercan D, Kirsch C, Pinello C, Sangiovanni Vincentelli A. 2008. Logical reliability of interacting real-time tasks. DATE: Design, Automation and Test in Europe, 909–914.
LibreCat: https://research-explorer.ista.ac.at/record/4546
DOI: 10.1145/1403375.1403595

Chatterjee K, Majumdar R, Henzinger TA. 2008. Stochastic limit-average games are in EXPTIME. International Journal of Game Theory. 37(2), 219–234.
LibreCat: https://research-explorer.ista.ac.at/record/4548
DOI: 10.1007/s00182-007-0110-5

Beyer D, Henzinger TA, Théoduloz G. 2008. Program analysis with dynamic change of precision. ASE: Automated Software Engineering, 29–38.
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. 319(5864), 787–790.
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. QELS: Quantum Electronics and Laser Science Conference, Optics InfoBase Conference Papers, .
LibreCat: https://research-explorer.ista.ac.at/record/584

Bretscher AJ, Busch KE, 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. 105(23), 8044–8049.
LibreCat: https://research-explorer.ista.ac.at/record/6146
DOI: 10.1073/pnas.0707607105
PMID: 18524954

Kammenga JE, Phillips PC, de Bono M, Doroszuk A. 2008. Beyond induced mutants: using worms to study natural variation in genetic pathways. Trends in Genetics. 24(4), 178–185.
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. 18(5), 4–6.
LibreCat: https://research-explorer.ista.ac.at/record/6149
DOI: 10.1016/j.cub.2008.01.002
PMID: 18334193

Freunberger SA, Schneider IA, Sui P-C, Wokaun A, Djilali N, Buchi FN. 2008. Cell interaction phenomena in polymer electrolyte fuel cell stacks. Journal of The Electrochemical Society. 155(7), 4.
LibreCat: https://research-explorer.ista.ac.at/record/7321
DOI: 10.1149/1.2913095

Flückiger R, Freunberger SA, Kramer D, Wokaun A, Scherer GG, Büchi FN. 2008. Anisotropic, effective diffusivity of porous gas diffusion layer materials for PEFC. Electrochimica Acta. 54(2), 551–559.
LibreCat: https://research-explorer.ista.ac.at/record/7320
DOI: 10.1016/j.electacta.2008.07.034

Kramer D, Freunberger SA, Flückiger R, Schneider IA, Wokaun A, Büchi FN, Scherer GG. 2008. Electrochemical diffusimetry of fuel cell gas diffusion layers. Journal of Electroanalytical Chemistry. 612(1), 63–77.
LibreCat: https://research-explorer.ista.ac.at/record/7322
DOI: 10.1016/j.jelechem.2007.09.014

Santis M, Freunberger SA, Papra M, Büchi FN. 2008. Experimental investigation of the propagation of local current density variations to adjacent cells in PEFC stacks. 3rd International Conference on Fuel Cell Science, Engineering and Technology. International conference on fuel cell science, engineering and technology, 763–765.
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. DISC: Distributed Computing, LNCS, vol. 5218 LNCS, 32–46.
LibreCat: https://research-explorer.ista.ac.at/record/753
DOI: 10.1007/978-3-540-87779-0_3

Robinson MR, Pilkington JG, Clutton-Brock TH, Pemberton JM, Kruuk LEB. 2008. Environmental heterogeneity generates fluctuating selection on a secondary sexual trait. Current Biology. 18(10), 751–757.
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. 4(11).
LibreCat: https://research-explorer.ista.ac.at/record/844
DOI: 10.1371/journal.pgen.1000281