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

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

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

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

Program analysis with dynamic change of precision
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, ACM, 2008, pp. 29–38.
LibreCat: https://research-explorer.ista.ac.at/record/4568
DOI: 10.1109/ASE.2008.13

Observation of the spin hall effect of light via weak measurements
O. Hosten, P. Kwiat, Science 319 (2008) 787–790.
LibreCat: https://research-explorer.ista.ac.at/record/581
DOI: 10.1126/science.1152697

Spin hall effect of light via weak measurements: Sharp and smooth index variations
O. Hosten, P. Kwiat, in:, Optica Publishing Group, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/584

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

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

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

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

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

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

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

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

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

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

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

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
P. Schanda, B. Brutscher, R. Konrat, M. Tollinger, Journal of Molecular Biology 380 (2008) 726–741.
LibreCat: https://research-explorer.ista.ac.at/record/8480
DOI: 10.1016/j.jmb.2008.05.040

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