Wies T, Piskac R, Kuncak V. Combining Theories with Shared Set Operations. In: Springer; 2009:366-382. doi:1558

Singh V. Formalizing and Verifying Transactional Memories. Formalizing and Verifying Transactional Memories. 2009.

Lahiri S, Qadeer S, Galeotti J, Voung J, Wies T. Intra-module Inference. In: Springer; 2009:493-508. doi:1555

Hoenicke J, Leino KR, Podelski A, Schäf M, Wies T. It’s Doomed; We Can Prove It. In: Springer; 2009:338-353. doi:1557

Guerraoui R, Henzinger TA, Singh V. Software transactional memory on relaxed memory models. In: Vol 5643. Springer; 2009:321-336. doi:10.1007/978-3-642-02658-4_26

Dragojevic A, Guerraoui R, Singh A, Singh V. Preventing versus curing: avoiding conflicts in transactional memories. In: ACM; 2009:7-16. doi:1533

Lublinerman R, Chaudhuri S, Cerny P. Parallel programming with object assemblies. In: ACM; 2009:61-80. doi:1546

Cerny P, Alur R. Automated Analysis of Java Methods for Confidentiality. In: Springer; 2009:173-187. doi:1548

Alur R, Cerny P, Weinstein S. Algorithmic analysis of array-accessing programs. In: Vol 5771. Springer; 2009:86-101. doi:10.1007/978-3-642-04027-6_9

Henzinger TA, Mateescu M, Wolf V. Sliding-window abstraction for infinite Markov chains. In: Vol 5643. Springer; 2009:337-352. doi:10.1007/978-3-642-02658-4_27

Didier F, Henzinger TA, Mateescu M, Wolf V. Approximation of event probabilities in noisy cellular processes. In: Vol 5688. Springer; 2009:173-188. doi:10.1007/978-3-642-03845-7_12

Chatterjee K, Doyen L, Henzinger TA. Alternating weighted automata. In: Vol 5699. Springer; 2009:3-13. doi:10.1007/978-3-642-03409-1_2

Chatterjee K, Doyen L, Henzinger TA. A survey of stochastic games with limsup and liminf objectives. In: Vol 5556. Springer; 2009:1-15. doi:10.1007/978-3-642-02930-1_1

Chatterjee K, Henzinger TA, Horn F. Stochastic games with finitary objectives. In: Vol 5734. Springer; 2009:34-54. doi:10.1007/978-3-642-03816-7_4

Chatterjee K, De Alfaro L, Henzinger TA. Termination criteria for solving concurrent safety and reachability games. In: SIAM; 2009:197-206. doi:10.1137/1.9781611973068.23

Chatterjee K, Doyen L, Henzinger TA. Expressiveness and closure properties for quantitative languages. In: IEEE; 2009:199-208. doi:10.1109/LICS.2009.16

Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. Better quality in synthesis through quantitative objectives. In: Vol 5643. Springer; 2009:140-156. doi:10.1007/978-3-642-02658-4_14

Berwanger D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. Alpaga: A tool for solving parity games with imperfect information. In: Vol 5505. Springer; 2009:58-61. doi:10.1007/978-3-642-00768-2_7

Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. Gist: A Solver for Probabilistic Games. IST Austria; 2009. doi:10.15479/AT:IST-2009-0003

Chatterjee K, Henzinger TA, Horn F. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria; 2009. doi:10.15479/AT:IST-2009-0002

Chatterjee K. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria; 2009. doi:10.15479/AT:IST-2009-0004

Chatterjee K, Doyen L, Henzinger TA. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria; 2009. doi:10.15479/AT:IST-2009-0001

Knuesel M, Meyer K, Bernecky C, Taatjes D. The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function. Genes and Development. 2009;23(4):439-451. doi:10.1101/gad.1767009

Persson A, Gross E, Laurent P, Busch KE, Bretes H, de Bono M. Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans. Nature. 2009;458(7241):1030-1033. doi:10.1038/nature07820

Cohen M, Reale V, Olofsson B, Knights A, Evans P, de Bono M. Coordinated regulation of foraging and metabolism in C. elegans by RFamide neuropeptide signaling. Cell Metabolism. 2009;9(4):375-385. doi:10.1016/j.cmet.2009.02.003

Yang X, Riseborough PS, Modic KA, et al. Influence of magnetic fields on structural martensitic transitions. In: Journal of Physics: Conference Series. Vol 200. IOP Publishing; 2009. doi:10.1088/1742-6596/200/3/032062

Yang X-D, Riseborough PS, Modic KA, et al. Influence of magnetic fields on structural martensitic transitions. Philosophical Magazine. 2009;89(22-24):2083-2091. doi:10.1080/14786430902865518

Reum M, Freunberger SA, Wokaun A, Buchi FN. Measuring the current distribution with sub-millimeter resolution in PEFCs: II. Impact of operating parameters. Journal of The Electrochemical Society. 2009;156(3). doi:10.1149/1.3043422

Alistarh D-A, Gilbert S, Guerraoui R, Travers C. Of choices, failures and asynchrony: the many faces of set agreement. In: Vol 5878 LNCS. Springer; 2009:943-953. doi:10.1007/978-3-642-10631-6_95

Robinson MR, Wilson AJ, Pilkington JG, Clutton-Brock TH, Pemberton JM, Kruuk LEB. The impact of environmental heterogeneity on genetic architecture in a wild population of soay sheep. Genetics. 2009;181(4):1639-1648. doi:10.1534/genetics.108.086801

Vogels TP, Abbott LF. Gating multiple signals through detailed balance of excitation and inhibition in spiking networks. Nature Neuroscience. 2009;12(4):483-491. doi:10.1038/nn.2276

Higginbotham AP, Semonin O, Bruce S, et al. Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments. Review of Scientific Instruments. 2009;80(6). doi:10.1063/1.3155302

Serbyn M, Skvortsov M, Varlamov A, Galitski V. Giant nernst effect due to fluctuating cooper Pairs in superconductors. In: Vol 1134. American Institute of Physics; 2009:140-145. doi:10.1063/1.3149485

Gal M, Kern T, Schanda P, Frydman L, Brutscher B. An improved ultrafast 2D NMR experiment: Towards atom-resolved real-time studies of protein kinetics at multi-Hz rates. Journal of Biomolecular NMR. 2009;43:1-10. doi:10.1007/s10858-008-9284-9

Bruschweiler S, Schanda P, Kloiber K, et al. Direct observation of the dynamic process underlying allosteric signal transmission. Journal of the American Chemical Society. 2009;131(8):3063-3068. doi:10.1021/ja809947w

Farjon J, Boisbouvier J, Schanda P, Pardi A, Simorre J-P, Brutscher B. Longitudinal-relaxation-enhanced NMR experiments for the study of nucleic acids in solution. Journal of the American Chemical Society. 2009;131(24):8571-8577. doi:10.1021/ja901633y

Amero C, Schanda P, Dura MA, et al. Fast two-dimensional NMR spectroscopy of high molecular weight protein assemblies. Journal of the American Chemical Society. 2009;131(10):3448-3449. doi:10.1021/ja809880p

Schanda P, Huber M, Verel R, Ernst M, Meier B. Direct detection of 3hJN’ hydrogen-bond scalar couplings in proteins by solid-state NMR spectroscopy. Angewandte Chemie International Edition. 2009;48(49):9322-9325. doi:10.1002/anie.200904411

Schanda P. Fast-pulsing longitudinal relaxation optimized techniques: Enriching the toolbox of fast biomolecular NMR spectroscopy. Progress in Nuclear Magnetic Resonance Spectroscopy. 2009;55(3):238-265. doi:10.1016/j.pnmrs.2009.05.002

Gorodetski A, Kaloshin V. Conservative homoclinic bifurcations and some applications. Proceedings of the Steklov Institute of Mathematics. 2009;267(1):76-90. doi:10.1134/s0081543809040063

Alkalaeva E, Eliseev B, Ambrogelly A, et al. Translation termination in pyrrolysine-utilizing archaea. FEBS Letters. 2009;583(21):3455-3460. doi:10.1016/j.febslet.2009.09.044

Muller CJ, Back LE, O’Gorman PA, Emanuel KA. A model for the relationship between tropical precipitation and column water vapor. Geophysical Research Letters. 2009;36(16). doi:10.1029/2009gl039667

Muller CJ, Bühler O. Saturation of the internal tides and induced mixing in the abyssal ocean. Journal of Physical Oceanography. 2009;39(9):2077-2096. doi:10.1175/2009jpo4141.1

Hsieh T-F, Ibarra CA, Silva P, et al. Genome-wide demethylation of Arabidopsis endosperm. Science. 2009;324(5933):1451-1454. doi:10.1126/science.1172417

Olson MA, Coskun A, Klajn R, et al. Assembly of polygonal nanoparticle clusters directed by reversible noncovalent bonding interactions. Nano Letters. 2009;9(9):3185-3190. doi:10.1021/nl901385c

Klajn R, Olson MA, Wesson PJ, et al. Dynamic hook-and-eye nanoparticle sponges. Nature Chemistry. 2009;1:733-738. doi:10.1038/nchem.432

Klajn R, Wesson PJ, Bishop KJM, Grzybowski BA. Writing self-erasing images using metastable nanoparticle ks.”10.1002/anie.200901119__Angewandte Chemie International Edition. 2009;48(38):7035-7039. doi:10.1002/anie.200901119

Browne KP, Klajn R, Villa J, Grzybowski BA. Mechanofabrication of pancake and rodlike nanostructures from deformable nanoparticle aggregates. Small. 2009;5(23):2656-2658. doi:10.1002/smll.200900902

Nakanishi H, Bishop KJM, Kowalczyk B, et al. Photoconductance and inverse photoconductance in films of functionalized metal nanoparticles. Nature. 2009;460(7253):371-375. doi:10.1038/nature08131

Olson MA, Braunschweig AB, Fang L, et al. A bistable poly[2]catenane forms nanosuperstructures. Angewandte Chemie International Edition. 2009;48(10):1792-1797. doi:10.1002/anie.200804558

Klajn R, Fang L, Coskun A, et al. Metal nanoparticles functionalized with molecular and supramolecular switches. Journal of the American Chemical Society. 2009;131(12):4233-4235. doi:10.1021/ja9001585

Wesson PJ, Soh S, Klajn R, Bishop KJM, Gray TP, Grzybowski BA. “Remote”10.1002/adma.200802964__fabrication via three-dimensional reaction-diffusion: Making complex core-and-shell particles and assembling them into open-lattice crystals. Advanced Materials. 2009;21(19):1911-1915. doi:10.1002/adma.200802964